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 569 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
580 CheckUpperIs(node, Type::Any()); | 580 CheckUpperIs(node, Type::Any()); |
581 break; | 581 break; |
582 case IrOpcode::kJSStoreContext: | 582 case IrOpcode::kJSStoreContext: |
583 // Type is empty. | 583 // Type is empty. |
584 CheckNotTyped(node); | 584 CheckNotTyped(node); |
585 break; | 585 break; |
586 case IrOpcode::kJSCreateFunctionContext: | 586 case IrOpcode::kJSCreateFunctionContext: |
587 case IrOpcode::kJSCreateCatchContext: | 587 case IrOpcode::kJSCreateCatchContext: |
588 case IrOpcode::kJSCreateWithContext: | 588 case IrOpcode::kJSCreateWithContext: |
589 case IrOpcode::kJSCreateBlockContext: | 589 case IrOpcode::kJSCreateBlockContext: |
590 case IrOpcode::kJSCreateModuleContext: | |
591 case IrOpcode::kJSCreateScriptContext: { | 590 case IrOpcode::kJSCreateScriptContext: { |
592 // Type is Context, and operand is Internal. | 591 // Type is Context, and operand is Internal. |
593 Node* context = NodeProperties::GetContextInput(node); | 592 Node* context = NodeProperties::GetContextInput(node); |
594 // TODO(rossberg): This should really be Is(Internal), but the typer | 593 // TODO(rossberg): This should really be Is(Internal), but the typer |
595 // currently can't do backwards propagation. | 594 // currently can't do backwards propagation. |
596 CheckUpperMaybe(context, Type::Internal()); | 595 CheckUpperMaybe(context, Type::Internal()); |
597 if (typing == TYPED) CHECK(NodeProperties::GetType(node)->IsContext()); | 596 if (typing == TYPED) CHECK(NodeProperties::GetType(node)->IsContext()); |
598 break; | 597 break; |
599 } | 598 } |
600 | 599 |
(...skipping 886 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1487 replacement->op()->EffectOutputCount() > 0); | 1486 replacement->op()->EffectOutputCount() > 0); |
1488 DCHECK(!NodeProperties::IsFrameStateEdge(edge) || | 1487 DCHECK(!NodeProperties::IsFrameStateEdge(edge) || |
1489 replacement->opcode() == IrOpcode::kFrameState); | 1488 replacement->opcode() == IrOpcode::kFrameState); |
1490 } | 1489 } |
1491 | 1490 |
1492 #endif // DEBUG | 1491 #endif // DEBUG |
1493 | 1492 |
1494 } // namespace compiler | 1493 } // namespace compiler |
1495 } // namespace internal | 1494 } // namespace internal |
1496 } // namespace v8 | 1495 } // namespace v8 |
OLD | NEW |