OLD | NEW |
1 // Copyright 2013 the V8 project authors. All rights reserved. | 1 // Copyright 2013 the V8 project authors. All rights reserved. |
2 // Redistribution and use in source and binary forms, with or without | 2 // Redistribution and use in source and binary forms, with or without |
3 // modification, are permitted provided that the following conditions are | 3 // modification, are permitted provided that the following conditions are |
4 // met: | 4 // met: |
5 // | 5 // |
6 // * Redistributions of source code must retain the above copyright | 6 // * Redistributions of source code must retain the above copyright |
7 // notice, this list of conditions and the following disclaimer. | 7 // notice, this list of conditions and the following disclaimer. |
8 // * Redistributions in binary form must reproduce the above | 8 // * Redistributions in binary form must reproduce the above |
9 // copyright notice, this list of conditions and the following | 9 // copyright notice, this list of conditions and the following |
10 // disclaimer in the documentation and/or other materials provided | 10 // disclaimer in the documentation and/or other materials provided |
11 // with the distribution. | 11 // with the distribution. |
12 // * Neither the name of Google Inc. nor the names of its | 12 // * Neither the name of Google Inc. nor the names of its |
13 // contributors may be used to endorse or promote products derived | 13 // contributors may be used to endorse or promote products derived |
14 // from this software without specific prior written permission. | 14 // from this software without specific prior written permission. |
15 // | 15 // |
16 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS | 16 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS |
17 // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT | 17 // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT |
18 // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR | 18 // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR |
19 // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT | 19 // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT |
20 // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, | 20 // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, |
21 // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT | 21 // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT |
22 // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, | 22 // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, |
23 // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY | 23 // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY |
24 // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT | 24 // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT |
25 // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE | 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. | 26 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
27 | 27 |
28 // Flags: --allow-natives-syntax --load-elimination | 28 // Flags: --allow-natives-syntax --load-elimination |
29 | 29 |
30 // Test local load elimination of redundant loads and stores. | 30 // Test global load elimination of redundant loads and stores. |
| 31 |
| 32 var X = true; // For forcing branches. |
| 33 X = false; |
| 34 X = true; |
| 35 X = false; |
31 | 36 |
32 function B(x, y) { | 37 function B(x, y) { |
33 this.x = x; | 38 this.x = x; |
34 this.y = y; | 39 this.y = y; |
35 return this; | 40 return this; |
36 } | 41 } |
37 | 42 |
38 function test_load() { | 43 function test_load() { |
39 var a = new B(1, 2); | 44 var a = new B(1, 2); |
40 return a.x + a.x + a.x + a.x; | 45 var f = a.x + a.x; |
| 46 if (false) ; |
| 47 return f + a.x + a.x; |
| 48 } |
| 49 |
| 50 function test_load2() { |
| 51 var a = new B(1, 2); |
| 52 var f = a.x + a.x; |
| 53 if (true) ; |
| 54 return f + a.x + a.x; |
41 } | 55 } |
42 | 56 |
43 function test_store_load() { | 57 function test_store_load() { |
44 var a = new B(1, 2); | 58 var a = new B(1, 2); |
45 a.x = 4; | 59 a.x = 4; |
46 var f = a.x; | 60 var b = X ? a.x : a.x; |
47 a.x = 5; | 61 return b + a.x; |
48 var g = a.x; | 62 } |
49 a.x = 6; | 63 |
50 var h = a.x; | 64 function test_store_load2() { |
51 a.x = 7; | 65 var a = new B(1, 2); |
52 return f + g + h + a.x; | 66 var c = 6; |
| 67 if (X) a.x = c; |
| 68 else a.x = c; |
| 69 return a.x + a.x; |
53 } | 70 } |
54 | 71 |
55 function test_nonaliasing_store1() { | 72 function test_nonaliasing_store1() { |
56 var a = new B(2, 3), b = new B(3, 4); | 73 var a = new B(2, 3), b = new B(3, 4); |
| 74 if (X) ; |
57 b.x = 4; | 75 b.x = 4; |
| 76 if (X) ; |
58 var f = a.x; | 77 var f = a.x; |
| 78 if (X) ; |
59 b.x = 5; | 79 b.x = 5; |
| 80 if (X) ; |
60 var g = a.x; | 81 var g = a.x; |
| 82 if (X) ; |
61 b.x = 6; | 83 b.x = 6; |
| 84 if (X) ; |
62 var h = a.x; | 85 var h = a.x; |
| 86 if (X) ; |
63 b.x = 7; | 87 b.x = 7; |
| 88 if (X) ; |
64 return f + g + h + a.x; | 89 return f + g + h + a.x; |
65 } | 90 } |
66 | 91 |
| 92 function test_loop(x) { |
| 93 var a = new B(2, 3); |
| 94 var v = a.x; |
| 95 var total = v; |
| 96 var i = 0; |
| 97 while (i++ < 10) { |
| 98 total = a.x; |
| 99 a.y = 4; |
| 100 } |
| 101 return total; |
| 102 } |
| 103 |
| 104 function test_loop2(x) { |
| 105 var a = new B(2, 3); |
| 106 var v = a.x; |
| 107 var total = v; |
| 108 var i = 0; |
| 109 while (i++ < 10) { |
| 110 total = a.x; // a.x not affected by loop |
| 111 a.y = 4; |
| 112 |
| 113 var j = 0; |
| 114 while (j++ < 10) { |
| 115 total = a.x; // a.x not affected by loop |
| 116 a.y = 5; |
| 117 } |
| 118 |
| 119 total = a.x; |
| 120 a.y = 6; |
| 121 |
| 122 j = 0; |
| 123 while (j++ < 10) { |
| 124 total = a.x; // a.x not affected by loop |
| 125 a.y = 7; |
| 126 } |
| 127 } |
| 128 return total; |
| 129 } |
| 130 |
67 function killall() { | 131 function killall() { |
68 try { } catch(e) { } | 132 try { } catch(e) { } |
69 } | 133 } |
70 | 134 |
71 %NeverOptimizeFunction(killall); | 135 %NeverOptimizeFunction(killall); |
72 | 136 |
73 function test_store_load_kill() { | 137 function test_store_load_kill() { |
74 var a = new B(1, 2); | 138 var a = new B(1, 2); |
| 139 if (X) ; |
75 a.x = 4; | 140 a.x = 4; |
| 141 if (X) ; |
76 var f = a.x; | 142 var f = a.x; |
| 143 if (X) ; |
77 a.x = 5; | 144 a.x = 5; |
| 145 if (X) ; |
78 var g = a.x; | 146 var g = a.x; |
| 147 if (X) ; |
79 killall(); | 148 killall(); |
| 149 if (X) ; |
80 a.x = 6; | 150 a.x = 6; |
| 151 if (X) ; |
81 var h = a.x; | 152 var h = a.x; |
| 153 if (X) ; |
82 a.x = 7; | 154 a.x = 7; |
| 155 if (X) ; |
83 return f + g + h + a.x; | 156 return f + g + h + a.x; |
84 } | 157 } |
85 | 158 |
86 function test_store_store() { | 159 function test_store_store() { |
87 var a = new B(6, 7); | 160 var a = new B(6, 7); |
| 161 if (X) ; |
88 a.x = 7; | 162 a.x = 7; |
| 163 if (X) ; |
89 a.x = 7; | 164 a.x = 7; |
| 165 if (X) ; |
90 a.x = 7; | 166 a.x = 7; |
| 167 if (X) ; |
91 a.x = 7; | 168 a.x = 7; |
| 169 if (X) ; |
92 return a.x; | 170 return a.x; |
93 } | 171 } |
94 | 172 |
95 function test(x, f) { | 173 function test(x, f) { |
| 174 X = true; |
96 assertEquals(x, f()); | 175 assertEquals(x, f()); |
97 assertEquals(x, f()); | 176 assertEquals(x, f()); |
| 177 X = false; |
| 178 assertEquals(x, f()); |
| 179 assertEquals(x, f()); |
| 180 X = true; |
98 %OptimizeFunctionOnNextCall(f); | 181 %OptimizeFunctionOnNextCall(f); |
99 assertEquals(x, f()); | 182 assertEquals(x, f()); |
| 183 assertEquals(x, f()); |
| 184 X = false; |
| 185 assertEquals(x, f()); |
| 186 assertEquals(x, f()); |
100 } | 187 } |
101 | 188 |
102 test(4, test_load); | 189 test(4, test_load); |
103 test(22, test_store_load); | 190 test(8, test_store_load); |
| 191 test(12, test_store_load2); |
104 test(8, test_nonaliasing_store1); | 192 test(8, test_nonaliasing_store1); |
105 test(22, test_store_load_kill); | 193 test(22, test_store_load_kill); |
106 test(7, test_store_store); | 194 test(7, test_store_store); |
| 195 test(2, test_loop); |
| 196 test(2, test_loop2); |
OLD | NEW |