test/webkit/comparison-operators-greater.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("test that comparison operators work correctly.")

function makeTest(start, end, expression, relationship, override, invert) {
    var resultValue = eval(relationship + expression + 0) || !!override;
    if (invert)
        resultValue = !resultValue;
    var expr = start + expression + end;
    var result = [];
    function func(content) { var f = new Function(content); f.toString = function(){ return content}; return f; }
    result.push([new func("return " + expr + ";"), resultValue]);
    result.push([new func("if (" + expr + ") return true; return false;"), resultValue]);
    result.push([new func("var k = 0; while (" + expr + ") if (k++) return true; return false;"), resultValue]);
    result.push([new func("var k = 0; for (; " + expr + "; ) if (k++) return true; return false;"), resultValue]);
    return result;
}
function doTest(lhs, rhs, relationship) {
    var expressionParts = [["(",")"],["(", ") || 1", true],["(", ") && 1"],["(", ") || 1", true],["1 || (",")", true],["1 && (",")"]];
    var expressions = [];
    var tests = [];
    for (var i = 0; i < expressionParts.length; i++) {
        var start = expressionParts[i][0] + lhs;
        var end = String(rhs) + expressionParts[i][1];
        tests.push.apply(tests, makeTest(start, end, ">", relationship, expressionParts[i][2]));
        tests.push.apply(tests, makeTest(start, end, ">=", relationship, expressionParts[i][2]));
    }
    for (var i = 0; i < tests.length; i++) {
        if ((r=tests[i][0]()) == tests[i][1])
            testPassed(tests[i][0] + " is " + tests[i][1]);
        else
            testFailed(tests[i][0] + " is " + r + " and should be " + tests[i][1] + ".");
    }
}

var letterA = "a";
var letterB = "b";
var letter0 = "0";

var One = 1;
var Zero = 0;
doTest('"a"', '"b"', -1);
doTest('"a"', '"a"', 0);
doTest('"b"', '"a"', 1);
doTest('letterA', '"b"', -1);
doTest('letterA', '"a"', 0);
doTest('"b"', '"a"', 1);
doTest('letterA', '"b"', -1);
doTest('letterA', 'letterA', 0);
doTest('"b"', 'letterA', 1);
doTest('"a"', '"b"', -1);
doTest('"a"', 'letterA', 0);
doTest('"b"', 'letterA', 1);

doTest('"a"', '0', NaN);
doTest('0', '"a"', NaN);

doTest('0', '"0"', 0);
doTest('Zero', 'letter0', 0);
doTest('0', 'letter0', 0);
doTest('Zero', '"0"', 0);
doTest('-1', '"0"', -1);
doTest('1', '"0"', 1);
doTest('0', '"-1"', 1);
doTest('0', '"1"', -1);

doTest('letterA', '0', NaN);
doTest('letterA', '"a"', 0);
doTest('0', '"a"', NaN);
doTest('letterA', 'letterA', 0);
doTest('0', 'letterA', NaN);
doTest('"a"', 'letterA', 0);
doTest('0', 'letterA', NaN);


doTest('0', '1', -1);
doTest('0', '0', 0);
doTest('1', '0', 1);
doTest('Zero', '1', -1);
doTest('Zero', '0', 0);
doTest('1', 'Zero', 1);
doTest('0', 'One', -1);
doTest('One', '0', 1);

shouldBeTrue("0 >= 0");
shouldBeTrue("1 >= 0");
shouldBeTrue("1 >= 1");
shouldBeTrue("1 > 0");
shouldBeFalse("0 >= 1");
shouldBeFalse("1 >= 2");
shouldBeFalse("1 > 1");
shouldBeFalse("1 > 2");

 shouldBeTrue("if (0 >= 0 || 0) true; else false");
 shouldBeTrue("if (1 >= 0 || 0) true; else false");
 shouldBeTrue("if (1 >= 1 || 0) true; else false");
 shouldBeTrue("if (0 <  1 || 0) true; else false");
shouldBeFalse("if (0 >= 1 || 0) true; else false");
shouldBeFalse("if (1 >= 2 || 0) true; else false");
shouldBeFalse("if (1 <  1 || 0) true; else false");
shouldBeFalse("if (2 <  1 || 0) true; else false");

shouldBeTrue("0.5 >= 0");
shouldBeTrue("1.5 >= 0");
shouldBeTrue("1.5 >= 1");
shouldBeTrue("1.5 > 0");
shouldBeFalse("0.5 >= 1");
shouldBeFalse("1.5 >= 2");
shouldBeTrue("1.5 > 1");
shouldBeFalse("1.5 > 2");

 shouldBeTrue("if (0.5 >= 0 || 0) true; else false");
 shouldBeTrue("if (1.5 >= 0 || 0) true; else false");
 shouldBeTrue("if (1.5 >= 1 || 0) true; else false");
 shouldBeTrue("if (0 <  1.5 || 0) true; else false");
shouldBeFalse("if (0.5 >= 1 || 0) true; else false");
shouldBeFalse("if (1.5 >= 2 || 0) true; else false");
 shouldBeTrue("if (1 <  1.5 || 0) true; else false");
shouldBeFalse("if (2 <  1.5 || 0) true; else false");

var zero = 0;
var one = 1;
var two = 2;
var p5 = 0.5;
var p15 = 1.5;


