1 ; RUN: opt -S -irce -irce-print-changed-loops=true < %s | FileCheck %s 2 ; RUN: opt -S -passes='require<branch-prob>,loop(irce)' -irce-print-changed-loops=true < %s | FileCheck %s 3 4 ; CHECK-NOT: irce 5 6 define void @bad_loop_structure_increasing(i64 %iv.start) { 7 entry: 8 br label %for.body 9 10 for.body: 11 %indvars.iv = phi i64 [ %iv.start, %entry ], [ %indvars.iv.next, %for.inc ] 12 %cmp = icmp ult i64 %indvars.iv, 100 13 br i1 %cmp, label %switch.lookup, label %for.inc 14 15 switch.lookup: 16 br label %for.inc 17 18 for.inc: 19 %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1 20 %cmp55 = icmp slt i64 %indvars.iv.next, 11 21 br i1 %cmp55, label %for.body, label %for.end 22 23 for.end: 24 ret void 25 } 26 27 define void @bad_loop_structure_decreasing(i64 %iv.start) { 28 entry: 29 br label %for.body 30 31 for.body: 32 %indvars.iv = phi i64 [ %iv.start, %entry ], [ %indvars.iv.next, %for.inc ] 33 %cmp = icmp ult i64 %indvars.iv, 100 34 br i1 %cmp, label %switch.lookup, label %for.inc 35 36 switch.lookup: 37 br label %for.inc 38 39 for.inc: 40 %indvars.iv.next = add nuw nsw i64 %indvars.iv, -1 41 %cmp55 = icmp sgt i64 %indvars.iv.next, 11 42 br i1 %cmp55, label %for.body, label %for.end 43 44 for.end: 45 ret void 46 } 47
