[all-commits] [llvm/llvm-project] 5ece35: Add the 'initializes' attribute langref and suppor...

[Haopeng Liu via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 5ece35df8586d0cb8c104a9f44eaae771de025f5
      https://github.com/llvm/llvm-project/commit/5ece35df8586d0cb8c104a9f44eaae771de025f5
  Author: Haopeng Liu <153236845+haopliu at users.noreply.github.com>
  Date:   2024-06-21 (Fri, 21 Jun 2024)

  Changed paths:
    M llvm/docs/LangRef.rst
    M llvm/include/llvm/AsmParser/LLParser.h
    M llvm/include/llvm/Bitcode/LLVMBitCodes.h
    M llvm/include/llvm/IR/Attributes.h
    M llvm/include/llvm/IR/Attributes.td
    A llvm/include/llvm/IR/ConstantRangeList.h
    M llvm/lib/AsmParser/LLParser.cpp
    M llvm/lib/Bitcode/Reader/BitcodeReader.cpp
    M llvm/lib/Bitcode/Writer/BitcodeWriter.cpp
    M llvm/lib/IR/AttributeImpl.h
    M llvm/lib/IR/Attributes.cpp
    M llvm/lib/IR/CMakeLists.txt
    A llvm/lib/IR/ConstantRangeList.cpp
    M llvm/lib/IR/LLVMContextImpl.cpp
    M llvm/lib/IR/LLVMContextImpl.h
    M llvm/lib/IR/Verifier.cpp
    M llvm/lib/Transforms/Utils/CodeExtractor.cpp
    A llvm/test/Assembler/initializes-attribute-invalid.ll
    M llvm/test/Bitcode/attributes.ll
    A llvm/test/Verifier/initializes-attr.ll
    M llvm/unittests/IR/CMakeLists.txt
    A llvm/unittests/IR/ConstantRangeListTest.cpp
    M llvm/utils/TableGen/Attributes.cpp

  Log Message:
  -----------
  Add the 'initializes' attribute langref and support (#84803)

We propose adding a new LLVM attribute,
`initializes((Lo1,Hi1),(Lo2,Hi2),...)`, which expresses the notion of
memory space (i.e., intervals, in bytes) that the argument pointing to
is initialized in the function.

Will commit the attribute inferring in the follow-up PRs.


https://discourse.llvm.org/t/rfc-llvm-new-initialized-parameter-attribute-for-improved-interprocedural-dse/77337



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