OLD | NEW |
1 // Copyright 2013 the V8 project authors. All rights reserved. | 1 // Copyright 2013 the V8 project authors. All rights reserved. |
2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
4 | 4 |
5 #include "src/hydrogen-uint32-analysis.h" | 5 #include "src/hydrogen-uint32-analysis.h" |
6 | 6 |
7 namespace v8 { | 7 namespace v8 { |
8 namespace internal { | 8 namespace internal { |
9 | 9 |
10 | 10 |
11 static bool IsUnsignedLoad(HLoadKeyed* instr) { | 11 static bool IsUnsignedLoad(HLoadKeyed* instr) { |
12 switch (instr->elements_kind()) { | 12 switch (instr->elements_kind()) { |
| 13 case EXTERNAL_UINT8_ELEMENTS: |
| 14 case EXTERNAL_UINT16_ELEMENTS: |
| 15 case EXTERNAL_UINT32_ELEMENTS: |
| 16 case EXTERNAL_UINT8_CLAMPED_ELEMENTS: |
13 case UINT8_ELEMENTS: | 17 case UINT8_ELEMENTS: |
14 case UINT16_ELEMENTS: | 18 case UINT16_ELEMENTS: |
15 case UINT32_ELEMENTS: | 19 case UINT32_ELEMENTS: |
16 case UINT8_CLAMPED_ELEMENTS: | 20 case UINT8_CLAMPED_ELEMENTS: |
17 return true; | 21 return true; |
18 default: | 22 default: |
19 return false; | 23 return false; |
20 } | 24 } |
21 } | 25 } |
22 | 26 |
(...skipping 16 matching lines...) Expand all Loading... |
39 // Conversions have special support for uint32. | 43 // Conversions have special support for uint32. |
40 // This DCHECK guards that the conversion in question is actually | 44 // This DCHECK guards that the conversion in question is actually |
41 // implemented. Do not extend the whitelist without adding | 45 // implemented. Do not extend the whitelist without adding |
42 // support to LChunkBuilder::DoChange(). | 46 // support to LChunkBuilder::DoChange(). |
43 DCHECK(HChange::cast(use)->to().IsDouble() || | 47 DCHECK(HChange::cast(use)->to().IsDouble() || |
44 HChange::cast(use)->to().IsSmi() || | 48 HChange::cast(use)->to().IsSmi() || |
45 HChange::cast(use)->to().IsTagged()); | 49 HChange::cast(use)->to().IsTagged()); |
46 return true; | 50 return true; |
47 } else if (use->IsStoreKeyed()) { | 51 } else if (use->IsStoreKeyed()) { |
48 HStoreKeyed* store = HStoreKeyed::cast(use); | 52 HStoreKeyed* store = HStoreKeyed::cast(use); |
49 if (store->is_fixed_typed_array()) { | 53 if (store->is_external()) { |
50 // Storing a value into an external integer array is a bit level | 54 // Storing a value into an external integer array is a bit level |
51 // operation. | 55 // operation. |
52 if (store->value() == val) { | 56 if (store->value() == val) { |
53 // Clamping or a conversion to double should have beed inserted. | 57 // Clamping or a conversion to double should have beed inserted. |
54 DCHECK(store->elements_kind() != UINT8_CLAMPED_ELEMENTS); | 58 DCHECK(store->elements_kind() != EXTERNAL_UINT8_CLAMPED_ELEMENTS); |
55 DCHECK(store->elements_kind() != FLOAT32_ELEMENTS); | 59 DCHECK(store->elements_kind() != EXTERNAL_FLOAT32_ELEMENTS); |
56 DCHECK(store->elements_kind() != FLOAT64_ELEMENTS); | 60 DCHECK(store->elements_kind() != EXTERNAL_FLOAT64_ELEMENTS); |
57 return true; | 61 return true; |
58 } | 62 } |
59 } | 63 } |
60 } else if (use->IsCompareNumericAndBranch()) { | 64 } else if (use->IsCompareNumericAndBranch()) { |
61 HCompareNumericAndBranch* c = HCompareNumericAndBranch::cast(use); | 65 HCompareNumericAndBranch* c = HCompareNumericAndBranch::cast(use); |
62 return IsUint32Operation(c->left()) && IsUint32Operation(c->right()); | 66 return IsUint32Operation(c->left()) && IsUint32Operation(c->right()); |
63 } | 67 } |
64 | 68 |
65 return false; | 69 return false; |
66 } | 70 } |
(...skipping 161 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
228 // Some phis might have been optimistically marked with kUint32 flag. | 232 // Some phis might have been optimistically marked with kUint32 flag. |
229 // Remove this flag from those phis that are unsafe and propagate | 233 // Remove this flag from those phis that are unsafe and propagate |
230 // this information transitively potentially clearing kUint32 flag | 234 // this information transitively potentially clearing kUint32 flag |
231 // from some non-phi operations that are used as operands to unsafe phis. | 235 // from some non-phi operations that are used as operands to unsafe phis. |
232 UnmarkUnsafePhis(); | 236 UnmarkUnsafePhis(); |
233 } | 237 } |
234 | 238 |
235 | 239 |
236 } // namespace internal | 240 } // namespace internal |
237 } // namespace v8 | 241 } // namespace v8 |
OLD | NEW |