[all-commits] [llvm/llvm-project] 86727f: [IR] Allow poison argument to lifetime markers (#1...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 86727fe9a13daf313429c04fe602f45dbf35036c
      https://github.com/llvm/llvm-project/commit/86727fe9a13daf313429c04fe602f45dbf35036c
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2025-08-04 (Mon, 04 Aug 2025)

  Changed paths:
    M llvm/docs/LangRef.rst
    M llvm/lib/Analysis/StackLifetime.cpp
    M llvm/lib/CodeGen/GlobalISel/IRTranslator.cpp
    M llvm/lib/CodeGen/SelectionDAG/SelectionDAGBuilder.cpp
    M llvm/lib/IR/Verifier.cpp
    M llvm/lib/Transforms/Instrumentation/AddressSanitizer.cpp
    M llvm/lib/Transforms/Instrumentation/MemorySanitizer.cpp
    M llvm/lib/Transforms/Utils/Local.cpp
    M llvm/lib/Transforms/Utils/MemoryTaggingSupport.cpp
    A llvm/test/CodeGen/AArch64/lifetime-poison.ll
    M llvm/test/Instrumentation/AddressSanitizer/lifetime.ll
    M llvm/test/Instrumentation/HWAddressSanitizer/stack-safety-analysis.ll
    R llvm/test/Transforms/InstCombine/pr150338.ll
    A llvm/test/Transforms/InstCombine/unreachable-alloca-lifetime-markers.ll

  Log Message:
  -----------
  [IR] Allow poison argument to lifetime markers (#151148)

This slightly relaxes the invariant established in #149310, by also
allowing the lifetime argument to be poison. This is to support the
typical pattern of RAUWing with poison when removing an instruction.

It's worth noting that this does not require any conservative
assumptions, lifetimes with poison arguments can simply be skipped.

Fixes https://github.com/llvm/llvm-project/issues/151119.



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