test/Bitcode/miscInstructions.3.2.ll

   1 ; RUN:  llvm-dis < %s.bc| FileCheck %s
   2
   3 ; miscInstructions.3.2.ll.bc was generated by passing this file to llvm-as-3.2.
   4 ; The test checks that LLVM does not misread miscellaneous instructions of
   5 ; older bitcode files.
   6
   7 @X = global i8 1
   8 @_ZTIi = global i8* @X
   9 @_ZTId = global i8* @X
  10
  11 define i32 @__gxx_personality_v0(...){
  12 entry:
  13   ret i32 0
  14 }
  15
  16 define void @landingpadInstr1(i1 %cond1, <2 x i1> %cond2, <2 x i8> %x1, <2 x i8> %x2){
  17 entry:
  18 ; CHECK: %res = landingpad { i8*, i32 } personality i32 (...)* @__gxx_personality_v0
  19   %res = landingpad { i8*, i32 } personality i32 (...)* @__gxx_personality_v0
  20 ; CHECK: catch i8** @_ZTIi
  21   catch i8** @_ZTIi
  22   ret void
  23 }
  24
  25 define void @landingpadInstr2(i1 %cond1, <2 x i1> %cond2, <2 x i8> %x1, <2 x i8> %x2){
  26 entry:
  27 ; CHECK: %res = landingpad { i8*, i32 } personality i32 (...)* @__gxx_personality_v0
  28   %res = landingpad { i8*, i32 } personality i32 (...)* @__gxx_personality_v0
  29 ; CHECK: cleanup
  30   cleanup
  31   ret void
  32 }
  33
  34 define void @landingpadInstr3(i1 %cond1, <2 x i1> %cond2, <2 x i8> %x1, <2 x i8> %x2){
  35 entry:
  36 ; CHECK: %res = landingpad { i8*, i32 } personality i32 (...)* @__gxx_personality_v0
  37   %res = landingpad { i8*, i32 } personality i32 (...)* @__gxx_personality_v0
  38 ; CHECK: catch i8** @_ZTIi
  39   catch i8** @_ZTIi
  40 ; CHECK: filter [1 x i8**] [i8** @_ZTId]
  41   filter [1 x i8**] [i8** @_ZTId]
  42   ret void
  43 }
  44
  45 define void @phiInstr(){
  46 LoopHeader:
  47   %x = add i32 0, 0
  48   br label %Loop
  49 Loop:
  50 ; CHECK:  %indvar = phi i32 [ 0, %LoopHeader ], [ %nextindvar, %Loop ]
  51   %indvar = phi i32 [ 0, %LoopHeader ], [ %nextindvar, %Loop ]
  52   %nextindvar = add i32 %indvar, 1
  53   br label %Loop
  54   ret void
  55 }
  56
  57 define void @selectInstr(i1 %cond1, <2 x i1> %cond2, <2 x i8> %x1, <2 x i8> %x2){
  58 entry:
  59 ; CHECK: %res1 = select i1 %cond1, i8 1, i8 0
  60   %res1 = select i1 %cond1, i8 1, i8 0
  61 ; CHECK-NEXT: %res2 = select <2 x i1> %cond2, <2 x i8> %x1, <2 x i8> %x2
  62   %res2 = select <2 x i1> %cond2, <2 x i8> %x1, <2 x i8> %x2
  63
  64   ret void
  65 }
  66
  67 define void @icmp(i32 %x1, i32 %x2, i32* %ptr1, i32* %ptr2, <2 x i32> %vec1, <2 x i32> %vec2){
  68 entry:
  69 ; CHECK: %res1 = icmp eq i32 %x1, %x2
  70   %res1 = icmp eq i32 %x1, %x2
  71
  72 ; CHECK-NEXT: %res2 = icmp ne i32 %x1, %x2
  73   %res2 = icmp ne i32 %x1, %x2
  74
  75 ; CHECK-NEXT: %res3 = icmp ugt i32 %x1, %x2
  76   %res3 = icmp ugt i32 %x1, %x2
  77
  78 ; CHECK-NEXT: %res4 = icmp uge i32 %x1, %x2
  79   %res4 = icmp uge i32 %x1, %x2
  80
  81 ; CHECK-NEXT: %res5 = icmp ult i32 %x1, %x2
  82   %res5 = icmp ult i32 %x1, %x2
  83
  84 ; CHECK-NEXT: %res6 = icmp ule i32 %x1, %x2
  85   %res6 = icmp ule i32 %x1, %x2
  86
  87 ; CHECK-NEXT: %res7 = icmp sgt i32 %x1, %x2
  88   %res7 = icmp sgt i32 %x1, %x2
  89
  90 ; CHECK-NEXT: %res8 = icmp sge i32 %x1, %x2
  91   %res8 = icmp sge i32 %x1, %x2
  92
  93 ; CHECK-NEXT: %res9 = icmp slt i32 %x1, %x2
  94   %res9 = icmp slt i32 %x1, %x2
  95
  96 ; CHECK-NEXT: %res10 = icmp sle i32 %x1, %x2
  97   %res10 = icmp sle i32 %x1, %x2
  98
  99 ; CHECK-NEXT: %res11 = icmp eq i32* %ptr1, %ptr2
 100   %res11 = icmp eq i32* %ptr1, %ptr2
 101
 102 ; CHECK-NEXT: %res12 = icmp eq <2 x i32> %vec1, %vec2
 103   %res12 = icmp eq <2 x i32> %vec1, %vec2
 104
 105   ret void
 106 }
 107
 108
 109 define void @fcmp(float %x1, float %x2, <2 x float> %vec1, <2 x float> %vec2){
 110 entry:
 111 ; CHECK: %res1 = fcmp oeq float %x1, %x2
 112   %res1 = fcmp oeq float %x1, %x2
 113
 114 ; CHECK-NEXT: %res2 = fcmp one float %x1, %x2
 115   %res2 = fcmp one float %x1, %x2
 116
 117 ; CHECK-NEXT: %res3 = fcmp ugt float %x1, %x2
 118   %res3 = fcmp ugt float %x1, %x2
 119
 120 ; CHECK-NEXT: %res4 = fcmp uge float %x1, %x2
 121   %res4 = fcmp uge float %x1, %x2
 122
 123 ; CHECK-NEXT: %res5 = fcmp ult float %x1, %x2
 124   %res5 = fcmp ult float %x1, %x2
 125
 126 ; CHECK-NEXT: %res6 = fcmp ule float %x1, %x2
 127   %res6 = fcmp ule float %x1, %x2
 128
 129 ; CHECK-NEXT: %res7 = fcmp ogt float %x1, %x2
 130   %res7 = fcmp ogt float %x1, %x2
 131
 132 ; CHECK-NEXT: %res8 = fcmp oge float %x1, %x2
 133   %res8 = fcmp oge float %x1, %x2
 134
 135 ; CHECK-NEXT: %res9 = fcmp olt float %x1, %x2
 136   %res9 = fcmp olt float %x1, %x2
 137
 138 ; CHECK-NEXT: %res10 = fcmp ole float %x1, %x2
 139   %res10 = fcmp ole float %x1, %x2
 140
 141 ; CHECK-NEXT: %res11 = fcmp ord float %x1, %x2
 142   %res11 = fcmp ord float %x1, %x2
 143
 144 ; CHECK-NEXT: %res12 = fcmp ueq float %x1, %x2
 145   %res12 = fcmp ueq float %x1, %x2
 146
 147 ; CHECK-NEXT: %res13 = fcmp une float %x1, %x2
 148   %res13 = fcmp une float %x1, %x2
 149
 150 ; CHECK-NEXT: %res14 = fcmp uno float %x1, %x2
 151   %res14 = fcmp uno float %x1, %x2
 152
 153 ; CHECK-NEXT: %res15 = fcmp true float %x1, %x2
 154   %res15 = fcmp true float %x1, %x2
 155
 156 ; CHECK-NEXT: %res16 = fcmp false float %x1, %x2
 157   %res16 = fcmp false float %x1, %x2
 158
 159 ; CHECK-NEXT: %res17 = fcmp oeq <2 x float> %vec1, %vec2
 160   %res17 = fcmp oeq <2 x float> %vec1, %vec2
 161
 162   ret void
 163 }
 164
 165 declare i32 @printf(i8* noalias nocapture, ...)
 166
 167 define void @call(i32 %x, i8* %msg ){
 168 entry:
 169
 170 ; CHECK: %res1 = call i32 @test(i32 %x)
 171   %res1 = call i32 @test(i32 %x)
 172
 173 ; CHECK-NEXT: %res2 = tail call i32 @test(i32 %x)
 174   %res2 = tail call i32 @test(i32 %x)
 175
 176 ; CHECK-NEXT: %res3 = call i32 (i8*, ...) @printf(i8* %msg, i32 12, i8 42)
 177   %res3 = call i32 (i8*, ...) @printf(i8* %msg, i32 12, i8 42)
 178
 179   ret void
 180 }
 181
 182 define i32 @test(i32 %x){
 183 entry:
 184
 185   ret i32 %x
 186 }