1// Copyright 2013 the V8 project authors. All rights reserved. 2// Copyright (C) 2005, 2006, 2007, 2008, 2009 Apple Inc. All rights reserved. 3// 4// Redistribution and use in source and binary forms, with or without 5// modification, are permitted provided that the following conditions 6// are met: 7// 1. Redistributions of source code must retain the above copyright 8// notice, this list of conditions and the following disclaimer. 9// 2. Redistributions in binary form must reproduce the above copyright 10// notice, this list of conditions and the following disclaimer in the 11// documentation and/or other materials provided with the distribution. 12// 13// THIS SOFTWARE IS PROVIDED BY APPLE INC. AND ITS CONTRIBUTORS ``AS IS'' AND ANY 14// EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED 15// WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE 16// DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR ITS CONTRIBUTORS BE LIABLE FOR ANY 17// DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES 18// (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; 19// LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON 20// ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 21// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS 22// SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 23 24description("test that comparison operators work correctly.") 25 26function makeTest(start, end, expression, relationship, override, invert) { 27 var resultValue = eval(relationship + expression + 0) || !!override; 28 if (invert) 29 resultValue = !resultValue; 30 var expr = start + expression + end; 31 var result = []; 32 function func(content) { var f = new Function(content); f.toString = function(){ return content}; return f; } 33 result.push([new func("return " + expr + ";"), resultValue]); 34 result.push([new func("if (" + expr + ") return true; return false;"), resultValue]); 35 result.push([new func("var k = 0; while (" + expr + ") if (k++) return true; return false;"), resultValue]); 36 result.push([new func("var k = 0; for (; " + expr + "; ) if (k++) return true; return false;"), resultValue]); 37 return result; 38} 39function doTest(lhs, rhs, relationship) { 40 var expressionParts = [["(",")"],["(", ") || 1", true],["(", ") && 1"],["(", ") || 1", true],["1 || (",")", true],["1 && (",")"]]; 41 var expressions = []; 42 var tests = []; 43 for (var i = 0; i < expressionParts.length; i++) { 44 var start = expressionParts[i][0] + lhs; 45 var end = String(rhs) + expressionParts[i][1]; 46 tests.push.apply(tests, makeTest(start, end, ">", relationship, expressionParts[i][2])); 47 tests.push.apply(tests, makeTest(start, end, ">=", relationship, expressionParts[i][2])); 48 } 49 for (var i = 0; i < tests.length; i++) { 50 if ((r=tests[i][0]()) == tests[i][1]) 51 testPassed(tests[i][0] + " is " + tests[i][1]); 52 else 53 testFailed(tests[i][0] + " is " + r + " and should be " + tests[i][1] + "."); 54 } 55} 56 57var letterA = "a"; 58var letterB = "b"; 59var letter0 = "0"; 60 61var One = 1; 62var Zero = 0; 63doTest('"a"', '"b"', -1); 64doTest('"a"', '"a"', 0); 65doTest('"b"', '"a"', 1); 66doTest('letterA', '"b"', -1); 67doTest('letterA', '"a"', 0); 68doTest('"b"', '"a"', 1); 69doTest('letterA', '"b"', -1); 70doTest('letterA', 'letterA', 0); 71doTest('"b"', 'letterA', 1); 72doTest('"a"', '"b"', -1); 73doTest('"a"', 'letterA', 0); 74doTest('"b"', 'letterA', 1); 75 76doTest('"a"', '0', NaN); 77doTest('0', '"a"', NaN); 78 79doTest('0', '"0"', 0); 80doTest('Zero', 'letter0', 0); 81doTest('0', 'letter0', 0); 82doTest('Zero', '"0"', 0); 83doTest('-1', '"0"', -1); 84doTest('1', '"0"', 1); 85doTest('0', '"-1"', 1); 86doTest('0', '"1"', -1); 87 88doTest('letterA', '0', NaN); 89doTest('letterA', '"a"', 0); 90doTest('0', '"a"', NaN); 91doTest('letterA', 'letterA', 0); 92doTest('0', 'letterA', NaN); 93doTest('"a"', 'letterA', 0); 94doTest('0', 'letterA', NaN); 95 96 97doTest('0', '1', -1); 98doTest('0', '0', 0); 99doTest('1', '0', 1); 100doTest('Zero', '1', -1); 101doTest('Zero', '0', 0); 102doTest('1', 'Zero', 1); 103doTest('0', 'One', -1); 104doTest('One', '0', 1); 105 106shouldBeTrue("0 >= 0"); 107shouldBeTrue("1 >= 0"); 108shouldBeTrue("1 >= 1"); 109shouldBeTrue("1 > 0"); 110shouldBeFalse("0 >= 1"); 111shouldBeFalse("1 >= 2"); 112shouldBeFalse("1 > 1"); 113shouldBeFalse("1 > 2"); 114 115 shouldBeTrue("if (0 >= 0 || 0) true; else false"); 116 shouldBeTrue("if (1 >= 0 || 0) true; else false"); 117 shouldBeTrue("if (1 >= 1 || 0) true; else false"); 118 shouldBeTrue("if (0 < 1 || 0) true; else false"); 119shouldBeFalse("if (0 >= 1 || 0) true; else false"); 120shouldBeFalse("if (1 >= 2 || 0) true; else false"); 121shouldBeFalse("if (1 < 1 || 0) true; else false"); 122shouldBeFalse("if (2 < 1 || 0) true; else false"); 123 124shouldBeTrue("0.5 >= 0"); 125shouldBeTrue("1.5 >= 0"); 126shouldBeTrue("1.5 >= 1"); 127shouldBeTrue("1.5 > 0"); 128shouldBeFalse("0.5 >= 1"); 129shouldBeFalse("1.5 >= 2"); 130shouldBeTrue("1.5 > 1"); 131shouldBeFalse("1.5 > 2"); 132 133 shouldBeTrue("if (0.5 >= 0 || 0) true; else false"); 134 shouldBeTrue("if (1.5 >= 0 || 0) true; else false"); 135 shouldBeTrue("if (1.5 >= 1 || 0) true; else false"); 136 shouldBeTrue("if (0 < 1.5 || 0) true; else false"); 137shouldBeFalse("if (0.5 >= 1 || 0) true; else false"); 138shouldBeFalse("if (1.5 >= 2 || 0) true; else false"); 139 shouldBeTrue("if (1 < 1.5 || 0) true; else false"); 140shouldBeFalse("if (2 < 1.5 || 0) true; else false"); 141 142var zero = 0; 143var one = 1; 144var two = 2; 145var p5 = 0.5; 146var p15 = 1.5; 147 148 149shouldBeTrue("zero >= zero"); 150shouldBeTrue("1 >= zero"); 151shouldBeTrue("1 >= 1"); 152shouldBeTrue("1 > zero"); 153shouldBeFalse("zero >= 1"); 154shouldBeFalse("1 >= 2"); 155shouldBeFalse("1 > 1"); 156shouldBeFalse("1 > 2"); 157 158 shouldBeTrue("if (zero >= zero || 0) true; else false"); 159 shouldBeTrue("if (1 >= zero || zero) true; else false"); 160 shouldBeTrue("if (1 >= 1 || zero) true; else false"); 161 shouldBeTrue("if (zero < 1 || zero) true; else false"); 162shouldBeFalse("if (zero >= 1 || zero) true; else false"); 163shouldBeFalse("if (1 >= 2 || zero) true; else false"); 164shouldBeFalse("if (1 < 1 || zero) true; else false"); 165shouldBeFalse("if (2 < 1 || zero) true; else false"); 166 167shouldBeTrue("p5 >= 0"); 168shouldBeTrue("p15 >= 0"); 169shouldBeTrue("p15 >= 1"); 170shouldBeTrue("p15 > 0"); 171shouldBeFalse("p5 >= 1"); 172shouldBeFalse("p15 >= 2"); 173shouldBeTrue("p15 > 1"); 174shouldBeFalse("p15 > 2"); 175 176 shouldBeTrue("if (p5 >= 0 || 0) true; else false"); 177 shouldBeTrue("if (p15 >= 0 || 0) true; else false"); 178 shouldBeTrue("if (p15 >= 1 || 0) true; else false"); 179 shouldBeTrue("if (0 < p15 || 0) true; else false"); 180shouldBeFalse("if (p5 >= 1 || 0) true; else false"); 181shouldBeFalse("if (p15 >= 2 || 0) true; else false"); 182 shouldBeTrue("if (1 < p15 || 0) true; else false"); 183shouldBeFalse("if (2 < p15 || 0) true; else false"); 184 185 186shouldBeTrue("zero >= zero"); 187shouldBeTrue("one >= zero"); 188shouldBeTrue("one >= one"); 189shouldBeTrue("one > zero"); 190shouldBeFalse("zero >= one"); 191shouldBeFalse("one >= two"); 192shouldBeFalse("one > one"); 193shouldBeFalse("one > two"); 194 195 shouldBeTrue("if (zero >= zero || 0) true; else false"); 196 shouldBeTrue("if (one >= zero || zero) true; else false"); 197 shouldBeTrue("if (one >= one || zero) true; else false"); 198 shouldBeTrue("if (zero < one || zero) true; else false"); 199shouldBeFalse("if (zero >= one || zero) true; else false"); 200shouldBeFalse("if (one >= two || zero) true; else false"); 201shouldBeFalse("if (one < one || zero) true; else false"); 202shouldBeFalse("if (two < one || zero) true; else false"); 203 204shouldBeTrue("p5 >= 0"); 205shouldBeTrue("p15 >= 0"); 206shouldBeTrue("p15 >= one"); 207shouldBeTrue("p15 > 0"); 208shouldBeFalse("p5 >= one"); 209shouldBeFalse("p15 >= two"); 210shouldBeTrue("p15 > one"); 211shouldBeFalse("p15 > two"); 212 213 shouldBeTrue("if (p5 >= 0 || 0) true; else false"); 214 shouldBeTrue("if (p15 >= 0 || 0) true; else false"); 215 shouldBeTrue("if (p15 >= one || 0) true; else false"); 216 shouldBeTrue("if (0 < p15 || 0) true; else false"); 217shouldBeFalse("if (p5 >= one || 0) true; else false"); 218shouldBeFalse("if (p15 >= two || 0) true; else false"); 219 shouldBeTrue("if (one < p15 || 0) true; else false"); 220shouldBeFalse("if (two < p15 || 0) true; else false"); 221 222shouldBeFalse(" 0 > NaN"); 223shouldBeFalse(" NaN > NaN"); 224shouldBeFalse(" 0 >= NaN"); 225shouldBeFalse(" NaN >= NaN"); 226shouldBeFalse(" 0.5 > NaN"); 227shouldBeFalse(" NaN > NaN"); 228shouldBeFalse(" 0.5 >= NaN"); 229shouldBeFalse(" NaN >= NaN"); 230shouldBeFalse(" zero > NaN"); 231shouldBeFalse("zero >= NaN"); 232shouldBeFalse(" NaN >= NaN"); 233shouldBeFalse(" p5 > NaN"); 234shouldBeFalse("NaN > NaN"); 235shouldBeFalse("p5 >= NaN"); 236shouldBeFalse("NaN >= NaN"); 237 238 239shouldBeFalse("if ( 0 > NaN) true; else false;"); 240shouldBeFalse("if ( NaN > NaN) true; else false;"); 241shouldBeFalse("if ( 0 >= NaN) true; else false;"); 242shouldBeFalse("if ( NaN >= NaN) true; else false;"); 243shouldBeFalse("if ( 0.5 > NaN) true; else false;"); 244shouldBeFalse("if ( NaN > NaN) true; else false;"); 245shouldBeFalse("if ( 0.5 >= NaN) true; else false;"); 246shouldBeFalse("if ( NaN >= NaN) true; else false;"); 247shouldBeFalse("if ( zero > NaN) true; else false;"); 248shouldBeFalse("if (zero >= NaN) true; else false;"); 249shouldBeFalse("if ( NaN >= NaN) true; else false;"); 250shouldBeFalse("if ( p5 > NaN) true; else false;"); 251shouldBeFalse("if (NaN > NaN) true; else false;"); 252shouldBeFalse("if (p5 >= NaN) true; else false;"); 253shouldBeFalse("if (NaN >= NaN) true; else false;"); 254