Index: src/compiler/machine-graph-verifier.cc |
diff --git a/src/compiler/machine-graph-verifier.cc b/src/compiler/machine-graph-verifier.cc |
index dac1e0595278c33b1fb0633a5b1d1a3a830bb451..5ca447d13e6e007e5f91c5b866d0454bf7e5f34a 100644 |
--- a/src/compiler/machine-graph-verifier.cc |
+++ b/src/compiler/machine-graph-verifier.cc |
@@ -148,13 +148,14 @@ class MachineRepresentationInferrer { |
PromoteRepresentation(AtomicStoreRepresentationOf(node->op())); |
break; |
case IrOpcode::kAtomicExchange: |
- representation_vector_[node->id()] = PromoteRepresentation( |
- AtomicExchangeRepresentationOf(node->op()).representation()); |
- break; |
case IrOpcode::kAtomicCompareExchange: |
+ case IrOpcode::kAtomicAdd: |
+ case IrOpcode::kAtomicSub: |
+ case IrOpcode::kAtomicAnd: |
+ case IrOpcode::kAtomicOr: |
+ case IrOpcode::kAtomicXor: |
representation_vector_[node->id()] = PromoteRepresentation( |
- AtomicCompareExchangeRepresentationOf(node->op()) |
- .representation()); |
+ AtomicOpRepresentationOf(node->op()).representation()); |
break; |
case IrOpcode::kStore: |
case IrOpcode::kProtectedStore: |
@@ -451,6 +452,11 @@ class MachineRepresentationChecker { |
case IrOpcode::kStore: |
case IrOpcode::kAtomicStore: |
case IrOpcode::kAtomicExchange: |
+ case IrOpcode::kAtomicAdd: |
+ case IrOpcode::kAtomicSub: |
+ case IrOpcode::kAtomicAnd: |
+ case IrOpcode::kAtomicOr: |
+ case IrOpcode::kAtomicXor: |
CheckValueInputIsTaggedOrPointer(node, 0); |
CheckValueInputRepresentationIs( |
node, 1, MachineType::PointerRepresentation()); |