emitIAS for fld and fstp

tests_lit/llvm2ice_tests/fp.pnacl.ll

 ; This tries to be a comprehensive test of f32 and f64 operations.
 ; The CHECK lines are only checking for basic instruction patterns
 ; that should be present regardless of the optimization level, so
 ; there are no special OPTM1 match lines.
 
 ; TODO(jvoung): fix extra "CALLTARGETS" run. The llvm-objdump symbolizer
 ; doesn't know how to symbolize non-section-local functions.
 ; The newer LLVM 3.6 one does work, but watch out for other bugs.
 
 ; RUN: %p2i -i %s --args -O2 --verbose none \
@@ skipping 398 matching lines @@
 
 define internal double @signed64ToDouble(i64 %a) {
 entry:
   %conv = sitofp i64 %a to double
   ret double %conv
 }
 ; CHECK-LABEL: signed64ToDouble
 ; CALLTARGETS-LABEL: signed64ToDouble
 ; CHECK: call -4
 ; CALLTARGETS: call cvtsi64tod
-; CHECK: fstp
+; CHECK: fstp qword
 
 define internal float @signed64ToFloat(i64 %a) {
 entry:
   %conv = sitofp i64 %a to float
   ret float %conv
 }
 ; CHECK-LABEL: signed64ToFloat
 ; CALLTARGETS-LABEL: signed64ToFloat
 ; CHECK: call -4
 ; CALLTARGETS: call cvtsi64tof
-; CHECK: fstp
+; CHECK: fstp dword
 
 define internal double @unsigned64ToDouble(i64 %a) {
 entry:
   %conv = uitofp i64 %a to double
   ret double %conv
 }
 ; CHECK-LABEL: unsigned64ToDouble
 ; CALLTARGETS-LABEL: unsigned64ToDouble
 ; CHECK: call -4
 ; CALLTARGETS: call cvtui64tod
@@ skipping 52 matching lines @@
 
 define internal double @unsigned32ToDouble(i32 %a) {
 entry:
   %conv = uitofp i32 %a to double
   ret double %conv
 }
 ; CHECK-LABEL: unsigned32ToDouble
 ; CALLTARGETS-LABEL: unsigned32ToDouble
 ; CHECK: call -4
 ; CALLTARGETS: call cvtui32tod
-; CHECK: fstp
+; CHECK: fstp qword
 
 define internal float @unsigned32ToFloat(i32 %a) {
 entry:
   %conv = uitofp i32 %a to float
   ret float %conv
 }
 ; CHECK-LABEL: unsigned32ToFloat
 ; CALLTARGETS-LABEL: unsigned32ToFloat
 ; CHECK: call -4
 ; CALLTARGETS: call cvtui32tof
-; CHECK: fstp
+; CHECK: fstp dword
 
 define internal double @signed16ToDouble(i32 %a) {
 entry:
   %a.arg_trunc = trunc i32 %a to i16
   %conv = sitofp i16 %a.arg_trunc to double
   ret double %conv
 }
 ; CHECK-LABEL: signed16ToDouble
 ; CHECK: cvtsi2sd
-; CHECK: fld
+; CHECK: fld qword
 
 define internal float @signed16ToFloat(i32 %a) {
 entry:
   %a.arg_trunc = trunc i32 %a to i16
   %conv = sitofp i16 %a.arg_trunc to float
   ret float %conv
 }
 ; CHECK-LABEL: signed16ToFloat
 ; CHECK: cvtsi2ss
-; CHECK: fld
+; CHECK: fld dword
 
 define internal double @unsigned16ToDouble(i32 %a) {
 entry:
   %a.arg_trunc = trunc i32 %a to i16
   %conv = uitofp i16 %a.arg_trunc to double
   ret double %conv
 }
 ; CHECK-LABEL: unsigned16ToDouble
 ; CHECK: cvtsi2sd
 ; CHECK: fld
@@ skipping 682 matching lines @@
   %cmp = fcmp olt double %a, %b
   %cond = select i1 %cmp, double %a, double %b
   ret double %cond
 }
 ; CHECK-LABEL: selectDoubleVarVar
 ; CHECK: ucomisd
 ; CHECK: ja {{[0-9]}}
 ; CHECK: fld
 
 ; ERRORS-NOT: ICE translation error