| 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 |
| (...skipping 102 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 113 function bar0(t) { | 113 function bar0(t) { |
| 114 return new t(); | 114 return new t(); |
| 115 } | 115 } |
| 116 a = bar0(Array); | 116 a = bar0(Array); |
| 117 a[0] = 3.5; | 117 a[0] = 3.5; |
| 118 b = bar0(Array); | 118 b = bar0(Array); |
| 119 assertKind(elements_kind.fast_double, b); | 119 assertKind(elements_kind.fast_double, b); |
| 120 %OptimizeFunctionOnNextCall(bar0); | 120 %OptimizeFunctionOnNextCall(bar0); |
| 121 b = bar0(Array); | 121 b = bar0(Array); |
| 122 assertKind(elements_kind.fast_double, b); | 122 assertKind(elements_kind.fast_double, b); |
| 123 assertTrue(2 != %GetOptimizationStatus(bar0)); | 123 assertOptimized(bar0); |
| 124 // bar0 should deopt | 124 // bar0 should deopt |
| 125 b = bar0(Object); | 125 b = bar0(Object); |
| 126 assertTrue(1 != %GetOptimizationStatus(bar0)); | 126 assertUnoptimized(bar0) |
| 127 // When it's re-optimized, we should call through the full stub | 127 // When it's re-optimized, we should call through the full stub |
| 128 bar0(Array); | 128 bar0(Array); |
| 129 %OptimizeFunctionOnNextCall(bar0); | 129 %OptimizeFunctionOnNextCall(bar0); |
| 130 b = bar0(Array); | 130 b = bar0(Array); |
| 131 // We also lost our ability to record kind feedback, as the site | 131 // We also lost our ability to record kind feedback, as the site |
| 132 // is megamorphic now. | 132 // is megamorphic now. |
| 133 assertKind(elements_kind.fast_smi_only, b); | 133 assertKind(elements_kind.fast_smi_only, b); |
| 134 assertTrue(2 != %GetOptimizationStatus(bar0)); | 134 assertOptimized(bar0); |
| 135 b[0] = 3.5; | 135 b[0] = 3.5; |
| 136 c = bar0(Array); | 136 c = bar0(Array); |
| 137 assertKind(elements_kind.fast_smi_only, c); | 137 assertKind(elements_kind.fast_smi_only, c); |
| 138 })(); | 138 })(); |
| 139 | 139 |
| 140 | 140 |
| 141 // Test: Ensure that bailouts from the stub don't deopt a crankshafted | 141 // Test: Ensure that bailouts from the stub don't deopt a crankshafted |
| 142 // method with a call to that stub. | 142 // method with a call to that stub. |
| 143 (function() { | 143 (function() { |
| 144 function bar(len) { | 144 function bar(len) { |
| 145 return new Array(len); | 145 return new Array(len); |
| 146 } | 146 } |
| 147 a = bar(10); | 147 a = bar(10); |
| 148 a[0] = "a string"; | 148 a[0] = "a string"; |
| 149 a = bar(10); | 149 a = bar(10); |
| 150 assertKind(elements_kind.fast, a); | 150 assertKind(elements_kind.fast, a); |
| 151 %OptimizeFunctionOnNextCall(bar); | 151 %OptimizeFunctionOnNextCall(bar); |
| 152 a = bar(10); | 152 a = bar(10); |
| 153 assertKind(elements_kind.fast, a); | 153 assertKind(elements_kind.fast, a); |
| 154 assertTrue(2 != %GetOptimizationStatus(bar)); | 154 assertOptimized(bar); |
| 155 // The stub bails out, but the method call should be fine. | 155 // The stub bails out, but the method call should be fine. |
| 156 a = bar(100000); | 156 a = bar(100000); |
| 157 assertTrue(2 != %GetOptimizationStatus(bar)); | 157 assertOptimized(bar); |
| 158 assertKind(elements_kind.dictionary, a); | 158 assertKind(elements_kind.dictionary, a); |
| 159 | 159 |
| 160 // If the argument isn't a smi, it bails out as well | 160 // If the argument isn't a smi, it bails out as well |
| 161 a = bar("oops"); | 161 a = bar("oops"); |
| 162 assertTrue(2 != %GetOptimizationStatus(bar)); | 162 assertOptimized(bar); |
| 163 assertKind(elements_kind.fast, a); | 163 assertKind(elements_kind.fast, a); |
| 164 | 164 |
| 165 function barn(one, two, three) { | 165 function barn(one, two, three) { |
| 166 return new Array(one, two, three); | 166 return new Array(one, two, three); |
| 167 } | 167 } |
| 168 | 168 |
| 169 barn(1, 2, 3); | 169 barn(1, 2, 3); |
| 170 barn(1, 2, 3); | 170 barn(1, 2, 3); |
| 171 %OptimizeFunctionOnNextCall(barn); | 171 %OptimizeFunctionOnNextCall(barn); |
| 172 barn(1, 2, 3); | 172 barn(1, 2, 3); |
| 173 assertTrue(2 != %GetOptimizationStatus(barn)); | 173 assertOptimized(barn); |
| 174 a = barn(1, "oops", 3); | 174 a = barn(1, "oops", 3); |
| 175 // The stub should bail out but the method should remain optimized. | 175 // The stub should bail out but the method should remain optimized. |
| 176 assertKind(elements_kind.fast, a); | 176 assertKind(elements_kind.fast, a); |
| 177 assertTrue(2 != %GetOptimizationStatus(barn)); | 177 assertOptimized(barn); |
| 178 })(); | 178 })(); |
| 179 | 179 |
| 180 | 180 |
| 181 // Test: When a method with array constructor is crankshafted, the type | 181 // Test: When a method with array constructor is crankshafted, the type |
| 182 // feedback for elements kind is baked in. Verify that transitions don't | 182 // feedback for elements kind is baked in. Verify that transitions don't |
| 183 // change it anymore | 183 // change it anymore |
| 184 (function() { | 184 (function() { |
| 185 function bar() { | 185 function bar() { |
| 186 return new Array(); | 186 return new Array(); |
| 187 } | 187 } |
| 188 a = bar(); | 188 a = bar(); |
| 189 bar(); | 189 bar(); |
| 190 %OptimizeFunctionOnNextCall(bar); | 190 %OptimizeFunctionOnNextCall(bar); |
| 191 b = bar(); | 191 b = bar(); |
| 192 // This only makes sense to test if we allow crankshafting | 192 // This only makes sense to test if we allow crankshafting |
| 193 if (4 != %GetOptimizationStatus(bar)) { | 193 if (4 != %GetOptimizationStatus(bar)) { |
| 194 assertTrue(2 != %GetOptimizationStatus(bar)); | 194 assertOptimized(bar); |
| 195 %DebugPrint(3); | 195 %DebugPrint(3); |
| 196 b[0] = 3.5; | 196 b[0] = 3.5; |
| 197 c = bar(); | 197 c = bar(); |
| 198 assertKind(elements_kind.fast_smi_only, c); | 198 assertKind(elements_kind.fast_smi_only, c); |
| 199 assertTrue(2 != %GetOptimizationStatus(bar)); | 199 assertOptimized(bar); |
| 200 } | 200 } |
| 201 })(); | 201 })(); |
| 202 | 202 |
| 203 | 203 |
| 204 // Test: create arrays in two contexts, verifying that the correct | 204 // Test: create arrays in two contexts, verifying that the correct |
| 205 // map for Array in that context will be used. | 205 // map for Array in that context will be used. |
| 206 (function() { | 206 (function() { |
| 207 function bar() { return new Array(); } | 207 function bar() { return new Array(); } |
| 208 bar(); | 208 bar(); |
| 209 bar(); | 209 bar(); |
| 210 %OptimizeFunctionOnNextCall(bar); | 210 %OptimizeFunctionOnNextCall(bar); |
| 211 a = bar(); | 211 a = bar(); |
| 212 assertTrue(a instanceof Array); | 212 assertTrue(a instanceof Array); |
| 213 | 213 |
| 214 var contextB = Realm.create(); | 214 var contextB = Realm.create(); |
| 215 Realm.eval(contextB, "function bar2() { return new Array(); };"); | 215 Realm.eval(contextB, "function bar2() { return new Array(); };"); |
| 216 Realm.eval(contextB, "bar2(); bar2();"); | 216 Realm.eval(contextB, "bar2(); bar2();"); |
| 217 Realm.eval(contextB, "%OptimizeFunctionOnNextCall(bar2);"); | 217 Realm.eval(contextB, "%OptimizeFunctionOnNextCall(bar2);"); |
| 218 Realm.eval(contextB, "bar2();"); | 218 Realm.eval(contextB, "bar2();"); |
| 219 assertFalse(Realm.eval(contextB, "bar2();") instanceof Array); | 219 assertFalse(Realm.eval(contextB, "bar2();") instanceof Array); |
| 220 assertTrue(Realm.eval(contextB, "bar2() instanceof Array")); | 220 assertTrue(Realm.eval(contextB, "bar2() instanceof Array")); |
| 221 })(); | 221 })(); |
| 222 } | 222 } |
| OLD | NEW |