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 --check-elimination
     29 
     30 function A(x, y) {
     31   this.x = x;
     32   this.y = y;
     33 }
     34 
     35 function B(x, y) {
     36   this.x = x;
     37   this.y = y;
     38 }
     39 
     40 function F1(a, b) {
     41   if (a == b) return a.x;
     42   else return b.x;
     43 }
     44 
     45 function F2(a, b) {
     46   if (a == b) return a.x;
     47   else return b.x;
     48 }
     49 
     50 function F3(a, b) {
     51   var f = a.y;
     52   if (a == b) return a.x;
     53   else return b.x;
     54 }
     55 
     56 function F4(a, b) {
     57   var f = b.y;
     58   if (a == b) return a.x;
     59   else return b.x;
     60 }
     61 
     62 %NeverOptimizeFunction(test);
     63 
     64 function test(f, a, b) {
     65   f(a, a);
     66   f(a, b);
     67   f(b, a);
     68   f(b, c);
     69   f(b, b);
     70   f(c, c);
     71 
     72   %OptimizeFunctionOnNextCall(f)
     73 
     74   assertEquals(a.x, f(a, a));
     75   assertEquals(b.x, f(b, b));
     76 }
     77 
     78 var a = new A(3, 5);
     79 var b = new B(2, 6);
     80 var c = new A(1, 7);
     81 
     82 test(F1, a, c);
     83 test(F2, a, b);
     84 test(F3, a, b);
     85 test(F4, a, b);
     86