Home | History | Annotate | Download | only in compiler 
      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 
     28 // Flags: --allow-natives-syntax
     29 
     30 // Test that we can inline a call with a parameter.
     31 function TestInlineOneParam(o, p) {
     32   // Effect context.
     33   o.f(p);
     34   // Value context.
     35   var x = o.f(p);
     36   assertEquals(42, x);
     37   assertEquals(42, o.f(p));
     38   // Test context.
     39   if (!o.f(p)) {
     40     assertTrue(false);  // Should not happen.
     41   }
     42 }
     43 
     44 var obj = {x:42};
     45 var o1 = {};
     46 o1.f = function(o) { return o.x; };
     47 for (var i = 0; i < 5; i++) TestInlineOneParam(o1, obj);
     48 %OptimizeFunctionOnNextCall(TestInlineOneParam);
     49 TestInlineOneParam(o1, obj);
     50 TestInlineOneParam({f: o1.f}, {x:42});
     51 
     52 
     53 function TestInlineTwoParams(o, p) {
     54   var y = 43;
     55   // Effect context.
     56   o.h(y, y);
     57   // Value context.
     58   var x = o.h(p, y);
     59   assertEquals(true, x);
     60   assertEquals(false, o.h(y, p));
     61   // Test context.
     62   if (!o.h(p, y)) {
     63     assertTrue(false);  // Should not happen.
     64   }
     65 
     66   // Perform the same tests again, but this time with non-trivial
     67   // expressions as the parameters.
     68 
     69   // Effect context.
     70   o.h(y + 1, y + 1);
     71   // Value context.
     72   var x = o.h(p + 1, y + 1);
     73   assertEquals(true, x);
     74   assertEquals(false, o.h(y + 1, p + 1));
     75   // Test context.
     76   if (!o.h(p + 1, y + 1)) {
     77     assertTrue(false);  // Should not happen.
     78   }
     79 }
     80 
     81 var o2 = {};
     82 o2.h = function(i, j) { return i < j; };
     83 for (var i = 0; i < 5; i++) TestInlineTwoParams(o2, 42);
     84 %OptimizeFunctionOnNextCall(TestInlineTwoParams);
     85 TestInlineTwoParams(o2, 42);
     86 TestInlineTwoParams({h: o2.h}, 42);
     87