llvm/test/CodeGen/ARM/2013-05-05-IfConvertBug.ll

; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc -keep-loops="false" < %s -mtriple=thumbv7-apple-ios -mcpu=cortex-a8 | FileCheck %s
; RUN: llc -keep-loops="false" < %s -mtriple=thumbv8 | FileCheck -check-prefix=CHECK-V8 %s
; RUN: llc -keep-loops="false" < %s -mtriple=thumbv7 -arm-restrict-it | FileCheck -check-prefix=CHECK-RESTRICT-IT %s

define i32 @t1(i32 %a, i32 %b, ptr %retaddr) {
; CHECK-LABEL: t1:
; CHECK:       @ %bb.0:
; CHECK-NEXT:    ldr r3, LCPI0_0
; CHECK-NEXT:    cmp r0, #0
; CHECK-NEXT:  LPC0_0:
; CHECK-NEXT:    add r3, pc
; CHECK-NEXT:    str r3, [r2]
; CHECK-NEXT:    mov.w r2, #1
; CHECK-NEXT:    it eq
; CHECK-NEXT:    moveq.w r2, #-1
; CHECK-NEXT:  Ltmp0: @ Block address taken
; CHECK-NEXT:  @ %bb.1: @ %common.ret
; CHECK-NEXT:    adds r0, r1, r2
; CHECK-NEXT:    bx lr
; CHECK-NEXT:    .p2align 2
; CHECK-NEXT:  @ %bb.2:
; CHECK-NEXT:    .data_region
; CHECK-NEXT:  LCPI0_0:
; CHECK-NEXT:    .long Ltmp0-(LPC0_0+4)
; CHECK-NEXT:    .end_data_region
;
; CHECK-V8-LABEL: t1:
; CHECK-V8:       @ %bb.0:
; CHECK-V8-NEXT:    ldr r3, .LCPI0_0
; CHECK-V8-NEXT:    cmp r0, #0
; CHECK-V8-NEXT:    str r3, [r2]
; CHECK-V8-NEXT:    mov.w r2, #1
; CHECK-V8-NEXT:    it eq
; CHECK-V8-NEXT:    moveq.w r2, #-1
; CHECK-V8-NEXT:  .Ltmp0: @ Block address taken
; CHECK-V8-NEXT:  @ %bb.1: @ %common.ret
; CHECK-V8-NEXT:    adds r0, r1, r2
; CHECK-V8-NEXT:    bx lr
; CHECK-V8-NEXT:    .p2align 2
; CHECK-V8-NEXT:  @ %bb.2:
; CHECK-V8-NEXT:  .LCPI0_0:
; CHECK-V8-NEXT:    .long .Ltmp0
;
; CHECK-RESTRICT-IT-LABEL: t1:
; CHECK-RESTRICT-IT:       @ %bb.0:
; CHECK-RESTRICT-IT-NEXT:    ldr r3, .LCPI0_0
; CHECK-RESTRICT-IT-NEXT:    str r3, [r2]
; CHECK-RESTRICT-IT-NEXT:    movs r2, #1
; CHECK-RESTRICT-IT-NEXT:    cmp r0, #0
; CHECK-RESTRICT-IT-NEXT:    it eq
; CHECK-RESTRICT-IT-NEXT:    moveq.w r2, #-1
; CHECK-RESTRICT-IT-NEXT:  .Ltmp0: @ Block address taken
; CHECK-RESTRICT-IT-NEXT:  @ %bb.1: @ %common.ret
; CHECK-RESTRICT-IT-NEXT:    adds r0, r1, r2
; CHECK-RESTRICT-IT-NEXT:    bx lr
; CHECK-RESTRICT-IT-NEXT:    .p2align 2
; CHECK-RESTRICT-IT-NEXT:  @ %bb.2:
; CHECK-RESTRICT-IT-NEXT:  .LCPI0_0:
; CHECK-RESTRICT-IT-NEXT:    .long .Ltmp0
  store ptr blockaddress(@t1, %cond_true), ptr %retaddr
  %tmp2 = icmp eq i32 %a, 0
  br i1 %tmp2, label %cond_false, label %cond_true

cond_true:
  %tmp5 = add i32 %b, 1
  ret i32 %tmp5

cond_false:
  %tmp7 = add i32 %b, -1
  ret i32 %tmp7
}

