diff options
| author | Max Kazantsev <max.kazantsev@azul.com> | 2019-02-11 10:44:57 +0000 |
|---|---|---|
| committer | Max Kazantsev <max.kazantsev@azul.com> | 2019-02-11 10:44:57 +0000 |
| commit | 8ec0c5e02f5e205453c33cfb50b6520cba73e4ae (patch) | |
| tree | c9f611dbb557091ee1ae1d92ddc7e7cce9c54955 /llvm/test/Transforms/IndVarSimplify | |
| parent | db7fbcb038f095622a3e6847ecd6ff80bdc2483a (diff) | |
| download | bcm5719-llvm-8ec0c5e02f5e205453c33cfb50b6520cba73e4ae.tar.gz bcm5719-llvm-8ec0c5e02f5e205453c33cfb50b6520cba73e4ae.zip | |
[TEST] Add failing test from PR40454
llvm-svn: 353688
Diffstat (limited to 'llvm/test/Transforms/IndVarSimplify')
| -rw-r--r-- | llvm/test/Transforms/IndVarSimplify/pr40454.ll | 41 |
1 files changed, 41 insertions, 0 deletions
diff --git a/llvm/test/Transforms/IndVarSimplify/pr40454.ll b/llvm/test/Transforms/IndVarSimplify/pr40454.ll new file mode 100644 index 00000000000..a2c569d5901 --- /dev/null +++ b/llvm/test/Transforms/IndVarSimplify/pr40454.ll @@ -0,0 +1,41 @@ +; RUN: opt -S -indvars < %s | FileCheck %s +; REQUIRES: asserts +; XFAIL: * + +target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" + +define void @test() { +; CHECK-LABEL: @test + +bb: + br label %bb2 + +bb1: ; No predecessors! + br label %bb2 + +bb2: ; preds = %bb1, %bb + %tmp = phi i32 [ -9, %bb ], [ %tmp6, %bb1 ] + br label %bb3 + +bb3: ; preds = %bb10, %bb2 + %tmp4 = phi i32 [ -9, %bb2 ], [ %tmp6, %bb10 ] + br i1 undef, label %bb5, label %bb12 + +bb5: ; preds = %bb3 + %tmp6 = add i32 %tmp4, -1 + %tmp7 = zext i32 %tmp6 to i64 + br i1 undef, label %bb8, label %bb9 + +bb8: ; preds = %bb5 + br label %bb10 + +bb9: ; preds = %bb5 + br label %bb10 + +bb10: ; preds = %bb9, %bb8 + %tmp11 = and i64 undef, %tmp7 + br label %bb3 + +bb12: ; preds = %bb3 + ret void +} |
