diff options
| author | Johannes Doerfert <johannes@jdoerfert.de> | 2021-12-28 23:59:35 -0600 |
|---|---|---|
| committer | Johannes Doerfert <johannes@jdoerfert.de> | 2021-12-29 00:21:36 -0600 |
| commit | 5602c866c062622905899ee151f0dc868c846e7a (patch) | |
| tree | dee72a3a570f4c3697278bddbce452609e6eeb90 /llvm/lib/Bitcode/Reader/BitcodeReader.cpp | |
| parent | 3e0c512ce6cec6d7b83b87c49697adf5a67e4196 (diff) | |
[Attributor] Look through allocated heap memory
AAPointerInfo, and thereby other places, can look already through
internal global and stack memory. This patch enables them to look
through heap memory returned by functions with a `noalias` return.
In the future we can look through `noalias` arguments as well but that
will require AAIsDead to learn that such memory can be inspected by the
caller later on. We also need teach AAPointerInfo about dominance to
actually deal with memory that might not be `null` or `undef`
initialized. D106397 is a first step in that direction already.
Reviewed By: kuter
Differential Revision: https://reviews.llvm.org/D109170
Diffstat (limited to 'llvm/lib/Bitcode/Reader/BitcodeReader.cpp')
0 files changed, 0 insertions, 0 deletions