diff options
| author | Bill Wendling <isanbard@gmail.com> | 2013-11-25 18:08:07 +0000 |
|---|---|---|
| committer | Bill Wendling <isanbard@gmail.com> | 2013-11-25 18:08:07 +0000 |
| commit | 1349899ba424eb4655c890bdfecb514682627a8d (patch) | |
| tree | e4dd2adf06cb2ad93dc0df9fbc4da4017ab12dcd | |
| parent | ddc3c964657cc0be4994ddfaf056d5ec6bb11e5b (diff) | |
| download | llvm-1349899ba424eb4655c890bdfecb514682627a8d.tar.gz llvm-1349899ba424eb4655c890bdfecb514682627a8d.tar.bz2 llvm-1349899ba424eb4655c890bdfecb514682627a8d.tar.xz | |
Merging r195670:
------------------------------------------------------------------------
r195670 | void | 2013-11-25 10:05:22 -0800 (Mon, 25 Nov 2013) | 5 lines
Unrevert r195599 with testcase fix.
I'm not sure how it was checking for the wrong values...
PR18023.
------------------------------------------------------------------------
git-svn-id: https://llvm.org/svn/llvm-project/llvm/branches/release_34@195672 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | lib/CodeGen/SelectionDAG/DAGCombiner.cpp | 5 | ||||
| -rw-r--r-- | test/CodeGen/X86/pr18023.ll | 31 |
2 files changed, 36 insertions, 0 deletions
diff --git a/lib/CodeGen/SelectionDAG/DAGCombiner.cpp b/lib/CodeGen/SelectionDAG/DAGCombiner.cpp index c126a53611..805cc9e0f2 100644 --- a/lib/CodeGen/SelectionDAG/DAGCombiner.cpp +++ b/lib/CodeGen/SelectionDAG/DAGCombiner.cpp @@ -8692,6 +8692,11 @@ bool DAGCombiner::MergeConsecutiveStores(StoreSDNode* St) { Index = STn; break; } else if (LoadSDNode *Ldn = dyn_cast<LoadSDNode>(NextInChain)) { + if (Ldn->isVolatile()) { + Index = NULL; + break; + } + // Save the load node for later. Continue the scan. AliasLoadNodes.push_back(Ldn); NextInChain = Ldn->getChain().getNode(); diff --git a/test/CodeGen/X86/pr18023.ll b/test/CodeGen/X86/pr18023.ll new file mode 100644 index 0000000000..4c6f8cfce7 --- /dev/null +++ b/test/CodeGen/X86/pr18023.ll @@ -0,0 +1,31 @@ +; RUN: llc < %s -mtriple x86_64-apple-macosx10.9.0 | FileCheck %s +; PR18023 + +; CHECK: movabsq $4294967296, %rcx +; CHECK: movq %rcx, (%rax) +; CHECK: movl $1, 4(%rax) +; CHECK: movl $0, 4(%rax) +; CHECK: movq $1, 4(%rax) + +@c = common global i32 0, align 4 +@a = common global [3 x i32] zeroinitializer, align 4 +@b = common global i32 0, align 4 +@.str = private unnamed_addr constant [4 x i8] c"%d\0A\00", align 1 + +define void @func() { + store i32 1, i32* getelementptr inbounds ([3 x i32]* @a, i64 0, i64 1), align 4 + store i32 0, i32* getelementptr inbounds ([3 x i32]* @a, i64 0, i64 0), align 4 + %1 = load volatile i32* @b, align 4 + store i32 1, i32* getelementptr inbounds ([3 x i32]* @a, i64 0, i64 1), align 4 + store i32 0, i32* getelementptr inbounds ([3 x i32]* @a, i64 0, i64 1), align 4 + %2 = load volatile i32* @b, align 4 + store i32 1, i32* getelementptr inbounds ([3 x i32]* @a, i64 0, i64 1), align 4 + store i32 0, i32* getelementptr inbounds ([3 x i32]* @a, i64 0, i64 2), align 4 + %3 = load volatile i32* @b, align 4 + store i32 3, i32* @c, align 4 + %4 = load i32* getelementptr inbounds ([3 x i32]* @a, i64 0, i64 1), align 4 + %call = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([4 x i8]* @.str, i64 0, i64 0), i32 %4) + ret void +} + +declare i32 @printf(i8*, ...) |