diff options
| author | Sameer Sahasrabuddhe <sameer.sahasrabuddhe@amd.com> | 2022-12-15 11:22:46 +0530 |
|---|---|---|
| committer | Sameer Sahasrabuddhe <sameer.sahasrabuddhe@amd.com> | 2022-12-15 12:23:50 +0530 |
| commit | 179ed8871101cd197e0a719a3629cd5077b1a999 (patch) | |
| tree | e8938e9d333c3cc45492caab1a0604e1f2a57f4b /llvm/lib/Bitcode/Reader/BitcodeReader.cpp | |
| parent | eb5f4a7b47496e813a2bd3fc132e96ffe1790ae8 (diff) | |
[AAPointerInfo] handle multiple offsets in PHI
Previously reverted in 12696d302d146ffe616eecab3feceba9d29be2db
The arguments to a PHI may represent a recurrence by eventually using the output
of the PHI itself. This is now handled by checking for cycles in the control
flow. If a PHI is not in a recurrence, it is now able to report multiple offsets
instead of conservatively reporting unknown.
Reviewed By: jdoerfert
Differential Revision: https://reviews.llvm.org/D138991
Diffstat (limited to 'llvm/lib/Bitcode/Reader/BitcodeReader.cpp')
0 files changed, 0 insertions, 0 deletions