Subzero. Native 64-bit int arithmetic on x86-64.

src/IceInstX86Base.h

 //===- subzero/src/IceInstX86Base.h - Generic x86 instructions -*- C++ -*--===//
 //
 //                        The Subzero Code Generator
 //
 // This file is distributed under the University of Illinois Open Source
 // License. See LICENSE.TXT for details.
 //
 //===----------------------------------------------------------------------===//
 ///
 /// \file
@@ skipping 1077 matching lines @@
   InstX86Cbwdq(Cfg *Func, Variable *Dest, Operand *Src)
       : InstX86BaseUnaryopGPR<Machine, InstX86Base<Machine>::Cbwdq>(Func, Dest,
                                                                     Src) {}
 };
 
 template <class Machine>
 class InstX86Movsx
     : public InstX86BaseUnaryopGPR<Machine, InstX86Base<Machine>::Movsx> {
 public:
   static InstX86Movsx *create(Cfg *Func, Variable *Dest, Operand *Src) {
+    assert(typeWidthInBytes(Dest->getType()) >
+           typeWidthInBytes(Src->getType()));
     return new (Func->allocate<InstX86Movsx>()) InstX86Movsx(Func, Dest, Src);
   }
 
   void emitIAS(const Cfg *Func) const override;
 
 private:
   InstX86Movsx(Cfg *Func, Variable *Dest, Operand *Src)
       : InstX86BaseUnaryopGPR<Machine, InstX86Base<Machine>::Movsx>(Func, Dest,
                                                                     Src) {}
 };
 
 template <class Machine>
 class InstX86Movzx
     : public InstX86BaseUnaryopGPR<Machine, InstX86Base<Machine>::Movzx> {
 public:
   static InstX86Movzx *create(Cfg *Func, Variable *Dest, Operand *Src) {
+    assert(typeWidthInBytes(Dest->getType()) >
+           typeWidthInBytes(Src->getType()));
     return new (Func->allocate<InstX86Movzx>()) InstX86Movzx(Func, Dest, Src);
   }
 
   void emitIAS(const Cfg *Func) const override;
 
 private:
   InstX86Movzx(Cfg *Func, Variable *Dest, Operand *Src)
       : InstX86BaseUnaryopGPR<Machine, InstX86Base<Machine>::Movzx>(Func, Dest,
                                                                     Src) {}
 };
@@ skipping 2025 matching lines @@
           &InstX86Base<Machine>::Traits::Assembler::psrl};                     \
   }                                                                            \
   }
 
 } // end of namespace X86Internal
 } // end of namespace Ice
 
 #include "IceInstX86BaseImpl.h"
 
 #endif // SUBZERO_SRC_ICEINSTX86BASE_H