Add cross test for vector itofp and fptoi 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: %p2i -i %s --args -O2 --verbose none \
@@ skipping 252 matching lines @@
 ; CALLTARGETS: call cvtftoui64
 
 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() {
+entry:
+  %conv = fptosi double 867.5309 to i32
+  ret i32 %conv
+}
+; CHECK-LABEL: doubleToSigned32Const
+; CHECK: cvttsd2si
+
 define internal i32 @floatToSigned32(float %a) {
 entry:
   %conv = fptosi float %a to i32
   ret i32 %conv
 }
 ; CHECK-LABEL: floatToSigned32
 ; CHECK: cvttss2si
 
 define internal i32 @doubleToUnsigned32(double %a) {
 entry:
@@ skipping 175 matching lines @@
 
 define internal double @signed32ToDouble(i32 %a) {
 entry:
   %conv = sitofp i32 %a to double
   ret double %conv
 }
 ; CHECK-LABEL: signed32ToDouble
 ; CHECK: cvtsi2sd
 ; CHECK: fld
 
+define internal double @signed32ToDoubleConst() {
+entry:
+  %conv = sitofp i32 123 to double
+  ret double %conv
+}
+; CHECK-LABEL: signed32ToDoubleConst
+; CHECK: cvtsi2sd {{.*[^1]}}
+; CHECK: fld
+
 define internal float @signed32ToFloat(i32 %a) {
 entry:
   %conv = sitofp i32 %a to float
   ret float %conv
 }
 ; CHECK-LABEL: signed32ToFloat
 ; CHECK: cvtsi2ss
 ; CHECK: fld
 
 define internal double @unsigned32ToDouble(i32 %a) {
@@ skipping 41 matching lines @@
 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
 
+define internal double @unsigned16ToDoubleConst() {
+entry:
+  %conv = uitofp i16 12345 to double
+  ret double %conv
+}
+; CHECK-LABEL: unsigned16ToDoubleConst
+; CHECK: cvtsi2sd
+; CHECK: fld
+
 define internal float @unsigned16ToFloat(i32 %a) {
 entry:
   %a.arg_trunc = trunc i32 %a to i16
   %conv = uitofp i16 %a.arg_trunc to float
   ret float %conv
 }
 ; CHECK-LABEL: unsigned16ToFloat
 ; CHECK: cvtsi2ss
 ; CHECK: fld
 
@@ skipping 50 matching lines @@
 define internal float @unsigned1ToFloat(i32 %a) {
 entry:
   %a.arg_trunc = trunc i32 %a to i1
   %conv = uitofp i1 %a.arg_trunc to float
   ret float %conv
 }
 ; CHECK-LABEL: unsigned1ToFloat
 ; CHECK: cvtsi2ss
 ; CHECK: fld
 
+define internal float @int32BitcastToFloat(i32 %a) {
+entry:
+  %conv = bitcast i32 %a to float
+  ret float %conv
+}
+; CHECK-LABEL: int32BitcastToFloat
+; CHECK: mov
+
+define internal float @int32BitcastToFloatConst() {
+entry:
+  %conv = bitcast i32 8675309 to float
+  ret float %conv
+}
+; CHECK-LABEL: int32BitcastToFloatConst
+; CHECK: mov
+
+define internal double @int64BitcastToDouble(i64 %a) {
+entry:
+  %conv = bitcast i64 %a to double
+  ret double %conv
+}
+; CHECK-LABEL: int64BitcastToDouble
+; CHECK: mov
+
+define internal double @int64BitcastToDoubleConst() {
+entry:
+  %conv = bitcast i64 9035768 to double
+  ret double %conv
+}
+; CHECK-LABEL: int64BitcastToDoubleConst
+; CHECK: mov
+
 define internal void @fcmpEq(float %a, float %b, double %c, double %d) {
 entry:
   %cmp = fcmp oeq float %a, %b
   br i1 %cmp, label %if.then, label %if.end
 
 if.then:                                          ; preds = %entry
   call void @func()
   br label %if.end
 
 if.end:                                           ; preds = %if.then, %entry
@@ skipping 560 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