[llvm] [Attributor] Propagate alignment through ptrmask (PR #150158)
via llvm-commits
llvm-commits at lists.llvm.org
Thu Sep 11 20:13:48 PDT 2025
================
@@ -5187,6 +5187,59 @@ struct AADereferenceableCallSiteReturned final
// ------------------------ Align Argument Attribute ------------------------
namespace {
+
+Align getKnownAlignForIntrinsic(Attributor &A, AAAlign &QueryingAA,
+ const IntrinsicInst &II) {
+ switch (II.getIntrinsicID()) {
+ case Intrinsic::ptrmask: {
+ const auto *ConstVals = A.getAAFor<AAPotentialConstantValues>(
+ QueryingAA, IRPosition::value(*(II.getOperand(1))), DepClassTy::NONE);
+ const auto *AlignAA = A.getAAFor<AAAlign>(QueryingAA, IRPosition::value(II),
+ DepClassTy::NONE);
+ if (ConstVals && ConstVals->isValidState() && ConstVals->isAtFixpoint()) {
+ unsigned ShiftValue =
+ std::min(ConstVals->getAssumedMinTrailingZeros(), (unsigned)63);
+ Align ConstAlign(1 << ShiftValue);
----------------
Shoreshen wrote:
Hi @arsenm , `PowerOf2Ceil` is going to take the log of `ConstVals->getAssumedMinTrailingZeros() - 1`, so I copied the function replaced it as `UINT64_C(1) << ShiftValue`...
https://github.com/llvm/llvm-project/pull/150158
More information about the llvm-commits
mailing list