diff options
| author | Hal Finkel <hfinkel@anl.gov> | 2014-10-14 16:04:49 +0000 |
|---|---|---|
| committer | Hal Finkel <hfinkel@anl.gov> | 2014-10-14 16:04:49 +0000 |
| commit | a3f23e37255923a7f98344e6aed27857c05008ac (patch) | |
| tree | 4668502e083eab08ba7e4a069cb01558355f6b12 /llvm/lib/Analysis/Analysis.cpp | |
| parent | 256d37ad31c49e1eabcf4af02c09b479953f1101 (diff) | |
| download | bcm5719-llvm-a3f23e37255923a7f98344e6aed27857c05008ac.tar.gz bcm5719-llvm-a3f23e37255923a7f98344e6aed27857c05008ac.zip | |
[LVI] Check for @llvm.assume dominating the edge branch
When LazyValueInfo uses @llvm.assume intrinsics to provide edge-value
constraints, we should check for intrinsics that dominate the edge's branch,
not just any potential context instructions. An assumption that dominates the
edge's branch represents a truth on that edge. This is specifically useful, for
example, if multiple predecessors assume a pointer to be nonnull, allowing us
to simplify a later null comparison.
The test case, and an initial patch, were provided by Philip Reames. Thanks!
llvm-svn: 219688
Diffstat (limited to 'llvm/lib/Analysis/Analysis.cpp')
0 files changed, 0 insertions, 0 deletions
