1b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// Copyright 2014 the V8 project authors. All rights reserved. 2b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// Redistribution and use in source and binary forms, with or without 3b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// modification, are permitted provided that the following conditions are 4b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// met: 5b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// 6b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// * Redistributions of source code must retain the above copyright 7b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// notice, this list of conditions and the following disclaimer. 8b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// * Redistributions in binary form must reproduce the above 9b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// copyright notice, this list of conditions and the following 10b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// disclaimer in the documentation and/or other materials provided 11b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// with the distribution. 12b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// * Neither the name of Google Inc. nor the names of its 13b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// contributors may be used to endorse or promote products derived 14b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// from this software without specific prior written permission. 15b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// 16b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 17b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 18b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 19b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 20b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 21b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 22b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 23b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 24b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 25b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 26b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 27b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 28b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// Flags: --allow-natives-syntax --noalways-opt 29b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 30b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochfunction check(func, input, expected) { 31b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch func(-1); 32b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch func(-1); 33b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch %OptimizeFunctionOnNextCall(func); 34b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch assertEquals(expected, func(input)); 35b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch assertOptimized(func); 36b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch} 37b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 38b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochfunction mul_by_neg_1(a) { return a * -1; } 39b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochfunction mul_by_0(a) { return a * 0; } 40b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochfunction mul_by_1(a) { return a * 1; } 41b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochfunction mul_by_2(a) { return a * 2; } 42b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 43b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochcheck(mul_by_neg_1, 2, -2); 44b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochcheck(mul_by_0, 2, 0); 45b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochcheck(mul_by_1, 2, 2); 46b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochcheck(mul_by_2, 2, 4); 47b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 48b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochfunction limit_range(a) { 49b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch // Limit the range of 'a' to enable no-overflow optimizations. 50b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch return Math.max(Math.min(a | 0, 10), -10); 51b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch} 52b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 53b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochfunction mul_by_neg_127(a) { return limit_range(a) * -127; } 54b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochfunction mul_by_neg_128(a) { return limit_range(a) * -128; } 55b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochfunction mul_by_neg_129(a) { return limit_range(a) * -129; } 56b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochfunction mul_by_1023(a) { return limit_range(a) * 1023; } 57b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochfunction mul_by_1024(a) { return limit_range(a) * 1024; } 58b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochfunction mul_by_1025(a) { return limit_range(a) * 1025; } 59b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 60b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochcheck(mul_by_neg_127, 2, -254); 61b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochcheck(mul_by_neg_128, 2, -256); 62b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochcheck(mul_by_neg_129, 2, -258); 63b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochcheck(mul_by_1023, 2, 2046); 64b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochcheck(mul_by_1024, 2, 2048); 65b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochcheck(mul_by_1025, 2, 2050); 66b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 67b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// Deopt on minus zero. 68b8a8cc1952d61a2f3a2568848933943a543b5d3eBen MurdochassertEquals(-0, mul_by_neg_128(0)); 69b8a8cc1952d61a2f3a2568848933943a543b5d3eBen MurdochassertUnoptimized(mul_by_neg_128); 70b8a8cc1952d61a2f3a2568848933943a543b5d3eBen MurdochassertEquals(-0, mul_by_2(-0)); 71b8a8cc1952d61a2f3a2568848933943a543b5d3eBen MurdochassertUnoptimized(mul_by_2); 72b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 73b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// Deopt on overflow. 74b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 75b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// 2^30 is a smi boundary on arm and ia32. 76b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochvar two_30 = 1 << 30; 77b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// 2^31 is a smi boundary on arm64 and x64. 78b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochvar two_31 = 2 * two_30; 79b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 80b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// TODO(rmcilroy): replace after r16361 with: if (%IsValidSmi(two_31)) { 81b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochif (true) { 82b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch assertEquals(two_31, mul_by_neg_1(-two_31)); 83b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch assertUnoptimized(mul_by_neg_1); 84b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch} else { 85b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch assertEquals(two_30, mul_by_neg_1(-two_30)); 86b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch assertUnoptimized(mul_by_neg_1); 87b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch} 88