[all-commits] [llvm/llvm-project] 88bd36: Reapply "[IR] Reject unhandled assume bundles and ...

[Nikolas Klauser via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 88bd366041fd539d2e8d75f2b2ae081940922f8e
      https://github.com/llvm/llvm-project/commit/88bd366041fd539d2e8d75f2b2ae081940922f8e
  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/LazyValueAnalysis/lvi-after-jumpthreading.ll
    A llvm/test/Analysis/ValueTracking/assume-on-value.ll
    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:
  -----------
  Reapply "[IR] Reject unhandled assume bundles and seperate them from normal attributes" (#202336) (#202355)

The crash is fixed by checking for equality of value and assumption
instead of asserting it.

Original message:
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.

This reverts commit d11a71905634e8fee7f4ab9c489317cccc23e0ad.



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