diff options
| author | Dan Gohman <gohman@apple.com> | 2009-06-24 01:22:30 +0000 |
|---|---|---|
| committer | Dan Gohman <gohman@apple.com> | 2009-06-24 01:22:30 +0000 |
| commit | e56f4a49b7cd62d05a41c88743eb5172b63788bc (patch) | |
| tree | 66f72d5fd0366efe1a1eaa27dfd88c658fb2bf10 /test | |
| parent | 40a5a1b39ee1cd40ff9d04740386b667fb27b340 (diff) | |
| download | llvm-e56f4a49b7cd62d05a41c88743eb5172b63788bc.tar.gz llvm-e56f4a49b7cd62d05a41c88743eb5172b63788bc.tar.bz2 llvm-e56f4a49b7cd62d05a41c88743eb5172b63788bc.tar.xz | |
Add a testcase demoing some of ScalarEvolution's new trip count logic.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@74049 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test')
| -rw-r--r-- | test/Analysis/ScalarEvolution/trip-count6.ll | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/test/Analysis/ScalarEvolution/trip-count6.ll b/test/Analysis/ScalarEvolution/trip-count6.ll new file mode 100644 index 0000000000..a6674092e7 --- /dev/null +++ b/test/Analysis/ScalarEvolution/trip-count6.ll @@ -0,0 +1,37 @@ +; RUN: llvm-as < %s | opt -analyze -disable-output -scalar-evolution \ +; RUN: | grep {max backedge-taken count is 1\$} + +@mode_table = global [4 x i32] zeroinitializer ; <[4 x i32]*> [#uses=1] + +define i8 @f() { +entry: + tail call i32 @fegetround( ) ; <i32>:0 [#uses=1] + br label %bb + +bb: ; preds = %bb4, %entry + %mode.0 = phi i8 [ 0, %entry ], [ %indvar.next, %bb4 ] ; <i8> [#uses=4] + zext i8 %mode.0 to i32 ; <i32>:1 [#uses=1] + getelementptr [4 x i32]* @mode_table, i32 0, i32 %1 ; <i32*>:2 [#uses=1] + load i32* %2, align 4 ; <i32>:3 [#uses=1] + icmp eq i32 %3, %0 ; <i1>:4 [#uses=1] + br i1 %4, label %bb1, label %bb2 + +bb1: ; preds = %bb + ret i8 %mode.0 + +bb2: ; preds = %bb + icmp eq i8 %mode.0, 1 ; <i1>:5 [#uses=1] + br i1 %5, label %bb5, label %bb4 + +bb4: ; preds = %bb2 + %indvar.next = add i8 %mode.0, 1 ; <i8> [#uses=1] + br label %bb + +bb5: ; preds = %bb2 + tail call void @raise_exception( ) noreturn + unreachable +} + +declare i32 @fegetround() + +declare void @raise_exception() noreturn |