smi-negative-zero.js revision a7e24c173cf37484693b9abb38e494fa7bd7baeb
1// Copyright 2008 the V8 project authors. All rights reserved. 2// Redistribution and use in source and binary forms, with or without 3// modification, are permitted provided that the following conditions are 4// met: 5// 6// * Redistributions of source code must retain the above copyright 7// notice, this list of conditions and the following disclaimer. 8// * Redistributions in binary form must reproduce the above 9// copyright notice, this list of conditions and the following 10// disclaimer in the documentation and/or other materials provided 11// with the distribution. 12// * Neither the name of Google Inc. nor the names of its 13// contributors may be used to endorse or promote products derived 14// from this software without specific prior written permission. 15// 16// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 17// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 18// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 19// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 20// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 21// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 22// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 23// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 24// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 25// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 26// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 27 28// Ensure that operations on small integers handle -0. 29 30var zero = 0; 31var one = 1; 32var minus_one = -1; 33var two = 2; 34var four = 4; 35var minus_two = -2; 36var minus_four = -4; 37 38// variable op variable 39 40assertEquals(one / (-zero), -Infinity, "one / -0 I"); 41 42assertEquals(one / (zero * minus_one), -Infinity, "one / -1"); 43assertEquals(one / (minus_one * zero), -Infinity, "one / -0 II"); 44assertEquals(one / (zero * zero), Infinity, "one / 0 I"); 45assertEquals(one / (minus_one * minus_one), 1, "one / 1"); 46 47assertEquals(one / (zero / minus_one), -Infinity, "one / -0 III"); 48assertEquals(one / (zero / one), Infinity, "one / 0 II"); 49 50assertEquals(one / (minus_four % two), -Infinity, "foo1"); 51assertEquals(one / (minus_four % minus_two), -Infinity, "foo2"); 52assertEquals(one / (four % two), Infinity, "foo3"); 53assertEquals(one / (four % minus_two), Infinity, "foo4"); 54 55// literal op variable 56 57assertEquals(one / (0 * minus_one), -Infinity, "bar1"); 58assertEquals(one / (-1 * zero), -Infinity, "bar2"); 59assertEquals(one / (0 * zero), Infinity, "bar3"); 60assertEquals(one / (-1 * minus_one), 1, "bar4"); 61 62assertEquals(one / (0 / minus_one), -Infinity, "baz1"); 63assertEquals(one / (0 / one), Infinity, "baz2"); 64 65assertEquals(one / (-4 % two), -Infinity, "baz3"); 66assertEquals(one / (-4 % minus_two), -Infinity, "baz4"); 67assertEquals(one / (4 % two), Infinity, "baz5"); 68assertEquals(one / (4 % minus_two), Infinity, "baz6"); 69 70// variable op literal 71 72assertEquals(one / (zero * -1), -Infinity, "fizz1"); 73assertEquals(one / (minus_one * 0), -Infinity, "fizz2"); 74assertEquals(one / (zero * 0), Infinity, "fizz3"); 75assertEquals(one / (minus_one * -1), 1, "fizz4"); 76 77assertEquals(one / (zero / -1), -Infinity, "buzz1"); 78assertEquals(one / (zero / 1), Infinity, "buzz2"); 79 80assertEquals(one / (minus_four % 2), -Infinity, "buzz3"); 81assertEquals(one / (minus_four % -2), -Infinity, "buzz4"); 82assertEquals(one / (four % 2), Infinity, "buzz5"); 83assertEquals(one / (four % -2), Infinity, "buzz6"); 84 85// literal op literal 86 87assertEquals(one / (-0), -Infinity, "fisk1"); 88 89assertEquals(one / (0 * -1), -Infinity, "fisk2"); 90assertEquals(one / (-1 * 0), -Infinity, "fisk3"); 91assertEquals(one / (0 * 0), Infinity, "fisk4"); 92assertEquals(one / (-1 * -1), 1, "fisk5"); 93 94assertEquals(one / (0 / -1), -Infinity, "hest1"); 95assertEquals(one / (0 / 1), Infinity, "hest2"); 96 97assertEquals(one / (-4 % 2), -Infinity, "fiskhest1"); 98assertEquals(one / (-4 % -2), -Infinity, "fiskhest2"); 99assertEquals(one / (4 % 2), Infinity, "fiskhest3"); 100assertEquals(one / (4 % -2), Infinity, "fiskhest4"); 101