1a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// Copyright 2008 the V8 project authors. All rights reserved.
2a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// Redistribution and use in source and binary forms, with or without
3a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// modification, are permitted provided that the following conditions are
4a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// met:
5a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block//
6a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block//     * Redistributions of source code must retain the above copyright
7a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block//       notice, this list of conditions and the following disclaimer.
8a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block//     * Redistributions in binary form must reproduce the above
9a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block//       copyright notice, this list of conditions and the following
10a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block//       disclaimer in the documentation and/or other materials provided
11a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block//       with the distribution.
12a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block//     * Neither the name of Google Inc. nor the names of its
13a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block//       contributors may be used to endorse or promote products derived
14a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block//       from this software without specific prior written permission.
15a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block//
16a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
17a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
18a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
19a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
20a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
21a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
22a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
26a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block
28b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochfunction dead1(a, b) {
29b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    a * b;
30b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    a << b;
31b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    a >> b;
32b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    a >>> b;
33b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    a | b;
34b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    a & b;
35b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    a ^ b;
36b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    return a;
37a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block}
38a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block
39b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochfunction dead2(a, b) {
40b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    (a | 0) * b;
41b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    (a | 0) << b;
42b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    (a | 0) >> b;
43b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    (a | 0) >>> b;
44b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    (a | 0) | b;
45b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    (a | 0) & b;
46b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    (a | 0) ^ b;
47b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    return a;
48a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block}
49a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block
50b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochfunction dead3(a, b) {
51b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    a == 2 ? (a * b) : (b * a); // dead
52b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    return a;
53a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block}
54a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block
55b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochfunction dead4(a) {
56b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    var z = 3;
57b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    for (i = 0; i < 3; i++) {
58b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch        z * 3; // dead
59b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    }
60b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    return a;
61b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch}
62b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch
63b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochfunction dead5(a) {
64b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    var z = 3;
65b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    for (i = 0; i < 3; i++) {
66b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch        z * 3; // dead
67b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch        z++;
68b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    }
69b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    var w = z * a;
70b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    return a; // w is dead
71b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch}
72b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch
73b8a8cc1952d61a2f3a2568848933943a543b5d3eBen MurdochassertTrue(dead1(33, 32) == 33);
74b8a8cc1952d61a2f3a2568848933943a543b5d3eBen MurdochassertTrue(dead2(33, 32) == 33);
75b8a8cc1952d61a2f3a2568848933943a543b5d3eBen MurdochassertTrue(dead3(33, 32) == 33);
76b8a8cc1952d61a2f3a2568848933943a543b5d3eBen MurdochassertTrue(dead4(33) == 33);
77b8a8cc1952d61a2f3a2568848933943a543b5d3eBen MurdochassertTrue(dead5(33) == 33);
78b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch
79b8a8cc1952d61a2f3a2568848933943a543b5d3eBen MurdochassertTrue(dead1(34, 7) == 34);
80b8a8cc1952d61a2f3a2568848933943a543b5d3eBen MurdochassertTrue(dead2(34, 7) == 34);
81b8a8cc1952d61a2f3a2568848933943a543b5d3eBen MurdochassertTrue(dead3(34, 7) == 34);
82b8a8cc1952d61a2f3a2568848933943a543b5d3eBen MurdochassertTrue(dead4(34) == 34);
83b8a8cc1952d61a2f3a2568848933943a543b5d3eBen MurdochassertTrue(dead5(34) == 34);
84b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch
85b8a8cc1952d61a2f3a2568848933943a543b5d3eBen MurdochassertTrue(dead1(3.4, 0.1) == 3.4);
86b8a8cc1952d61a2f3a2568848933943a543b5d3eBen MurdochassertTrue(dead2(3.4, 0.1) == 3.4);
87b8a8cc1952d61a2f3a2568848933943a543b5d3eBen MurdochassertTrue(dead3(3.4, 0.1) == 3.4);
88b8a8cc1952d61a2f3a2568848933943a543b5d3eBen MurdochassertTrue(dead4(3.4) == 3.4);
89b8a8cc1952d61a2f3a2568848933943a543b5d3eBen MurdochassertTrue(dead5(3.4) == 3.4);
90