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