Add cast instructions to subzero's pnacl bitcode translator.
Also clean up other error cases (in function block) to simply return, since they have already generated an error message.
BUG= https://code.google.com/p/nativeclient/issues/detail?id=3894
R=jvoung@chromium.org, stichnot@chromium.org
Review URL: https://codereview.chromium.org/514273002
diff --git a/src/PNaClTranslator.cpp b/src/PNaClTranslator.cpp
index d7dc0c3..8f157a6 100644
--- a/src/PNaClTranslator.cpp
+++ b/src/PNaClTranslator.cpp
@@ -1023,6 +1023,48 @@
return isValidIntegerLogicalOp(Op, Ty);
}
}
+
+ /// Converts an LLVM cast opcode LLVMCastOp to the corresponding Ice
+ /// cast opcode and assigns to CastKind. Returns true if successful,
+ /// false otherwise.
+ bool convertLLVMCastOpToIceOp(Instruction::CastOps LLVMCastOp,
+ Ice::InstCast::OpKind &CastKind) {
+ switch (LLVMCastOp) {
+ case Instruction::ZExt:
+ CastKind = Ice::InstCast::Zext;
+ break;
+ case Instruction::SExt:
+ CastKind = Ice::InstCast::Sext;
+ break;
+ case Instruction::Trunc:
+ CastKind = Ice::InstCast::Trunc;
+ break;
+ case Instruction::FPTrunc:
+ CastKind = Ice::InstCast::Fptrunc;
+ break;
+ case Instruction::FPExt:
+ CastKind = Ice::InstCast::Fpext;
+ break;
+ case Instruction::FPToSI:
+ CastKind = Ice::InstCast::Fptosi;
+ break;
+ case Instruction::FPToUI:
+ CastKind = Ice::InstCast::Fptoui;
+ break;
+ case Instruction::SIToFP:
+ CastKind = Ice::InstCast::Sitofp;
+ break;
+ case Instruction::UIToFP:
+ CastKind = Ice::InstCast::Uitofp;
+ break;
+ case Instruction::BitCast:
+ CastKind = Ice::InstCast::Bitcast;
+ break;
+ default:
+ return false;
+ }
+ return true;
+ }
};
FunctionParser::~FunctionParser() {
@@ -1080,7 +1122,7 @@
case naclbitc::FUNC_CODE_DECLAREBLOCKS: {
// DECLAREBLOCKS: [n]
if (!isValidRecordSize(1, "function block count"))
- break;
+ return;
if (Func->getNodes().size() != 1) {
Error("Duplicate function block count record");
return;
@@ -1100,7 +1142,7 @@
case naclbitc::FUNC_CODE_INST_BINOP: {
// BINOP: [opval, opval, opcode]
if (!isValidRecordSize(3, "function block binop"))
- break;
+ return;
Ice::Operand *Op1 = getOperand(convertRelativeToAbsIndex(Values[0]));
Ice::Operand *Op2 = getOperand(convertRelativeToAbsIndex(Values[1]));
Ice::Type Type1 = Op1->getType();
@@ -1116,16 +1158,45 @@
Ice::InstArithmetic::OpKind Opcode;
if (!convertBinopOpcode(Values[2], Type1, Opcode))
- break;
+ return;
Ice::Variable *Dest = NextInstVar(Type1);
Inst = Ice::InstArithmetic::create(Func, Opcode, Dest, Op1, Op2);
break;
}
+ case naclbitc::FUNC_CODE_INST_CAST: {
+ // CAST: [opval, destty, castopc]
+ if (!isValidRecordSize(3, "function block cast"))
+ return;
+ Ice::Operand *Src = getOperand(convertRelativeToAbsIndex(Values[0]));
+ Type *CastType = Context->getTypeByID(Values[1]);
+ Instruction::CastOps LLVMCastOp;
+ Ice::InstCast::OpKind CastKind;
+ if (!naclbitc::DecodeCastOpcode(Values[2], LLVMCastOp) ||
+ !convertLLVMCastOpToIceOp(LLVMCastOp, CastKind)) {
+ std::string Buffer;
+ raw_string_ostream StrBuf(Buffer);
+ StrBuf << "Cast opcode not understood: " << Values[2];
+ Error(StrBuf.str());
+ return;
+ }
+ Type *SrcType = Context->convertToLLVMType(Src->getType());
+ if (!CastInst::castIsValid(LLVMCastOp, SrcType, CastType)) {
+ std::string Buffer;
+ raw_string_ostream StrBuf(Buffer);
+ StrBuf << "Illegal cast: " << Instruction::getOpcodeName(LLVMCastOp)
+ << " " << *SrcType << " to " << *CastType;
+ Error(StrBuf.str());
+ return;
+ }
+ Ice::Variable *Dest = NextInstVar(Context->convertToIceType(CastType));
+ Inst = Ice::InstCast::create(Func, CastKind, Dest, Src);
+ break;
+ }
case naclbitc::FUNC_CODE_INST_RET: {
// RET: [opval?]
InstIsTerminating = true;
if (!isValidRecordSizeInRange(0, 1, "function block ret"))
- break;
+ return;
if (Values.size() == 0) {
Inst = Ice::InstRet::create(Func);
} else {
diff --git a/tests_lit/reader_tests/casts.ll b/tests_lit/reader_tests/casts.ll
new file mode 100644
index 0000000..2346bec
--- /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 @BitcastV8xi16(<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 @BitcastV8xi16(<8 x i16> %__0) {
+; 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: }
