test/Bitcode/conversionInstructions.3.2.ll

   1 ; RUN: llvm-dis < %s.bc| FileCheck %s
   2 ; RUN: verify-uselistorder < %s.bc
   3
   4 ; conversionOperations.3.2.ll.bc was generated by passing this file to llvm-as-3.2.
   5 ; The test checks that LLVM does not misread conversion instructions from
   6 ; older bitcode files.
   7
   8 define void @trunc(i32 %src){
   9 entry:
  10 ; CHECK: %res1 = trunc i32 %src to i8
  11   %res1 = trunc i32 %src to i8
  12
  13   ret void
  14 }
  15
  16 define void @zext(i32 %src){
  17 entry:
  18 ; CHECK: %res1 = zext i32 %src to i64
  19   %res1 = zext i32 %src to i64
  20
  21   ret void
  22 }
  23
  24 define void @sext(i32 %src){
  25 entry:
  26 ; CHECK: %res1 = sext i32 %src to i64
  27   %res1 = sext i32 %src to i64
  28
  29   ret void
  30 }
  31
  32 define void @fptrunc(double %src){
  33 entry:
  34 ; CHECK: %res1 = fptrunc double %src to float
  35   %res1 = fptrunc double %src to float
  36
  37   ret void
  38 }
  39
  40 define void @fpext(float %src){
  41 entry:
  42 ; CHECK: %res1 = fpext float %src to double
  43   %res1 = fpext float %src to double
  44
  45   ret void
  46 }
  47
  48 define void @fptoui(float %src){
  49 entry:
  50 ; CHECK: %res1 = fptoui float %src to i32
  51   %res1 = fptoui float %src to i32
  52
  53   ret void
  54 }
  55
  56 define void @fptosi(float %src){
  57 entry:
  58 ; CHECK: %res1 = fptosi float %src to i32
  59   %res1 = fptosi float %src to i32
  60
  61   ret void
  62 }
  63
  64 define void @uitofp(i32 %src){
  65 entry:
  66 ; CHECK: %res1 = uitofp i32 %src to float
  67   %res1 = uitofp i32 %src to float
  68
  69   ret void
  70 }
  71
  72 define void @sitofp(i32 %src){
  73 entry:
  74 ; CHECK: %res1 = sitofp i32 %src to float
  75   %res1 = sitofp i32 %src to float
  76
  77   ret void
  78 }
  79
  80 define void @ptrtoint(i32* %src){
  81 entry:
  82 ; CHECK: %res1 = ptrtoint i32* %src to i8
  83   %res1 = ptrtoint i32* %src to i8
  84
  85   ret void
  86 }
  87
  88 define void @inttoptr(i32 %src){
  89 entry:
  90 ; CHECK: %res1 = inttoptr i32 %src to i32*
  91   %res1 = inttoptr i32 %src to i32*
  92
  93   ret void
  94 }
  95
  96 define void @bitcast(i32 %src1, i32* %src2){
  97 entry:
  98 ; CHECK: %res1 = bitcast i32 %src1 to i32
  99   %res1 = bitcast i32 %src1 to i32
 100
 101 ; CHECK: %res2 = bitcast i32* %src2 to i64*
 102   %res2 = bitcast i32* %src2 to i64*
 103
 104   ret void
 105 }