Add ss/sd suffix to InstX8632Store and legalize FP constants.
InstX8632Store is essentially a "mov" and it would emit
a mov, but it did not add the ss/sd suffix based on the operand type.
Also, there are some cases where legalization would leave
two memory operands in the case that one of them
is a floating point immediate:
storeDoubleConst:
.LstoreDoubleConst$entry:
mov eax, dword ptr [esp+4]
mov qword ptr [eax], qword ptr [L$double$1]
ret
BUG=none
R=stichnot@chromium.org, wala@chromium.org
Review URL: https://codereview.chromium.org/341683002
diff --git a/src/IceInstX8632.cpp b/src/IceInstX8632.cpp
index 5d3f01b..17e5712 100644
--- a/src/IceInstX8632.cpp
+++ b/src/IceInstX8632.cpp
@@ -544,7 +544,8 @@
void InstX8632Store::emit(const Cfg *Func) const {
Ostream &Str = Func->getContext()->getStrEmit();
assert(getSrcSize() == 2);
- Str << "\tmov\t";
+ Str << "\tmov" << TypeX8632Attributes[getSrc(0)->getType()].SdSsString
+ << "\t";
getSrc(1)->emit(Func);
Str << ", ";
getSrc(0)->emit(Func);
diff --git a/src/IceTargetLoweringX8632.cpp b/src/IceTargetLoweringX8632.cpp
index 3657883..0edcab5 100644
--- a/src/IceTargetLoweringX8632.cpp
+++ b/src/IceTargetLoweringX8632.cpp
@@ -2174,7 +2174,11 @@
// need to go in uninitialized registers.
From = Ctx->getConstantZero(From->getType());
}
- if (!(Allowed & Legal_Imm)) {
+ bool NeedsReg = !(Allowed & Legal_Imm) ||
+ // ConstantFloat and ConstantDouble are actually memory operands.
+ (!(Allowed & Legal_Mem) && (From->getType() == IceType_f32 ||
+ From->getType() == IceType_f64));
+ if (NeedsReg) {
Variable *Reg = makeReg(From->getType(), RegNum);
_mov(Reg, From);
From = Reg;
diff --git a/tests_lit/llvm2ice_tests/fp.pnacl.ll b/tests_lit/llvm2ice_tests/fp.pnacl.ll
index e73908e..c61ee15 100644
--- a/tests_lit/llvm2ice_tests/fp.pnacl.ll
+++ b/tests_lit/llvm2ice_tests/fp.pnacl.ll
@@ -19,7 +19,7 @@
entry:
ret i32 %b
}
-; CHECK: doubleArgs:
+; CHECK-LABEL: doubleArgs
; CHECK: mov eax, dword ptr [esp+12]
; CHECK-NEXT: ret
@@ -27,7 +27,7 @@
entry:
ret i32 %b
}
-; CHECK: floatArgs:
+; CHECK-LABEL: floatArgs
; CHECK: mov eax, dword ptr [esp+8]
; CHECK-NEXT: ret
@@ -40,7 +40,7 @@
%add3 = add i32 %add, %call2
ret i32 %add3
}
-; CHECK: passFpArgs:
+; CHECK-LABEL: passFpArgs
; CHECK: push 123
; CHECK: call ignoreFpArgsNoInline
; CHECK: push 123
@@ -55,7 +55,7 @@
%call = call i32 @ignoreFpArgsNoInline(float %a, i32 123, double 2.340000e+00)
ret i32 %call
}
-; CHECK: passFpConstArg:
+; CHECK-LABEL: passFpConstArg
; CHECK: push 123
; CHECK: call ignoreFpArgsNoInline
@@ -64,7 +64,7 @@
%call = call i32 @ignoreFp32ArgsNoInline(float %a, i32 123, float 2.0)
ret i32 %call
}
-; CHECK: passFp32ConstArg:
+; CHECK-LABEL: passFp32ConstArg
; CHECK: push dword
; CHECK: push 123
; CHECK: call ignoreFp32ArgsNoInline
@@ -75,28 +75,28 @@
entry:
ret float %a
}
-; CHECK: returnFloatArg:
+; CHECK-LABEL: returnFloatArg
; CHECK: fld dword ptr [esp
define internal double @returnDoubleArg(double %a) {
entry:
ret double %a
}
-; CHECK: returnDoubleArg:
+; CHECK-LABEL: returnDoubleArg
; CHECK: fld qword ptr [esp
define internal float @returnFloatConst() {
entry:
ret float 0x3FF3AE1480000000
}
-; CHECK: returnFloatConst:
+; CHECK-LABEL: returnFloatConst
; CHECK: fld
define internal double @returnDoubleConst() {
entry:
ret double 1.230000e+00
}
-; CHECK: returnDoubleConst:
+; CHECK-LABEL: returnDoubleConst
; CHECK: fld
define internal float @addFloat(float %a, float %b) {
@@ -104,7 +104,7 @@
%add = fadd float %a, %b
ret float %add
}
-; CHECK: addFloat:
+; CHECK-LABEL: addFloat
; CHECK: addss
; CHECK: fld
@@ -113,7 +113,7 @@
%add = fadd double %a, %b
ret double %add
}
-; CHECK: addDouble:
+; CHECK-LABEL: addDouble
; CHECK: addsd
; CHECK: fld
@@ -122,7 +122,7 @@
%sub = fsub float %a, %b
ret float %sub
}
-; CHECK: subFloat:
+; CHECK-LABEL: subFloat
; CHECK: subss
; CHECK: fld
@@ -131,7 +131,7 @@
%sub = fsub double %a, %b
ret double %sub
}
-; CHECK: subDouble:
+; CHECK-LABEL: subDouble
; CHECK: subsd
; CHECK: fld
@@ -140,7 +140,7 @@
%mul = fmul float %a, %b
ret float %mul
}
-; CHECK: mulFloat:
+; CHECK-LABEL: mulFloat
; CHECK: mulss
; CHECK: fld
@@ -149,7 +149,7 @@
%mul = fmul double %a, %b
ret double %mul
}
-; CHECK: mulDouble:
+; CHECK-LABEL: mulDouble
; CHECK: mulsd
; CHECK: fld
@@ -158,7 +158,7 @@
%div = fdiv float %a, %b
ret float %div
}
-; CHECK: divFloat:
+; CHECK-LABEL: divFloat
; CHECK: divss
; CHECK: fld
@@ -167,7 +167,7 @@
%div = fdiv double %a, %b
ret double %div
}
-; CHECK: divDouble:
+; CHECK-LABEL: divDouble
; CHECK: divsd
; CHECK: fld
@@ -176,7 +176,7 @@
%div = frem float %a, %b
ret float %div
}
-; CHECK: remFloat:
+; CHECK-LABEL: remFloat
; CHECK: call fmodf
define internal double @remDouble(double %a, double %b) {
@@ -184,7 +184,7 @@
%div = frem double %a, %b
ret double %div
}
-; CHECK: remDouble:
+; CHECK-LABEL: remDouble
; CHECK: call fmod
define internal float @fptrunc(double %a) {
@@ -192,7 +192,7 @@
%conv = fptrunc double %a to float
ret float %conv
}
-; CHECK: fptrunc:
+; CHECK-LABEL: fptrunc
; CHECK: cvtsd2ss
; CHECK: fld
@@ -201,7 +201,7 @@
%conv = fpext float %a to double
ret double %conv
}
-; CHECK: fpext:
+; CHECK-LABEL: fpext
; CHECK: cvtss2sd
; CHECK: fld
@@ -210,7 +210,7 @@
%conv = fptosi double %a to i64
ret i64 %conv
}
-; CHECK: doubleToSigned64:
+; CHECK-LABEL: doubleToSigned64
; CHECK: call cvtdtosi64
define internal i64 @floatToSigned64(float %a) {
@@ -218,7 +218,7 @@
%conv = fptosi float %a to i64
ret i64 %conv
}
-; CHECK: floatToSigned64:
+; CHECK-LABEL: floatToSigned64
; CHECK: call cvtftosi64
define internal i64 @doubleToUnsigned64(double %a) {
@@ -226,7 +226,7 @@
%conv = fptoui double %a to i64
ret i64 %conv
}
-; CHECK: doubleToUnsigned64:
+; CHECK-LABEL: doubleToUnsigned64
; CHECK: call cvtdtoui64
define internal i64 @floatToUnsigned64(float %a) {
@@ -234,7 +234,7 @@
%conv = fptoui float %a to i64
ret i64 %conv
}
-; CHECK: floatToUnsigned64:
+; CHECK-LABEL: floatToUnsigned64
; CHECK: call cvtftoui64
define internal i32 @doubleToSigned32(double %a) {
@@ -242,7 +242,7 @@
%conv = fptosi double %a to i32
ret i32 %conv
}
-; CHECK: doubleToSigned32:
+; CHECK-LABEL: doubleToSigned32
; CHECK: cvtsd2si
define internal i32 @floatToSigned32(float %a) {
@@ -250,7 +250,7 @@
%conv = fptosi float %a to i32
ret i32 %conv
}
-; CHECK: floatToSigned32:
+; CHECK-LABEL: floatToSigned32
; CHECK: cvtss2si
define internal i32 @doubleToUnsigned32(double %a) {
@@ -258,7 +258,7 @@
%conv = fptoui double %a to i32
ret i32 %conv
}
-; CHECK: doubleToUnsigned32:
+; CHECK-LABEL: doubleToUnsigned32
; CHECK: call cvtdtoui32
define internal i32 @floatToUnsigned32(float %a) {
@@ -266,7 +266,7 @@
%conv = fptoui float %a to i32
ret i32 %conv
}
-; CHECK: floatToUnsigned32:
+; CHECK-LABEL: floatToUnsigned32
; CHECK: call cvtftoui32
define internal i32 @doubleToSigned16(double %a) {
@@ -275,7 +275,7 @@
%conv.ret_ext = sext i16 %conv to i32
ret i32 %conv.ret_ext
}
-; CHECK: doubleToSigned16:
+; CHECK-LABEL: doubleToSigned16
; CHECK: cvtsd2si
; CHECK: movsx
@@ -285,7 +285,7 @@
%conv.ret_ext = sext i16 %conv to i32
ret i32 %conv.ret_ext
}
-; CHECK: floatToSigned16:
+; CHECK-LABEL: floatToSigned16
; CHECK: cvtss2si
; CHECK: movsx
@@ -295,7 +295,7 @@
%conv.ret_ext = zext i16 %conv to i32
ret i32 %conv.ret_ext
}
-; CHECK: doubleToUnsigned16:
+; CHECK-LABEL: doubleToUnsigned16
; CHECK: cvtsd2si
; CHECK: movzx
@@ -305,7 +305,7 @@
%conv.ret_ext = zext i16 %conv to i32
ret i32 %conv.ret_ext
}
-; CHECK: floatToUnsigned16:
+; CHECK-LABEL: floatToUnsigned16
; CHECK: cvtss2si
; CHECK: movzx
@@ -315,7 +315,7 @@
%conv.ret_ext = sext i8 %conv to i32
ret i32 %conv.ret_ext
}
-; CHECK: doubleToSigned8:
+; CHECK-LABEL: doubleToSigned8
; CHECK: cvtsd2si
; CHECK: movsx
@@ -325,7 +325,7 @@
%conv.ret_ext = sext i8 %conv to i32
ret i32 %conv.ret_ext
}
-; CHECK: floatToSigned8:
+; CHECK-LABEL: floatToSigned8
; CHECK: cvtss2si
; CHECK: movsx
@@ -335,7 +335,7 @@
%conv.ret_ext = zext i8 %conv to i32
ret i32 %conv.ret_ext
}
-; CHECK: doubleToUnsigned8:
+; CHECK-LABEL: doubleToUnsigned8
; CHECK: cvtsd2si
; CHECK: movzx
@@ -345,7 +345,7 @@
%conv.ret_ext = zext i8 %conv to i32
ret i32 %conv.ret_ext
}
-; CHECK: floatToUnsigned8:
+; CHECK-LABEL: floatToUnsigned8
; CHECK: cvtss2si
; CHECK: movzx
@@ -355,7 +355,7 @@
%tobool.ret_ext = zext i1 %tobool to i32
ret i32 %tobool.ret_ext
}
-; CHECK: doubleToUnsigned1:
+; CHECK-LABEL: doubleToUnsigned1
; CHECK: cvtsd2si
; CHECK: and eax, 1
@@ -365,7 +365,7 @@
%tobool.ret_ext = zext i1 %tobool to i32
ret i32 %tobool.ret_ext
}
-; CHECK: floatToUnsigned1:
+; CHECK-LABEL: floatToUnsigned1
; CHECK: cvtss2si
; CHECK: and eax, 1
@@ -374,7 +374,7 @@
%conv = sitofp i64 %a to double
ret double %conv
}
-; CHECK: signed64ToDouble:
+; CHECK-LABEL: signed64ToDouble
; CHECK: call cvtsi64tod
; CHECK: fstp
@@ -383,7 +383,7 @@
%conv = sitofp i64 %a to float
ret float %conv
}
-; CHECK: signed64ToFloat:
+; CHECK-LABEL: signed64ToFloat
; CHECK: call cvtsi64tof
; CHECK: fstp
@@ -392,7 +392,7 @@
%conv = uitofp i64 %a to double
ret double %conv
}
-; CHECK: unsigned64ToDouble:
+; CHECK-LABEL: unsigned64ToDouble
; CHECK: call cvtui64tod
; CHECK: fstp
@@ -401,7 +401,7 @@
%conv = uitofp i64 %a to float
ret float %conv
}
-; CHECK: unsigned64ToFloat:
+; CHECK-LABEL: unsigned64ToFloat
; CHECK: call cvtui64tof
; CHECK: fstp
@@ -410,7 +410,7 @@
%conv = sitofp i32 %a to double
ret double %conv
}
-; CHECK: signed32ToDouble:
+; CHECK-LABEL: signed32ToDouble
; CHECK: cvtsi2sd
; CHECK: fld
@@ -419,7 +419,7 @@
%conv = sitofp i32 %a to float
ret float %conv
}
-; CHECK: signed32ToFloat:
+; CHECK-LABEL: signed32ToFloat
; CHECK: cvtsi2ss
; CHECK: fld
@@ -428,7 +428,7 @@
%conv = uitofp i32 %a to double
ret double %conv
}
-; CHECK: unsigned32ToDouble:
+; CHECK-LABEL: unsigned32ToDouble
; CHECK: call cvtui32tod
; CHECK: fstp
@@ -437,7 +437,7 @@
%conv = uitofp i32 %a to float
ret float %conv
}
-; CHECK: unsigned32ToFloat:
+; CHECK-LABEL: unsigned32ToFloat
; CHECK: call cvtui32tof
; CHECK: fstp
@@ -447,7 +447,7 @@
%conv = sitofp i16 %a.arg_trunc to double
ret double %conv
}
-; CHECK: signed16ToDouble:
+; CHECK-LABEL: signed16ToDouble
; CHECK: cvtsi2sd
; CHECK: fld
@@ -457,7 +457,7 @@
%conv = sitofp i16 %a.arg_trunc to float
ret float %conv
}
-; CHECK: signed16ToFloat:
+; CHECK-LABEL: signed16ToFloat
; CHECK: cvtsi2ss
; CHECK: fld
@@ -467,7 +467,7 @@
%conv = uitofp i16 %a.arg_trunc to double
ret double %conv
}
-; CHECK: unsigned16ToDouble:
+; CHECK-LABEL: unsigned16ToDouble
; CHECK: cvtsi2sd
; CHECK: fld
@@ -477,7 +477,7 @@
%conv = uitofp i16 %a.arg_trunc to float
ret float %conv
}
-; CHECK: unsigned16ToFloat:
+; CHECK-LABEL: unsigned16ToFloat
; CHECK: cvtsi2ss
; CHECK: fld
@@ -487,7 +487,7 @@
%conv = sitofp i8 %a.arg_trunc to double
ret double %conv
}
-; CHECK: signed8ToDouble:
+; CHECK-LABEL: signed8ToDouble
; CHECK: cvtsi2sd
; CHECK: fld
@@ -497,7 +497,7 @@
%conv = sitofp i8 %a.arg_trunc to float
ret float %conv
}
-; CHECK: signed8ToFloat:
+; CHECK-LABEL: signed8ToFloat
; CHECK: cvtsi2ss
; CHECK: fld
@@ -507,7 +507,7 @@
%conv = uitofp i8 %a.arg_trunc to double
ret double %conv
}
-; CHECK: unsigned8ToDouble:
+; CHECK-LABEL: unsigned8ToDouble
; CHECK: cvtsi2sd
; CHECK: fld
@@ -517,7 +517,7 @@
%conv = uitofp i8 %a.arg_trunc to float
ret float %conv
}
-; CHECK: unsigned8ToFloat:
+; CHECK-LABEL: unsigned8ToFloat
; CHECK: cvtsi2ss
; CHECK: fld
@@ -527,7 +527,7 @@
%conv = uitofp i1 %a.arg_trunc to double
ret double %conv
}
-; CHECK: unsigned1ToDouble:
+; CHECK-LABEL: unsigned1ToDouble
; CHECK: cvtsi2sd
; CHECK: fld
@@ -537,7 +537,7 @@
%conv = uitofp i1 %a.arg_trunc to float
ret float %conv
}
-; CHECK: unsigned1ToFloat:
+; CHECK-LABEL: unsigned1ToFloat
; CHECK: cvtsi2ss
; CHECK: fld
@@ -561,7 +561,7 @@
if.end3: ; preds = %if.then2, %if.end
ret void
}
-; CHECK: fcmpEq:
+; CHECK-LABEL: fcmpEq
; CHECK: ucomiss
; CHECK: jne .
; CHECK-NEXT: jp .
@@ -593,7 +593,7 @@
if.end3: ; preds = %if.then2, %if.end
ret void
}
-; CHECK: fcmpNe:
+; CHECK-LABEL: fcmpNe
; CHECK: ucomiss
; CHECK: jne .
; CHECK-NEXT: jp .
@@ -623,7 +623,7 @@
if.end3: ; preds = %if.then2, %if.end
ret void
}
-; CHECK: fcmpGt:
+; CHECK-LABEL: fcmpGt
; CHECK: ucomiss
; CHECK: ja .
; CHECK: call func
@@ -651,7 +651,7 @@
if.end3: ; preds = %if.end, %if.then2
ret void
}
-; CHECK: fcmpGe:
+; CHECK-LABEL: fcmpGe
; CHECK: ucomiss
; CHECK: jb .
; CHECK: call func
@@ -679,7 +679,7 @@
if.end3: ; preds = %if.then2, %if.end
ret void
}
-; CHECK: fcmpLt:
+; CHECK-LABEL: fcmpLt
; CHECK: ucomiss
; CHECK: ja .
; CHECK: call func
@@ -707,7 +707,7 @@
if.end3: ; preds = %if.end, %if.then2
ret void
}
-; CHECK: fcmpLe:
+; CHECK-LABEL: fcmpLe
; CHECK: ucomiss
; CHECK: jb .
; CHECK: call func
@@ -721,7 +721,7 @@
%cmp.ret_ext = zext i1 %cmp to i32
ret i32 %cmp.ret_ext
}
-; CHECK: fcmpFalseFloat:
+; CHECK-LABEL: fcmpFalseFloat
; CHECK: mov {{.*}}, 0
define internal i32 @fcmpFalseDouble(double %a, double %b) {
@@ -730,7 +730,7 @@
%cmp.ret_ext = zext i1 %cmp to i32
ret i32 %cmp.ret_ext
}
-; CHECK: fcmpFalseDouble:
+; CHECK-LABEL: fcmpFalseDouble
; CHECK: mov {{.*}}, 0
define internal i32 @fcmpOeqFloat(float %a, float %b) {
@@ -739,7 +739,7 @@
%cmp.ret_ext = zext i1 %cmp to i32
ret i32 %cmp.ret_ext
}
-; CHECK: fcmpOeqFloat:
+; CHECK-LABEL: fcmpOeqFloat
; CHECK: ucomiss
; CHECK: jne .
; CHECK: jp .
@@ -750,7 +750,7 @@
%cmp.ret_ext = zext i1 %cmp to i32
ret i32 %cmp.ret_ext
}
-; CHECK: fcmpOeqDouble:
+; CHECK-LABEL: fcmpOeqDouble
; CHECK: ucomisd
; CHECK: jne .
; CHECK: jp .
@@ -761,7 +761,7 @@
%cmp.ret_ext = zext i1 %cmp to i32
ret i32 %cmp.ret_ext
}
-; CHECK: fcmpOgtFloat:
+; CHECK-LABEL: fcmpOgtFloat
; CHECK: ucomiss
; CHECK: ja .
@@ -771,7 +771,7 @@
%cmp.ret_ext = zext i1 %cmp to i32
ret i32 %cmp.ret_ext
}
-; CHECK: fcmpOgtDouble:
+; CHECK-LABEL: fcmpOgtDouble
; CHECK: ucomisd
; CHECK: ja .
@@ -781,7 +781,7 @@
%cmp.ret_ext = zext i1 %cmp to i32
ret i32 %cmp.ret_ext
}
-; CHECK: fcmpOgeFloat:
+; CHECK-LABEL: fcmpOgeFloat
; CHECK: ucomiss
; CHECK: jae .
@@ -791,7 +791,7 @@
%cmp.ret_ext = zext i1 %cmp to i32
ret i32 %cmp.ret_ext
}
-; CHECK: fcmpOgeDouble:
+; CHECK-LABEL: fcmpOgeDouble
; CHECK: ucomisd
; CHECK: jae .
@@ -801,7 +801,7 @@
%cmp.ret_ext = zext i1 %cmp to i32
ret i32 %cmp.ret_ext
}
-; CHECK: fcmpOltFloat:
+; CHECK-LABEL: fcmpOltFloat
; CHECK: ucomiss
; CHECK: ja .
@@ -811,7 +811,7 @@
%cmp.ret_ext = zext i1 %cmp to i32
ret i32 %cmp.ret_ext
}
-; CHECK: fcmpOltDouble:
+; CHECK-LABEL: fcmpOltDouble
; CHECK: ucomisd
; CHECK: ja .
@@ -821,7 +821,7 @@
%cmp.ret_ext = zext i1 %cmp to i32
ret i32 %cmp.ret_ext
}
-; CHECK: fcmpOleFloat:
+; CHECK-LABEL: fcmpOleFloat
; CHECK: ucomiss
; CHECK: jae .
@@ -831,7 +831,7 @@
%cmp.ret_ext = zext i1 %cmp to i32
ret i32 %cmp.ret_ext
}
-; CHECK: fcmpOleDouble:
+; CHECK-LABEL: fcmpOleDouble
; CHECK: ucomisd
; CHECK: jae .
@@ -841,7 +841,7 @@
%cmp.ret_ext = zext i1 %cmp to i32
ret i32 %cmp.ret_ext
}
-; CHECK: fcmpOneFloat:
+; CHECK-LABEL: fcmpOneFloat
; CHECK: ucomiss
; CHECK: jne .
@@ -851,7 +851,7 @@
%cmp.ret_ext = zext i1 %cmp to i32
ret i32 %cmp.ret_ext
}
-; CHECK: fcmpOneDouble:
+; CHECK-LABEL: fcmpOneDouble
; CHECK: ucomisd
; CHECK: jne .
@@ -861,7 +861,7 @@
%cmp.ret_ext = zext i1 %cmp to i32
ret i32 %cmp.ret_ext
}
-; CHECK: fcmpOrdFloat:
+; CHECK-LABEL: fcmpOrdFloat
; CHECK: ucomiss
; CHECK: jnp .
@@ -871,7 +871,7 @@
%cmp.ret_ext = zext i1 %cmp to i32
ret i32 %cmp.ret_ext
}
-; CHECK: fcmpOrdDouble:
+; CHECK-LABEL: fcmpOrdDouble
; CHECK: ucomisd
; CHECK: jnp .
@@ -881,7 +881,7 @@
%cmp.ret_ext = zext i1 %cmp to i32
ret i32 %cmp.ret_ext
}
-; CHECK: fcmpUeqFloat:
+; CHECK-LABEL: fcmpUeqFloat
; CHECK: ucomiss
; CHECK: je .
@@ -891,7 +891,7 @@
%cmp.ret_ext = zext i1 %cmp to i32
ret i32 %cmp.ret_ext
}
-; CHECK: fcmpUeqDouble:
+; CHECK-LABEL: fcmpUeqDouble
; CHECK: ucomisd
; CHECK: je .
@@ -901,7 +901,7 @@
%cmp.ret_ext = zext i1 %cmp to i32
ret i32 %cmp.ret_ext
}
-; CHECK: fcmpUgtFloat:
+; CHECK-LABEL: fcmpUgtFloat
; CHECK: ucomiss
; CHECK: jb .
@@ -911,7 +911,7 @@
%cmp.ret_ext = zext i1 %cmp to i32
ret i32 %cmp.ret_ext
}
-; CHECK: fcmpUgtDouble:
+; CHECK-LABEL: fcmpUgtDouble
; CHECK: ucomisd
; CHECK: jb .
@@ -921,7 +921,7 @@
%cmp.ret_ext = zext i1 %cmp to i32
ret i32 %cmp.ret_ext
}
-; CHECK: fcmpUgeFloat:
+; CHECK-LABEL: fcmpUgeFloat
; CHECK: ucomiss
; CHECK: jbe .
@@ -931,7 +931,7 @@
%cmp.ret_ext = zext i1 %cmp to i32
ret i32 %cmp.ret_ext
}
-; CHECK: fcmpUgeDouble:
+; CHECK-LABEL: fcmpUgeDouble
; CHECK: ucomisd
; CHECK: jbe .
@@ -941,7 +941,7 @@
%cmp.ret_ext = zext i1 %cmp to i32
ret i32 %cmp.ret_ext
}
-; CHECK: fcmpUltFloat:
+; CHECK-LABEL: fcmpUltFloat
; CHECK: ucomiss
; CHECK: jb .
@@ -951,7 +951,7 @@
%cmp.ret_ext = zext i1 %cmp to i32
ret i32 %cmp.ret_ext
}
-; CHECK: fcmpUltDouble:
+; CHECK-LABEL: fcmpUltDouble
; CHECK: ucomisd
; CHECK: jb .
@@ -961,7 +961,7 @@
%cmp.ret_ext = zext i1 %cmp to i32
ret i32 %cmp.ret_ext
}
-; CHECK: fcmpUleFloat:
+; CHECK-LABEL: fcmpUleFloat
; CHECK: ucomiss
; CHECK: jbe .
@@ -971,7 +971,7 @@
%cmp.ret_ext = zext i1 %cmp to i32
ret i32 %cmp.ret_ext
}
-; CHECK: fcmpUleDouble:
+; CHECK-LABEL: fcmpUleDouble
; CHECK: ucomisd
; CHECK: jbe .
@@ -981,7 +981,7 @@
%cmp.ret_ext = zext i1 %cmp to i32
ret i32 %cmp.ret_ext
}
-; CHECK: fcmpUneFloat:
+; CHECK-LABEL: fcmpUneFloat
; CHECK: ucomiss
; CHECK: jne .
; CHECK: jp .
@@ -992,7 +992,7 @@
%cmp.ret_ext = zext i1 %cmp to i32
ret i32 %cmp.ret_ext
}
-; CHECK: fcmpUneDouble:
+; CHECK-LABEL: fcmpUneDouble
; CHECK: ucomisd
; CHECK: jne .
; CHECK: jp .
@@ -1003,7 +1003,7 @@
%cmp.ret_ext = zext i1 %cmp to i32
ret i32 %cmp.ret_ext
}
-; CHECK: fcmpUnoFloat:
+; CHECK-LABEL: fcmpUnoFloat
; CHECK: ucomiss
; CHECK: jp .
@@ -1013,7 +1013,7 @@
%cmp.ret_ext = zext i1 %cmp to i32
ret i32 %cmp.ret_ext
}
-; CHECK: fcmpUnoDouble:
+; CHECK-LABEL: fcmpUnoDouble
; CHECK: ucomisd
; CHECK: jp .
@@ -1023,7 +1023,7 @@
%cmp.ret_ext = zext i1 %cmp to i32
ret i32 %cmp.ret_ext
}
-; CHECK: fcmpTrueFloat:
+; CHECK-LABEL: fcmpTrueFloat
; CHECK: mov {{.*}}, 1
define internal i32 @fcmpTrueDouble(double %a, double %b) {
@@ -1032,7 +1032,7 @@
%cmp.ret_ext = zext i1 %cmp to i32
ret i32 %cmp.ret_ext
}
-; CHECK: fcmpTrueDouble:
+; CHECK-LABEL: fcmpTrueDouble
; CHECK: mov {{.*}}, 1
define internal float @loadFloat(i32 %a) {
@@ -1041,7 +1041,7 @@
%v0 = load float* %__1, align 4
ret float %v0
}
-; CHECK: loadFloat:
+; CHECK-LABEL: loadFloat
; CHECK: movss
; CHECK: fld
@@ -1051,7 +1051,7 @@
%v0 = load double* %__1, align 8
ret double %v0
}
-; CHECK: loadDouble:
+; CHECK-LABEL: loadDouble
; CHECK: movsd
; CHECK: fld
@@ -1061,7 +1061,8 @@
store float %value, float* %__2, align 4
ret void
}
-; CHECK: storeFloat:
+; CHECK-LABEL: storeFloat:
+; CHECK: movss
; CHECK: movss
define internal void @storeDouble(i32 %a, double %value) {
@@ -1070,7 +1071,8 @@
store double %value, double* %__2, align 8
ret void
}
-; CHECK: storeDouble:
+; CHECK-LABEL: storeDouble:
+; CHECK: movsd
; CHECK: movsd
define internal void @storeFloatConst(i32 %a) {
@@ -1079,9 +1081,9 @@
store float 0x3FF3AE1480000000, float* %a.asptr, align 4
ret void
}
-; CHECK: storeFloatConst:
-; CHECK: mov
-; CHECK: mov
+; CHECK-LABEL: storeFloatConst
+; CHECK: movss
+; CHECK: movss
define internal void @storeDoubleConst(i32 %a) {
entry:
@@ -1089,9 +1091,9 @@
store double 1.230000e+00, double* %a.asptr, align 8
ret void
}
-; CHECK: storeDoubleConst:
-; CHECK: mov
-; CHECK: mov
+; CHECK-LABEL: storeDoubleConst
+; CHECK: movsd
+; CHECK: movsd
define internal float @selectFloatVarVar(float %a, float %b) {
entry:
@@ -1099,7 +1101,7 @@
%cond = select i1 %cmp, float %a, float %b
ret float %cond
}
-; CHECK: selectFloatVarVar:
+; CHECK-LABEL: selectFloatVarVar
; CHECK: ucomiss
; CHECK: ja .
; CHECK: fld
@@ -1110,7 +1112,7 @@
%cond = select i1 %cmp, double %a, double %b
ret double %cond
}
-; CHECK: selectDoubleVarVar:
+; CHECK-LABEL: selectDoubleVarVar
; CHECK: ucomisd
; CHECK: ja .
; CHECK: fld
