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