diff options
author | Duncan Sands <baldrick@free.fr> | 2009-02-03 10:23:33 +0000 |
---|---|---|
committer | Duncan Sands <baldrick@free.fr> | 2009-02-03 10:23:33 +0000 |
commit | 95c5f05641e0afdfcbeb430090e1cd0356dddfbc (patch) | |
tree | 3cd576e99187b39faaee256456e3172c20e39ce0 /test/CodeGen/X86/2009-02-03-AnalyzedTwice.ll | |
parent | 388df627ccca4ac1db4b26dd0e46947191fcf0a7 (diff) | |
download | external_llvm-95c5f05641e0afdfcbeb430090e1cd0356dddfbc.zip external_llvm-95c5f05641e0afdfcbeb430090e1cd0356dddfbc.tar.gz external_llvm-95c5f05641e0afdfcbeb430090e1cd0356dddfbc.tar.bz2 |
Fix PR3411. When replacing values, nodes are analyzed
in any old order. Since analyzing a node analyzes its
operands also, this can mean that when we pop a node
off the list of nodes to be analyzed, it may already
have been analyzed.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@63632 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/CodeGen/X86/2009-02-03-AnalyzedTwice.ll')
-rw-r--r-- | test/CodeGen/X86/2009-02-03-AnalyzedTwice.ll | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/test/CodeGen/X86/2009-02-03-AnalyzedTwice.ll b/test/CodeGen/X86/2009-02-03-AnalyzedTwice.ll new file mode 100644 index 0000000..5f97ee7 --- /dev/null +++ b/test/CodeGen/X86/2009-02-03-AnalyzedTwice.ll @@ -0,0 +1,30 @@ +; RUN: llvm-as < %s | llc -march=x86 +; PR3411 + +target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:32:32" +target triple = "i386-pc-linux-gnu" +@g_3 = external global i32 ; <i32*> [#uses=1] + +define void @bar(i64 %p_66) nounwind { +entry: + br i1 false, label %bb, label %bb1 + +bb: ; preds = %entry + unreachable + +bb1: ; preds = %entry + %0 = load i32* @g_3, align 4 ; <i32> [#uses=2] + %1 = sext i32 %0 to i64 ; <i64> [#uses=1] + %2 = or i64 %1, %p_66 ; <i64> [#uses=1] + %3 = shl i64 %2, 0 ; <i64> [#uses=1] + %4 = and i64 %3, %p_66 ; <i64> [#uses=1] + %5 = icmp eq i64 %4, 1 ; <i1> [#uses=1] + %6 = trunc i64 %p_66 to i32 ; <i32> [#uses=2] + %7 = or i32 %0, %6 ; <i32> [#uses=2] + %8 = sub i32 %7, %6 ; <i32> [#uses=1] + %iftmp.0.0 = select i1 %5, i32 %8, i32 %7 ; <i32> [#uses=1] + %9 = tail call i32 @foo(i32 %iftmp.0.0) nounwind ; <i32> [#uses=0] + ret void +} + +declare i32 @foo(i32) |