| OLD | NEW |
| 1 // Copyright 2014 the V8 project authors. All rights reserved. | 1 // Copyright 2014 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/compiler/verifier.h" | 5 #include "src/compiler/verifier.h" |
| 6 | 6 |
| 7 #include <algorithm> | 7 #include <algorithm> |
| 8 #include <deque> | 8 #include <deque> |
| 9 #include <queue> | 9 #include <queue> |
| 10 #include <sstream> | 10 #include <sstream> |
| (...skipping 1094 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1105 case IrOpcode::kTruncateTaggedToWord32: { | 1105 case IrOpcode::kTruncateTaggedToWord32: { |
| 1106 // Number /\ Tagged -> Signed32 /\ UntaggedInt32 | 1106 // Number /\ Tagged -> Signed32 /\ UntaggedInt32 |
| 1107 // TODO(neis): Activate once ChangeRepresentation works in typer. | 1107 // TODO(neis): Activate once ChangeRepresentation works in typer. |
| 1108 // Type* from = Type::Intersect(Type::Number(), Type::Tagged()); | 1108 // Type* from = Type::Intersect(Type::Number(), Type::Tagged()); |
| 1109 // Type* to = Type::Intersect(Type::Number(), Type::UntaggedInt32()); | 1109 // Type* to = Type::Intersect(Type::Number(), Type::UntaggedInt32()); |
| 1110 // CheckValueInputIs(node, 0, from)); | 1110 // CheckValueInputIs(node, 0, from)); |
| 1111 // CheckTypeIs(node, to)); | 1111 // CheckTypeIs(node, to)); |
| 1112 break; | 1112 break; |
| 1113 } | 1113 } |
| 1114 case IrOpcode::kTruncateTaggedToBit: | 1114 case IrOpcode::kTruncateTaggedToBit: |
| 1115 case IrOpcode::kTruncateTaggedPointerToBit: |
| 1115 break; | 1116 break; |
| 1116 | 1117 |
| 1117 case IrOpcode::kCheckBounds: | 1118 case IrOpcode::kCheckBounds: |
| 1118 CheckValueInputIs(node, 0, Type::Any()); | 1119 CheckValueInputIs(node, 0, Type::Any()); |
| 1119 CheckValueInputIs(node, 1, Type::Unsigned31()); | 1120 CheckValueInputIs(node, 1, Type::Unsigned31()); |
| 1120 CheckTypeIs(node, Type::Unsigned31()); | 1121 CheckTypeIs(node, Type::Unsigned31()); |
| 1121 break; | 1122 break; |
| 1122 case IrOpcode::kCheckHeapObject: | 1123 case IrOpcode::kCheckHeapObject: |
| 1123 CheckValueInputIs(node, 0, Type::Any()); | 1124 CheckValueInputIs(node, 0, Type::Any()); |
| 1124 break; | 1125 break; |
| (...skipping 598 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1723 replacement->op()->EffectOutputCount() > 0); | 1724 replacement->op()->EffectOutputCount() > 0); |
| 1724 DCHECK(!NodeProperties::IsFrameStateEdge(edge) || | 1725 DCHECK(!NodeProperties::IsFrameStateEdge(edge) || |
| 1725 replacement->opcode() == IrOpcode::kFrameState); | 1726 replacement->opcode() == IrOpcode::kFrameState); |
| 1726 } | 1727 } |
| 1727 | 1728 |
| 1728 #endif // DEBUG | 1729 #endif // DEBUG |
| 1729 | 1730 |
| 1730 } // namespace compiler | 1731 } // namespace compiler |
| 1731 } // namespace internal | 1732 } // namespace internal |
| 1732 } // namespace v8 | 1733 } // namespace v8 |
| OLD | NEW |