projects / oota-llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 63723e5) | patch
Memory Dependence Analysis: fix a miscompile that uses DT to approxmiate the
authorManman Ren <mren@apple.com>
Fri, 4 Jan 2013 19:19:47 +0000 (19:19 +0000)
committerManman Ren <mren@apple.com>
Fri, 4 Jan 2013 19:19:47 +0000 (19:19 +0000)
commitc55bd47105ef8e362cfb2a2c97ee3e23145aca4d
treedcfd58c47215cc7c814d162ce379239be6b1e587tree | snapshot
parent63723e5bf8bc1e5b699733cb79992b720b20f0d5commit | diff
Memory Dependence Analysis: fix a miscompile that uses DT to approxmiate the
reachablity.

We conservatively approximate the reachability analysis by saying it is not
reachable if there is a single path starting from "From" and the path does not
reach "To".

rdar://12801584

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@171512 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/AliasAnalysis.cpp diff | blob | history
test/Transforms/GVN/MemdepMiscompile.ll [new file with mode: 0644] blob
C/C++ LLVM-based compilers that forbids OOTA behaviors