You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 
 

955 lines
14 KiB

// 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");