diff options
| author | Dimitry Andric <dim@FreeBSD.org> | 2017-04-16 16:01:22 +0000 |
|---|---|---|
| committer | Dimitry Andric <dim@FreeBSD.org> | 2017-04-16 16:01:22 +0000 |
| commit | 71d5a2540a98c81f5bcaeb48805e0e2881f530ef (patch) | |
| tree | 5343938942df402b49ec7300a1c25a2d4ccd5821 /test/Transforms/IRCE/bad-loop-structure.ll | |
| parent | 31bbf64f3a4974a2d6c8b3b27ad2f519caf74057 (diff) | |
Diffstat (limited to 'test/Transforms/IRCE/bad-loop-structure.ll')
| -rw-r--r-- | test/Transforms/IRCE/bad-loop-structure.ll | 45 |
1 files changed, 45 insertions, 0 deletions
diff --git a/test/Transforms/IRCE/bad-loop-structure.ll b/test/Transforms/IRCE/bad-loop-structure.ll new file mode 100644 index 000000000000..9c2e4251423d --- /dev/null +++ b/test/Transforms/IRCE/bad-loop-structure.ll @@ -0,0 +1,45 @@ +; RUN: opt -S -irce -irce-print-changed-loops=true < %s | FileCheck %s + +; CHECK-NOT: irce + +define void @bad_loop_structure_increasing(i64 %iv.start) { +entry: + br label %for.body + +for.body: + %indvars.iv = phi i64 [ %iv.start, %entry ], [ %indvars.iv.next, %for.inc ] + %cmp = icmp ult i64 %indvars.iv, 100 + br i1 %cmp, label %switch.lookup, label %for.inc + +switch.lookup: + br label %for.inc + +for.inc: + %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1 + %cmp55 = icmp slt i64 %indvars.iv.next, 11 + br i1 %cmp55, label %for.body, label %for.end + +for.end: + ret void +} + +define void @bad_loop_structure_decreasing(i64 %iv.start) { +entry: + br label %for.body + +for.body: + %indvars.iv = phi i64 [ %iv.start, %entry ], [ %indvars.iv.next, %for.inc ] + %cmp = icmp ult i64 %indvars.iv, 100 + br i1 %cmp, label %switch.lookup, label %for.inc + +switch.lookup: + br label %for.inc + +for.inc: + %indvars.iv.next = add nuw nsw i64 %indvars.iv, -1 + %cmp55 = icmp sgt i64 %indvars.iv.next, 11 + br i1 %cmp55, label %for.body, label %for.end + +for.end: + ret void +} |