Skip to content

S
swiftshader
Commit c0fdc27c by Karl Schimpf
Options

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
parent dddc3069
Showing with 612 additions and 4 deletions
src/PNaClTranslator.cpp
......@@ -1023,6 +1023,48 @@ private:
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 @@ void FunctionParser::ProcessRecord() {
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 @@ void FunctionParser::ProcessRecord() {
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 @@ void FunctionParser::ProcessRecord() {
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 {
......
tests_lit/reader_tests/casts.ll 0 → 100644
; 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: }
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment