diff options
| author | Florian Hahn <flo@fhahn.com> | 2025-08-01 14:18:07 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-08-01 14:18:07 +0100 |
| commit | 2ae996cbbe92f006d711eeeb8f29e0946fc1c1e8 (patch) | |
| tree | 9016795ce5fd22d4c66fa7a255238a75b5258231 /llvm/docs/tutorial | |
| parent | 6da1a0908a975a55adb5eae293b37ae0a850b21d (diff) | |
| download | llvm-2ae996cbbe92f006d711eeeb8f29e0946fc1c1e8.zip llvm-2ae996cbbe92f006d711eeeb8f29e0946fc1c1e8.tar.gz llvm-2ae996cbbe92f006d711eeeb8f29e0946fc1c1e8.tar.bz2 | |
[LAA] Support assumptions in evaluatePtrAddRecAtMaxBTCWillNotWrap (#147047)
This patch extends the logic added in
https://github.com/llvm/llvm-project/pull/128061 to support
dereferenceability information from assumptions as well.
Unfortunately both assumption cache and the dominator tree need to be
threaded through multiple layers to make them available where needed.
PR: https://github.com/llvm/llvm-project/pull/147047
Diffstat (limited to 'llvm/docs/tutorial')
0 files changed, 0 insertions, 0 deletions