Ben Murdoch | b0fe162 | 2011-05-05 13:52:32 +0100 | [diff] [blame] | 1 | // Copyright 2010 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 | |
Ben Murdoch | 8b112d2 | 2011-06-08 16:22:53 +0100 | [diff] [blame] | 28 | // Flags: --allow-natives-syntax |
| 29 | |
Ben Murdoch | b0fe162 | 2011-05-05 13:52:32 +0100 | [diff] [blame] | 30 | function f(x) { |
| 31 | return ~x; |
| 32 | } |
| 33 | |
| 34 | f(42); |
| 35 | assertEquals(~12, f(12.45)); |
| 36 | assertEquals(~42, f(42.87)); |
| 37 | |
| 38 | |
| 39 | var a = 1, b = 2, c = 4, d = 8; |
| 40 | function g() { |
| 41 | return a | (b | (c | d)); |
| 42 | } |
| 43 | |
| 44 | g(); |
| 45 | c = "16"; |
| 46 | assertEquals(1 | 2 | 16 | 8, g()); |
| 47 | |
| 48 | |
| 49 | // Test deopt when global function changes. |
| 50 | function h() { |
| 51 | return g(); |
| 52 | } |
| 53 | assertEquals(1 | 2 | 16 | 8, h()); |
| 54 | g = function() { return 42; }; |
| 55 | assertEquals(42, h()); |
| 56 | |
| 57 | |
| 58 | // Test deopt when map changes. |
| 59 | var obj = {}; |
| 60 | obj.g = g; |
| 61 | function k(o) { |
| 62 | return o.g(); |
| 63 | } |
Ben Murdoch | 8b112d2 | 2011-06-08 16:22:53 +0100 | [diff] [blame] | 64 | for (var i = 0; i < 5; i++) k(obj); |
| 65 | %OptimizeFunctionOnNextCall(k); |
| 66 | k(obj); |
Ben Murdoch | b0fe162 | 2011-05-05 13:52:32 +0100 | [diff] [blame] | 67 | assertEquals(42, k(obj)); |
| 68 | assertEquals(87, k({g: function() { return 87; }})); |
| 69 | |
| 70 | |
| 71 | // Test deopt with assignments to parameters. |
| 72 | function p(x,y) { |
| 73 | x = 42; |
| 74 | y = 1; |
| 75 | y = y << "0"; |
| 76 | return x | y; |
| 77 | } |
| 78 | assertEquals(43, p(0,0)); |
| 79 | |
| 80 | |
| 81 | // Test deopt with literals on the expression stack. |
| 82 | function LiteralToStack(x) { |
| 83 | return 'lit[' + (x + ']'); |
| 84 | } |
| 85 | |
| 86 | assertEquals('lit[-87]', LiteralToStack(-87)); |
| 87 | assertEquals('lit[0]', LiteralToStack(0)); |
| 88 | assertEquals('lit[42]', LiteralToStack(42)); |
| 89 | |
| 90 | |
| 91 | // Test deopt before call. |
| 92 | var str = "abc"; |
| 93 | var r; |
| 94 | function CallCharAt(n) { return str.charAt(n); } |
Ben Murdoch | 8b112d2 | 2011-06-08 16:22:53 +0100 | [diff] [blame] | 95 | for (var i = 0; i < 5; i++) { |
Ben Murdoch | b0fe162 | 2011-05-05 13:52:32 +0100 | [diff] [blame] | 96 | r = CallCharAt(0); |
| 97 | } |
Ben Murdoch | 8b112d2 | 2011-06-08 16:22:53 +0100 | [diff] [blame] | 98 | %OptimizeFunctionOnNextCall(CallCharAt); |
| 99 | r = CallCharAt(0); |
Ben Murdoch | b0fe162 | 2011-05-05 13:52:32 +0100 | [diff] [blame] | 100 | assertEquals("a", r); |
| 101 | |
| 102 | |
| 103 | // Test of deopt in presence of spilling. |
| 104 | function add4(a,b,c,d) { |
| 105 | return a+b+c+d; |
| 106 | } |
| 107 | assertEquals(0x40000003, add4(1,1,2,0x3fffffff)); |