summaryrefslogtreecommitdiff
path: root/deps/v8/src/compiler/machine-graph-verifier.cc
diff options
context:
space:
mode:
Diffstat (limited to 'deps/v8/src/compiler/machine-graph-verifier.cc')
-rw-r--r--deps/v8/src/compiler/machine-graph-verifier.cc10
1 files changed, 8 insertions, 2 deletions
diff --git a/deps/v8/src/compiler/machine-graph-verifier.cc b/deps/v8/src/compiler/machine-graph-verifier.cc
index 0c59453b41..4418a2813f 100644
--- a/deps/v8/src/compiler/machine-graph-verifier.cc
+++ b/deps/v8/src/compiler/machine-graph-verifier.cc
@@ -113,19 +113,20 @@ class MachineRepresentationInferrer {
case IrOpcode::kWord32AtomicLoad:
case IrOpcode::kLoad:
case IrOpcode::kProtectedLoad:
+ case IrOpcode::kPoisonedLoad:
representation_vector_[node->id()] = PromoteRepresentation(
LoadRepresentationOf(node->op()).representation());
break;
case IrOpcode::kLoadStackPointer:
case IrOpcode::kLoadFramePointer:
case IrOpcode::kLoadParentFramePointer:
- case IrOpcode::kSpeculationPoison:
+ case IrOpcode::kLoadRootsPointer:
representation_vector_[node->id()] =
MachineType::PointerRepresentation();
break;
case IrOpcode::kUnalignedLoad:
representation_vector_[node->id()] = PromoteRepresentation(
- UnalignedLoadRepresentationOf(node->op()).representation());
+ LoadRepresentationOf(node->op()).representation());
break;
case IrOpcode::kPhi:
representation_vector_[node->id()] =
@@ -174,6 +175,7 @@ class MachineRepresentationInferrer {
case IrOpcode::kChangeInt32ToTagged:
case IrOpcode::kChangeUint32ToTagged:
case IrOpcode::kBitcastWordToTagged:
+ case IrOpcode::kPoisonOnSpeculationTagged:
representation_vector_[node->id()] = MachineRepresentation::kTagged;
break;
case IrOpcode::kExternalConstant:
@@ -181,6 +183,7 @@ class MachineRepresentationInferrer {
MachineType::PointerRepresentation();
break;
case IrOpcode::kBitcastTaggedToWord:
+ case IrOpcode::kPoisonOnSpeculationWord:
representation_vector_[node->id()] =
MachineType::PointerRepresentation();
break;
@@ -331,10 +334,12 @@ class MachineRepresentationChecker {
break;
case IrOpcode::kBitcastWordToTagged:
case IrOpcode::kBitcastWordToTaggedSigned:
+ case IrOpcode::kPoisonOnSpeculationWord:
CheckValueInputRepresentationIs(
node, 0, MachineType::PointerRepresentation());
break;
case IrOpcode::kBitcastTaggedToWord:
+ case IrOpcode::kPoisonOnSpeculationTagged:
CheckValueInputIsTagged(node, 0);
break;
case IrOpcode::kTruncateFloat64ToWord32:
@@ -461,6 +466,7 @@ class MachineRepresentationChecker {
break;
case IrOpcode::kLoad:
case IrOpcode::kWord32AtomicLoad:
+ case IrOpcode::kPoisonedLoad:
CheckValueInputIsTaggedOrPointer(node, 0);
CheckValueInputRepresentationIs(
node, 1, MachineType::PointerRepresentation());