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 |