Subzero: Clean up the runtime implementation.

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.
 
 ; RUN: %p2i --filetype=obj --disassemble -i %s --args -O2 | FileCheck %s
 ; RUN: %p2i --filetype=obj --disassemble -i %s --args -Om1 | FileCheck %s
 
 @__init_array_start = internal constant [0 x i8] zeroinitializer, align 4
 @__fini_array_start = internal constant [0 x i8] zeroinitializer, align 4
@@ skipping 189 matching lines @@
 ; CHECK-LABEL: fpext
 ; CHECK: cvtss2sd
 ; CHECK: fld
 
 define internal i64 @doubleToSigned64(double %a) {
 entry:
   %conv = fptosi double %a to i64
   ret i64 %conv
 }
 ; CHECK-LABEL: doubleToSigned64
-; CHECK: call {{.*}} R_{{.*}} cvtdtosi64
+; CHECK: call {{.*}} R_{{.*}} __Sz_fptosi_f64_i64
 
 define internal i64 @floatToSigned64(float %a) {
 entry:
   %conv = fptosi float %a to i64
   ret i64 %conv
 }
 ; CHECK-LABEL: floatToSigned64
-; CHECK: call {{.*}} R_{{.*}} cvtftosi64
+; CHECK: call {{.*}} R_{{.*}} __Sz_fptosi_f32_i64
 
 define internal i64 @doubleToUnsigned64(double %a) {
 entry:
   %conv = fptoui double %a to i64
   ret i64 %conv
 }
 ; CHECK-LABEL: doubleToUnsigned64
-; CHECK: call {{.*}} R_{{.*}} cvtdtoui64
+; CHECK: call {{.*}} R_{{.*}} __Sz_fptoui_f64_i64
 
 define internal i64 @floatToUnsigned64(float %a) {
 entry:
   %conv = fptoui float %a to i64
   ret i64 %conv
 }
 ; CHECK-LABEL: floatToUnsigned64
-; CHECK: call {{.*}} R_{{.*}} cvtftoui64
+; CHECK: call {{.*}} R_{{.*}} __Sz_fptoui_f32_i64
 
 define internal i32 @doubleToSigned32(double %a) {
 entry:
   %conv = fptosi double %a to i32
   ret i32 %conv
 }
 ; CHECK-LABEL: doubleToSigned32
 ; CHECK: cvttsd2si
 
 define internal i32 @doubleToSigned32Const() {
@@ skipping 11 matching lines @@
 }
 ; CHECK-LABEL: floatToSigned32
 ; CHECK: cvttss2si
 
 define internal i32 @doubleToUnsigned32(double %a) {
 entry:
   %conv = fptoui double %a to i32
   ret i32 %conv
 }
 ; CHECK-LABEL: doubleToUnsigned32
-; CHECK: call {{.*}} R_{{.*}} cvtdtoui32
+; CHECK: call {{.*}} R_{{.*}} __Sz_fptoui_f64_i32
 
 define internal i32 @floatToUnsigned32(float %a) {
 entry:
   %conv = fptoui float %a to i32
   ret i32 %conv
 }
 ; CHECK-LABEL: floatToUnsigned32
-; CHECK: call {{.*}} R_{{.*}} cvtftoui32
+; CHECK: call {{.*}} R_{{.*}} __Sz_fptoui_f32_i32
 
 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: cvttsd2si
 ; CHECK: movsx
@@ skipping 87 matching lines @@
 ; CHECK-LABEL: floatToUnsigned1
 ; CHECK: cvttss2si
 ; CHECK: and eax,0x1
 
 define internal double @signed64ToDouble(i64 %a) {
 entry:
   %conv = sitofp i64 %a to double
   ret double %conv
 }
 ; CHECK-LABEL: signed64ToDouble
-; CHECK: call {{.*}} R_{{.*}} cvtsi64tod
+; CHECK: call {{.*}} R_{{.*}} __Sz_sitofp_i64_f64
 ; CHECK: fstp QWORD
 
 define internal float @signed64ToFloat(i64 %a) {
 entry:
   %conv = sitofp i64 %a to float
   ret float %conv
 }
 ; CHECK-LABEL: signed64ToFloat
-; CHECK: call {{.*}} R_{{.*}} cvtsi64tof
+; CHECK: call {{.*}} R_{{.*}} __Sz_sitofp_i64_f32
 ; CHECK: fstp DWORD
 
 define internal double @unsigned64ToDouble(i64 %a) {
 entry:
   %conv = uitofp i64 %a to double
   ret double %conv
 }
 ; CHECK-LABEL: unsigned64ToDouble
-; CHECK: call {{.*}} R_{{.*}} cvtui64tod
+; CHECK: call {{.*}} R_{{.*}} __Sz_uitofp_i64_f64
 ; CHECK: fstp
 
 define internal float @unsigned64ToFloat(i64 %a) {
 entry:
   %conv = uitofp i64 %a to float
   ret float %conv
 }
 ; CHECK-LABEL: unsigned64ToFloat
-; CHECK: call {{.*}} R_{{.*}} cvtui64tof
+; CHECK: call {{.*}} R_{{.*}} __Sz_uitofp_i64_f32
 ; CHECK: fstp
 
 define internal double @unsigned64ToDoubleConst() {
 entry:
   %conv = uitofp i64 12345678901234 to double
   ret double %conv
 }
 ; CHECK-LABEL: unsigned64ToDouble
 ; CHECK: mov DWORD PTR [esp+0x4],0xb3a
 ; CHECK: mov DWORD PTR [esp],0x73ce2ff2
-; CHECK: call {{.*}} R_{{.*}} cvtui64tod
+; CHECK: call {{.*}} R_{{.*}} __Sz_uitofp_i64_f64
 ; CHECK: fstp
 
 define internal double @signed32ToDouble(i32 %a) {
 entry:
   %conv = sitofp i32 %a to double
   ret double %conv
 }
 ; CHECK-LABEL: signed32ToDouble
 ; CHECK: cvtsi2sd
 ; CHECK: fld
@@ skipping 15 matching lines @@
 ; CHECK-LABEL: signed32ToFloat
 ; CHECK: cvtsi2ss
 ; CHECK: fld
 
 define internal double @unsigned32ToDouble(i32 %a) {
 entry:
   %conv = uitofp i32 %a to double
   ret double %conv
 }
 ; CHECK-LABEL: unsigned32ToDouble
-; CHECK: call {{.*}} R_{{.*}} cvtui32tod
+; CHECK: call {{.*}} R_{{.*}} __Sz_uitofp_i32_f64
 ; CHECK: fstp QWORD
 
 define internal float @unsigned32ToFloat(i32 %a) {
 entry:
   %conv = uitofp i32 %a to float
   ret float %conv
 }
 ; CHECK-LABEL: unsigned32ToFloat
-; CHECK: call {{.*}} R_{{.*}} cvtui32tof
+; CHECK: call {{.*}} R_{{.*}} __Sz_uitofp_i32_f32
 ; 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
@@ skipping 698 matching lines @@
 define internal double @selectDoubleVarVar(double %a, double %b) {
 entry:
   %cmp = fcmp olt double %a, %b
   %cond = select i1 %cmp, double %a, double %b
   ret double %cond
 }
 ; CHECK-LABEL: selectDoubleVarVar
 ; CHECK: ucomisd
 ; CHECK: ja
 ; CHECK: fld