Add cast instructions to subzero's pnacl bitcode translator.

tests_lit/reader_tests/casts.ll

Index: tests_lit/reader_tests/casts.ll
diff --git a/tests_lit/reader_tests/casts.ll b/tests_lit/reader_tests/casts.ll
new file mode 100644
index 0000000000000000000000000000000000000000..f09de256336fc422744a368f21071c1bd35a861d
--- /dev/null
+++ b/tests_lit/reader_tests/casts.ll
@@ -0,0 +1,537 @@
+; Tests if we can read cast operations.
+
+; RUN: llvm-as < %s | pnacl-freeze \
+; RUN:              | %llvm2ice -notranslate -verbose=inst -build-on-read \
+; RUN:                -allow-pnacl-reader-error-recovery \
+; RUN:              | FileCheck %s
+
+; TODO(kschimpf) Find way to test pointer conversions (since they in general
+; get removed by pnacl-freeze).
+
+define i32 @TruncI64(i64 %v) {
+  %v1 = trunc i64 %v to i1
+  %v8 = trunc i64 %v to i8
+  %v16 = trunc i64 %v to i16
+  %v32 = trunc i64 %v to i32
+  ret i32 %v32
+}
+
+; CHECK:      define i32 @TruncI64(i64 %__0) {
+; CHECK-NEXT: __0:
+; CHECK-NEXT:   %__1 = trunc i64 %__0 to i1
+; CHECK-NEXT:   %__2 = trunc i64 %__0 to i8
+; CHECK-NEXT:   %__3 = trunc i64 %__0 to i16
+; CHECK-NEXT:   %__4 = trunc i64 %__0 to i32
+; CHECK-NEXT:   ret i32 %__4
+; CHECK-NEXT: }
+
+define void @TruncI32(i32 %v) {
+  %v1 = trunc i32 %v to i1
+  %v8 = trunc i32 %v to i8
+  %v16 = trunc i32 %v to i16
+  ret void
+}
+
+; CHECK-NEXT: define void @TruncI32(i32 %__0) {
+; CHECK-NEXT: __0:
+; CHECK-NEXT:   %__1 = trunc i32 %__0 to i1
+; CHECK-NEXT:   %__2 = trunc i32 %__0 to i8
+; CHECK-NEXT:   %__3 = trunc i32 %__0 to i16
+; CHECK-NEXT:   ret void
+; CHECK-NEXT: }
+
+define void @TruncI16(i32 %p) {
+  %v = trunc i32 %p to i16
+  %v1 = trunc i16 %v to i1
+  %v8 = trunc i16 %v to i8
+  ret void
+}
+
+; CHECK-NEXT: define void @TruncI16(i32 %__0) {
+; CHECK-NEXT: __0:
+; CHECK-NEXT:   %__1 = trunc i32 %__0 to i16
+; CHECK-NEXT:   %__2 = trunc i16 %__1 to i1
+; CHECK-NEXT:   %__3 = trunc i16 %__1 to i8
+; CHECK-NEXT:   ret void
+; CHECK-NEXT: }
+
+define void @TruncI8(i32 %p) {
+  %v = trunc i32 %p to i8
+  %v1 = trunc i8 %v to i1
+  ret void
+}
+
+; CHECK-NEXT: define void @TruncI8(i32 %__0) {
+; CHECK-NEXT: __0:
+; CHECK-NEXT:   %__1 = trunc i32 %__0 to i8
+; CHECK-NEXT:   %__2 = trunc i8 %__1 to i1
+; CHECK-NEXT:   ret void
+; CHECK-NEXT: }
+
+define i64 @ZextI1(i32 %p) {
+  %v = trunc i32 %p to i1
+  %v8 = zext i1 %v to i8
+  %v16 = zext i1 %v to i16
+  %v32 = zext i1 %v to i32
+  %v64 = zext i1 %v to i64
+  ret i64 %v64
+}
+
+; CHECK-NEXT: define i64 @ZextI1(i32 %__0) {
+; CHECK-NEXT: __0:
+; CHECK-NEXT:   %__1 = trunc i32 %__0 to i1
+; CHECK-NEXT:   %__2 = zext i1 %__1 to i8
+; CHECK-NEXT:   %__3 = zext i1 %__1 to i16
+; CHECK-NEXT:   %__4 = zext i1 %__1 to i32
+; CHECK-NEXT:   %__5 = zext i1 %__1 to i64
+; CHECK-NEXT:   ret i64 %__5
+; CHECK-NEXT: }
+
+define i32 @ZextI8(i32 %p) {
+  %v = trunc i32 %p to i8
+  %v16 = zext i8 %v to i16
+  %v32 = zext i8 %v to i32
+  %v64 = zext i8 %v to i64
+  ret i32 %v32
+}
+
+; CHECK-NEXT: define i32 @ZextI8(i32 %__0) {
+; CHECK-NEXT: __0:
+; CHECK-NEXT:   %__1 = trunc i32 %__0 to i8
+; CHECK-NEXT:   %__2 = zext i8 %__1 to i16
+; CHECK-NEXT:   %__3 = zext i8 %__1 to i32
+; CHECK-NEXT:   %__4 = zext i8 %__1 to i64
+; CHECK-NEXT:   ret i32 %__3
+; CHECK-NEXT: }
+
+define i64 @ZextI16(i32 %p) {
+  %v = trunc i32 %p to i16
+  %v32 = zext i16 %v to i32
+  %v64 = zext i16 %v to i64
+  ret i64 %v64
+}
+
+; CHECK-NEXT: define i64 @ZextI16(i32 %__0) {
+; CHECK-NEXT: __0:
+; CHECK-NEXT:   %__1 = trunc i32 %__0 to i16
+; CHECK-NEXT:   %__2 = zext i16 %__1 to i32
+; CHECK-NEXT:   %__3 = zext i16 %__1 to i64
+; CHECK-NEXT:   ret i64 %__3
+; CHECK-NEXT: }
+
+define i64 @Zexti32(i32 %v) {
+  %v64 = zext i32 %v to i64
+  ret i64 %v64
+}
+
+; CHECK-NEXT: define i64 @Zexti32(i32 %__0) {
+; CHECK-NEXT: __0:
+; CHECK-NEXT:   %__1 = zext i32 %__0 to i64
+; CHECK-NEXT:   ret i64 %__1
+; CHECK-NEXT: }
+
+define i32 @SextI1(i32 %p) {
+  %v = trunc i32 %p to i1
+  %v8 = sext i1 %v to i8
+  %v16 = sext i1 %v to i16
+  %v32 = sext i1 %v to i32
+  %v64 = sext i1 %v to i64
+  ret i32 %v32
+}
+
+; CHECK-NEXT: define i32 @SextI1(i32 %__0) {
+; CHECK-NEXT: __0:
+; CHECK-NEXT:   %__1 = trunc i32 %__0 to i1
+; CHECK-NEXT:   %__2 = sext i1 %__1 to i8
+; CHECK-NEXT:   %__3 = sext i1 %__1 to i16
+; CHECK-NEXT:   %__4 = sext i1 %__1 to i32
+; CHECK-NEXT:   %__5 = sext i1 %__1 to i64
+; CHECK-NEXT:   ret i32 %__4
+; CHECK-NEXT: }
+
+define i64 @SextI8(i32 %p) {
+  %v = trunc i32 %p to i8
+  %v16 = sext i8 %v to i16
+  %v32 = sext i8 %v to i32
+  %v64 = sext i8 %v to i64
+  ret i64 %v64
+}
+
+; CHECK-NEXT: define i64 @SextI8(i32 %__0) {
+; CHECK-NEXT: __0:
+; CHECK-NEXT:   %__1 = trunc i32 %__0 to i8
+; CHECK-NEXT:   %__2 = sext i8 %__1 to i16
+; CHECK-NEXT:   %__3 = sext i8 %__1 to i32
+; CHECK-NEXT:   %__4 = sext i8 %__1 to i64
+; CHECK-NEXT:   ret i64 %__4
+; CHECK-NEXT: }
+
+define i32 @SextI16(i32 %p) {
+  %v = trunc i32 %p to i16
+  %v32 = sext i16 %v to i32
+  %v64 = sext i16 %v to i64
+  ret i32 %v32
+}
+
+; CHECK-NEXT: define i32 @SextI16(i32 %__0) {
+; CHECK-NEXT: __0:
+; CHECK-NEXT:   %__1 = trunc i32 %__0 to i16
+; CHECK-NEXT:   %__2 = sext i16 %__1 to i32
+; CHECK-NEXT:   %__3 = sext i16 %__1 to i64
+; CHECK-NEXT:   ret i32 %__2
+; CHECK-NEXT: }
+
+define i64 @Sexti32(i32 %v) {
+  %v64 = sext i32 %v to i64
+  ret i64 %v64
+}
+
+; CHECK-NEXT: define i64 @Sexti32(i32 %__0) {
+; CHECK-NEXT: __0:
+; CHECK-NEXT:   %__1 = sext i32 %__0 to i64
+; CHECK-NEXT:   ret i64 %__1
+; CHECK-NEXT: }
+
+define float @Fptrunc(double %v) {
+  %vfloat = fptrunc double %v to float
+  ret float %vfloat
+}
+
+; CHECK-NEXT: define float @Fptrunc(double %__0) {
+; CHECK-NEXT: __0:
+; CHECK-NEXT:   %__1 = fptrunc double %__0 to float
+; CHECK-NEXT:   ret float %__1
+; CHECK-NEXT: }
+
+define double @Fpext(float %v) {
+  %vdouble = fpext float %v to double
+  ret double %vdouble
+}
+
+; CHECK-NEXT: define double @Fpext(float %__0) {
+; CHECK-NEXT: __0:
+; CHECK-NEXT:   %__1 = fpext float %__0 to double
+; CHECK-NEXT:   ret double %__1
+; CHECK-NEXT: }
+
+define i32 @FptouiFloat(float %v) {
+  %v1 = fptoui float %v to i1
+  %v8 = fptoui float %v to i8
+  %v16 = fptoui float %v to i16
+  %v32 = fptoui float %v to i32
+  %v64 = fptoui float %v to i64
+  ret i32 %v32
+}
+
+; CHECK-NEXT: define i32 @FptouiFloat(float %__0) {
+; CHECK-NEXT: __0:
+; CHECK-NEXT:   %__1 = fptoui float %__0 to i1
+; CHECK-NEXT:   %__2 = fptoui float %__0 to i8
+; CHECK-NEXT:   %__3 = fptoui float %__0 to i16
+; CHECK-NEXT:   %__4 = fptoui float %__0 to i32
+; CHECK-NEXT:   %__5 = fptoui float %__0 to i64
+; CHECK-NEXT:   ret i32 %__4
+; CHECK-NEXT: }
+
+define i32 @FptouiDouble(double %v) {
+  %v1 = fptoui double %v to i1
+  %v8 = fptoui double %v to i8
+  %v16 = fptoui double %v to i16
+  %v32 = fptoui double %v to i32
+  %v64 = fptoui double %v to i64
+  ret i32 %v32
+}
+
+; CHECK-NEXT: define i32 @FptouiDouble(double %__0) {
+; CHECK-NEXT: __0:
+; CHECK-NEXT:   %__1 = fptoui double %__0 to i1
+; CHECK-NEXT:   %__2 = fptoui double %__0 to i8
+; CHECK-NEXT:   %__3 = fptoui double %__0 to i16
+; CHECK-NEXT:   %__4 = fptoui double %__0 to i32
+; CHECK-NEXT:   %__5 = fptoui double %__0 to i64
+; CHECK-NEXT:   ret i32 %__4
+; CHECK-NEXT: }
+
+define i32 @FptosiFloat(float %v) {
+  %v1 = fptosi float %v to i1
+  %v8 = fptosi float %v to i8
+  %v16 = fptosi float %v to i16
+  %v32 = fptosi float %v to i32
+  %v64 = fptosi float %v to i64
+  ret i32 %v32
+}
+
+; CHECK-NEXT: define i32 @FptosiFloat(float %__0) {
+; CHECK-NEXT: __0:
+; CHECK-NEXT:   %__1 = fptosi float %__0 to i1
+; CHECK-NEXT:   %__2 = fptosi float %__0 to i8
+; CHECK-NEXT:   %__3 = fptosi float %__0 to i16
+; CHECK-NEXT:   %__4 = fptosi float %__0 to i32
+; CHECK-NEXT:   %__5 = fptosi float %__0 to i64
+; CHECK-NEXT:   ret i32 %__4
+; CHECK-NEXT: }
+
+define i32 @FptosiDouble(double %v) {
+  %v1 = fptosi double %v to i1
+  %v8 = fptosi double %v to i8
+  %v16 = fptosi double %v to i16
+  %v32 = fptosi double %v to i32
+  %v64 = fptosi double %v to i64
+  ret i32 %v32
+}
+
+; CHECK-NEXT: define i32 @FptosiDouble(double %__0) {
+; CHECK-NEXT: __0:
+; CHECK-NEXT:   %__1 = fptosi double %__0 to i1
+; CHECK-NEXT:   %__2 = fptosi double %__0 to i8
+; CHECK-NEXT:   %__3 = fptosi double %__0 to i16
+; CHECK-NEXT:   %__4 = fptosi double %__0 to i32
+; CHECK-NEXT:   %__5 = fptosi double %__0 to i64
+; CHECK-NEXT:   ret i32 %__4
+; CHECK-NEXT: }
+
+define float @UitofpI1(i32 %p) {
+  %v = trunc i32 %p to i1
+  %vfloat = uitofp i1 %v to float
+  %vdouble = uitofp i1 %v to double
+  ret float %vfloat
+}
+
+; CHECK-NEXT: define float @UitofpI1(i32 %__0) {
+; CHECK-NEXT: __0:
+; CHECK-NEXT:   %__1 = trunc i32 %__0 to i1
+; CHECK-NEXT:   %__2 = uitofp i1 %__1 to float
+; CHECK-NEXT:   %__3 = uitofp i1 %__1 to double
+; CHECK-NEXT:   ret float %__2
+; CHECK-NEXT: }
+
+define float @UitofpI8(i32 %p) {
+  %v = trunc i32 %p to i8
+  %vfloat = uitofp i8 %v to float
+  %vdouble = uitofp i8 %v to double
+  ret float %vfloat
+}
+
+; CHECK-NEXT: define float @UitofpI8(i32 %__0) {
+; CHECK-NEXT: __0:
+; CHECK-NEXT:   %__1 = trunc i32 %__0 to i8
+; CHECK-NEXT:   %__2 = uitofp i8 %__1 to float
+; CHECK-NEXT:   %__3 = uitofp i8 %__1 to double
+; CHECK-NEXT:   ret float %__2
+; CHECK-NEXT: }
+
+define float @UitofpI16(i32 %p) {
+  %v = trunc i32 %p to i16
+  %vfloat = uitofp i16 %v to float
+  %vdouble = uitofp i16 %v to double
+  ret float %vfloat
+}
+
+; CHECK-NEXT: define float @UitofpI16(i32 %__0) {
+; CHECK-NEXT: __0:
+; CHECK-NEXT:   %__1 = trunc i32 %__0 to i16
+; CHECK-NEXT:   %__2 = uitofp i16 %__1 to float
+; CHECK-NEXT:   %__3 = uitofp i16 %__1 to double
+; CHECK-NEXT:   ret float %__2
+; CHECK-NEXT: }
+
+define float @UitofpI32(i32 %v) {
+  %vfloat = uitofp i32 %v to float
+  %vdouble = uitofp i32 %v to double
+  ret float %vfloat
+}
+
+; CHECK-NEXT: define float @UitofpI32(i32 %__0) {
+; CHECK-NEXT: __0:
+; CHECK-NEXT:   %__1 = uitofp i32 %__0 to float
+; CHECK-NEXT:   %__2 = uitofp i32 %__0 to double
+; CHECK-NEXT:   ret float %__1
+; CHECK-NEXT: }
+
+define float @UitofpI64(i64 %v) {
+  %vfloat = uitofp i64 %v to float
+  %vdouble = uitofp i64 %v to double
+  ret float %vfloat
+}
+
+; CHECK-NEXT: define float @UitofpI64(i64 %__0) {
+; CHECK-NEXT: __0:
+; CHECK-NEXT:   %__1 = uitofp i64 %__0 to float
+; CHECK-NEXT:   %__2 = uitofp i64 %__0 to double
+; CHECK-NEXT:   ret float %__1
+; CHECK-NEXT: }
+
+define float @SitofpI1(i32 %p) {
+  %v = trunc i32 %p to i1
+  %vfloat = sitofp i1 %v to float
+  %vdouble = sitofp i1 %v to double
+  ret float %vfloat
+}
+
+; CHECK-NEXT: define float @SitofpI1(i32 %__0) {
+; CHECK-NEXT: __0:
+; CHECK-NEXT:   %__1 = trunc i32 %__0 to i1
+; CHECK-NEXT:   %__2 = sitofp i1 %__1 to float
+; CHECK-NEXT:   %__3 = sitofp i1 %__1 to double
+; CHECK-NEXT:   ret float %__2
+; CHECK-NEXT: }
+
+define float @SitofpI8(i32 %p) {
+  %v = trunc i32 %p to i8
+  %vfloat = sitofp i8 %v to float
+  %vdouble = sitofp i8 %v to double
+  ret float %vfloat
+}
+
+; CHECK-NEXT: define float @SitofpI8(i32 %__0) {
+; CHECK-NEXT: __0:
+; CHECK-NEXT:   %__1 = trunc i32 %__0 to i8
+; CHECK-NEXT:   %__2 = sitofp i8 %__1 to float
+; CHECK-NEXT:   %__3 = sitofp i8 %__1 to double
+; CHECK-NEXT:   ret float %__2
+; CHECK-NEXT: }
+
+define float @SitofpI16(i32 %p) {
+  %v = trunc i32 %p to i16
+  %vfloat = sitofp i16 %v to float
+  %vdouble = sitofp i16 %v to double
+  ret float %vfloat
+}
+
+; CHECK-NEXT: define float @SitofpI16(i32 %__0) {
+; CHECK-NEXT: __0:
+; CHECK-NEXT:   %__1 = trunc i32 %__0 to i16
+; CHECK-NEXT:   %__2 = sitofp i16 %__1 to float
+; CHECK-NEXT:   %__3 = sitofp i16 %__1 to double
+; CHECK-NEXT:   ret float %__2
+; CHECK-NEXT: }
+
+define float @SitofpI32(i32 %v) {
+  %vfloat = sitofp i32 %v to float
+  %vdouble = sitofp i32 %v to double
+  ret float %vfloat
+}
+
+; CHECK-NEXT: define float @SitofpI32(i32 %__0) {
+; CHECK-NEXT: __0:
+; CHECK-NEXT:   %__1 = sitofp i32 %__0 to float
+; CHECK-NEXT:   %__2 = sitofp i32 %__0 to double
+; CHECK-NEXT:   ret float %__1
+; CHECK-NEXT: }
+
+define float @SitofpI64(i64 %v) {
+  %vfloat = sitofp i64 %v to float
+  %vdouble = sitofp i64 %v to double
+  ret float %vfloat
+}
+
+; CHECK-NEXT: define float @SitofpI64(i64 %__0) {
+; CHECK-NEXT: __0:
+; CHECK-NEXT:   %__1 = sitofp i64 %__0 to float
+; CHECK-NEXT:   %__2 = sitofp i64 %__0 to double
+; CHECK-NEXT:   ret float %__1
+; CHECK-NEXT: }
+
+define float @BitcastI32(i32 %v) {
+  %vfloat = bitcast i32 %v to float
+  ret float %vfloat
+}
+
+; CHECK-NEXT: define float @BitcastI32(i32 %__0) {
+; CHECK-NEXT: __0:
+; CHECK-NEXT:   %__1 = bitcast i32 %__0 to float
+; CHECK-NEXT:   ret float %__1
+; CHECK-NEXT: }
+
+define double @BitcastI64(i64 %v) {
+  %vdouble = bitcast i64 %v to double
+  ret double %vdouble
+}
+
+; CHECK-NEXT: define double @BitcastI64(i64 %__0) {
+; CHECK-NEXT: __0:
+; CHECK-NEXT:   %__1 = bitcast i64 %__0 to double
+; CHECK-NEXT:   ret double %__1
+; CHECK-NEXT: }
+
+define i32 @BitcastFloat(float %v) {
+  %vi32 = bitcast float %v to i32
+  ret i32 %vi32
+}
+
+; CHECK-NEXT: define i32 @BitcastFloat(float %__0) {
+; CHECK-NEXT: __0:
+; CHECK-NEXT:   %__1 = bitcast float %__0 to i32
+; CHECK-NEXT:   ret i32 %__1
+; CHECK-NEXT: }
+
+define i64 @BitcastDouble(double %v) {
+  %vi64 = bitcast double %v to i64
+  ret i64 %vi64
+}
+
+; CHECK-NEXT: define i64 @BitcastDouble(double %__0) {
+; CHECK-NEXT: __0:
+; CHECK-NEXT:   %__1 = bitcast double %__0 to i64
+; CHECK-NEXT:   ret i64 %__1
+; CHECK-NEXT: }
+
+define void @BitcastV4xFloat(<4 x float> %v) {
+  %v4xi32 = bitcast <4 x float> %v to <4 x i32>
+  %v8xi16 = bitcast <4 x float> %v to <8 x i16>
+  %v16xi8 = bitcast <4 x float> %v to <16 x i8>
+  ret void
+}
+
+; CHECK-NEXT: define void @BitcastV4xFloat(<4 x float> %__0) {
+; CHECK-NEXT: __0:
+; CHECK-NEXT:   %__1 = bitcast <4 x float> %__0 to <4 x i32>
+; CHECK-NEXT:   %__2 = bitcast <4 x float> %__0 to <8 x i16>
+; CHECK-NEXT:   %__3 = bitcast <4 x float> %__0 to <16 x i8>
+; CHECK-NEXT:   ret void
+; CHECK-NEXT: }
+
+define void @BitcastV4xi32(<4 x i32> %v) {
+  %v4xfloat = bitcast <4 x i32> %v to <4 x float>
+  %v8xi16 = bitcast <4 x i32> %v to <8 x i16>
+  %v16xi8 = bitcast <4 x i32> %v to <16 x i8>
+  ret void
+}
+
+; CHECK-NEXT: define void @BitcastV4xi32(<4 x i32> %__0) {
+; CHECK-NEXT: __0:
+; CHECK-NEXT:   %__1 = bitcast <4 x i32> %__0 to <4 x float>
+; CHECK-NEXT:   %__2 = bitcast <4 x i32> %__0 to <8 x i16>
+; CHECK-NEXT:   %__3 = bitcast <4 x i32> %__0 to <16 x i8>
+; CHECK-NEXT:   ret void
+; CHECK-NEXT: }
+
+define void @BitcastV4xi16(<8 x i16> %v) {
+  %v4xfloat = bitcast <8 x i16> %v to <4 x float>
+  %v4xi32 = bitcast <8 x i16> %v to <4 x i32>
+  %v16xi8 = bitcast <8 x i16> %v to <16 x i8>
+  ret void
+}
+
+; CHECK-NEXT: define void @BitcastV4xi16(<8 x i16> %__0) {

[jvoung (off chromium), 2014/08/29 17:26:34]

Function name should be V8xi16 ?

[Karl, 2014/09/02 17:47:57]

Done.

+; CHECK-NEXT: __0:
+; CHECK-NEXT:   %__1 = bitcast <8 x i16> %__0 to <4 x float>
+; CHECK-NEXT:   %__2 = bitcast <8 x i16> %__0 to <4 x i32>
+; CHECK-NEXT:   %__3 = bitcast <8 x i16> %__0 to <16 x i8>
+; CHECK-NEXT:   ret void
+; CHECK-NEXT: }
+
+define void @BitcastV16xi8(<16 x i8> %v) {
+  %v4xfloat = bitcast <16 x i8> %v to <4 x float>
+  %v4xi32 = bitcast <16 x i8> %v to <4 x i32>
+  %v8xi16 = bitcast <16 x i8> %v to <8 x i16>
+  ret void
+}
+
+; CHECK-NEXT: define void @BitcastV16xi8(<16 x i8> %__0) {
+; CHECK-NEXT: __0:
+; CHECK-NEXT:   %__1 = bitcast <16 x i8> %__0 to <4 x float>
+; CHECK-NEXT:   %__2 = bitcast <16 x i8> %__0 to <4 x i32>
+; CHECK-NEXT:   %__3 = bitcast <16 x i8> %__0 to <8 x i16>
+; CHECK-NEXT:   ret void
+; CHECK-NEXT: }