[llvm] [InstCombine] ptrmask of gep for dynamic pointer aligment (PR #80002)

Jon Chesterfield via llvm-commits llvm-commits at lists.llvm.org
Thu Feb 15 08:35:32 PST 2024


================
@@ -966,6 +966,48 @@ Value *InstCombinerImpl::SimplifyDemandedUseBits(Value *V, APInt DemandedMask,
                 I, 1, (DemandedMask & ~LHSKnown.Zero).zextOrTrunc(MaskWidth)))
           return I;
 
+        // Combine:
+        // (ptrmask (getelementptr i8, ptr p, imm i), imm mask)
+        //   -> (ptrmask (getelementptr i8, ptr p, imm (i & mask)), imm mask)
+        // where only the low bits known to be zero in the pointer are changed
+        Value *InnerPtr;
+        uint64_t GEPIndex;
+        uint64_t PtrMaskImmediate;
+        if (match(I, m_Intrinsic<Intrinsic::ptrmask>(
+                         m_GEP(m_Value(InnerPtr), m_ConstantInt(GEPIndex)),
----------------
JonChesterfield wrote:

There probably is a more idomatic way to do this - in particular matching i8 is less good than matching arbitrary integer with a scaling factor - though m_PtrAdd doesn't appear to exist at present

https://github.com/llvm/llvm-project/pull/80002


More information about the llvm-commits mailing list