forked from OSchip/llvm-project
10df497a1f
Summary: Change some of the internal interfaces in Loads.cpp to keep track of the number of bytes we're trying to prove dereferenceable using an explicit `Size` parameter. Before this, the `Size` parameter was implicitly inferred from the pointee type of the pointer whose dereferenceability we were trying to prove, causing us to be conservative around bitcasts. This was unfortunate since bitcast instructions are no-ops and should never break optimizations. With an explicit `Size` parameter, we're more precise (as shown in the test cases), and the code is simpler. We should eventually move towards a `DerefQuery` struct that groups together a base pointer, an offset, a size and an alignment; but this patch is a first step. Reviewers: apilipenko, dblaikie, hfinkel, reames Subscribers: mcrosier, llvm-commits Differential Revision: http://reviews.llvm.org/D20764 llvm-svn: 271406 |
||
|---|---|---|
| .. | ||
| assume.ll | ||
| deref-bitcast-of-gep.ll | ||
| known-bits-from-range-md.ll | ||
| known-non-equal.ll | ||
| known-power-of-two.ll | ||
| knownnonzero-shift.ll | ||
| knownzero-shift.ll | ||
| memory-dereferenceable.ll | ||
| monotonic-phi.ll | ||
| pr23011.ll | ||