47 lines · plain
1; RUN: opt -S -passes=irce -irce-print-changed-loops=true < %s | FileCheck %s2; RUN: opt -S -passes='require<branch-prob>,irce' -irce-print-changed-loops=true < %s | FileCheck %s3 4; CHECK-NOT: irce5 6define void @bad_loop_structure_increasing(i64 %iv.start) {7entry:8 br label %for.body9 10for.body:11 %indvars.iv = phi i64 [ %iv.start, %entry ], [ %indvars.iv.next, %for.inc ]12 %cmp = icmp ult i64 %indvars.iv, 10013 br i1 %cmp, label %switch.lookup, label %for.inc14 15switch.lookup:16 br label %for.inc17 18for.inc:19 %indvars.iv.next = add nuw nsw i64 %indvars.iv, 120 %cmp55 = icmp slt i64 %indvars.iv.next, 1121 br i1 %cmp55, label %for.body, label %for.end22 23for.end:24 ret void25}26 27define void @bad_loop_structure_decreasing(i64 %iv.start) {28entry:29 br label %for.body30 31for.body:32 %indvars.iv = phi i64 [ %iv.start, %entry ], [ %indvars.iv.next, %for.inc ]33 %cmp = icmp ult i64 %indvars.iv, 10034 br i1 %cmp, label %switch.lookup, label %for.inc35 36switch.lookup:37 br label %for.inc38 39for.inc:40 %indvars.iv.next = add nuw nsw i64 %indvars.iv, -141 %cmp55 = icmp sgt i64 %indvars.iv.next, 1142 br i1 %cmp55, label %for.body, label %for.end43 44for.end:45 ret void46}47