Home | History | Annotate | Download | only in regress 
      1 // Copyright 2011 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 the Lithium environment iterator does stop iteration early.
     31 "use strict";
     32 
     33 function f0() {
     34   return f1('literal', true);
     35 }
     36 
     37 function f1(x, y) {
     38   return f2(x, y);
     39 }
     40 
     41 // Because it's strict, f2 has an environment containing only the constants
     42 // undefined, 'literal', and false.  Bug 1423 would cause environment
     43 // iteration to stop early.
     44 //
     45 // Bug manifests as UNREACHABLE code (due to an unallocated register) in
     46 // debug builds.
     47 function f2(x, y) {
     48   if (y) {
     49     if (f3(x, 'other-literal')) {
     50       return 0;
     51     } else {
     52       return 1;
     53     }
     54   } else {
     55     return 2;
     56   }
     57 }
     58 
     59 function f3(x, y) {
     60   return x === y;
     61 }
     62 
     63 for (var i = 0; i < 5; ++i) f0();
     64 %OptimizeFunctionOnNextCall(f0);
     65 assertEquals(1, f0());
     66