llvm/test/Bitcode/conversionInstructions.3.2.ll
Michael Kuperstein 5f843038fb Ensure bitcode encoding stays stable.
This includes constants, attributes, and some additional instructions not covered by previous tests.

Work was done by lama.saba@intel.com.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@218297 91177308-0d34-0410-b5e6-96231b3b80d8
2014-09-23 08:48:01 +00:00

125 lines
2.4 KiB
LLVM

; RUN: llvm-dis < %s.bc| FileCheck %s
; conversionInstructions.3.2.ll.bc was generated by passing this file to llvm-as-3.2.
; The test checks that LLVM does not misread conversion instructions from
; older bitcode files.
define void @trunc(i32 %src){
entry:
; CHECK: %res1 = trunc i32 %src to i8
%res1 = trunc i32 %src to i8
ret void
}
define void @zext(i32 %src){
entry:
; CHECK: %res1 = zext i32 %src to i64
%res1 = zext i32 %src to i64
ret void
}
define void @sext(i32 %src){
entry:
; CHECK: %res1 = sext i32 %src to i64
%res1 = sext i32 %src to i64
ret void
}
define void @fptrunc(double %src){
entry:
; CHECK: %res1 = fptrunc double %src to float
%res1 = fptrunc double %src to float
ret void
}
define void @fpext(float %src){
entry:
; CHECK: %res1 = fpext float %src to double
%res1 = fpext float %src to double
ret void
}
define void @fptoui(float %src){
entry:
; CHECK: %res1 = fptoui float %src to i32
%res1 = fptoui float %src to i32
ret void
}
define void @fptosi(float %src){
entry:
; CHECK: %res1 = fptosi float %src to i32
%res1 = fptosi float %src to i32
ret void
}
define void @uitofp(i32 %src){
entry:
; CHECK: %res1 = uitofp i32 %src to float
%res1 = uitofp i32 %src to float
ret void
}
define void @sitofp(i32 %src){
entry:
; CHECK: %res1 = sitofp i32 %src to float
%res1 = sitofp i32 %src to float
ret void
}
define void @ptrtoint(i32* %src){
entry:
; CHECK: %res1 = ptrtoint i32* %src to i8
%res1 = ptrtoint i32* %src to i8
ret void
}
define void @inttoptr(i32 %src){
entry:
; CHECK: %res1 = inttoptr i32 %src to i32*
%res1 = inttoptr i32 %src to i32*
ret void
}
define void @bitcast(i32 %src1, i32* %src2){
entry:
; CHECK: %res1 = bitcast i32 %src1 to i32
%res1 = bitcast i32 %src1 to i32
; CHECK: %res2 = bitcast i32* %src2 to i64*
%res2 = bitcast i32* %src2 to i64*
ret void
}
define void @ptrtointInstr(i32* %ptr, <4 x i32*> %vecPtr){
entry:
; CHECK: %res1 = ptrtoint i32* %ptr to i8
%res1 = ptrtoint i32* %ptr to i8
; CHECK-NEXT: %res2 = ptrtoint <4 x i32*> %vecPtr to <4 x i64>
%res2 = ptrtoint <4 x i32*> %vecPtr to <4 x i64>
ret void
}
define void @inttoptrInstr(i32 %x, <4 x i32> %vec){
entry:
; CHECK: %res1 = inttoptr i32 %x to i64*
%res1 = inttoptr i32 %x to i64*
; CHECK-NEXT: inttoptr <4 x i32> %vec to <4 x i8*>
%res2 = inttoptr <4 x i32> %vec to <4 x i8*>
ret void
}