test/Transforms/BDCE/basic.ll

   1 ; RUN: opt -S -bdce -instsimplify < %s | FileCheck %s
   2 ; RUN: opt -S -instsimplify < %s | FileCheck %s -check-prefix=CHECK-IO
   3 target datalayout = "E-m:e-i64:64-n32:64"
   4 target triple = "powerpc64-unknown-linux-gnu"
   5
   6 ; Function Attrs: nounwind readnone
   7 define signext i32 @bar(i32 signext %x) #0 {
   8 entry:
   9   %call = tail call signext i32 @foo(i32 signext 5) #0
  10   %and = and i32 %call, 4
  11   %or = or i32 %and, %x
  12   %call1 = tail call signext i32 @foo(i32 signext 3) #0
  13   %and2 = and i32 %call1, 8
  14   %or3 = or i32 %or, %and2
  15   %call4 = tail call signext i32 @foo(i32 signext 2) #0
  16   %and5 = and i32 %call4, 16
  17   %or6 = or i32 %or3, %and5
  18   %call7 = tail call signext i32 @foo(i32 signext 1) #0
  19   %and8 = and i32 %call7, 32
  20   %or9 = or i32 %or6, %and8
  21   %call10 = tail call signext i32 @foo(i32 signext 0) #0
  22   %and11 = and i32 %call10, 64
  23   %or12 = or i32 %or9, %and11
  24   %call13 = tail call signext i32 @foo(i32 signext 4) #0
  25   %and14 = and i32 %call13, 128
  26   %or15 = or i32 %or12, %and14
  27   %shr = ashr i32 %or15, 4
  28   ret i32 %shr
  29
  30 ; CHECK-LABEL: @bar
  31 ; CHECK-NOT: tail call signext i32 @foo(i32 signext 5)
  32 ; CHECK-NOT: tail call signext i32 @foo(i32 signext 3)
  33 ; CHECK: tail call signext i32 @foo(i32 signext 2)
  34 ; CHECK: tail call signext i32 @foo(i32 signext 1)
  35 ; CHECK: tail call signext i32 @foo(i32 signext 0)
  36 ; CHECK: tail call signext i32 @foo(i32 signext 4)
  37 ; CHECK: ret i32
  38
  39 ; Check that instsimplify is not doing this all on its own.
  40 ; CHECK-IO-LABEL: @bar
  41 ; CHECK-IO: tail call signext i32 @foo(i32 signext 5)
  42 ; CHECK-IO: tail call signext i32 @foo(i32 signext 3)
  43 ; CHECK-IO: tail call signext i32 @foo(i32 signext 2)
  44 ; CHECK-IO: tail call signext i32 @foo(i32 signext 1)
  45 ; CHECK-IO: tail call signext i32 @foo(i32 signext 0)
  46 ; CHECK-IO: tail call signext i32 @foo(i32 signext 4)
  47 ; CHECK-IO: ret i32
  48 }
  49
  50 ; Function Attrs: nounwind readnone
  51 declare signext i32 @foo(i32 signext) #0
  52
  53 ; Function Attrs: nounwind readnone
  54 define signext i32 @far(i32 signext %x) #1 {
  55 entry:
  56   %call = tail call signext i32 @goo(i32 signext 5) #1
  57   %and = and i32 %call, 4
  58   %or = or i32 %and, %x
  59   %call1 = tail call signext i32 @goo(i32 signext 3) #1
  60   %and2 = and i32 %call1, 8
  61   %or3 = or i32 %or, %and2
  62   %call4 = tail call signext i32 @goo(i32 signext 2) #1
  63   %and5 = and i32 %call4, 16
  64   %or6 = or i32 %or3, %and5
  65   %call7 = tail call signext i32 @goo(i32 signext 1) #1
  66   %and8 = and i32 %call7, 32
  67   %or9 = or i32 %or6, %and8
  68   %call10 = tail call signext i32 @goo(i32 signext 0) #1
  69   %and11 = and i32 %call10, 64
  70   %or12 = or i32 %or9, %and11
  71   %call13 = tail call signext i32 @goo(i32 signext 4) #1
  72   %and14 = and i32 %call13, 128
  73   %or15 = or i32 %or12, %and14
  74   %shr = ashr i32 %or15, 4
  75   ret i32 %shr
  76
  77 ; CHECK-LABEL: @far
  78 ; Calls to foo(5) and foo(3) are still there, but their results are not used.
  79 ; CHECK: tail call signext i32 @goo(i32 signext 5)
  80 ; CHECK-NEXT: tail call signext i32 @goo(i32 signext 3)
  81 ; CHECK-NEXT: tail call signext i32 @goo(i32 signext 2)
  82 ; CHECK: tail call signext i32 @goo(i32 signext 1)
  83 ; CHECK: tail call signext i32 @goo(i32 signext 0)
  84 ; CHECK: tail call signext i32 @goo(i32 signext 4)
  85 ; CHECK: ret i32
  86
  87 ; Check that instsimplify is not doing this all on its own.
  88 ; CHECK-IO-LABEL: @far
  89 ; CHECK-IO: tail call signext i32 @goo(i32 signext 5)
  90 ; CHECK-IO: tail call signext i32 @goo(i32 signext 3)
  91 ; CHECK-IO: tail call signext i32 @goo(i32 signext 2)
  92 ; CHECK-IO: tail call signext i32 @goo(i32 signext 1)
  93 ; CHECK-IO: tail call signext i32 @goo(i32 signext 0)
  94 ; CHECK-IO: tail call signext i32 @goo(i32 signext 4)
  95 ; CHECK-IO: ret i32
  96 }
  97
  98 declare signext i32 @goo(i32 signext) #1
  99
 100 ; Function Attrs: nounwind readnone
 101 define signext i32 @tar1(i32 signext %x) #0 {
 102 entry:
 103   %call = tail call signext i32 @foo(i32 signext 5) #0
 104   %and = and i32 %call, 33554432
 105   %or = or i32 %and, %x
 106   %call1 = tail call signext i32 @foo(i32 signext 3) #0
 107   %and2 = and i32 %call1, 67108864
 108   %or3 = or i32 %or, %and2
 109   %call4 = tail call signext i32 @foo(i32 signext 2) #0
 110   %and5 = and i32 %call4, 16
 111   %or6 = or i32 %or3, %and5
 112   %call7 = tail call signext i32 @foo(i32 signext 1) #0
 113   %and8 = and i32 %call7, 32
 114   %or9 = or i32 %or6, %and8
 115   %call10 = tail call signext i32 @foo(i32 signext 0) #0
 116   %and11 = and i32 %call10, 64
 117   %or12 = or i32 %or9, %and11
 118   %call13 = tail call signext i32 @foo(i32 signext 4) #0
 119   %and14 = and i32 %call13, 128
 120   %or15 = or i32 %or12, %and14
 121   %bs = tail call i32 @llvm.bswap.i32(i32 %or15) #0
 122   %shr = ashr i32 %bs, 4
 123   ret i32 %shr
 124
 125 ; CHECK-LABEL: @tar1
 126 ; CHECK-NOT: tail call signext i32 @foo(i32 signext 5)
 127 ; CHECK-NOT: tail call signext i32 @foo(i32 signext 3)
 128 ; CHECK: tail call signext i32 @foo(i32 signext 2)
 129 ; CHECK: tail call signext i32 @foo(i32 signext 1)
 130 ; CHECK: tail call signext i32 @foo(i32 signext 0)
 131 ; CHECK: tail call signext i32 @foo(i32 signext 4)
 132 ; CHECK: ret i32
 133 }
 134
 135 ; Function Attrs: nounwind readnone
 136 declare i32 @llvm.bswap.i32(i32) #0
 137
 138 ; Function Attrs: nounwind readnone
 139 define signext i32 @tar2(i32 signext %x) #0 {
 140 entry:
 141   %call = tail call signext i32 @foo(i32 signext 5) #0
 142   %and = and i32 %call, 33554432
 143   %or = or i32 %and, %x
 144   %call1 = tail call signext i32 @foo(i32 signext 3) #0
 145   %and2 = and i32 %call1, 67108864
 146   %or3 = or i32 %or, %and2
 147   %call4 = tail call signext i32 @foo(i32 signext 2) #0
 148   %and5 = and i32 %call4, 16
 149   %or6 = or i32 %or3, %and5
 150   %call7 = tail call signext i32 @foo(i32 signext 1) #0
 151   %and8 = and i32 %call7, 32
 152   %or9 = or i32 %or6, %and8
 153   %call10 = tail call signext i32 @foo(i32 signext 0) #0
 154   %and11 = and i32 %call10, 64
 155   %or12 = or i32 %or9, %and11
 156   %call13 = tail call signext i32 @foo(i32 signext 4) #0
 157   %and14 = and i32 %call13, 128
 158   %or15 = or i32 %or12, %and14
 159   %shl = shl i32 %or15, 10
 160   ret i32 %shl
 161
 162 ; CHECK-LABEL: @tar2
 163 ; CHECK-NOT: tail call signext i32 @foo(i32 signext 5)
 164 ; CHECK-NOT: tail call signext i32 @foo(i32 signext 3)
 165 ; CHECK: tail call signext i32 @foo(i32 signext 2)
 166 ; CHECK: tail call signext i32 @foo(i32 signext 1)
 167 ; CHECK: tail call signext i32 @foo(i32 signext 0)
 168 ; CHECK: tail call signext i32 @foo(i32 signext 4)
 169 ; CHECK: ret i32
 170 }
 171
 172 ; Function Attrs: nounwind readnone
 173 define signext i32 @tar3(i32 signext %x) #0 {
 174 entry:
 175   %call = tail call signext i32 @foo(i32 signext 5) #0
 176   %and = and i32 %call, 33554432
 177   %or = or i32 %and, %x
 178   %call1 = tail call signext i32 @foo(i32 signext 3) #0
 179   %and2 = and i32 %call1, 67108864
 180   %or3 = or i32 %or, %and2
 181   %call4 = tail call signext i32 @foo(i32 signext 2) #0
 182   %and5 = and i32 %call4, 16
 183   %or6 = or i32 %or3, %and5
 184   %call7 = tail call signext i32 @foo(i32 signext 1) #0
 185   %and8 = and i32 %call7, 32
 186   %or9 = or i32 %or6, %and8
 187   %call10 = tail call signext i32 @foo(i32 signext 0) #0
 188   %and11 = and i32 %call10, 64
 189   %or12 = or i32 %or9, %and11
 190   %call13 = tail call signext i32 @foo(i32 signext 4) #0
 191   %and14 = and i32 %call13, 128
 192   %or15 = or i32 %or12, %and14
 193   %add = add i32 %or15, 5
 194   %shl = shl i32 %add, 10
 195   ret i32 %shl
 196
 197 ; CHECK-LABEL: @tar3
 198 ; CHECK-NOT: tail call signext i32 @foo(i32 signext 5)
 199 ; CHECK-NOT: tail call signext i32 @foo(i32 signext 3)
 200 ; CHECK: tail call signext i32 @foo(i32 signext 2)
 201 ; CHECK: tail call signext i32 @foo(i32 signext 1)
 202 ; CHECK: tail call signext i32 @foo(i32 signext 0)
 203 ; CHECK: tail call signext i32 @foo(i32 signext 4)
 204 ; CHECK: ret i32
 205 }
 206
 207 ; Function Attrs: nounwind readnone
 208 define signext i32 @tar4(i32 signext %x) #0 {
 209 entry:
 210   %call = tail call signext i32 @foo(i32 signext 5) #0
 211   %and = and i32 %call, 33554432
 212   %or = or i32 %and, %x
 213   %call1 = tail call signext i32 @foo(i32 signext 3) #0
 214   %and2 = and i32 %call1, 67108864
 215   %or3 = or i32 %or, %and2
 216   %call4 = tail call signext i32 @foo(i32 signext 2) #0
 217   %and5 = and i32 %call4, 16
 218   %or6 = or i32 %or3, %and5
 219   %call7 = tail call signext i32 @foo(i32 signext 1) #0
 220   %and8 = and i32 %call7, 32
 221   %or9 = or i32 %or6, %and8
 222   %call10 = tail call signext i32 @foo(i32 signext 0) #0
 223   %and11 = and i32 %call10, 64
 224   %or12 = or i32 %or9, %and11
 225   %call13 = tail call signext i32 @foo(i32 signext 4) #0
 226   %and14 = and i32 %call13, 128
 227   %or15 = or i32 %or12, %and14
 228   %sub = sub i32 %or15, 5
 229   %shl = shl i32 %sub, 10
 230   ret i32 %shl
 231
 232 ; CHECK-LABEL: @tar4
 233 ; CHECK-NOT: tail call signext i32 @foo(i32 signext 5)
 234 ; CHECK-NOT: tail call signext i32 @foo(i32 signext 3)
 235 ; CHECK: tail call signext i32 @foo(i32 signext 2)
 236 ; CHECK: tail call signext i32 @foo(i32 signext 1)
 237 ; CHECK: tail call signext i32 @foo(i32 signext 0)
 238 ; CHECK: tail call signext i32 @foo(i32 signext 4)
 239 ; CHECK: ret i32
 240 }
 241
 242 ; Function Attrs: nounwind readnone
 243 define signext i32 @tar5(i32 signext %x) #0 {
 244 entry:
 245   %call = tail call signext i32 @foo(i32 signext 5) #0
 246   %and = and i32 %call, 33554432
 247   %or = or i32 %and, %x
 248   %call1 = tail call signext i32 @foo(i32 signext 3) #0
 249   %and2 = and i32 %call1, 67108864
 250   %or3 = or i32 %or, %and2
 251   %call4 = tail call signext i32 @foo(i32 signext 2) #0
 252   %and5 = and i32 %call4, 16
 253   %or6 = or i32 %or3, %and5
 254   %call7 = tail call signext i32 @foo(i32 signext 1) #0
 255   %and8 = and i32 %call7, 32
 256   %or9 = or i32 %or6, %and8
 257   %call10 = tail call signext i32 @foo(i32 signext 0) #0
 258   %and11 = and i32 %call10, 64
 259   %or12 = or i32 %or9, %and11
 260   %call13 = tail call signext i32 @foo(i32 signext 4) #0
 261   %and14 = and i32 %call13, 128
 262   %or15 = or i32 %or12, %and14
 263   %xor = xor i32 %or15, 5
 264   %shl = shl i32 %xor, 10
 265   ret i32 %shl
 266
 267 ; CHECK-LABEL: @tar5
 268 ; CHECK-NOT: tail call signext i32 @foo(i32 signext 5)
 269 ; CHECK-NOT: tail call signext i32 @foo(i32 signext 3)
 270 ; CHECK: tail call signext i32 @foo(i32 signext 2)
 271 ; CHECK: tail call signext i32 @foo(i32 signext 1)
 272 ; CHECK: tail call signext i32 @foo(i32 signext 0)
 273 ; CHECK: tail call signext i32 @foo(i32 signext 4)
 274 ; CHECK: ret i32
 275 }
 276
 277 ; Function Attrs: nounwind readnone
 278 define signext i32 @tar7(i32 signext %x, i1 %b) #0 {
 279 entry:
 280   %call = tail call signext i32 @foo(i32 signext 5) #0
 281   %and = and i32 %call, 33554432
 282   %or = or i32 %and, %x
 283   %call1 = tail call signext i32 @foo(i32 signext 3) #0
 284   %and2 = and i32 %call1, 67108864
 285   %or3 = or i32 %or, %and2
 286   %call4 = tail call signext i32 @foo(i32 signext 2) #0
 287   %and5 = and i32 %call4, 16
 288   %or6 = or i32 %or3, %and5
 289   %call7 = tail call signext i32 @foo(i32 signext 1) #0
 290   %and8 = and i32 %call7, 32
 291   %or9 = or i32 %or6, %and8
 292   %call10 = tail call signext i32 @foo(i32 signext 0) #0
 293   %and11 = and i32 %call10, 64
 294   %or12 = or i32 %or9, %and11
 295   %call13 = tail call signext i32 @foo(i32 signext 4) #0
 296   %and14 = and i32 %call13, 128
 297   %or15 = or i32 %or12, %and14
 298   %v = select i1 %b, i32 %or15, i32 5
 299   %shl = shl i32 %v, 10
 300   ret i32 %shl
 301
 302 ; CHECK-LABEL: @tar7
 303 ; CHECK-NOT: tail call signext i32 @foo(i32 signext 5)
 304 ; CHECK-NOT: tail call signext i32 @foo(i32 signext 3)
 305 ; CHECK: tail call signext i32 @foo(i32 signext 2)
 306 ; CHECK: tail call signext i32 @foo(i32 signext 1)
 307 ; CHECK: tail call signext i32 @foo(i32 signext 0)
 308 ; CHECK: tail call signext i32 @foo(i32 signext 4)
 309 ; CHECK: ret i32
 310 }
 311
 312 ; Function Attrs: nounwind readnone
 313 define signext i16 @tar8(i32 signext %x) #0 {
 314 entry:
 315   %call = tail call signext i32 @foo(i32 signext 5) #0
 316   %and = and i32 %call, 33554432
 317   %or = or i32 %and, %x
 318   %call1 = tail call signext i32 @foo(i32 signext 3) #0
 319   %and2 = and i32 %call1, 67108864
 320   %or3 = or i32 %or, %and2
 321   %call4 = tail call signext i32 @foo(i32 signext 2) #0
 322   %and5 = and i32 %call4, 16
 323   %or6 = or i32 %or3, %and5
 324   %call7 = tail call signext i32 @foo(i32 signext 1) #0
 325   %and8 = and i32 %call7, 32
 326   %or9 = or i32 %or6, %and8
 327   %call10 = tail call signext i32 @foo(i32 signext 0) #0
 328   %and11 = and i32 %call10, 64
 329   %or12 = or i32 %or9, %and11
 330   %call13 = tail call signext i32 @foo(i32 signext 4) #0
 331   %and14 = and i32 %call13, 128
 332   %or15 = or i32 %or12, %and14
 333   %tr = trunc i32 %or15 to i16
 334   ret i16 %tr
 335
 336 ; CHECK-LABEL: @tar8
 337 ; CHECK-NOT: tail call signext i32 @foo(i32 signext 5)
 338 ; CHECK-NOT: tail call signext i32 @foo(i32 signext 3)
 339 ; CHECK: tail call signext i32 @foo(i32 signext 2)
 340 ; CHECK: tail call signext i32 @foo(i32 signext 1)
 341 ; CHECK: tail call signext i32 @foo(i32 signext 0)
 342 ; CHECK: tail call signext i32 @foo(i32 signext 4)
 343 ; CHECK: ret i16
 344 }
 345
 346 attributes #0 = { nounwind readnone }
 347 attributes #1 = { nounwind }
 348