[PATCH] D20764: Reduce dependence on pointee types when deducing dereferenceability
Sanjoy Das via llvm-commits
llvm-commits at lists.llvm.org
Fri May 27 18:50:28 PDT 2016
sanjoy created this revision.
sanjoy added reviewers: apilipenko, dblaikie, hfinkel, reames.
sanjoy added a subscriber: llvm-commits.
Herald added a subscriber: mcrosier.
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
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.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 10309 bytes
Desc: not available
More information about the llvm-commits