target datalayout = "P40"

@a = external global i16, align 1

define void @f1() {
entry:
  br label %for.cond

for.cond:                                         ; preds = %for.inc, %entry
  br i1 icmp ne (void () addrspace(40)* @f1, void () addrspace(40)* null), label %if.then, label %for.inc

if.then:                                          ; preds = %for.cond
  %0 = load i16, i16* @a, align 1
  %tobool = icmp ne i16 %0, 0
  br i1 %tobool, label %if.then1, label %if.end

if.then1:                                         ; preds = %if.then
  br label %cleanup

if.end:                                           ; preds = %if.then
  br label %cleanup

cleanup:                                          ; preds = %if.end, %if.then1
  br label %for.inc

for.inc:                                          ; preds = %cleanup, %for.cond
  %c.1 = phi i16 [ undef, %cleanup ], [ undef, %for.cond ]
  br label %for.cond
}

