1 ; RUN: opt -loop-unroll -debug-only=loop-unroll -disable-output < %s 2 ; REQUIRES: asserts 3 ; Compile this test with debug flag on to verify domtree right after loop unrolling. 4 target datalayout = "E-m:e-i1:8:16-i8:8:16-i64:64-f128:64-v128:64-a:8:16-n32:64" 5 6 ; PR27157 7 define void @foo() { 8 entry: 9 br label %loop_header 10 loop_header: 11 %iv = phi i64 [ 0, %entry ], [ %iv_next, %loop_latch ] 12 br i1 undef, label %loop_latch, label %loop_exiting_bb1 13 loop_exiting_bb1: 14 br i1 false, label %loop_exiting_bb2, label %exit1.loopexit 15 loop_exiting_bb2: 16 br i1 false, label %loop_latch, label %bb 17 bb: 18 br label %exit1 19 loop_latch: 20 %iv_next = add nuw nsw i64 %iv, 1 21 %cmp = icmp ne i64 %iv_next, 2 22 br i1 %cmp, label %loop_header, label %exit2 23 exit1.loopexit: 24 br label %exit1 25 exit1: 26 ret void 27 exit2: 28 ret void 29 } 30 31 define void @foo2() { 32 entry: 33 br label %loop.header 34 loop.header: 35 %iv = phi i32 [ 0, %entry ], [ %iv.inc, %latch ] 36 %iv.inc = add i32 %iv, 1 37 br i1 undef, label %diamond, label %latch 38 diamond: 39 br i1 undef, label %left, label %right 40 left: 41 br i1 undef, label %exit, label %merge 42 right: 43 br i1 undef, label %exit, label %merge 44 merge: 45 br label %latch 46 latch: 47 %end.cond = icmp eq i32 %iv, 1 48 br i1 %end.cond, label %exit1, label %loop.header 49 exit: 50 ret void 51 exit1: 52 ret void 53 } 54
