Subzero: Use cvttss2si and similar instead of cvtss2si for fp->int casts.

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: %llvm2ice -O2 --verbose none %s \
@@ skipping 253 matching lines @@
 ; CALLTARGETS-LABEL: floatToUnsigned64
 ; CHECK: call -4
 ; CALLTARGETS: call cvtftoui64
 
 define internal i32 @doubleToSigned32(double %a) {
 entry:
   %conv = fptosi double %a to i32
   ret i32 %conv
 }
 ; CHECK-LABEL: doubleToSigned32
-; CHECK: cvtsd2si
+; CHECK: cvttsd2si
 
 define internal i32 @floatToSigned32(float %a) {
 entry:
   %conv = fptosi float %a to i32
   ret i32 %conv
 }
 ; CHECK-LABEL: floatToSigned32
-; CHECK: cvtss2si
+; CHECK: cvttss2si
 
 define internal i32 @doubleToUnsigned32(double %a) {
 entry:
   %conv = fptoui double %a to i32
   ret i32 %conv
 }
 ; CHECK-LABEL: doubleToUnsigned32
 ; CALLTARGETS-LABEL: doubleToUnsigned32
 ; CHECK: call -4
 ; CALLTARGETS: call cvtdtoui32
 
 define internal i32 @floatToUnsigned32(float %a) {
 entry:
   %conv = fptoui float %a to i32
   ret i32 %conv
 }
 ; CHECK-LABEL: floatToUnsigned32
 ; CALLTARGETS-LABEL: floatToUnsigned32
 ; CHECK: call -4
 ; CALLTARGETS: call cvtftoui32
 
 
 define internal i32 @doubleToSigned16(double %a) {
 entry:
   %conv = fptosi double %a to i16
   %conv.ret_ext = sext i16 %conv to i32
   ret i32 %conv.ret_ext
 }
 ; CHECK-LABEL: doubleToSigned16
-; CHECK: cvtsd2si
+; CHECK: cvttsd2si
 ; CHECK: movsx
 
 define internal i32 @floatToSigned16(float %a) {
 entry:
   %conv = fptosi float %a to i16
   %conv.ret_ext = sext i16 %conv to i32
   ret i32 %conv.ret_ext
 }
 ; CHECK-LABEL: floatToSigned16
-; CHECK: cvtss2si
+; CHECK: cvttss2si
 ; CHECK: movsx
 
 define internal i32 @doubleToUnsigned16(double %a) {
 entry:
   %conv = fptoui double %a to i16
   %conv.ret_ext = zext i16 %conv to i32
   ret i32 %conv.ret_ext
 }
 ; CHECK-LABEL: doubleToUnsigned16
-; CHECK: cvtsd2si
+; CHECK: cvttsd2si
 ; CHECK: movzx
 
 define internal i32 @floatToUnsigned16(float %a) {
 entry:
   %conv = fptoui float %a to i16
   %conv.ret_ext = zext i16 %conv to i32
   ret i32 %conv.ret_ext
 }
 ; CHECK-LABEL: floatToUnsigned16
-; CHECK: cvtss2si
+; CHECK: cvttss2si
 ; CHECK: movzx
 
 define internal i32 @doubleToSigned8(double %a) {
 entry:
   %conv = fptosi double %a to i8
   %conv.ret_ext = sext i8 %conv to i32
   ret i32 %conv.ret_ext
 }
 ; CHECK-LABEL: doubleToSigned8
-; CHECK: cvtsd2si
+; CHECK: cvttsd2si
 ; CHECK: movsx
 
 define internal i32 @floatToSigned8(float %a) {
 entry:
   %conv = fptosi float %a to i8
   %conv.ret_ext = sext i8 %conv to i32
   ret i32 %conv.ret_ext
 }
 ; CHECK-LABEL: floatToSigned8
-; CHECK: cvtss2si
+; CHECK: cvttss2si
 ; CHECK: movsx
 
 define internal i32 @doubleToUnsigned8(double %a) {
 entry:
   %conv = fptoui double %a to i8
   %conv.ret_ext = zext i8 %conv to i32
   ret i32 %conv.ret_ext
 }
 ; CHECK-LABEL: doubleToUnsigned8
-; CHECK: cvtsd2si
+; CHECK: cvttsd2si
 ; CHECK: movzx
 
 define internal i32 @floatToUnsigned8(float %a) {
 entry:
   %conv = fptoui float %a to i8
   %conv.ret_ext = zext i8 %conv to i32
   ret i32 %conv.ret_ext
 }
 ; CHECK-LABEL: floatToUnsigned8
-; CHECK: cvtss2si
+; CHECK: cvttss2si
 ; CHECK: movzx
 
 define internal i32 @doubleToUnsigned1(double %a) {
 entry:
   %tobool = fptoui double %a to i1
   %tobool.ret_ext = zext i1 %tobool to i32
   ret i32 %tobool.ret_ext
 }
 ; CHECK-LABEL: doubleToUnsigned1
-; CHECK: cvtsd2si
+; CHECK: cvttsd2si
 ; CHECK: and eax, 1
 
 define internal i32 @floatToUnsigned1(float %a) {
 entry:
   %tobool = fptoui float %a to i1
   %tobool.ret_ext = zext i1 %tobool to i32
   ret i32 %tobool.ret_ext
 }
 ; CHECK-LABEL: floatToUnsigned1
-; CHECK: cvtss2si
+; CHECK: cvttss2si
 ; CHECK: and eax, 1
 
 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
@@ skipping 760 matching lines @@
   %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
 ; DUMP-NOT: SZ