| 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 833 matching lines...) Expand 10 before | Expand all | Expand 10 after  Loading... | 
| 844     case IrOpcode::kObjectIsSmi: | 844     case IrOpcode::kObjectIsSmi: | 
| 845     case IrOpcode::kObjectIsString: | 845     case IrOpcode::kObjectIsString: | 
| 846     case IrOpcode::kObjectIsUndetectable: | 846     case IrOpcode::kObjectIsUndetectable: | 
| 847       CheckValueInputIs(node, 0, Type::Any()); | 847       CheckValueInputIs(node, 0, Type::Any()); | 
| 848       CheckUpperIs(node, Type::Boolean()); | 848       CheckUpperIs(node, Type::Boolean()); | 
| 849       break; | 849       break; | 
| 850     case IrOpcode::kAllocate: | 850     case IrOpcode::kAllocate: | 
| 851       CheckValueInputIs(node, 0, Type::PlainNumber()); | 851       CheckValueInputIs(node, 0, Type::PlainNumber()); | 
| 852       CheckUpperIs(node, Type::TaggedPointer()); | 852       CheckUpperIs(node, Type::TaggedPointer()); | 
| 853       break; | 853       break; | 
| 854     case IrOpcode::kEnsureWritableFastElements: |  | 
| 855       CheckValueInputIs(node, 0, Type::Any()); |  | 
| 856       CheckValueInputIs(node, 1, Type::Internal()); |  | 
| 857       CheckUpperIs(node, Type::Internal()); |  | 
| 858       break; |  | 
| 859     case IrOpcode::kTransitionElementsKind: | 854     case IrOpcode::kTransitionElementsKind: | 
| 860       CheckValueInputIs(node, 0, Type::Any()); | 855       CheckValueInputIs(node, 0, Type::Any()); | 
| 861       CheckValueInputIs(node, 1, Type::Internal()); | 856       CheckValueInputIs(node, 1, Type::Internal()); | 
| 862       CheckValueInputIs(node, 2, Type::Internal()); | 857       CheckValueInputIs(node, 2, Type::Internal()); | 
| 863       CheckNotTyped(node); | 858       CheckNotTyped(node); | 
| 864       break; | 859       break; | 
| 865 | 860 | 
| 866     case IrOpcode::kChangeTaggedSignedToInt32: { | 861     case IrOpcode::kChangeTaggedSignedToInt32: { | 
| 867       // Signed32 /\ Tagged -> Signed32 /\ UntaggedInt32 | 862       // Signed32 /\ Tagged -> Signed32 /\ UntaggedInt32 | 
| 868       // TODO(neis): Activate once ChangeRepresentation works in typer. | 863       // TODO(neis): Activate once ChangeRepresentation works in typer. | 
| (...skipping 699 matching lines...) Expand 10 before | Expand all | Expand 10 after  Loading... | 
| 1568          replacement->op()->EffectOutputCount() > 0); | 1563          replacement->op()->EffectOutputCount() > 0); | 
| 1569   DCHECK(!NodeProperties::IsFrameStateEdge(edge) || | 1564   DCHECK(!NodeProperties::IsFrameStateEdge(edge) || | 
| 1570          replacement->opcode() == IrOpcode::kFrameState); | 1565          replacement->opcode() == IrOpcode::kFrameState); | 
| 1571 } | 1566 } | 
| 1572 | 1567 | 
| 1573 #endif  // DEBUG | 1568 #endif  // DEBUG | 
| 1574 | 1569 | 
| 1575 }  // namespace compiler | 1570 }  // namespace compiler | 
| 1576 }  // namespace internal | 1571 }  // namespace internal | 
| 1577 }  // namespace v8 | 1572 }  // namespace v8 | 
| OLD | NEW | 
|---|