Subzero: Factor our commonalities between mov-like instructions.

src/IceInstX8632.h

 //===- subzero/src/IceInstX8632.h - Low-level x86 instructions --*- C++ -*-===//
 //
 //                        The Subzero Code Generator
 //
 // This file is distributed under the University of Illinois Open Source
 // License. See LICENSE.TXT for details.
 //
 //===----------------------------------------------------------------------===//
 //
 // This file declares the InstX8632 and OperandX8632 classes and
@@ skipping 553 matching lines @@
     addSource(Source1);
   }
   InstX8632ThreeAddressop(const InstX8632ThreeAddressop &)
       LLVM_DELETED_FUNCTION;
   InstX8632ThreeAddressop &
   operator=(const InstX8632ThreeAddressop &) LLVM_DELETED_FUNCTION;
   virtual ~InstX8632ThreeAddressop() {}
   static const char *Opcode;
 };
 
+// Base class for assignment instructions
+template <InstX8632::InstKindX8632 K>
+class InstX8632Movlike : public InstX8632 {
+public:
+  static InstX8632Movlike *create(Cfg *Func, Variable *Dest, Operand *Source) {
+    return new (Func->allocate<InstX8632Movlike>())
+        InstX8632Movlike(Func, Dest, Source);
+  }
+  virtual bool isRedundantAssign() const {

[jvoung (off chromium), 2014/08/12 19:49:47]

It might be good to leave this in the .cpp file instead of having it "inline",
since it's not a completely trivial function.

[wala, 2014/08/12 20:06:56]

Done.

+    Variable *Src = llvm::dyn_cast<Variable>(getSrc(0));
+    if (Src == NULL)
+      return false;
+    if (getDest()->hasReg() && getDest()->getRegNum() == Src->getRegNum()) {
+      // TODO: On x86-64, instructions like "mov eax, eax" are used to
+      // clear the upper 32 bits of rax.  We need to recognize and
+      // preserve these.
+      return true;
+    }
+    if (!getDest()->hasReg() && !Src->hasReg() &&
+        Dest->getStackOffset() == Src->getStackOffset())
+      return true;
+    return false;
+  }
+  virtual void emit(const Cfg *Func) const;
+  virtual void dump(const Cfg *Func) const {
+    Ostream &Str = Func->getContext()->getStrDump();
+    Str << Opcode << "." << getDest()->getType() << " ";
+    dumpDest(Func);
+    Str << ", ";
+    dumpSources(Func);
+  }
+  static bool classof(const Inst *Inst) { return isClassof(Inst, K); }
+
+private:
+  InstX8632Movlike(Cfg *Func, Variable *Dest, Operand *Source)
+      : InstX8632(Func, K, 1, Dest) {
+    addSource(Source);
+  }
+  InstX8632Movlike(const InstX8632Movlike &) LLVM_DELETED_FUNCTION;
+  InstX8632Movlike &operator=(const InstX8632Movlike &) LLVM_DELETED_FUNCTION;
+  virtual ~InstX8632Movlike() {}
+
+  static const char *Opcode;
+};
+
 typedef InstX8632Inplaceop<InstX8632::Bswap> InstX8632Bswap;
 typedef InstX8632Inplaceop<InstX8632::Neg> InstX8632Neg;
 typedef InstX8632Unaryop<InstX8632::Bsf> InstX8632Bsf;
 typedef InstX8632Unaryop<InstX8632::Bsr> InstX8632Bsr;
 typedef InstX8632Unaryop<InstX8632::Lea> InstX8632Lea;
 typedef InstX8632Unaryop<InstX8632::Movd> InstX8632Movd;
 typedef InstX8632Unaryop<InstX8632::Sqrtss> InstX8632Sqrtss;
 // Cbwdq instruction - wrapper for cbw, cwd, and cdq
 typedef InstX8632Unaryop<InstX8632::Cbwdq> InstX8632Cbwdq;
+// Move/assignment instruction - wrapper for mov/movss/movsd.
+typedef InstX8632Movlike<InstX8632::Mov> InstX8632Mov;
+// Move packed - copy 128 bit values between XMM registers, or mem128
+// and XMM registers.
+typedef InstX8632Movlike<InstX8632::Movp> InstX8632Movp;
+// Movq - copy between XMM registers, or mem64 and XMM registers.
+typedef InstX8632Movlike<InstX8632::Movq> InstX8632Movq;
 typedef InstX8632Binop<InstX8632::Add> InstX8632Add;
 typedef InstX8632Binop<InstX8632::Addps> InstX8632Addps;
 typedef InstX8632Binop<InstX8632::Adc> InstX8632Adc;
 typedef InstX8632Binop<InstX8632::Addss> InstX8632Addss;
 typedef InstX8632Binop<InstX8632::Padd> InstX8632Padd;
 typedef InstX8632Binop<InstX8632::Sub> InstX8632Sub;
 typedef InstX8632Binop<InstX8632::Subps> InstX8632Subps;
 typedef InstX8632Binop<InstX8632::Subss> InstX8632Subss;
 typedef InstX8632Binop<InstX8632::Sbb> InstX8632Sbb;
 typedef InstX8632Binop<InstX8632::Psub> InstX8632Psub;
