| // Copyright 2013 the V8 project authors. All rights reserved. |
| // Copyright (C) 2005, 2006, 2007, 2008, 2009 Apple Inc. All rights reserved. |
| // |
| // Redistribution and use in source and binary forms, with or without |
| // modification, are permitted provided that the following conditions |
| // are met: |
| // 1. Redistributions of source code must retain the above copyright |
| // notice, this list of conditions and the following disclaimer. |
| // 2. Redistributions in binary form must reproduce the above copyright |
| // notice, this list of conditions and the following disclaimer in the |
| // documentation and/or other materials provided with the distribution. |
| // |
| // THIS SOFTWARE IS PROVIDED BY APPLE INC. AND ITS CONTRIBUTORS ``AS IS'' AND ANY |
| // EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED |
| // WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE |
| // DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR ITS CONTRIBUTORS BE LIABLE FOR ANY |
| // DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES |
| // (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; |
| // LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON |
| // ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT |
| // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS |
| // SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
| |
| description( |
| 'Tests whether bytecode codegen properly handles temporaries.' |
| ); |
| |
| var a = true; |
| a = false || a; |
| shouldBeTrue("a"); |
| |
| var b = false; |
| b = true && b; |
| shouldBeFalse("b"); |
| |
| function TestObject() { |
| this.toString = function() { return this.test; } |
| this.test = "FAIL"; |
| return this; |
| } |
| |
| function assign_test1() |
| { |
| var testObject = new TestObject; |
| var a = testObject; |
| a.test = "PASS"; |
| return testObject.test; |
| } |
| |
| shouldBe("assign_test1()", "'PASS'"); |
| |
| function assign_test2() |
| { |
| var testObject = new TestObject; |
| var a = testObject; |
| a = a.test = "PASS"; |
| return testObject.test; |
| } |
| |
| shouldBe("assign_test2()", "'PASS'"); |
| |
| function assign_test3() |
| { |
| var testObject = new TestObject; |
| var a = testObject; |
| a.test = a = "PASS"; |
| return testObject.test; |
| } |
| |
| shouldBe("assign_test3()", "'PASS'"); |
| |
| var testObject4 = new TestObject; |
| var a4 = testObject4; |
| a4.test = this.a4 = "PASS"; |
| |
| shouldBe("testObject4.test", "'PASS'"); |
| |
| var testObject5 = new TestObject; |
| var a5 = testObject5; |
| a5 = this.a5.test = "PASS"; |
| |
| shouldBe("testObject5.test", "'PASS'"); |
| |
| function assign_test6() |
| { |
| var testObject = new TestObject; |
| var a = testObject; |
| a["test"] = "PASS"; |
| return testObject.test; |
| } |
| |
| shouldBe("assign_test6()", "'PASS'"); |
| |
| function assign_test7() |
| { |
| var testObject = new TestObject; |
| var a = testObject; |
| a = a["test"] = "PASS"; |
| return testObject.test; |
| } |
| |
| shouldBe("assign_test7()", "'PASS'"); |
| |
| function assign_test8() |
| { |
| var testObject = new TestObject; |
| var a = testObject; |
| a["test"] = a = "PASS"; |
| return testObject.test; |
| } |
| |
| shouldBe("assign_test8()", "'PASS'"); |
| |
| function assign_test9() |
| { |
| var testObject = new TestObject; |
| var a = testObject; |
| a["test"] = this.a = "PASS"; |
| return testObject.test; |
| } |
| |
| shouldBe("assign_test9()", "'PASS'"); |
| |
| var testObject10 = new TestObject; |
| var a10 = testObject10; |
| a10 = this.a10["test"] = "PASS"; |
| |
| shouldBe("testObject10.test", "'PASS'"); |
| |
| function assign_test11() |
| { |
| var testObject = new TestObject; |
| var a = testObject; |
| a[a = "test"] = "PASS"; |
| return testObject.test; |
| } |
| |
| shouldBe("assign_test11()", "'PASS'"); |
| |
| function assign_test12() |
| { |
| var test = "test"; |
| var testObject = new TestObject; |
| var a = testObject; |
| a[test] = "PASS"; |
| return testObject.test; |
| } |
| |
| shouldBe("assign_test12()", "'PASS'"); |
| |
| function assign_test13() |
| { |
| var testObject = new TestObject; |
| var a = testObject; |
| a.test = (a = "FAIL", "PASS"); |
| return testObject.test; |
| } |
| |
| shouldBe("assign_test13()", "'PASS'"); |
| |
| function assign_test14() |
| { |
| var testObject = new TestObject; |
| var a = testObject; |
| a["test"] = (a = "FAIL", "PASS"); |
| return testObject.test; |
| } |
| |
| shouldBe("assign_test14()", "'PASS'"); |
| |
| function assign_test15() |
| { |
| var test = "test"; |
| var testObject = new TestObject; |
| var a = testObject; |
| a[test] = (test = "FAIL", "PASS"); |
| return testObject.test; |
| } |
| |
| shouldBe("assign_test15()", "'PASS'"); |
| |
| function assign_test16() |
| { |
| var a = 1; |
| a = (a = 2); |
| return a; |
| } |
| |
| shouldBe("assign_test16()", "2"); |
| |
| var a17 = 1; |
| a17 += (a17 += 1); |
| |
| shouldBe("a17", "3"); |
| |
| function assign_test18() |
| { |
| var a = 1; |
| a += (a += 1); |
| return a; |
| } |
| |
| shouldBe("assign_test18()", "3"); |
| |
| var a19 = { b: 1 }; |
| a19.b += (a19.b += 1); |
| |
| shouldBe("a19.b", "3"); |
| |
| function assign_test20() |
| { |
| var a = { b: 1 }; |
| a.b += (a.b += 1); |
| return a.b; |
| } |
| |
| shouldBe("assign_test20()", "3"); |
| |
| var a21 = { b: 1 }; |
| a21["b"] += (a21["b"] += 1); |
| |
| shouldBe("a21['b']", "3"); |
| |
| function assign_test22() |
| { |
| var a = { b: 1 }; |
| a["b"] += (a["b"] += 1); |
| return a["b"]; |
| } |
| |
| shouldBe("assign_test22()", "3"); |
| |
| function assign_test23() |
| { |
| var o = { b: 1 }; |
| var a = o; |
| a.b += a = 2; |
| return o.b; |
| } |
| |
| shouldBe("assign_test23()", "3"); |
| |
| function assign_test24() |
| { |
| var o = { b: 1 }; |
| var a = o; |
| a["b"] += a = 2; |
| return o["b"]; |
| } |
| |
| shouldBe("assign_test24()", "3"); |
| |
| function assign_test25() |
| { |
| var o = { b: 1 }; |
| var a = o; |
| a[a = "b"] += a = 2; |
| return o["b"]; |
| } |
| |
| shouldBe("assign_test25()", "3"); |
| |
| function assign_test26() |
| { |
| var o = { b: 1 }; |
| var a = o; |
| var b = "b"; |
| a[b] += a = 2; |
| return o["b"]; |
| } |
| |
| shouldBe("assign_test26()", "3"); |
| |
| function assign_test27() |
| { |
| var o = { b: 1 }; |
| var a = o; |
| a.b += (a = 100, 2); |
| return o.b; |
| } |
| |
| shouldBe("assign_test27()", "3"); |
| |
| function assign_test28() |
| { |
| var o = { b: 1 }; |
| var a = o; |
| a["b"] += (a = 100, 2); |
| return o["b"]; |
| } |
| |
| shouldBe("assign_test28()", "3"); |
| |
| function assign_test29() |
| { |
| var o = { b: 1 }; |
| var a = o; |
| var b = "b"; |
| a[b] += (a = 100, 2); |
| return o["b"]; |
| } |
| |
| shouldBe("assign_test29()", "3"); |
| |
| function assign_test30() |
| { |
| var a = "foo"; |
| a += (a++); |
| return a; |
| } |
| |
| shouldBe("assign_test30()", "'fooNaN'"); |
| |
| function assign_test31() |
| { |
| function result() { return "PASS"; } |
| return (globalVar = result)() |
| } |
| |
| shouldBe("assign_test31()", "'PASS'"); |
| |
| function bracket_test1() |
| { |
| var o = [-1]; |
| var a = o[++o]; |
| return a; |
| } |
| |
| shouldBe("bracket_test1()", "-1"); |
| |
| function bracket_test2() |
| { |
| var o = [1]; |
| var a = o[--o]; |
| return a; |
| } |
| |
| shouldBe("bracket_test2()", "1"); |
| |
| function bracket_test3() |
| { |
| var o = [0]; |
| var a = o[o++]; |
| return a; |
| } |
| |
| shouldBe("bracket_test3()", "0"); |
| |
| function bracket_test4() |
| { |
| var o = [0]; |
| var a = o[o--]; |
| return a; |
| } |
| |
| shouldBe("bracket_test4()", "0"); |
| |
| function bracket_test5() |
| { |
| var o = [1]; |
| var a = o[o ^= 1]; |
| return a; |
| } |
| |
| shouldBe("bracket_test5()", "1"); |
| |
| function bracket_test6() |
| { |
| var o = { b: 1 } |
| var b = o[o = { b: 2 }, "b"]; |
| return b; |
| } |
| |
| shouldBe("bracket_test6()", "1"); |
| |
| function mult_test1() |
| { |
| var a = 1; |
| return a * (a = 2); |
| } |
| |
| shouldBe("mult_test1()", "2"); |
| |
| function mult_test2() |
| { |
| var a = 1; |
| return a * ++a; |
| } |
| |
| shouldBe("mult_test2()", "2"); |
| |
| function mult_test3() |
| { |
| var a = 1; |
| return a * (a += 1); |
| } |
| |
| shouldBe("mult_test3()", "2"); |
| |
| function div_test1() |
| { |
| var a = 1; |
| return a / (a = 2); |
| } |
| |
| shouldBe("div_test1()", "0.5"); |
| |
| function div_test2() |
| { |
| var a = 1; |
| return a / ++a; |
| } |
| |
| shouldBe("div_test2()", "0.5"); |
| |
| function div_test3() |
| { |
| var a = 1; |
| return a / (a += 1); |
| } |
| |
| shouldBe("div_test3()", "0.5"); |
| |
| function mod_test1() |
| { |
| var a = 1; |
| return a % (a = 2); |
| } |
| |
| shouldBe("mod_test1()", "1"); |
| |
| function mod_test2() |
| { |
| var a = 1; |
| return a % ++a; |
| } |
| |
| shouldBe("mod_test2()", "1"); |
| |
| function mod_test3() |
| { |
| var a = 1; |
| return a % (a += 1); |
| } |
| |
| shouldBe("mod_test3()", "1"); |
| |
| function add_test1() |
| { |
| var a = 1; |
| return a + (a = 2); |
| } |
| |
| shouldBe("add_test1()", "3"); |
| |
| function add_test2() |
| { |
| var a = 1; |
| return a + ++a; |
| } |
| |
| shouldBe("add_test2()", "3"); |
| |
| function add_test3() |
| { |
| var a = 1; |
| return a + (a += 1); |
| } |
| |
| shouldBe("add_test3()", "3"); |
| |
| function sub_test1() |
| { |
| var a = 1; |
| return a - (a = 2); |
| } |
| |
| shouldBe("sub_test1()", "-1"); |
| |
| function sub_test2() |
| { |
| var a = 1; |
| return a - ++a; |
| } |
| |
| shouldBe("sub_test2()", "-1"); |
| |
| function sub_test3() |
| { |
| var a = 1; |
| return a - (a += 1); |
| } |
| |
| shouldBe("sub_test3()", "-1"); |
| |
| function lshift_test1() |
| { |
| var a = 1; |
| return a << (a = 2); |
| } |
| |
| shouldBe("lshift_test1()", "4"); |
| |
| function lshift_test2() |
| { |
| var a = 1; |
| return a << ++a; |
| } |
| |
| shouldBe("lshift_test2()", "4"); |
| |
| function lshift_test3() |
| { |
| var a = 1; |
| return a << (a += 1); |
| } |
| |
| shouldBe("lshift_test3()", "4"); |
| |
| function rshift_test1() |
| { |
| var a = 4; |
| return a >> (a = 2); |
| } |
| |
| shouldBe("rshift_test1()", "1"); |
| |
| function rshift_test2() |
| { |
| var a = 2; |
| return a >> --a; |
| } |
| |
| shouldBe("rshift_test2()", "1"); |
| |
| function rshift_test3() |
| { |
| var a = 2; |
| return a >> (a -= 1); |
| } |
| |
| shouldBe("rshift_test3()", "1"); |
| |
| function urshift_test1() |
| { |
| var a = 4; |
| return a >>> (a = 2); |
| } |
| |
| shouldBe("urshift_test1()", "1"); |
| |
| function urshift_test2() |
| { |
| var a = 2; |
| return a >>> --a; |
| } |
| |
| shouldBe("urshift_test2()", "1"); |
| |
| function urshift_test3() |
| { |
| var a = 2; |
| return a >>> (a -= 1); |
| } |
| |
| shouldBe("urshift_test3()", "1"); |
| |
| function less_test1() |
| { |
| var a = 1; |
| return a < (a = 2); |
| } |
| |
| shouldBeTrue("less_test1()"); |
| |
| function less_test2() |
| { |
| var a = 1; |
| return a < ++a; |
| } |
| |
| shouldBeTrue("less_test2()"); |
| |
| function less_test3() |
| { |
| var a = 1; |
| return a < (a += 1); |
| } |
| |
| shouldBeTrue("less_test3()"); |
| |
| function greater_test1() |
| { |
| var a = 2; |
| return a > (a = 1); |
| } |
| |
| shouldBeTrue("greater_test1()"); |
| |
| function greater_test2() |
| { |
| var a = 2; |
| return a > --a; |
| } |
| |
| shouldBeTrue("greater_test2()"); |
| |
| function greater_test3() |
| { |
| var a = 2; |
| return a > (a -= 1); |
| } |
| |
| shouldBeTrue("greater_test3()"); |
| |
| function lesseq_test1() |
| { |
| var a = 1; |
| return a <= (a = 3, 2); |
| } |
| |
| shouldBeTrue("lesseq_test1()"); |
| |
| function lesseq_test2() |
| { |
| var a = 1; |
| return a <= (++a, 1); |
| } |
| |
| shouldBeTrue("lesseq_test2()"); |
| |
| function lesseq_test3() |
| { |
| var a = 1; |
| return a <= (a += 1, 1); |
| } |
| |
| shouldBeTrue("lesseq_test3()"); |
| |
| function greatereq_test1() |
| { |
| var a = 2; |
| return a >= (a = 1, 2); |
| } |
| |
| shouldBeTrue("greatereq_test1()"); |
| |
| function greatereq_test2() |
| { |
| var a = 2; |
| return a >= (--a, 2); |
| } |
| |
| shouldBeTrue("greatereq_test2()"); |
| |
| function greatereq_test3() |
| { |
| var a = 2; |
| return a >= (a -= 1, 2); |
| } |
| |
| shouldBeTrue("greatereq_test3()"); |
| |
| function instanceof_test1() |
| { |
| var a = { }; |
| return a instanceof (a = 1, Object); |
| } |
| |
| shouldBeTrue("instanceof_test1()"); |
| |
| function instanceof_test2() |
| { |
| var a = { valueOf: function() { return 1; } }; |
| return a instanceof (++a, Object); |
| } |
| |
| shouldBeTrue("instanceof_test2()"); |
| |
| function instanceof_test3() |
| { |
| var a = { valueOf: function() { return 1; } }; |
| return a instanceof (a += 1, Object); |
| } |
| |
| shouldBeTrue("instanceof_test3()"); |
| |
| function in_test1() |
| { |
| var a = "a"; |
| return a in (a = "b", { a: 1 }); |
| } |
| |
| shouldBeTrue("in_test1()"); |
| |
| function in_test2() |
| { |
| var a = { toString: function() { return "a"; }, valueOf: function() { return 1; } }; |
| return a in (++a, { a: 1 }); |
| } |
| |
| shouldBeTrue("in_test2()"); |
| |
| function in_test3() |
| { |
| var a = { toString: function() { return "a"; }, valueOf: function() { return 1; } }; |
| return a in (a += 1, { a: 1 }); |
| } |
| |
| shouldBeTrue("in_test3()"); |
| |
| function eq_test1() |
| { |
| var a = 1; |
| return a == (a = 2); |
| } |
| |
| shouldBeFalse("eq_test1()"); |
| |
| function eq_test2() |
| { |
| var a = 1; |
| return a == ++a; |
| } |
| |
| shouldBeFalse("eq_test2()"); |
| |
| function eq_test3() |
| { |
| var a = 1; |
| return a == (a += 1); |
| } |
| |
| shouldBeFalse("eq_test3()"); |
| |
| function neq_test1() |
| { |
| var a = 1; |
| return a != (a = 2); |
| } |
| |
| shouldBeTrue("neq_test1()"); |
| |
| function neq_test2() |
| { |
| var a = 1; |
| return a != ++a; |
| } |
| |
| shouldBeTrue("neq_test2()"); |
| |
| function neq_test3() |
| { |
| var a = 1; |
| return a != (a += 1); |
| } |
| |
| shouldBeTrue("neq_test3()"); |
| |
| function stricteq_test1() |
| { |
| var a = 1; |
| return a === (a = 2); |
| } |
| |
| shouldBeFalse("stricteq_test1()"); |
| |
| function stricteq_test2() |
| { |
| var a = 1; |
| return a === ++a; |
| } |
| |
| shouldBeFalse("stricteq_test2()"); |
| |
| function stricteq_test3() |
| { |
| var a = 1; |
| return a === (a += 1); |
| } |
| |
| shouldBeFalse("stricteq_test3()"); |
| |
| function nstricteq_test1() |
| { |
| var a = 1; |
| return a !== (a = 2); |
| } |
| |
| shouldBeTrue("nstricteq_test1()"); |
| |
| function nstricteq_test2() |
| { |
| var a = 1; |
| return a !== ++a; |
| } |
| |
| shouldBeTrue("nstricteq_test2()"); |
| |
| function nstricteq_test3() |
| { |
| var a = 1; |
| return a !== (a += 1); |
| } |
| |
| shouldBeTrue("nstricteq_test3()"); |
| |
| function bitand_test1() |
| { |
| var a = 1; |
| return a & (a = 2); |
| } |
| |
| shouldBe("bitand_test1()", "0"); |
| |
| function bitand_test2() |
| { |
| var a = 1; |
| return a & ++a; |
| } |
| |
| shouldBe("bitand_test2()", "0"); |
| |
| function bitand_test3() |
| { |
| var a = 1; |
| return a & (a += 1); |
| } |
| |
| shouldBe("bitand_test3()", "0"); |
| |
| function bitor_test1() |
| { |
| var a = 1; |
| return a | (a = 2); |
| } |
| |
| shouldBe("bitor_test1()", "3"); |
| |
| function bitor_test2() |
| { |
| var a = 1; |
| return a | ++a; |
| } |
| |
| shouldBe("bitor_test2()", "3"); |
| |
| function bitor_test3() |
| { |
| var a = 1; |
| return a | (a += 1); |
| } |
| |
| shouldBe("bitor_test3()", "3"); |
| |
| function bitxor_test1() |
| { |
| var a = 1; |
| return a ^ (a = 2); |
| } |
| |
| shouldBe("bitxor_test1()", "3"); |
| |
| function bitxor_test2() |
| { |
| var a = 1; |
| return a ^ ++a; |
| } |
| |
| shouldBe("bitxor_test2()", "3"); |
| |
| function bitxor_test3() |
| { |
| var a = 1; |
| return a ^ (a += 1); |
| } |
| |
| shouldBe("bitxor_test3()", "3"); |
| |
| function switch_test1_helper(a, b) |
| { |
| switch (a) { |
| case b: |
| break; |
| default: |
| break; |
| } |
| |
| return b; |
| } |
| |
| function switch_test1() |
| { |
| return switch_test1_helper(0, 1) == 1; |
| } |
| |
| shouldBeTrue("switch_test1()"); |
| |
| function switch_test2_helper(a, b) |
| { |
| var c = b; |
| switch (a) { |
| case c: |
| break; |
| default: |
| break; |
| } |
| |
| return c; |
| } |
| |
| function switch_test2() |
| { |
| return switch_test2_helper(0, 1) == 1; |
| } |
| |
| shouldBeTrue("switch_test2()"); |
| |
| function switch_test3_helper(a) |
| { |
| switch (a) { |
| case this: |
| break; |
| default: |
| break; |
| } |
| |
| return this; |
| } |
| |
| function switch_test3() |
| { |
| return this == switch_test3_helper.call(this, 0); |
| } |
| |
| shouldBeTrue("switch_test3()"); |
| |
| function construct_test() |
| { |
| var c = [function(a) { this.a = a; }]; |
| |
| function f() |
| { |
| return new c[0](true); |
| } |
| |
| return f().a; |
| } |
| |
| shouldBeTrue("construct_test()"); |
| var testStr = "["; |
| for (var i = 0; i < 64; i++) |
| testStr += "(0/0), "; |
| testStr += "].length"; |
| shouldBe(testStr, "64"); |