[Atomics] use TFJ builtins for atomic add, sub, and, or, and xor

src/compiler/machine-graph-verifier.cc

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());