llvm/test/CodeGen/ARM/bfi.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -mtriple=arm -mattr=+v6t2 | FileCheck %s
   3
   4 %struct.F = type { [3 x i8], i8 }
   5
   6 @X = common global %struct.F zeroinitializer, align 4 ; <%struct.F*> [#uses=1]
   7
   8 define void @f1([1 x i32] %f.coerce0) nounwind {
   9 ; CHECK-LABEL: f1:
  10 ; CHECK:       @ %bb.0: @ %entry
  11 ; CHECK-NEXT:    movw r0, :lower16:X
  12 ; CHECK-NEXT:    mov r2, #10
  13 ; CHECK-NEXT:    movt r0, :upper16:X
  14 ; CHECK-NEXT:    ldr r1, [r0]
  15 ; CHECK-NEXT:    bfi r1, r2, #22, #4
  16 ; CHECK-NEXT:    str r1, [r0]
  17 ; CHECK-NEXT:    bx lr
  18 entry:
  19   %0 = load i32, i32* bitcast (%struct.F* @X to i32*), align 4 ; <i32> [#uses=1]
  20   %1 = and i32 %0, -62914561                      ; <i32> [#uses=1]
  21   %2 = or i32 %1, 41943040                        ; <i32> [#uses=1]
  22   store i32 %2, i32* bitcast (%struct.F* @X to i32*), align 4
  23   ret void
  24 }
  25
  26 define i32 @f2(i32 %A, i32 %B) nounwind {
  27 ; CHECK-LABEL: f2:
  28 ; CHECK:       @ %bb.0: @ %entry
  29 ; CHECK-NEXT:    lsr r1, r1, #7
  30 ; CHECK-NEXT:    bfi r0, r1, #7, #16
  31 ; CHECK-NEXT:    bx lr
  32 entry:
  33   %and = and i32 %A, -8388481                     ; <i32> [#uses=1]
  34   %and2 = and i32 %B, 8388480                     ; <i32> [#uses=1]
  35   %or = or i32 %and2, %and                        ; <i32> [#uses=1]
  36   ret i32 %or
  37 }
  38
  39 define i32 @f3(i32 %A, i32 %B) nounwind {
  40 ; CHECK-LABEL: f3:
  41 ; CHECK:       @ %bb.0: @ %entry
  42 ; CHECK-NEXT:    lsr r0, r0, #7
  43 ; CHECK-NEXT:    bfi r1, r0, #7, #16
  44 ; CHECK-NEXT:    mov r0, r1
  45 ; CHECK-NEXT:    bx lr
  46 entry:
  47   %and = and i32 %A, 8388480                      ; <i32> [#uses=1]
  48   %and2 = and i32 %B, -8388481                    ; <i32> [#uses=1]
  49   %or = or i32 %and2, %and                        ; <i32> [#uses=1]
  50   ret i32 %or
  51 }
  52
  53 ; rdar://8752056
  54 define i32 @f4(i32 %a) nounwind {
  55 ; CHECK-LABEL: f4:
  56 ; CHECK:       @ %bb.0:
  57 ; CHECK-NEXT:    movw r1, #3137
  58 ; CHECK-NEXT:    bfi r1, r0, #15, #5
  59 ; CHECK-NEXT:    mov r0, r1
  60 ; CHECK-NEXT:    bx lr
  61   %1 = shl i32 %a, 15
  62   %ins7 = and i32 %1, 1015808
  63   %ins12 = or i32 %ins7, 3137
  64   ret i32 %ins12
  65 }
  66
  67 ; rdar://8458663
  68 define i32 @f5(i32 %a, i32 %b) nounwind {
  69 ; CHECK-LABEL: f5:
  70 ; CHECK:       @ %bb.0: @ %entry
  71 ; CHECK-NEXT:    bfi r0, r1, #20, #4
  72 ; CHECK-NEXT:    bx lr
  73 entry:
  74   %0 = and i32 %a, -15728641
  75   %1 = shl i32 %b, 20
  76   %2 = and i32 %1, 15728640
  77   %3 = or i32 %2, %0
  78   ret i32 %3
  79 }
  80
  81 ; rdar://9609030
  82 define i32 @f6(i32 %a, i32 %b) nounwind readnone {
  83 ; CHECK-LABEL: f6:
  84 ; CHECK:       @ %bb.0: @ %entry
  85 ; CHECK-NEXT:    bfi r0, r1, #8, #9
  86 ; CHECK-NEXT:    bx lr
  87 entry:
  88   %and = and i32 %a, -130817
  89   %and2 = shl i32 %b, 8
  90   %shl = and i32 %and2, 130816
  91   %or = or i32 %shl, %and
  92   ret i32 %or
  93 }
  94
  95 define i32 @f7(i32 %x, i32 %y) {
  96 ; CHECK-LABEL: f7:
  97 ; CHECK:       @ %bb.0:
  98 ; CHECK-NEXT:    lsr r2, r0, #2
  99 ; CHECK-NEXT:    bic r0, r1, #255
 100 ; CHECK-NEXT:    bfi r0, r2, #4, #1
 101 ; CHECK-NEXT:    bx lr
 102   %y2 = and i32 %y, 4294967040 ; 0xFFFFFF00
 103   %and = and i32 %x, 4
 104   %or = or i32 %y2, 16
 105   %cmp = icmp ne i32 %and, 0
 106   %sel = select i1 %cmp, i32 %or, i32 %y2
 107   ret i32 %sel
 108 }
 109
 110 define i32 @f8(i32 %x, i32 %y) {
 111 ; CHECK-LABEL: f8:
 112 ; CHECK:       @ %bb.0:
 113 ; CHECK-NEXT:    lsr r2, r0, #2
 114 ; CHECK-NEXT:    bic r0, r1, #255
 115 ; CHECK-NEXT:    bfi r0, r2, #4, #1
 116 ; CHECK-NEXT:    bfi r0, r2, #5, #1
 117 ; CHECK-NEXT:    bx lr
 118   %y2 = and i32 %y, 4294967040 ; 0xFFFFFF00
 119   %and = and i32 %x, 4
 120   %or = or i32 %y2, 48
 121   %cmp = icmp ne i32 %and, 0
 122   %sel = select i1 %cmp, i32 %or, i32 %y2
 123   ret i32 %sel
 124 }
 125
 126 define i32 @f9(i32 %x, i32 %y) {
 127 ; CHECK-LABEL: f9:
 128 ; CHECK:       @ %bb.0:
 129 ; CHECK-NEXT:    bic r1, r1, #255
 130 ; CHECK-NEXT:    tst r0, #4
 131 ; CHECK-NEXT:    orreq r1, r1, #48
 132 ; CHECK-NEXT:    mov r0, r1
 133 ; CHECK-NEXT:    bx lr
 134   %y2 = and i32 %y, 4294967040 ; 0xFFFFFF00
 135   %and = and i32 %x, 4
 136   %or = or i32 %y2, 48
 137   %cmp = icmp ne i32 %and, 0
 138   %sel = select i1 %cmp, i32 %y2, i32 %or
 139   ret i32 %sel
 140 }
 141
 142 define i32 @f10(i32 %x, i32 %y) {
 143 ; CHECK-LABEL: f10:
 144 ; CHECK:       @ %bb.0:
 145 ; CHECK-NEXT:    lsr r2, r0, #1
 146 ; CHECK-NEXT:    bic r0, r1, #255
 147 ; CHECK-NEXT:    bfi r0, r2, #4, #2
 148 ; CHECK-NEXT:    bx lr
 149   %y2 = and i32 %y, 4294967040 ; 0xFFFFFF00
 150   %and = and i32 %x, 4
 151   %or = or i32 %y2, 32
 152   %cmp = icmp ne i32 %and, 0
 153   %sel = select i1 %cmp, i32 %or, i32 %y2
 154
 155   %aand = and i32 %x, 2
 156   %aor = or i32 %sel, 16
 157   %acmp = icmp ne i32 %aand, 0
 158   %asel = select i1 %acmp, i32 %aor, i32 %sel
 159
 160   ret i32 %asel
 161 }
 162
 163 define i32 @f11(i32 %x, i32 %y) {
 164 ; CHECK-LABEL: f11:
 165 ; CHECK:       @ %bb.0:
 166 ; CHECK-NEXT:    lsr r2, r0, #1
 167 ; CHECK-NEXT:    bic r0, r1, #255
 168 ; CHECK-NEXT:    bfi r0, r2, #4, #3
 169 ; CHECK-NEXT:    bx lr
 170   %y2 = and i32 %y, 4294967040 ; 0xFFFFFF00
 171   %and = and i32 %x, 4
 172   %or = or i32 %y2, 32
 173   %cmp = icmp ne i32 %and, 0
 174   %sel = select i1 %cmp, i32 %or, i32 %y2
 175
 176   %aand = and i32 %x, 2
 177   %aor = or i32 %sel, 16
 178   %acmp = icmp ne i32 %aand, 0
 179   %asel = select i1 %acmp, i32 %aor, i32 %sel
 180
 181   %band = and i32 %x, 8
 182   %bor = or i32 %asel, 64
 183   %bcmp = icmp ne i32 %band, 0
 184   %bsel = select i1 %bcmp, i32 %bor, i32 %asel
 185
 186   ret i32 %bsel
 187 }
 188
 189 define i32 @f12(i32 %x, i32 %y) {
 190 ; CHECK-LABEL: f12:
 191 ; CHECK:       @ %bb.0:
 192 ; CHECK-NEXT:    lsr r2, r0, #2
 193 ; CHECK-NEXT:    bic r0, r1, #255
 194 ; CHECK-NEXT:    bfi r0, r2, #4, #1
 195 ; CHECK-NEXT:    bx lr
 196   %y2 = and i32 %y, 4294967040 ; 0xFFFFFF00
 197   %and = and i32 %x, 4
 198   %or = or i32 %y2, 16
 199   %cmp = icmp eq i32 %and, 0
 200   %sel = select i1 %cmp, i32 %y2, i32 %or
 201   ret i32 %sel
 202 }
 203
 204 define i32 @f13(i32 %x, i32 %y) {
 205 ; CHECK-LABEL: f13:
 206 ; CHECK:       @ %bb.0:
 207 ; CHECK-NEXT:    and r2, r0, #4
 208 ; CHECK-NEXT:    bic r0, r1, #255
 209 ; CHECK-NEXT:    cmp r2, #42
 210 ; CHECK-NEXT:    orrne r0, r0, #16
 211 ; CHECK-NEXT:    bx lr
 212   %y2 = and i32 %y, 4294967040 ; 0xFFFFFF00
 213   %and = and i32 %x, 4
 214   %or = or i32 %y2, 16
 215   %cmp = icmp eq i32 %and, 42 ; Not comparing against zero!
 216   %sel = select i1 %cmp, i32 %y2, i32 %or
 217   ret i32 %sel
 218 }
 219
 220 define i32 @bfi1(i32 %a, i32 %b) {
 221 ; CHECK-LABEL: bfi1:
 222 ; CHECK:       @ %bb.0:
 223 ; CHECK-NEXT:    and r2, r0, #1
 224 ; CHECK-NEXT:    bic r1, r1, #19
 225 ; CHECK-NEXT:    orr r1, r1, r2
 226 ; CHECK-NEXT:    and r2, r0, #16
 227 ; CHECK-NEXT:    orr r1, r1, r2
 228 ; CHECK-NEXT:    and r0, r0, #2
 229 ; CHECK-NEXT:    orr r0, r1, r0
 230 ; CHECK-NEXT:    bx lr
 231   %x1 = and i32 %a, 1
 232   %y1 = and i32 %b, 4294967294
 233   %z1 = or i32 %y1, %x1
 234   %x2 = and i32 %a, 16
 235   %y2 = and i32 %z1, 4294967279
 236   %z2 = or i32 %y2, %x2
 237   %x3 = and i32 %a, 2
 238   %y3 = and i32 %z2, 4294967293
 239   %z3 = or i32 %y3, %x3
 240   ret i32 %z3
 241 }
 242
 243 define void @bfi1_use(i32 %a, i32 %b) {
 244 ; CHECK-LABEL: bfi1_use:
 245 ; CHECK:       @ %bb.0:
 246 ; CHECK-NEXT:    push {r11, lr}
 247 ; CHECK-NEXT:    mov r2, r1
 248 ; CHECK-NEXT:    lsr r3, r0, #4
 249 ; CHECK-NEXT:    bfi r2, r0, #0, #1
 250 ; CHECK-NEXT:    lsr r0, r0, #1
 251 ; CHECK-NEXT:    mov r1, r2
 252 ; CHECK-NEXT:    bfi r1, r3, #4, #1
 253 ; CHECK-NEXT:    mov r3, r1
 254 ; CHECK-NEXT:    bfi r3, r0, #1, #1
 255 ; CHECK-NEXT:    mov r0, r2
 256 ; CHECK-NEXT:    mov r2, r3
 257 ; CHECK-NEXT:    bl use
 258 ; CHECK-NEXT:    pop {r11, pc}
 259   %x1 = and i32 %a, 1
 260   %y1 = and i32 %b, 4294967294
 261   %z1 = or i32 %y1, %x1
 262   %x2 = and i32 %a, 16
 263   %y2 = and i32 %z1, 4294967279
 264   %z2 = or i32 %y2, %x2
 265   %x3 = and i32 %a, 2
 266   %y3 = and i32 %z2, 4294967293
 267   %z3 = or i32 %y3, %x3
 268   call void @use(i32 %z1, i32 %z2, i32 %z3, i32 %z3)
 269   ret void
 270 }
 271
 272 define i32 @bfi2(i32 %a, i32 %b) {
 273 ; CHECK-LABEL: bfi2:
 274 ; CHECK:       @ %bb.0:
 275 ; CHECK-NEXT:    movw r2, #65148
 276 ; CHECK-NEXT:    movt r2, #65535
 277 ; CHECK-NEXT:    and r1, r1, r2
 278 ; CHECK-NEXT:    and r2, r0, #1
 279 ; CHECK-NEXT:    orr r1, r1, r2
 280 ; CHECK-NEXT:    and r2, r0, #2
 281 ; CHECK-NEXT:    orr r1, r1, r2
 282 ; CHECK-NEXT:    and r2, r0, #128
 283 ; CHECK-NEXT:    orr r1, r1, r2
 284 ; CHECK-NEXT:    and r0, r0, #256
 285 ; CHECK-NEXT:    orr r0, r1, r0
 286 ; CHECK-NEXT:    bx lr
 287   %x1 = and i32 %a, 1
 288   %y1 = and i32 %b, 4294967294
 289   %z1 = or i32 %y1, %x1
 290   %x2 = and i32 %a, 2
 291   %y2 = and i32 %z1, 4294967293
 292   %z2 = or i32 %y2, %x2
 293   %x3 = and i32 %a, 128
 294   %y3 = and i32 %z2, 4294967167
 295   %z3 = or i32 %y3, %x3
 296   %x4 = and i32 %a, 256
 297   %y4 = and i32 %z3, 4294967039
 298   %z4 = or i32 %y4, %x4
 299   ret i32 %z4
 300 }
 301
 302 define void @bfi2_uses(i32 %a, i32 %b) {
 303 ; CHECK-LABEL: bfi2_uses:
 304 ; CHECK:       @ %bb.0:
 305 ; CHECK-NEXT:    push {r11, lr}
 306 ; CHECK-NEXT:    mov r12, r1
 307 ; CHECK-NEXT:    bfi r1, r0, #0, #2
 308 ; CHECK-NEXT:    bfi r12, r0, #0, #1
 309 ; CHECK-NEXT:    lsr r0, r0, #7
 310 ; CHECK-NEXT:    mov r2, r1
 311 ; CHECK-NEXT:    mov r3, r1
 312 ; CHECK-NEXT:    bfi r2, r0, #7, #1
 313 ; CHECK-NEXT:    bfi r3, r0, #7, #2
 314 ; CHECK-NEXT:    mov r0, r12
 315 ; CHECK-NEXT:    bl use
 316 ; CHECK-NEXT:    pop {r11, pc}
 317   %x1 = and i32 %a, 1
 318   %y1 = and i32 %b, 4294967294
 319   %z1 = or i32 %y1, %x1
 320   %x2 = and i32 %a, 2
 321   %y2 = and i32 %z1, 4294967293
 322   %z2 = or i32 %y2, %x2
 323   %x3 = and i32 %a, 128
 324   %y3 = and i32 %z2, 4294967167
 325   %z3 = or i32 %y3, %x3
 326   %x4 = and i32 %a, 256
 327   %y4 = and i32 %z3, 4294967039
 328   %z4 = or i32 %y4, %x4
 329   call void @use(i32 %z1, i32 %z2, i32 %z3, i32 %z4)
 330   ret void
 331 }
 332
 333 define i32 @bfi3(i32 %a, i32 %b) {
 334 ; CHECK-LABEL: bfi3:
 335 ; CHECK:       @ %bb.0:
 336 ; CHECK-NEXT:    movw r2, #65148
 337 ; CHECK-NEXT:    movt r2, #65535
 338 ; CHECK-NEXT:    and r1, r1, r2
 339 ; CHECK-NEXT:    and r2, r0, #1
 340 ; CHECK-NEXT:    orr r1, r1, r2
 341 ; CHECK-NEXT:    and r2, r0, #128
 342 ; CHECK-NEXT:    orr r1, r1, r2
 343 ; CHECK-NEXT:    and r2, r0, #2
 344 ; CHECK-NEXT:    orr r1, r1, r2
 345 ; CHECK-NEXT:    and r0, r0, #256
 346 ; CHECK-NEXT:    orr r0, r1, r0
 347 ; CHECK-NEXT:    bx lr
 348   %x1 = and i32 %a, 1
 349   %y1 = and i32 %b, 4294967294
 350   %z1 = or i32 %y1, %x1
 351   %x2 = and i32 %a, 128
 352   %y2 = and i32 %z1, 4294967167
 353   %z2 = or i32 %y2, %x2
 354   %x3 = and i32 %a, 2
 355   %y3 = and i32 %z2, 4294967293
 356   %z3 = or i32 %y3, %x3
 357   %x4 = and i32 %a, 256
 358   %y4 = and i32 %z3, 4294967039
 359   %z4 = or i32 %y4, %x4
 360   ret i32 %z4
 361 }
 362
 363 define void @bfi3_uses(i32 %a, i32 %b) {
 364 ; CHECK-LABEL: bfi3_uses:
 365 ; CHECK:       @ %bb.0:
 366 ; CHECK-NEXT:    push {r11, lr}
 367 ; CHECK-NEXT:    mov r12, r1
 368 ; CHECK-NEXT:    lsr r2, r0, #7
 369 ; CHECK-NEXT:    bfi r12, r0, #0, #1
 370 ; CHECK-NEXT:    lsr r3, r0, #1
 371 ; CHECK-NEXT:    lsr r0, r0, #8
 372 ; CHECK-NEXT:    mov r1, r12
 373 ; CHECK-NEXT:    bfi r1, r2, #7, #1
 374 ; CHECK-NEXT:    mov r2, r1
 375 ; CHECK-NEXT:    bfi r2, r3, #1, #1
 376 ; CHECK-NEXT:    mov r3, r2
 377 ; CHECK-NEXT:    bfi r3, r0, #8, #1
 378 ; CHECK-NEXT:    mov r0, r12
 379 ; CHECK-NEXT:    bl use
 380 ; CHECK-NEXT:    pop {r11, pc}
 381   %x1 = and i32 %a, 1
 382   %y1 = and i32 %b, 4294967294
 383   %z1 = or i32 %y1, %x1
 384   %x2 = and i32 %a, 128
 385   %y2 = and i32 %z1, 4294967167
 386   %z2 = or i32 %y2, %x2
 387   %x3 = and i32 %a, 2
 388   %y3 = and i32 %z2, 4294967293
 389   %z3 = or i32 %y3, %x3
 390   %x4 = and i32 %a, 256
 391   %y4 = and i32 %z3, 4294967039
 392   %z4 = or i32 %y4, %x4
 393   call void @use(i32 %z1, i32 %z2, i32 %z3, i32 %z4)
 394   ret void
 395 }
 396
 397 define i32 @bfi4(i32 %A, i2 zeroext %BB, i32* %d) {
 398 ; CHECK-LABEL: bfi4:
 399 ; CHECK:       @ %bb.0: @ %entry
 400 ; CHECK-NEXT:    push {r11, lr}
 401 ; CHECK-NEXT:    lsr r12, r0, #1
 402 ; CHECK-NEXT:    and r3, r0, #8
 403 ; CHECK-NEXT:    bfi r1, r12, #2, #2
 404 ; CHECK-NEXT:    mov lr, #96
 405 ; CHECK-NEXT:    tst r0, #32
 406 ; CHECK-NEXT:    bfi r1, r12, #9, #2
 407 ; CHECK-NEXT:    movweq lr, #32
 408 ; CHECK-NEXT:    orr r1, r1, r3, lsl #8
 409 ; CHECK-NEXT:    and r3, r0, #64
 410 ; CHECK-NEXT:    and r0, r0, #128
 411 ; CHECK-NEXT:    orr r1, r1, lr
 412 ; CHECK-NEXT:    orr r1, r1, r3, lsl #1
 413 ; CHECK-NEXT:    str r1, [r2]
 414 ; CHECK-NEXT:    pop {r11, pc}
 415 entry:
 416   %B = zext i2 %BB to i32
 417   %and = and i32 %A, 2
 418   %tobool12.not = icmp eq i32 %and, 0
 419   %or17 = or i32 %B, 516
 420   %spec.select112 = select i1 %tobool12.not, i32 %B, i32 %or17
 421   %and20 = and i32 %A, 4
 422   %tobool21.not = icmp eq i32 %and20, 0
 423   %or26 = or i32 %spec.select112, 1032
 424   %spec.select114 = select i1 %tobool21.not, i32 %spec.select112, i32 %or26
 425   store i32 %spec.select114, i32* %d, align 4
 426   %and29 = shl i32 %A, 8
 427   %l2 = and i32 %and29, 2048
 428   %l3 = or i32 %l2, %spec.select114
 429   %and38 = and i32 %A, 32
 430   %tobool39.not = icmp eq i32 %and38, 0
 431   %spec.select.v = select i1 %tobool39.not, i32 32, i32 96
 432   %spec.select = or i32 %l3, %spec.select.v
 433   %and45 = shl i32 %A, 1
 434   %l4 = and i32 %and45, 128
 435   %l5 = or i32 %l4, %spec.select
 436   store i32 %l5, i32* %d, align 4
 437   %and52 = and i32 %A, 128
 438   ret i32 %and52
 439 }
 440
 441 declare void @use(i32, i32, i32, i32)