define void @f() {
entry:
  br label %lbl1

lbl1:                                             ; preds = %if.then1, %entry
  br i1 false, label %if.then, label %if.end2

if.then:                                          ; preds = %lbl1
  br label %lbl2

lbl2:                                             ; preds = %if.end2, %if.then
  br i1 icmp ne (i16 ptrtoint (void ()* @f to i16), i16 0), label %if.then1, label %if.end

if.then1:                                         ; preds = %lbl2
  br label %lbl1

if.end:                                           ; preds = %lbl2
  br label %if.end2

if.end2:                                          ; preds = %if.end, %lbl1
  br label %lbl2
}

