; RUN: llc < %s -O0 -relocation-model=pic -mtriple=thumbv7-apple-ios | FileCheck %s
; <rdar://problem/12529625>

@foo = global i32 34879, align 4
@DWJumpTable2808 = global [2 x i32] [i32 sub (i32 ptrtoint (ptr blockaddress(@func, %14) to i32), i32 ptrtoint (ptr blockaddress(@func, %4) to i32)), i32 sub (i32 ptrtoint (ptr blockaddress(@func, %13) to i32), i32 ptrtoint (ptr blockaddress(@func, %4) to i32))]
@0 = internal constant [45 x i8] c"func XXXXXXXXXXX :: bb xxxxxxxxxxxxxxxxxxxx\0A\00"

; The indirect branch has the two destinations as successors. The lone PHI
; statement shouldn't be implicitly defined.

; CHECK-LABEL:      func:
; CHECK:      Ltmp1:    @ Block address taken
; CHECK-NOT:            @ implicit-def: R0
; CHECK:                @ 4-byte Reload

define i32 @func() nounwind ssp {
  %1 = alloca i32, align 4
  %2 = load i32, ptr @foo, align 4
  %3 = icmp eq i32 %2, 34879
  br label %4

; <label>:4                                       ; preds = %0
  %5 = zext i1 %3 to i32
  %6 = mul i32 %5, 287
  %7 = add i32 %6, 2
  %8 = getelementptr [2 x i32], ptr @DWJumpTable2808, i32 0, i32 %5
  %9 = load i32, ptr %8
  %10 = add i32 %9, ptrtoint (ptr blockaddress(@func, %4) to i32)
  %11 = inttoptr i32 %10 to ptr
  %12 = call i32 (ptr, ...) @printf(ptr @0)
  indirectbr ptr %11, [label %13, label %14]

; <label>:13                                      ; preds = %4
  %tmp14 = phi i32 [ %7, %4 ]
  store i32 23958, ptr @foo, align 4
  %tmp15 = load i32, ptr %1, align 4
  %tmp16 = icmp eq i32 %tmp15, 0
  %tmp17 = zext i1 %tmp16 to i32
  %tmp21 = add i32 %tmp17, %tmp14
  ret i32 %tmp21

; <label>:14                                      ; preds = %4
  ret i32 42
}

declare i32 @printf(ptr, ...)