llvm-project

Commit Graph

Author	SHA1	Message	Date
Manman Ren	fe5a61edbe	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 llvm-svn: 171512	2013-01-04 19:19:47 +00:00

Author

SHA1

Message

Date

Manman Ren

fe5a61edbe

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

llvm-svn: 171512

2013-01-04 19:19:47 +00:00

1 Commits