diff options
| author | Benjamin Kramer <benny.kra@googlemail.com> | 2013-01-09 18:12:03 +0000 |
|---|---|---|
| committer | Benjamin Kramer <benny.kra@googlemail.com> | 2013-01-09 18:12:03 +0000 |
| commit | d9cc865787d673a8d1021d0b9659fd438feba845 (patch) | |
| tree | ad03fc51a9930de1119408a9229deae295953723 /test/Transforms/LICM | |
| parent | 12cd49ae1d3c8f45f3e41b6cce681b667b99ef07 (diff) | |
| download | llvm-d9cc865787d673a8d1021d0b9659fd438feba845.tar.gz llvm-d9cc865787d673a8d1021d0b9659fd438feba845.tar.bz2 llvm-d9cc865787d673a8d1021d0b9659fd438feba845.tar.xz | |
LICM: Hoist insertvalue/extractvalue out of loops.
Fixes PR14854.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@171984 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms/LICM')
| -rw-r--r-- | test/Transforms/LICM/hoisting.ll | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/test/Transforms/LICM/hoisting.ll b/test/Transforms/LICM/hoisting.ll index 98f93345e3..1ca377eb4a 100644 --- a/test/Transforms/LICM/hoisting.ll +++ b/test/Transforms/LICM/hoisting.ll @@ -90,3 +90,29 @@ for.end: ; preds = %for.body declare void @foo_may_call_exit(i32) +; PR14854 +; CHECK: @test5 +; CHECK: extractvalue +; CHECK: br label %tailrecurse +; CHECK: tailrecurse: +; CHECK: ifend: +; CHECK: insertvalue +define { i32*, i32 } @test5(i32 %i, { i32*, i32 } %e) { +entry: + br label %tailrecurse + +tailrecurse: ; preds = %then, %entry + %i.tr = phi i32 [ %i, %entry ], [ %cmp2, %then ] + %out = extractvalue { i32*, i32 } %e, 1 + %d = insertvalue { i32*, i32 } %e, i32* null, 0 + %cmp1 = icmp sgt i32 %out, %i.tr + br i1 %cmp1, label %then, label %ifend + +then: ; preds = %tailrecurse + call void @foo() + %cmp2 = add i32 %i.tr, 1 + br label %tailrecurse + +ifend: ; preds = %tailrecurse + ret { i32*, i32 } %d +} |