diff options
| author | Florian Hahn <flo@fhahn.com> | 2024-10-03 16:02:34 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-10-03 16:02:34 +0100 |
| commit | dce5bf8efc13896ebf0ababfda00393eaa5cc99d (patch) | |
| tree | 193163b0f149cb57c8a842811c886e3efa25f452 /llvm/lib/Transforms/Utils/CloneFunction.cpp | |
| parent | 9fd75233ca757cf172d10703ac82fc162ef8ec0e (diff) | |
| download | llvm-dce5bf8efc13896ebf0ababfda00393eaa5cc99d.zip llvm-dce5bf8efc13896ebf0ababfda00393eaa5cc99d.tar.gz llvm-dce5bf8efc13896ebf0ababfda00393eaa5cc99d.tar.bz2 | |
[ValueTracking] AllowEphemerals for alignment assumptions. (#108632)
Allow AllowEphemerals in isValidAssumeForContext, as the CxtI might
be the producer of the pointer in the bundle. At the moment, align
assumptions aren't optimized away.
This allows using the assumption in the computeKnownBits call in
getConstantMultipleImpl.
We could extend the computeKnownBits API to allow callers to specify if
ephemerals are allowed, if the info from computeKnownBitsFromContext is
used to remove alignment assumptions.
PR: https://github.com/llvm/llvm-project/pull/108632
Diffstat (limited to 'llvm/lib/Transforms/Utils/CloneFunction.cpp')
0 files changed, 0 insertions, 0 deletions