Home | History | Annotate | Download | only in compiler 
      1 // Copyright 2008 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 function dead1(a, b) {
     29     { var x = a + b; }
     30     return a; // x is dead
     31 }
     32 
     33 function dead2(a, b) {
     34     { var x = a | 0; var y = b | 0; }
     35     return a; // x and y are both dead
     36 }
     37 
     38 function dead3(a, b) {
     39     {
     40       var z;
     41       if(a == 2) z = a;
     42       else z = b;
     43     }
     44     return a; // z is dead
     45 }
     46 
     47 function dead4(a) {
     48     {
     49       var z = 3;
     50       for (i = 0; i < 3; i++) {
     51         z++;
     52       }
     53     }
     54     return a; // z is dead
     55 }
     56 
     57 function dead5(a) {
     58     {
     59       var z = 3;
     60       for (i = 0; i < 3; i++) {
     61         z++;
     62       }
     63       var w = z + a;
     64     }
     65     return a; // z and w are dead
     66 }
     67 
     68 assertTrue(dead1(33, 32) == 33);
     69 assertTrue(dead2(33, 32) == 33);
     70 assertTrue(dead3(33, 32) == 33);
     71 assertTrue(dead4(33) == 33);
     72 assertTrue(dead5(33) == 33);
     73 
     74 assertTrue(dead1(34, 7) == 34);
     75 assertTrue(dead2(34, 7) == 34);
     76 assertTrue(dead3(34, 7) == 34);
     77 assertTrue(dead4(34) == 34);
     78 assertTrue(dead5(34) == 34);
     79 
     80 assertTrue(dead1(3.4, 0.1) == 3.4);
     81 assertTrue(dead2(3.4, 0.1) == 3.4);
     82 assertTrue(dead3(3.4, 0.1) == 3.4);
     83 assertTrue(dead4(3.4) == 3.4);
     84 assertTrue(dead5(3.4) == 3.4);
     85