1 ; The loop canonicalization pass should guarantee that there is one backedge
2 ; for all loops. This allows the -indvars pass to recognize the %IV
3 ; induction variable in this testcase.
5 ; RUN: llvm-as < %s | opt -indvars | llvm-dis | grep indvar
10 %IV = phi uint [1, %0], [%IV2, %BE1], [%IV2, %BE2]
11 %IV2 = add uint %IV, 2
12 br bool %C, label %BE1, label %BE2