; RUN: llvm-as < %s | opt -indvars -disable-output

implementation   ; Functions:

void %test() {
        br label %endif.0.i

endif.0.i:		; preds = %then.0.i
	br bool false, label %then.3.i, label %endif.3.i

then.3.i:		; preds = %endif.0.i
	br label %endif.3.i

endif.3.i:		; preds = %endif.0.i, %then.3.i
	%inxm.0.i = phi int [ 8, %then.3.i ], [ 0, %endif.0.i ]
	%doinner.1.i = phi int [ 0, %then.3.i ], [ 0, %endif.0.i ]
	br label %loopentry.2.i

loopentry.2.i:		; preds = %endif.3.i, %no_exit.2.i
	%inxk.0.i = phi int [ %tmp.210.i, %no_exit.2.i ], [ 0, %endif.3.i ]
	br label %no_exit.2.i

no_exit.2.i:		; preds = %loopentry.2.i
	%tmp.210.i = sub int %inxk.0.i, %inxm.0.i
	%tmp.213.i = add int %tmp.210.i, 0
	br label %loopentry.2.i
}