@@ skipping 343 matching lines @@
   virtual void dump(const Cfg *Func) const;
   static bool classof(const Inst *Inst) { return isClassof(Inst, Store); }
 
 private:
   InstX8632Store(Cfg *Func, Operand *Value, OperandX8632 *Mem);
   InstX8632Store(const InstX8632Store &) LLVM_DELETED_FUNCTION;
   InstX8632Store &operator=(const InstX8632Store &) LLVM_DELETED_FUNCTION;
   virtual ~InstX8632Store() {}
 };
 
-// Move/assignment instruction - wrapper for mov/movss/movsd.
-class InstX8632Mov : public InstX8632 {
-public:
-  static InstX8632Mov *create(Cfg *Func, Variable *Dest, Operand *Source) {
-    return new (Func->allocate<InstX8632Mov>())
-        InstX8632Mov(Func, Dest, Source);
-  }
-  virtual bool isRedundantAssign() const;
-  virtual void emit(const Cfg *Func) const;
-  virtual void dump(const Cfg *Func) const;
-  static bool classof(const Inst *Inst) { return isClassof(Inst, Mov); }
-
-private:
-  InstX8632Mov(Cfg *Func, Variable *Dest, Operand *Source);
-  InstX8632Mov(const InstX8632Mov &) LLVM_DELETED_FUNCTION;
-  InstX8632Mov &operator=(const InstX8632Mov &) LLVM_DELETED_FUNCTION;
-  virtual ~InstX8632Mov() {}
-};
-
-// Move packed - copy 128 bit values between XMM registers or mem128 and
-// XMM registers
-class InstX8632Movp : public InstX8632 {
-public:
-  static InstX8632Movp *create(Cfg *Func, Variable *Dest, Operand *Source) {
-    return new (Func->allocate<InstX8632Movp>())
-        InstX8632Movp(Func, Dest, Source);
-  }
-  virtual bool isRedundantAssign() const;
-  virtual void emit(const Cfg *Func) const;
-  virtual void dump(const Cfg *Func) const;
-  static bool classof(const Inst *Inst) { return isClassof(Inst, Movp); }
-
-private:
-  InstX8632Movp(Cfg *Func, Variable *Dest, Operand *Source);
-  InstX8632Movp(const InstX8632Movp &) LLVM_DELETED_FUNCTION;
-  InstX8632Movp &operator=(const InstX8632Movp &) LLVM_DELETED_FUNCTION;
-  virtual ~InstX8632Movp() {}
-};
-
 class InstX8632StoreP : public InstX8632 {
 public:
   static InstX8632StoreP *create(Cfg *Func, Operand *Value, OperandX8632 *Mem) {
     return new (Func->allocate<InstX8632StoreP>())
         InstX8632StoreP(Func, Value, Mem);
   }
   virtual void emit(const Cfg *Func) const;
   virtual void dump(const Cfg *Func) const;
   static bool classof(const Inst *Inst) { return isClassof(Inst, StoreP); }
 
@@ skipping 17 matching lines @@
   virtual void dump(const Cfg *Func) const;
   static bool classof(const Inst *Inst) { return isClassof(Inst, StoreQ); }
 
 private:
   InstX8632StoreQ(Cfg *Func, Operand *Value, OperandX8632 *Mem);
   InstX8632StoreQ(const InstX8632StoreQ &) LLVM_DELETED_FUNCTION;
   InstX8632StoreQ &operator=(const InstX8632StoreQ &) LLVM_DELETED_FUNCTION;
   virtual ~InstX8632StoreQ() {}
 };
 
-// Movq - copy between XMM registers, or mem64 and XMM registers.
-class InstX8632Movq : public InstX8632 {
-public:
-  static InstX8632Movq *create(Cfg *Func, Variable *Dest, Operand *Source) {
-    return new (Func->allocate<InstX8632Movq>())
-        InstX8632Movq(Func, Dest, Source);
-  }
-  virtual bool isRedundantAssign() const;
-  virtual void emit(const Cfg *Func) const;
-  virtual void dump(const Cfg *Func) const;
-  static bool classof(const Inst *Inst) { return isClassof(Inst, Movq); }
-
-private:
-  InstX8632Movq(Cfg *Func, Variable *Dest, Operand *Source);
-  InstX8632Movq(const InstX8632Movq &) LLVM_DELETED_FUNCTION;
-  InstX8632Movq &operator=(const InstX8632Movq &) LLVM_DELETED_FUNCTION;
-  virtual ~InstX8632Movq() {}
-};
-
 // Movsx - copy from a narrower integer type to a wider integer
 // type, with sign extension.
 class InstX8632Movsx : public InstX8632 {
 public:
   static InstX8632Movsx *create(Cfg *Func, Variable *Dest, Operand *Source) {
     return new (Func->allocate<InstX8632Movsx>())
         InstX8632Movsx(Func, Dest, Source);
   }
   virtual void emit(const Cfg *Func) const;
   virtual void dump(const Cfg *Func) const;
@@ skipping 184 matching lines @@
 template <> void InstX8632Pmuludq::emit(const Cfg *Func) const;
 template <> void InstX8632Psll::emit(const Cfg *Func) const;
 template <> void InstX8632Psra::emit(const Cfg *Func) const;
 template <> void InstX8632Psub::emit(const Cfg *Func) const;
 template <> void InstX8632Sqrtss::emit(const Cfg *Func) const;
 template <> void InstX8632Subss::emit(const Cfg *Func) const;
 
 } // end of namespace Ice
 
 #endif // SUBZERO_SRC_ICEINSTX8632_H