| OLD | NEW |
| 1 // Copyright 2012 the V8 project authors. All rights reserved. | 1 // Copyright 2012 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 --smi-only-arrays --expose-gc | 28 // Flags: --allow-natives-syntax --expose-gc |
| 29 | |
| 30 // Test element kind of objects. | |
| 31 // Since --smi-only-arrays affects builtins, its default setting at compile | |
| 32 // time sticks if built with snapshot. If --smi-only-arrays is deactivated | |
| 33 // by default, only a no-snapshot build actually has smi-only arrays enabled | |
| 34 // in this test case. Depending on whether smi-only arrays are actually | |
| 35 // enabled, this test takes the appropriate code path to check smi-only arrays. | |
| 36 | |
| 37 support_smi_only_arrays = %HasFastSmiElements([1,2,3,4,5,6,7,8,9,10]); | |
| 38 | |
| 39 if (support_smi_only_arrays) { | |
| 40 print("Tests include smi-only arrays."); | |
| 41 } else { | |
| 42 print("Tests do NOT include smi-only arrays."); | |
| 43 } | |
| 44 | 29 |
| 45 // IC and Crankshaft support for smi-only elements in dynamic array literals. | 30 // IC and Crankshaft support for smi-only elements in dynamic array literals. |
| 46 function get(foo) { return foo; } // Used to generate dynamic values. | 31 function get(foo) { return foo; } // Used to generate dynamic values. |
| 47 | 32 |
| 48 function array_literal_test() { | 33 function array_literal_test() { |
| 49 var a0 = [1, 2, 3]; | 34 var a0 = [1, 2, 3]; |
| 50 assertTrue(%HasFastSmiElements(a0)); | 35 assertTrue(%HasFastSmiElements(a0)); |
| 51 var a1 = [get(1), get(2), get(3)]; | 36 var a1 = [get(1), get(2), get(3)]; |
| 52 assertTrue(%HasFastSmiElements(a1)); | 37 assertTrue(%HasFastSmiElements(a1)); |
| 53 | 38 |
| (...skipping 33 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 87 assertEquals(2, e0[1]); | 72 assertEquals(2, e0[1]); |
| 88 assertEquals(1, e0[0]); | 73 assertEquals(1, e0[0]); |
| 89 | 74 |
| 90 var f0 = [1, 2, [1, 2]]; | 75 var f0 = [1, 2, [1, 2]]; |
| 91 assertTrue(%HasFastObjectElements(f0)); | 76 assertTrue(%HasFastObjectElements(f0)); |
| 92 assertEquals([1,2], f0[2]); | 77 assertEquals([1,2], f0[2]); |
| 93 assertEquals(2, f0[1]); | 78 assertEquals(2, f0[1]); |
| 94 assertEquals(1, f0[0]); | 79 assertEquals(1, f0[0]); |
| 95 } | 80 } |
| 96 | 81 |
| 97 if (support_smi_only_arrays) { | 82 for (var i = 0; i < 3; i++) { |
| 98 for (var i = 0; i < 3; i++) { | 83 array_literal_test(); |
| 99 array_literal_test(); | 84 } |
| 100 } | |
| 101 %OptimizeFunctionOnNextCall(array_literal_test); | 85 %OptimizeFunctionOnNextCall(array_literal_test); |
| 102 array_literal_test(); | 86 array_literal_test(); |
| 103 | 87 |
| 104 function test_large_literal() { | 88 function test_large_literal() { |
| 105 | 89 |
| 106 function d() { | 90 function d() { |
| 107 gc(); | 91 gc(); |
| 108 return 2.5; | 92 return 2.5; |
| 109 } | |
| 110 | |
| 111 function o() { | |
| 112 gc(); | |
| 113 return new Object(); | |
| 114 } | |
| 115 | |
| 116 large = | |
| 117 [ 0, 1, 2, 3, 4, 5, d(), d(), d(), d(), d(), d(), o(), o(), o(), o() ]; | |
| 118 assertFalse(%HasDictionaryElements(large)); | |
| 119 assertFalse(%HasFastSmiElements(large)); | |
| 120 assertFalse(%HasFastDoubleElements(large)); | |
| 121 assertTrue(%HasFastObjectElements(large)); | |
| 122 assertEquals(large, | |
| 123 [0, 1, 2, 3, 4, 5, 2.5, 2.5, 2.5, 2.5, 2.5, 2.5, | |
| 124 new Object(), new Object(), new Object(), new Object()]); | |
| 125 } | 93 } |
| 126 | 94 |
| 127 for (var i = 0; i < 3; i++) { | 95 function o() { |
| 128 test_large_literal(); | 96 gc(); |
| 129 } | 97 return new Object(); |
| 130 %OptimizeFunctionOnNextCall(test_large_literal); | |
| 131 test_large_literal(); | |
| 132 | |
| 133 function deopt_array(use_literal) { | |
| 134 if (use_literal) { | |
| 135 return [.5, 3, 4]; | |
| 136 } else { | |
| 137 return new Array(); | |
| 138 } | |
| 139 } | 98 } |
| 140 | 99 |
| 141 deopt_array(false); | 100 large = |
| 142 deopt_array(false); | 101 [ 0, 1, 2, 3, 4, 5, d(), d(), d(), d(), d(), d(), o(), o(), o(), o() ]; |
| 143 deopt_array(false); | 102 assertFalse(%HasDictionaryElements(large)); |
| 103 assertFalse(%HasFastSmiElements(large)); |
| 104 assertFalse(%HasFastDoubleElements(large)); |
| 105 assertTrue(%HasFastObjectElements(large)); |
| 106 assertEquals(large, |
| 107 [0, 1, 2, 3, 4, 5, 2.5, 2.5, 2.5, 2.5, 2.5, 2.5, |
| 108 new Object(), new Object(), new Object(), new Object()]); |
| 109 } |
| 110 |
| 111 for (var i = 0; i < 3; i++) { |
| 112 test_large_literal(); |
| 113 } |
| 114 %OptimizeFunctionOnNextCall(test_large_literal); |
| 115 test_large_literal(); |
| 116 |
| 117 function deopt_array(use_literal) { |
| 118 if (use_literal) { |
| 119 return [.5, 3, 4]; |
| 120 } else { |
| 121 return new Array(); |
| 122 } |
| 123 } |
| 124 |
| 125 deopt_array(false); |
| 126 deopt_array(false); |
| 127 deopt_array(false); |
| 144 %OptimizeFunctionOnNextCall(deopt_array); | 128 %OptimizeFunctionOnNextCall(deopt_array); |
| 145 var array = deopt_array(false); | 129 var array = deopt_array(false); |
| 146 assertOptimized(deopt_array); | 130 assertOptimized(deopt_array); |
| 147 deopt_array(true); | 131 deopt_array(true); |
| 148 assertOptimized(deopt_array); | 132 assertOptimized(deopt_array); |
| 149 array = deopt_array(false); | 133 array = deopt_array(false); |
| 150 assertOptimized(deopt_array); | 134 assertOptimized(deopt_array); |
| 151 | 135 |
| 152 // Check that unexpected changes in the objects stored into the boilerplate | 136 // Check that unexpected changes in the objects stored into the boilerplate |
| 153 // also force a deopt. | 137 // also force a deopt. |
| 154 function deopt_array_literal_all_smis(a) { | 138 function deopt_array_literal_all_smis(a) { |
| 155 return [0, 1, a]; | 139 return [0, 1, a]; |
| 156 } | 140 } |
| 157 | 141 |
| 158 deopt_array_literal_all_smis(2); | 142 deopt_array_literal_all_smis(2); |
| 159 deopt_array_literal_all_smis(3); | 143 deopt_array_literal_all_smis(3); |
| 160 deopt_array_literal_all_smis(4); | 144 deopt_array_literal_all_smis(4); |
| 161 array = deopt_array_literal_all_smis(4); | 145 array = deopt_array_literal_all_smis(4); |
| 162 assertEquals(0, array[0]); | 146 assertEquals(0, array[0]); |
| 163 assertEquals(1, array[1]); | 147 assertEquals(1, array[1]); |
| 164 assertEquals(4, array[2]); | 148 assertEquals(4, array[2]); |
| 165 %OptimizeFunctionOnNextCall(deopt_array_literal_all_smis); | 149 %OptimizeFunctionOnNextCall(deopt_array_literal_all_smis); |
| 166 array = deopt_array_literal_all_smis(5); | 150 array = deopt_array_literal_all_smis(5); |
| 167 array = deopt_array_literal_all_smis(6); | 151 array = deopt_array_literal_all_smis(6); |
| 168 assertOptimized(deopt_array_literal_all_smis); | 152 assertOptimized(deopt_array_literal_all_smis); |
| 169 assertEquals(0, array[0]); | 153 assertEquals(0, array[0]); |
| 170 assertEquals(1, array[1]); | 154 assertEquals(1, array[1]); |
| 171 assertEquals(6, array[2]); | 155 assertEquals(6, array[2]); |
| 172 | 156 |
| 173 array = deopt_array_literal_all_smis(.5); | 157 array = deopt_array_literal_all_smis(.5); |
| 174 assertUnoptimized(deopt_array_literal_all_smis); | 158 assertUnoptimized(deopt_array_literal_all_smis); |
| 175 assertEquals(0, array[0]); | 159 assertEquals(0, array[0]); |
| 176 assertEquals(1, array[1]); | 160 assertEquals(1, array[1]); |
| 177 assertEquals(.5, array[2]); | 161 assertEquals(.5, array[2]); |
| 178 | 162 |
| 179 function deopt_array_literal_all_doubles(a) { | 163 function deopt_array_literal_all_doubles(a) { |
| 180 return [0.5, 1, a]; | 164 return [0.5, 1, a]; |
| 181 } | 165 } |
| 182 | 166 |
| 183 deopt_array_literal_all_doubles(.5); | 167 deopt_array_literal_all_doubles(.5); |
| 184 deopt_array_literal_all_doubles(.5); | 168 deopt_array_literal_all_doubles(.5); |
| 185 deopt_array_literal_all_doubles(.5); | 169 deopt_array_literal_all_doubles(.5); |
| 186 array = deopt_array_literal_all_doubles(0.5); | 170 array = deopt_array_literal_all_doubles(0.5); |
| 187 assertEquals(0.5, array[0]); | 171 assertEquals(0.5, array[0]); |
| 188 assertEquals(1, array[1]); | 172 assertEquals(1, array[1]); |
| 189 assertEquals(0.5, array[2]); | 173 assertEquals(0.5, array[2]); |
| 190 %OptimizeFunctionOnNextCall(deopt_array_literal_all_doubles); | 174 %OptimizeFunctionOnNextCall(deopt_array_literal_all_doubles); |
| 191 array = deopt_array_literal_all_doubles(5); | 175 array = deopt_array_literal_all_doubles(5); |
| 192 array = deopt_array_literal_all_doubles(6); | 176 array = deopt_array_literal_all_doubles(6); |
| 193 assertOptimized(deopt_array_literal_all_doubles); | 177 assertOptimized(deopt_array_literal_all_doubles); |
| 194 assertEquals(0.5, array[0]); | 178 assertEquals(0.5, array[0]); |
| 195 assertEquals(1, array[1]); | 179 assertEquals(1, array[1]); |
| 196 assertEquals(6, array[2]); | 180 assertEquals(6, array[2]); |
| 197 | 181 |
| 198 var foo = new Object(); | 182 var foo = new Object(); |
| 199 array = deopt_array_literal_all_doubles(foo); | 183 array = deopt_array_literal_all_doubles(foo); |
| 200 assertUnoptimized(deopt_array_literal_all_doubles); | 184 assertUnoptimized(deopt_array_literal_all_doubles); |
| 201 assertEquals(0.5, array[0]); | 185 assertEquals(0.5, array[0]); |
| 202 assertEquals(1, array[1]); | 186 assertEquals(1, array[1]); |
| 203 assertEquals(foo, array[2]); | 187 assertEquals(foo, array[2]); |
| 204 } | |
| 205 | 188 |
| 206 (function literals_after_osr() { | 189 (function literals_after_osr() { |
| 207 var color = [0]; | 190 var color = [0]; |
| 208 // Trigger OSR, if optimization is not disabled. | 191 // Trigger OSR, if optimization is not disabled. |
| 209 if (%GetOptimizationStatus(literals_after_osr) != 4) { | 192 if (%GetOptimizationStatus(literals_after_osr) != 4) { |
| 210 while (%GetOptimizationCount(literals_after_osr) == 0) {} | 193 while (%GetOptimizationCount(literals_after_osr) == 0) {} |
| 211 } | 194 } |
| 212 return [color[0]]; | 195 return [color[0]]; |
| 213 })(); | 196 })(); |
| OLD | NEW |