shouldBeTrue("zero >= zero");
shouldBeTrue("1 >= zero");
shouldBeTrue("1 >= 1");
shouldBeTrue("1 > zero");
shouldBeFalse("zero >= 1");
shouldBeFalse("1 >= 2");
shouldBeFalse("1 > 1");
shouldBeFalse("1 > 2");

 shouldBeTrue("if (zero >= zero || 0) true; else false");
 shouldBeTrue("if (1 >= zero || zero) true; else false");
 shouldBeTrue("if (1 >= 1 || zero) true; else false");
 shouldBeTrue("if (zero <  1 || zero) true; else false");
shouldBeFalse("if (zero >= 1 || zero) true; else false");
shouldBeFalse("if (1 >= 2 || zero) true; else false");
shouldBeFalse("if (1 <  1 || zero) true; else false");
shouldBeFalse("if (2 <  1 || zero) true; else false");

shouldBeTrue("p5 >= 0");
shouldBeTrue("p15 >= 0");
shouldBeTrue("p15 >= 1");
shouldBeTrue("p15 > 0");
shouldBeFalse("p5 >= 1");
shouldBeFalse("p15 >= 2");
shouldBeTrue("p15 > 1");
shouldBeFalse("p15 > 2");

 shouldBeTrue("if (p5 >= 0 || 0) true; else false");
 shouldBeTrue("if (p15 >= 0 || 0) true; else false");
 shouldBeTrue("if (p15 >= 1 || 0) true; else false");
 shouldBeTrue("if (0 <  p15 || 0) true; else false");
shouldBeFalse("if (p5 >= 1 || 0) true; else false");
shouldBeFalse("if (p15 >= 2 || 0) true; else false");
 shouldBeTrue("if (1 <  p15 || 0) true; else false");
shouldBeFalse("if (2 <  p15 || 0) true; else false");


shouldBeTrue("zero >= zero");
shouldBeTrue("one >= zero");
shouldBeTrue("one >= one");
shouldBeTrue("one > zero");
shouldBeFalse("zero >= one");
shouldBeFalse("one >= two");
shouldBeFalse("one > one");
shouldBeFalse("one > two");

 shouldBeTrue("if (zero >= zero || 0) true; else false");
 shouldBeTrue("if (one >= zero || zero) true; else false");
 shouldBeTrue("if (one >= one || zero) true; else false");
 shouldBeTrue("if (zero <  one || zero) true; else false");
shouldBeFalse("if (zero >= one || zero) true; else false");
shouldBeFalse("if (one >= two || zero) true; else false");
shouldBeFalse("if (one <  one || zero) true; else false");
shouldBeFalse("if (two <  one || zero) true; else false");

shouldBeTrue("p5 >= 0");
shouldBeTrue("p15 >= 0");
shouldBeTrue("p15 >= one");
shouldBeTrue("p15 > 0");
shouldBeFalse("p5 >= one");
shouldBeFalse("p15 >= two");
shouldBeTrue("p15 > one");
shouldBeFalse("p15 > two");

 shouldBeTrue("if (p5 >= 0 || 0) true; else false");
 shouldBeTrue("if (p15 >= 0 || 0) true; else false");
 shouldBeTrue("if (p15 >= one || 0) true; else false");
 shouldBeTrue("if (0 <  p15 || 0) true; else false");
shouldBeFalse("if (p5 >= one || 0) true; else false");
shouldBeFalse("if (p15 >= two || 0) true; else false");
 shouldBeTrue("if (one <  p15 || 0) true; else false");
shouldBeFalse("if (two <  p15 || 0) true; else false");

shouldBeFalse(" 0 >    NaN");
shouldBeFalse(" NaN >  NaN");
shouldBeFalse(" 0 >=   NaN");
shouldBeFalse(" NaN >= NaN");
shouldBeFalse(" 0.5 >  NaN");
shouldBeFalse(" NaN >  NaN");
shouldBeFalse(" 0.5 >= NaN");
shouldBeFalse(" NaN >= NaN");
shouldBeFalse(" zero > NaN");
shouldBeFalse("zero >= NaN");
shouldBeFalse(" NaN >= NaN");
shouldBeFalse(" p5  >  NaN");
shouldBeFalse("NaN  >  NaN");
shouldBeFalse("p5  >=  NaN");
shouldBeFalse("NaN  >= NaN");


shouldBeFalse("if ( 0 >    NaN) true; else false;");
shouldBeFalse("if ( NaN >  NaN) true; else false;");
shouldBeFalse("if ( 0 >=   NaN) true; else false;");
shouldBeFalse("if ( NaN >= NaN) true; else false;");
shouldBeFalse("if ( 0.5 >  NaN) true; else false;");
shouldBeFalse("if ( NaN >  NaN) true; else false;");
shouldBeFalse("if ( 0.5 >= NaN) true; else false;");
shouldBeFalse("if ( NaN >= NaN) true; else false;");
shouldBeFalse("if ( zero > NaN) true; else false;");
shouldBeFalse("if (zero >= NaN) true; else false;");
shouldBeFalse("if ( NaN >= NaN) true; else false;");
shouldBeFalse("if ( p5  >  NaN) true; else false;");
shouldBeFalse("if (NaN  >  NaN) true; else false;");
shouldBeFalse("if (p5  >=  NaN) true; else false;");
shouldBeFalse("if (NaN  >= NaN) true; else false;");