diff options
| -rw-r--r-- | lib/Transforms/Scalar/GVN.cpp | 10 | ||||
| -rw-r--r-- | test/Transforms/GVN/crash-2.ll | 1 |
2 files changed, 10 insertions, 1 deletions
diff --git a/lib/Transforms/Scalar/GVN.cpp b/lib/Transforms/Scalar/GVN.cpp index ceb57f8..cbe7add 100644 --- a/lib/Transforms/Scalar/GVN.cpp +++ b/lib/Transforms/Scalar/GVN.cpp @@ -1449,6 +1449,16 @@ bool GVN::processNonLocalLoad(LoadInst *LI, LoadPtr = MD->GetAvailablePHITranslatedValue(LI->getOperand(0), LoadBB, UnavailablePred, TD, *DT); } + + // Assign value numbers to these new instructions. + for (SmallVector<Instruction*, 8>::iterator NI = NewInsts.begin(), + NE = NewInsts.end(); NI != NE; ++NI) { + // FIXME: We really _ought_ to insert these value numbers into their + // parent's availability map. However, in doing so, we risk getting into + // ordering issues. If a block hasn't been processed yet, we would be + // marking a value as AVAIL-IN, which isn't what we intend. + VN.lookup_or_add(*NI); + } // If we couldn't find or insert a computation of this phi translated value, // we fail PRE. diff --git a/test/Transforms/GVN/crash-2.ll b/test/Transforms/GVN/crash-2.ll index 8ef66c2..2bb5fb0 100644 --- a/test/Transforms/GVN/crash-2.ll +++ b/test/Transforms/GVN/crash-2.ll @@ -1,5 +1,4 @@ ; RUN: opt -gvn -S %s -; XFAIL: * ; rdar://7438974 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-n8:16:32:64" |