[all-commits] [llvm/llvm-project] 377e0f: [IR] Reject unhandled assume bundles and seperate ...

[Nikolas Klauser via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 377e0fb58d2bd7c933aea0c00076e75ba6d52896
      https://github.com/llvm/llvm-project/commit/377e0fb58d2bd7c933aea0c00076e75ba6d52896
  Author: Nikolas Klauser <nikolasklauser at berlin.de>
  Date:   2026-06-08 (Mon, 08 Jun 2026)

  Changed paths:
    M llvm/docs/LangRef.rst
    M llvm/docs/ReleaseNotes.md
    A llvm/include/llvm/IR/BundleAttributes.def
    A llvm/include/llvm/IR/BundleAttributes.h
    M llvm/include/llvm/IR/InstrTypes.h
    M llvm/include/llvm/Transforms/Utils/PredicateInfo.h
    M llvm/lib/Analysis/LazyValueInfo.cpp
    M llvm/lib/Analysis/ValueTracking.cpp
    A llvm/lib/IR/BundleAttributes.cpp
    M llvm/lib/IR/CMakeLists.txt
    M llvm/lib/IR/Verifier.cpp
    M llvm/lib/Transforms/InstCombine/InstCombineCalls.cpp
    M llvm/lib/Transforms/Utils/AssumeBundleBuilder.cpp
    M llvm/lib/Transforms/Utils/PredicateInfo.cpp
    R llvm/test/Analysis/ValueTracking/assume-queries-counter.ll
    M llvm/test/Analysis/ValueTracking/assume.ll
    M llvm/test/Transforms/AlignmentFromAssumptions/simple.ll
    M llvm/test/Transforms/Attributor/nofpclass.ll
    M llvm/test/Transforms/Attributor/nofree.ll
    M llvm/test/Transforms/InstCombine/assume.ll
    M llvm/test/Transforms/Util/assume-builder.ll
    M llvm/test/Verifier/assume-bundles.ll
    M llvm/unittests/Analysis/AssumeBundleQueriesTest.cpp

  Log Message:
  -----------
  [IR] Reject unhandled assume bundles and seperate them from normal attributes (#197007)

This patch introduces the concepts of bundle attributes and updates the
code base to use them in most places where assume bundles are handled.
The notable exception is the knowledge retention API, since it tries to
be generic for attributes. However, the `--assume-preserve-all` flag is
removed, since all attributes not listed in the bundle attributes are
rejected by the verifier now. This shouldn't be a huge problem, since
any attributes not listed there were completely unused.
New functions with the naming scheme `getAssume<AttrName>Info` are also
added for attributes which are used without having to enable
experimental features.



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