diff options
Diffstat (limited to 'llvm/test/Transforms/IndVarSimplify/use-range-metadata.ll')
-rw-r--r-- | llvm/test/Transforms/IndVarSimplify/use-range-metadata.ll | 37 |
1 files changed, 0 insertions, 37 deletions
diff --git a/llvm/test/Transforms/IndVarSimplify/use-range-metadata.ll b/llvm/test/Transforms/IndVarSimplify/use-range-metadata.ll deleted file mode 100644 index 1f0142608b5..00000000000 --- a/llvm/test/Transforms/IndVarSimplify/use-range-metadata.ll +++ /dev/null @@ -1,37 +0,0 @@ -;; RUN: opt -S < %s -indvars | FileCheck %s - -;; Check if IndVarSimplify understands !range metadata. - -declare void @abort() - -define i1 @iterate(i32* nocapture readonly %buffer) { -entry: - %length = load i32, i32* %buffer, !range !0 - br label %loop.preheader - -loop.preheader: - br label %loop - -loop: - %idx = phi i32 [ %idx.inc, %loop.next ], [ 0, %loop.preheader ] - %oob.pred = icmp slt i32 %idx, %length - br i1 %oob.pred, label %loop.next, label %oob -; CHECK: br i1 true, label %loop.next, label %oob - -loop.next: - %idx.inc = add i32 %idx, 1 - %exit.pred = icmp slt i32 %idx.inc, %length - br i1 %exit.pred, label %loop, label %abort.loopexit - -abort.loopexit: - br label %abort - -abort: - ret i1 false - -oob: - tail call void @abort() - ret i1 false -} - -!0 = !{i32 1, i32 100} |