diff options
| author | Chris Lattner <sabre@nondot.org> | 2009-01-14 00:12:58 +0000 |
|---|---|---|
| committer | Chris Lattner <sabre@nondot.org> | 2009-01-14 00:12:58 +0000 |
| commit | 92c6bd2c45f0002385300a8aa298fa34ef9bff64 (patch) | |
| tree | dd16f19893498c56fb5c75cb8d3b1ae9e31aebe2 /test | |
| parent | bbdc8207d587026212e176026d3e37ae043a6661 (diff) | |
| download | external_llvm-92c6bd2c45f0002385300a8aa298fa34ef9bff64.zip external_llvm-92c6bd2c45f0002385300a8aa298fa34ef9bff64.tar.gz external_llvm-92c6bd2c45f0002385300a8aa298fa34ef9bff64.tar.bz2 | |
rewrite OptimizeAwayTrappingUsesOfLoads to 1) avoid a temporary
vector and extraneous loop over it, 2) not delete globals used by
phis/selects etc which could actually be useful. This fixes PR3321.
Many thanks to Duncan for narrowing this down.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@62201 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test')
| -rw-r--r-- | test/Transforms/GlobalOpt/2009-01-13-phi-user.ll | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/test/Transforms/GlobalOpt/2009-01-13-phi-user.ll b/test/Transforms/GlobalOpt/2009-01-13-phi-user.ll new file mode 100644 index 0000000..03ec3b6 --- /dev/null +++ b/test/Transforms/GlobalOpt/2009-01-13-phi-user.ll @@ -0,0 +1,35 @@ +; RUN: llvm-as < %s | opt -globalopt | llvm-dis | grep {phi.*@head} +; PR3321 +target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128" +target triple = "x86_64-unknown-linux-gnu" + %struct.node = type { %struct.node*, i32 } +@head = internal global %struct.node* null ; <%struct.node**> [#uses=2] +@node = internal global %struct.node { %struct.node* null, i32 42 }, align 16 ; <%struct.node*> [#uses=1] + +define i32 @f() nounwind { +entry: + store %struct.node* @node, %struct.node** @head, align 8 + br label %bb1 + +bb: ; preds = %bb1 + %0 = getelementptr %struct.node* %t.0, i64 0, i32 1 ; <i32*> [#uses=1] + %1 = load i32* %0, align 4 ; <i32> [#uses=1] + %2 = getelementptr %struct.node* %t.0, i64 0, i32 0 ; <%struct.node**> [#uses=1] + br label %bb1 + +bb1: ; preds = %bb, %entry + %value.0 = phi i32 [ undef, %entry ], [ %1, %bb ] ; <i32> [#uses=1] + %t.0.in = phi %struct.node** [ @head, %entry ], [ %2, %bb ] ; <%struct.node**> [#uses=1] + %t.0 = load %struct.node** %t.0.in ; <%struct.node*> [#uses=3] + %3 = icmp eq %struct.node* %t.0, null ; <i1> [#uses=1] + br i1 %3, label %bb2, label %bb + +bb2: ; preds = %bb1 + ret i32 %value.0 +} + +define i32 @main() nounwind { +entry: + %0 = call i32 @f() nounwind ; <i32> [#uses=1] + ret i32 %0 +} |