[Atomics] Make Atomics.exchange a builtin using TF

src/compiler/machine-operator.cc

 // Copyright 2014 the V8 project authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 #include "src/compiler/machine-operator.h"
 
 #include "src/base/lazy-instance.h"
 #include "src/compiler/opcodes.h"
 #include "src/compiler/operator.h"
 
@@ skipping 62 matching lines @@
 int StackSlotSizeOf(Operator const* op) {
   DCHECK_EQ(IrOpcode::kStackSlot, op->opcode());
   return OpParameter<int>(op);
 }
 
 MachineRepresentation AtomicStoreRepresentationOf(Operator const* op) {
   DCHECK_EQ(IrOpcode::kAtomicStore, op->opcode());
   return OpParameter<MachineRepresentation>(op);
 }
 
+MachineType AtomicExchangeRepresentationOf(Operator const* op) {
+  DCHECK_EQ(IrOpcode::kAtomicExchange, op->opcode());
+  return OpParameter<MachineType>(op);
+}
+
 #define PURE_BINARY_OP_LIST_32(V)                                           \
   V(Word32And, Operator::kAssociative | Operator::kCommutative, 2, 0, 1)    \
   V(Word32Or, Operator::kAssociative | Operator::kCommutative, 2, 0, 1)     \
   V(Word32Xor, Operator::kAssociative | Operator::kCommutative, 2, 0, 1)    \
   V(Word32Shl, Operator::kNoProperties, 2, 0, 1)                            \
   V(Word32Shr, Operator::kNoProperties, 2, 0, 1)                            \
   V(Word32Sar, Operator::kNoProperties, 2, 0, 1)                            \
   V(Word32Ror, Operator::kNoProperties, 2, 0, 1)                            \
   V(Word32Equal, Operator::kCommutative, 2, 0, 1)                           \
   V(Int32Add, Operator::kAssociative | Operator::kCommutative, 2, 0, 1)     \
@@ skipping 534 matching lines @@
     AtomicStore##Type##Operator()                                              \
         : Operator1<MachineRepresentation>(                                    \
               IrOpcode::kAtomicStore,                                          \
               Operator::kNoDeopt | Operator::kNoRead | Operator::kNoThrow,     \
               "AtomicStore", 3, 1, 1, 0, 1, 0, MachineRepresentation::Type) {} \
   };                                                                           \
   AtomicStore##Type##Operator kAtomicStore##Type;
   ATOMIC_REPRESENTATION_LIST(ATOMIC_STORE)
 #undef STORE
 
+#define ATOMIC_EXCHANGE(Type)                                             \
+  struct AtomicExchange##Type##Operator : public Operator1<MachineType> { \
+    AtomicExchange##Type##Operator()                                      \
+        : Operator1<MachineType>(IrOpcode::kAtomicExchange,               \
+                                 Operator::kNoDeopt | Operator::kNoThrow, \
+                                 "AtomicExchange", 3, 1, 1, 1, 1, 0,      \
+                                 MachineType::Type()) {}                  \
+  };                                                                      \
+  AtomicExchange##Type##Operator kAtomicExchange##Type;
+  ATOMIC_TYPE_LIST(ATOMIC_EXCHANGE)
+#undef ATOMIC_EXCHANGE
+
   struct DebugBreakOperator : public Operator {
     DebugBreakOperator()
         : Operator(IrOpcode::kDebugBreak, Operator::kNoThrow, "DebugBreak", 0,
                    0, 0, 0, 0, 0) {}
   };
   DebugBreakOperator kDebugBreak;
 
   struct UnsafePointerAddOperator final : public Operator {
     UnsafePointerAddOperator()
         : Operator(IrOpcode::kUnsafePointerAdd, Operator::kKontrol,
@@ skipping 207 matching lines @@
 #define STORE(kRep)                         \
   if (rep == MachineRepresentation::kRep) { \
     return &cache_.kAtomicStore##kRep;      \
   }
   ATOMIC_REPRESENTATION_LIST(STORE)
 #undef STORE
   UNREACHABLE();
   return nullptr;
 }
 
+const Operator* MachineOperatorBuilder::AtomicExchange(MachineType rep) {
+#define EXCHANGE(kRep)                    \
+  if (rep == MachineType::kRep()) {       \
+    return &cache_.kAtomicExchange##kRep; \
+  }
+  ATOMIC_TYPE_LIST(EXCHANGE)
+#undef EXCHANGE
+  UNREACHABLE();
+  return nullptr;
+}
+
 }  // namespace compiler
 }  // namespace internal
 }  // namespace v8