CR fix

Cellule · Cellule · commit 07b0be83fd6e · 2018-02-28T10:00:44.000-08:00
diff --git a/lib/Backend/amd64/LowererMDArch.cpp b/lib/Backend/amd64/LowererMDArch.cpp
@@ -1129,6 +1129,8 @@ LowererMDArch::LowerWasmArrayBoundsCheck(IR::Instr * instr, IR::Opnd *addrOpnd)
 void
 LowererMDArch::LowerAtomicStore(IR::Opnd * dst, IR::Opnd * src1, IR::Instr * insertBeforeInstr)
 {
+    Assert(IRType_IsNativeInt(dst->GetType()));
+    Assert(IRType_IsNativeInt(src1->GetType()));
     IR::RegOpnd* tmpSrc = IR::RegOpnd::New(dst->GetType(), m_func);
     Lowerer::InsertMove(tmpSrc, src1, insertBeforeInstr);
 
@@ -1140,6 +1142,8 @@ LowererMDArch::LowerAtomicStore(IR::Opnd * dst, IR::Opnd * src1, IR::Instr * ins
 void
 LowererMDArch::LowerAtomicLoad(IR::Opnd * dst, IR::Opnd * src1, IR::Instr * insertBeforeInstr)
 {
+    Assert(IRType_IsNativeInt(dst->GetType()));
+    Assert(IRType_IsNativeInt(src1->GetType()));
     IR::Instr* newMove = Lowerer::InsertMove(dst, src1, insertBeforeInstr);
 
 #if ENABLE_FAST_ARRAYBUFFER
diff --git a/lib/Backend/i386/LowererMDArch.cpp b/lib/Backend/i386/LowererMDArch.cpp
@@ -925,6 +925,8 @@ LowererMDArch::LowerWasmArrayBoundsCheck(IR::Instr * instr, IR::Opnd *addrOpnd)
 void
 LowererMDArch::LowerAtomicStore(IR::Opnd * dst, IR::Opnd * src1, IR::Instr * insertBeforeInstr)
 {
+    Assert(IRType_IsNativeInt(dst->GetType()));
+    Assert(IRType_IsNativeInt(src1->GetType()));
     Func* func = insertBeforeInstr->m_func;
 
     // Move src1 to a register of the same type as dst
@@ -1002,6 +1004,8 @@ LowererMDArch::LowerAtomicStore(IR::Opnd * dst, IR::Opnd * src1, IR::Instr * ins
 void
 LowererMDArch::LowerAtomicLoad(IR::Opnd * dst, IR::Opnd * src1, IR::Instr * insertBeforeInstr)
 {
+    Assert(IRType_IsNativeInt(dst->GetType()));
+    Assert(IRType_IsNativeInt(src1->GetType()));
     Func* func = insertBeforeInstr->m_func;
 
     if (src1->IsInt64())