define i32 @t2(i32 %a, i32 %b, i32 %c, i32 %d, ptr %retaddr) {
; CHECK-LABEL: t2:
; CHECK:       @ %bb.0:
; CHECK-NEXT:    ldr.w r9, [sp]
; CHECK-NEXT:    add r0, r1
; CHECK-NEXT:    ldr.w r12, LCPI1_0
; CHECK-NEXT:    cmp r3, #3
; CHECK-NEXT:  LPC1_0:
; CHECK-NEXT:    add r12, pc
; CHECK-NEXT:    str.w r12, [r9]
; CHECK-NEXT:    it gt
; CHECK-NEXT:    bxgt lr
; CHECK-NEXT:  LBB1_1:
; CHECK-NEXT:    cmp r2, #10
; CHECK-NEXT:    ble LBB1_3
; CHECK-NEXT:  Ltmp1: @ Block address taken
; CHECK-NEXT:  @ %bb.2: @ %cond_true
; CHECK-NEXT:    add r0, r2
; CHECK-NEXT:    subs r0, r0, r3
; CHECK-NEXT:  LBB1_3: @ %common.ret
; CHECK-NEXT:    bx lr
; CHECK-NEXT:    .p2align 2
; CHECK-NEXT:  @ %bb.4:
; CHECK-NEXT:    .data_region
; CHECK-NEXT:  LCPI1_0:
; CHECK-NEXT:    .long Ltmp1-(LPC1_0+4)
; CHECK-NEXT:    .end_data_region
;
; CHECK-V8-LABEL: t2:
; CHECK-V8:       @ %bb.0:
; CHECK-V8-NEXT:    push {r7, lr}
; CHECK-V8-NEXT:    ldr.w r12, [sp, #8]
; CHECK-V8-NEXT:    add r0, r1
; CHECK-V8-NEXT:    ldr.w lr, .LCPI1_0
; CHECK-V8-NEXT:    cmp r3, #3
; CHECK-V8-NEXT:    str.w lr, [r12]
; CHECK-V8-NEXT:    it gt
; CHECK-V8-NEXT:    popgt {r7, pc}
; CHECK-V8-NEXT:  .LBB1_1:
; CHECK-V8-NEXT:    cmp r2, #10
; CHECK-V8-NEXT:    ble .LBB1_3
; CHECK-V8-NEXT:  .Ltmp1: @ Block address taken
; CHECK-V8-NEXT:  @ %bb.2: @ %cond_true
; CHECK-V8-NEXT:    add r0, r2
; CHECK-V8-NEXT:    subs r0, r0, r3
; CHECK-V8-NEXT:  .LBB1_3: @ %common.ret
; CHECK-V8-NEXT:    pop {r7, pc}
; CHECK-V8-NEXT:    .p2align 2
; CHECK-V8-NEXT:  @ %bb.4:
; CHECK-V8-NEXT:  .LCPI1_0:
; CHECK-V8-NEXT:    .long .Ltmp1
;
; CHECK-RESTRICT-IT-LABEL: t2:
; CHECK-RESTRICT-IT:       @ %bb.0:
; CHECK-RESTRICT-IT-NEXT:    push {r7, lr}
; CHECK-RESTRICT-IT-NEXT:    ldr.w r12, [sp, #8]
; CHECK-RESTRICT-IT-NEXT:    add r0, r1
; CHECK-RESTRICT-IT-NEXT:    ldr.w lr, .LCPI1_0
; CHECK-RESTRICT-IT-NEXT:    cmp r3, #3
; CHECK-RESTRICT-IT-NEXT:    str.w lr, [r12]
; CHECK-RESTRICT-IT-NEXT:    bgt .LBB1_3
; CHECK-RESTRICT-IT-NEXT:  @ %bb.1:
; CHECK-RESTRICT-IT-NEXT:    cmp r2, #10
; CHECK-RESTRICT-IT-NEXT:    ble .LBB1_3
; CHECK-RESTRICT-IT-NEXT:  .Ltmp1: @ Block address taken
; CHECK-RESTRICT-IT-NEXT:  @ %bb.2: @ %cond_true
; CHECK-RESTRICT-IT-NEXT:    add r0, r2
; CHECK-RESTRICT-IT-NEXT:    subs r0, r0, r3
; CHECK-RESTRICT-IT-NEXT:  .LBB1_3: @ %common.ret
; CHECK-RESTRICT-IT-NEXT:    pop {r7, pc}
; CHECK-RESTRICT-IT-NEXT:    .p2align 2
; CHECK-RESTRICT-IT-NEXT:  @ %bb.4:
; CHECK-RESTRICT-IT-NEXT:  .LCPI1_0:
; CHECK-RESTRICT-IT-NEXT:    .long .Ltmp1
  store ptr blockaddress(@t2, %cond_true), ptr %retaddr
  %tmp2 = icmp sgt i32 %c, 10
  %tmp5 = icmp slt i32 %d, 4
  %tmp8 = and i1 %tmp5, %tmp2
  %tmp13 = add i32 %b, %a
  br i1 %tmp8, label %cond_true, label %UnifiedReturnBlock

cond_true:
  %tmp15 = add i32 %tmp13, %c
  %tmp1821 = sub i32 %tmp15, %d
  ret i32 %tmp1821

UnifiedReturnBlock:
  ret i32 %tmp13
}

define hidden fastcc void @t3(ptr %retaddr, i1 %tst, ptr %p8) {
; CHECK-LABEL: t3:
; CHECK:       @ %bb.0: @ %bb
; CHECK-NEXT:    ldr r1, LCPI2_0
; CHECK-NEXT:  LPC2_0:
; CHECK-NEXT:    add r1, pc
; CHECK-NEXT:    str r1, [r0]
; CHECK-NEXT:  Ltmp2: @ Block address taken
; CHECK-NEXT:  @ %bb.1: @ %common.ret
; CHECK-NEXT:    bx lr
; CHECK-NEXT:    .p2align 2
; CHECK-NEXT:  @ %bb.2:
; CHECK-NEXT:    .data_region
; CHECK-NEXT:  LCPI2_0:
; CHECK-NEXT:    .long Ltmp2-(LPC2_0+4)
; CHECK-NEXT:    .end_data_region
;
; CHECK-V8-LABEL: t3:
; CHECK-V8:       @ %bb.0: @ %bb
; CHECK-V8-NEXT:    ldr r1, .LCPI2_0
; CHECK-V8-NEXT:    str r1, [r0]
; CHECK-V8-NEXT:  .Ltmp2: @ Block address taken
; CHECK-V8-NEXT:  @ %bb.1: @ %common.ret
; CHECK-V8-NEXT:    bx lr
; CHECK-V8-NEXT:    .p2align 2
; CHECK-V8-NEXT:  @ %bb.2:
; CHECK-V8-NEXT:  .LCPI2_0:
; CHECK-V8-NEXT:    .long .Ltmp2
;
; CHECK-RESTRICT-IT-LABEL: t3:
; CHECK-RESTRICT-IT:       @ %bb.0: @ %bb
; CHECK-RESTRICT-IT-NEXT:    ldr r1, .LCPI2_0
; CHECK-RESTRICT-IT-NEXT:    str r1, [r0]
; CHECK-RESTRICT-IT-NEXT:  .Ltmp2: @ Block address taken
; CHECK-RESTRICT-IT-NEXT:  @ %bb.1: @ %common.ret
; CHECK-RESTRICT-IT-NEXT:    bx lr
; CHECK-RESTRICT-IT-NEXT:    .p2align 2
; CHECK-RESTRICT-IT-NEXT:  @ %bb.2:
; CHECK-RESTRICT-IT-NEXT:  .LCPI2_0:
; CHECK-RESTRICT-IT-NEXT:    .long .Ltmp2
bb:
  store ptr blockaddress(@t3, %KBBlockZero_return_1), ptr %retaddr
  br i1 %tst, label %bb77, label %bb7.i

bb7.i:                                            ; preds = %bb35
  br label %bb2.i

KBBlockZero_return_1:                             ; preds = %KBBlockZero.exit
  ret void

KBBlockZero_return_0:                             ; preds = %KBBlockZero.exit
  ret void

bb77:                                             ; preds = %bb26, %bb12, %bb
  ret void

bb2.i:                                            ; preds = %bb6.i350, %bb7.i
  br i1 %tst, label %bb6.i350, label %KBBlockZero.exit

bb6.i350:                                         ; preds = %bb2.i
  br label %bb2.i

KBBlockZero.exit:                                 ; preds = %bb2.i
  indirectbr ptr %p8, [label %KBBlockZero_return_1, label %KBBlockZero_return_0]
}

@foo = global ptr null
define i32 @t4(i32 %x, ptr %p_foo) {
; CHECK-LABEL: t4:
; CHECK:       @ %bb.0: @ %entry
; CHECK-NEXT:    push {r4, lr}
; CHECK-NEXT:    mov r4, r0
; CHECK-NEXT:    cmp r0, #59
; CHECK-NEXT:    ittt gt
; CHECK-NEXT:    mvngt r0, #119
; CHECK-NEXT:    addgt r0, r4
; CHECK-NEXT:    popgt {r4, pc}
; CHECK-NEXT:  LBB3_1: @ %if.then
; CHECK-NEXT:    blx r1
; CHECK-NEXT:    mov.w r0, #-1
; CHECK-NEXT:    add r0, r4
; CHECK-NEXT:    pop {r4, pc}
;
; CHECK-V8-LABEL: t4:
; CHECK-V8:       @ %bb.0: @ %entry
; CHECK-V8-NEXT:    push {r4, lr}
; CHECK-V8-NEXT:    mov r4, r0
; CHECK-V8-NEXT:    cmp r0, #59
; CHECK-V8-NEXT:    bgt .LBB3_2
; CHECK-V8-NEXT:  @ %bb.1: @ %if.then
; CHECK-V8-NEXT:    blx r1
; CHECK-V8-NEXT:    mov.w r0, #-1
; CHECK-V8-NEXT:    add r0, r4
; CHECK-V8-NEXT:    pop {r4, pc}
; CHECK-V8-NEXT:  .LBB3_2:
; CHECK-V8-NEXT:    mvn r0, #119
; CHECK-V8-NEXT:    add r0, r4
; CHECK-V8-NEXT:    pop {r4, pc}
;
; CHECK-RESTRICT-IT-LABEL: t4:
; CHECK-RESTRICT-IT:       @ %bb.0: @ %entry
; CHECK-RESTRICT-IT-NEXT:    push {r4, lr}
; CHECK-RESTRICT-IT-NEXT:    mov r4, r0
; CHECK-RESTRICT-IT-NEXT:    cmp r0, #59
; CHECK-RESTRICT-IT-NEXT:    bgt .LBB3_2
; CHECK-RESTRICT-IT-NEXT:  @ %bb.1: @ %if.then
; CHECK-RESTRICT-IT-NEXT:    blx r1
; CHECK-RESTRICT-IT-NEXT:    mov.w r0, #-1
; CHECK-RESTRICT-IT-NEXT:    add r0, r4
; CHECK-RESTRICT-IT-NEXT:    pop {r4, pc}
; CHECK-RESTRICT-IT-NEXT:  .LBB3_2:
; CHECK-RESTRICT-IT-NEXT:    mvn r0, #119
; CHECK-RESTRICT-IT-NEXT:    add r0, r4
; CHECK-RESTRICT-IT-NEXT:    pop {r4, pc}
entry:
  %cmp = icmp slt i32 %x, 60
  br i1 %cmp, label %if.then, label %if.else

if.then:                                          ; preds = %entry
  %tmp.2 = call i32 %p_foo()
  %sub = add nsw i32 %x, -1
  br label %return

if.else:                                          ; preds = %entry
  %sub1 = add nsw i32 %x, -120
  br label %return

return:                                           ; preds = %if.end5, %if.then4, %if.then
  %retval.0 = phi i32 [ %sub, %if.then ], [ %sub1, %if.else ]
  ret i32 %retval.0
}

; If-converter was checking for the wrong predicate subsumes pattern when doing
; nested predicates.
; E.g., Let A be a basic block that flows conditionally into B and B be a
; predicated block.
; B can be predicated with A.BrToBPredicate into A iff B.Predicate is less
; "permissive" than A.BrToBPredicate, i.e., iff A.BrToBPredicate subsumes
; B.Predicate.

define i32 @wrapDistance(i32 %tx, i32 %sx, i32 %w) {
; CHECK-LABEL: wrapDistance:
; CHECK:       @ %bb.0: @ %entry
; CHECK-NEXT:    cmp r1, #59
; CHECK-NEXT:    itt le
; CHECK-NEXT:    suble r0, r2, #1
; CHECK-NEXT:    bxle lr
; CHECK-NEXT:  LBB4_1: @ %if.else
; CHECK-NEXT:    subs r2, #120
; CHECK-NEXT:    cmp r2, r1
; CHECK-NEXT:    bge LBB4_3
; CHECK-NEXT:  @ %bb.2: @ %if.else
; CHECK-NEXT:    cmp r0, #119
; CHECK-NEXT:    itt le
; CHECK-NEXT:    addle r0, r1, #1
; CHECK-NEXT:    bxle lr
; CHECK-NEXT:  LBB4_3: @ %if.end5
; CHECK-NEXT:    subs r0, r1, r0
; CHECK-NEXT:    bx lr
;
; CHECK-V8-LABEL: wrapDistance:
; CHECK-V8:       @ %bb.0: @ %entry
; CHECK-V8-NEXT:    cmp r1, #59
; CHECK-V8-NEXT:    itt le
; CHECK-V8-NEXT:    suble r0, r2, #1
; CHECK-V8-NEXT:    bxle lr
; CHECK-V8-NEXT:  .LBB4_1: @ %if.else
; CHECK-V8-NEXT:    subs r2, #120
; CHECK-V8-NEXT:    cmp r2, r1
; CHECK-V8-NEXT:    bge .LBB4_3
; CHECK-V8-NEXT:  @ %bb.2: @ %if.else
; CHECK-V8-NEXT:    cmp r0, #119
; CHECK-V8-NEXT:    itt le
; CHECK-V8-NEXT:    addle r0, r1, #1
; CHECK-V8-NEXT:    bxle lr
; CHECK-V8-NEXT:  .LBB4_3: @ %if.end5
; CHECK-V8-NEXT:    subs r0, r1, r0
; CHECK-V8-NEXT:    bx lr
;
; CHECK-RESTRICT-IT-LABEL: wrapDistance:
; CHECK-RESTRICT-IT:       @ %bb.0: @ %entry
; CHECK-RESTRICT-IT-NEXT:    cmp r1, #59
; CHECK-RESTRICT-IT-NEXT:    bgt .LBB4_2
; CHECK-RESTRICT-IT-NEXT:  @ %bb.1: @ %if.then
; CHECK-RESTRICT-IT-NEXT:    subs r0, r2, #1
; CHECK-RESTRICT-IT-NEXT:    bx lr
; CHECK-RESTRICT-IT-NEXT:  .LBB4_2: @ %if.else
; CHECK-RESTRICT-IT-NEXT:    subs r2, #120
; CHECK-RESTRICT-IT-NEXT:    cmp r2, r1
; CHECK-RESTRICT-IT-NEXT:    bge .LBB4_5
; CHECK-RESTRICT-IT-NEXT:  @ %bb.3: @ %if.else
; CHECK-RESTRICT-IT-NEXT:    cmp r0, #119
; CHECK-RESTRICT-IT-NEXT:    bgt .LBB4_5
; CHECK-RESTRICT-IT-NEXT:  @ %bb.4: @ %if.then4
; CHECK-RESTRICT-IT-NEXT:    adds r0, r1, #1
; CHECK-RESTRICT-IT-NEXT:    bx lr
; CHECK-RESTRICT-IT-NEXT:  .LBB4_5: @ %if.end5
; CHECK-RESTRICT-IT-NEXT:    subs r0, r1, r0
; CHECK-RESTRICT-IT-NEXT:    bx lr
entry:
  %cmp = icmp slt i32 %sx, 60
  br i1 %cmp, label %if.then, label %if.else

if.then:                                          ; preds = %entry
  %sub = add nsw i32 %w, -1
  br label %return

if.else:                                          ; preds = %entry
  %sub1 = add nsw i32 %w, -120
  %cmp2 = icmp slt i32 %sub1, %sx
  %cmp3 = icmp slt i32 %tx, 120
  %or.cond = and i1 %cmp2, %cmp3
  br i1 %or.cond, label %if.then4, label %if.end5

if.then4:                                         ; preds = %if.else
  %add = add nsw i32 %sx, 1
  br label %return

if.end5:                                          ; preds = %if.else
  %sub6 = sub nsw i32 %sx, %tx
  br label %return

return:                                           ; preds = %if.end5, %if.then4, %if.then
  %retval.0 = phi i32 [ %sub, %if.then ], [ %add, %if.then4 ], [ %sub6, %if.end5 ]
  ret i32 %retval.0
}