[all-commits] [llvm/llvm-project] d6ffa0: [RFC][IR] Support vector splats in `ConstantPointe...

[Shilei Tian via All-commits]

  Branch: refs/heads/users/shiltian/constant-pointer-null-vector-splat
  Home:   https://github.com/llvm/llvm-project
  Commit: d6ffa069da488f77aba1880eeba9c25e40bd4d05
      https://github.com/llvm/llvm-project/commit/d6ffa069da488f77aba1880eeba9c25e40bd4d05
  Author: Shilei Tian <i at tianshilei.me>
  Date:   2026-05-02 (Sat, 02 May 2026)

  Changed paths:
    M llvm/docs/ReleaseNotes.md
    M llvm/include/llvm/IR/Constants.h
    M llvm/include/llvm/SandboxIR/Constant.h
    M llvm/lib/Analysis/BasicAliasAnalysis.cpp
    M llvm/lib/Analysis/GlobalsModRef.cpp
    M llvm/lib/Analysis/MemoryBuiltins.cpp
    M llvm/lib/IR/AsmWriter.cpp
    M llvm/lib/IR/Constants.cpp
    M llvm/lib/IR/LLVMContextImpl.h
    M llvm/lib/SandboxIR/Constant.cpp
    M llvm/lib/Transforms/Utils/ValueMapper.cpp
    M llvm/test/Assembler/ConstantExprFold.ll
    M llvm/test/Assembler/aggregate-constant-values.ll
    M llvm/test/Assembler/opaque-ptr.ll
    M llvm/test/CodeGen/AMDGPU/codegen-prepare-addrspacecast-non-null-vector.ll
    M llvm/test/CodeGen/AMDGPU/lower-buffer-fat-pointers-constants.ll
    M llvm/test/CodeGen/AMDGPU/promote-alloca-vector-gep.ll
    M llvm/test/Instrumentation/MemorySanitizer/msan_basic.ll
    M llvm/test/Transforms/ConstraintElimination/geps-ptrvector.ll
    M llvm/test/Transforms/FunctionAttrs/vector-of-pointers-getunderlyingobject-crash.ll
    M llvm/test/Transforms/InferAddressSpaces/AMDGPU/issue110433.ll
    M llvm/test/Transforms/InstCombine/call.ll
    M llvm/test/Transforms/InstCombine/gep-inbounds-null.ll
    M llvm/test/Transforms/InstCombine/icmp.ll
    M llvm/test/Transforms/InstCombine/or.ll
    M llvm/test/Transforms/InstCombine/scalar_vector_gep.ll
    M llvm/test/Transforms/InstCombine/vscale_cmp.ll
    M llvm/test/Transforms/InstSimplify/ConstProp/inttoptr-gep-nonintegral.ll
    M llvm/test/Transforms/InstSimplify/gep.ll
    M llvm/test/Transforms/InstSimplify/vscale.ll
    M llvm/test/Transforms/LoadStoreVectorizer/NVPTX/4x2xhalf.ll
    M llvm/test/Transforms/LoopIdiom/non-integral-pointers.ll
    M llvm/test/Transforms/LoopVectorize/X86/cost-model.ll
    M llvm/test/Transforms/LoopVectorize/X86/interleave-opaque-pointers.ll
    M llvm/test/Transforms/LoopVectorize/X86/invariant-load-gather.ll
    M llvm/test/Transforms/LoopVectorize/X86/masked_load_store.ll
    M llvm/test/Transforms/LoopVectorize/X86/optsize.ll
    M llvm/test/Transforms/LoopVectorize/find-last.ll
    M llvm/test/Transforms/LoopVectorize/single_early_exit.ll
    M llvm/test/Transforms/LoopVectorize/vector-loop-backedge-elimination-outside-iv-users.ll
    M llvm/test/Transforms/RewriteStatepointsForGC/base-inference.ll
    M llvm/test/Transforms/RewriteStatepointsForGC/base-pointers.ll
    M llvm/test/Transforms/RewriteStatepointsForGC/base-vector.ll
    M llvm/test/Transforms/RewriteStatepointsForGC/insert-extract.ll
    M llvm/test/Transforms/SLPVectorizer/X86/catchswitch-block-in-use.ll
    M llvm/test/Transforms/SLPVectorizer/X86/many-uses-parent-node.ll
    M llvm/test/Transforms/SLPVectorizer/X86/scatter-vectorize-reorder-non-empty.ll
    M llvm/test/Transforms/SLPVectorizer/X86/split-vectorize-phi-user.ll
    M llvm/test/Transforms/SLPVectorizer/extract-vectorized-operand.ll
    M llvm/test/Transforms/SLPVectorizer/gep-with-extractelement-many-users.ll
    M llvm/test/Transforms/SLPVectorizer/revec.ll
    M llvm/test/Transforms/SROA/vector-promotion.ll
    M llvm/test/Transforms/Scalarizer/constant-extractelement.ll
    M llvm/test/Verifier/opaque-ptr.ll
    M llvm/test/Verifier/ptrmask.ll
    M llvm/test/tools/llvm-reduce/reduce-operands-ptr.ll
    M llvm/unittests/IR/ConstantsTest.cpp

  Log Message:
  -----------
  [RFC][IR] Support vector splats in `ConstantPointerNull`

This PR allows `ConstantPointerNull` to represent both scalar pointer nulls and
fixed or scalable vector splats of pointer nulls. This change first aligns with
the native splat behavior of `ConstantInt` and `ConstantFP`, and second, makes
it easier to eventually change the semantics of `ConstantPointerNull` to
represent a semantic null pointer instead of a zero value, which is what it
represents today.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications