test/webkit/codegen-temporaries.js

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