# RUN: not llc -mtriple thumbv7-apple-ios -start-after block-placement -stop-after block-placement -o /dev/null %s 2>&1 | FileCheck %s

--- |
  @G = external global i32

  define i32 @test1(i32 %a) {
  entry:
    br label %foo

  foo:
    %cmp = icmp sgt i32 %a, -78
    %. = zext i1 %cmp to i32
    br i1 %cmp, label %if.then, label %if.else

  if.then:
    ret i32 %.

  if.else:
    %b = load i32, i32* @G
    %c = add i32 %b, 1
    br label %foo
  }
...
---
name:            test1
tracksRegLiveness: true
liveins:
  - { reg: '%r0' }
body: |
  bb.0.entry:
    successors: %bb.1.foo
    liveins: %r0
  bb.1.foo:
    successors: %bb.2.if.then, %bb.1.foo
    liveins: %r0

    t2CMNri %r0, 78, 14, _, implicit-def %cpsr
    %r1 = t2MOVi 0, 14, _, _
    BUNDLE implicit-def dead %itstate, implicit-def %r1, implicit killed %cpsr {
      t2IT 12, 8, implicit-def %itstate
      %r1 = t2MOVi 1, 12, killed %cpsr, _, implicit killed %itstate
    t2CMNri %r0, 77, 14, _, implicit-def %cpsr
    t2Bcc %bb.1.foo, 11, killed %cpsr
  ; CHECK: [[@LINE+1]]:3: expected '}'
  bb.2.if.then:
    liveins: %r1

    %r0 = tMOVr killed %r1, 14, _
    tBX_RET 14, _, implicit killed %r0
...