[llvm] [IR] Reject unhandled assume bundles and seperate them from normal attributes (PR #197007)

Mon Jun 8 07:31:01 PDT 2026

llvm-ci wrote:

LLVM Buildbot has detected a new failure on builder `bolt-aarch64-ubuntu-clang` running on `bolt-worker-aarch64` while building `llvm` at step 6 "test-build-clang-bolt-stage2-clang-bolt".

Full details are available at: https://lab.llvm.org/buildbot/#/builders/128/builds/13622

<details>
<summary>Here is the relevant piece of the build log for the reference</summary>

```
Step 6 (test-build-clang-bolt-stage2-clang-bolt) failure: test (failure)
...
1.588 [3/33/1860] Building CXX object libcxx/src/CMakeFiles/cxx_static.dir/memory_resource.cpp.o
1.679 [3/32/1861] Building CXX object libcxx/src/CMakeFiles/cxx_static.dir/vector.cpp.o
1.891 [3/31/1862] Building CXX object libcxx/src/CMakeFiles/cxx_static.dir/fstream.cpp.o
1.924 [3/30/1863] Building CXX object libcxx/src/CMakeFiles/cxx_static.dir/future.cpp.o
1.982 [3/29/1864] Building CXX object libcxx/src/CMakeFiles/cxx_static.dir/atomic.cpp.o
1.991 [3/28/1865] Building CXX object libcxx/src/CMakeFiles/cxx_static.dir/memory.cpp.o
2.000 [3/27/1866] Building CXX object libcxx/src/CMakeFiles/cxx_static.dir/random_shuffle.cpp.o
2.020 [3/26/1867] Building CXX object libcxx/src/CMakeFiles/cxx_static.dir/barrier.cpp.o
2.036 [3/25/1868] Building CXX object libcxx/src/CMakeFiles/cxx_static.dir/print.cpp.o
2.164 [3/24/1869] Building CXX object libcxx/src/CMakeFiles/cxx_static.dir/charconv.cpp.o
FAILED: libcxx/src/CMakeFiles/cxx_static.dir/charconv.cpp.o 
/home/buildbot/workspace/bolt-aarch64-ubuntu-clang/build/./bin/clang++ --target=aarch64-unknown-linux-gnu -DLIBCXX_BUILDING_LIBCXXABI -DLIBC_NAMESPACE=__llvm_libc_common_utils -D_LIBCPP_AVAILABILITY_MINIMUM_HEADER_VERSION=2 -D_LIBCPP_BUILDING_LIBRARY -D_LIBCPP_DISABLE_VISIBILITY_ANNOTATIONS="" -D_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER -D_LIBCPP_LINK_PTHREAD_LIB -D_LIBCPP_LINK_RT_LIB -D_LIBCPP_REMOVE_TRANSITIVE_INCLUDES -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/home/buildbot/workspace/bolt-aarch64-ubuntu-clang/llvm-project/libcxx/src -I/home/buildbot/workspace/bolt-aarch64-ubuntu-clang/build/runtimes/runtimes-bins/compiler-rt/lib/fuzzer/libcxx_fuzzer_aarch64/build/include/c++/v1 -I/home/buildbot/workspace/bolt-aarch64-ubuntu-clang/llvm-project/libcxxabi/include -I/home/buildbot/workspace/bolt-aarch64-ubuntu-clang/llvm-project/cmake/Modules/../../libc -march=armv8-a -fvisibility-inlines-hidden -Werror=date-time -Werror=unguarded-availability-new -Wall -Wextra -Wno-unused-parameter -Wwrite-strings -Wcast-qual -Wmissing-field-initializers -Wimplicit-fallthrough -Wcovered-switch-default -Wno-noexcept-type -Wnon-virtual-dtor -Wdelete-non-virtual-dtor -Wsuggest-override -Wstring-conversion -Wno-pass-failed -Wmisleading-indentation -Wctad-maybe-unsupported -fdiagnostics-color -ffunction-sections -fdata-sections -Xclang -fno-pch-timestamp -O3 -DNDEBUG -fPIC -std=c++26 -faligned-allocation -nostdinc++ -fvisibility-inlines-hidden -fvisibility=hidden -fsized-deallocation -Wall -Wextra -Wnewline-eof -Wshadow -Wwrite-strings -Wno-unused-parameter -Wno-long-long -Werror=return-type -Wextra-semi -Wundef -Wunused-template -Wformat-nonliteral -Wzero-length-array -Wdeprecated-redundant-constexpr-static-def -Wno-nullability-completeness -Wmissing-prototypes -Wno-user-defined-literals -Wno-covered-switch-default -Wno-suggest-override -Wno-error -fno-exceptions -fdebug-prefix-map=/home/buildbot/workspace/bolt-aarch64-ubuntu-clang/build/runtimes/runtimes-bins/compiler-rt/lib/fuzzer/libcxx_fuzzer_aarch64/build/include/c++/v1=/home/buildbot/workspace/bolt-aarch64-ubuntu-clang/llvm-project/libcxx/include -MD -MT libcxx/src/CMakeFiles/cxx_static.dir/charconv.cpp.o -MF libcxx/src/CMakeFiles/cxx_static.dir/charconv.cpp.o.d -o libcxx/src/CMakeFiles/cxx_static.dir/charconv.cpp.o -c /home/buildbot/workspace/bolt-aarch64-ubuntu-clang/llvm-project/libcxx/src/charconv.cpp
clang++: /home/buildbot/workspace/bolt-aarch64-ubuntu-clang/llvm-project/llvm/lib/Analysis/ValueTracking.cpp:1093: void llvm::computeKnownBitsFromContext(const Value*, KnownBits&, const SimplifyQuery&, unsigned int): Assertion `Ptr == V' failed.
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace and dumped files.
Stack dump:
0.	Program arguments: /home/buildbot/workspace/bolt-aarch64-ubuntu-clang/build/./bin/clang++ --target=aarch64-unknown-linux-gnu -DLIBCXX_BUILDING_LIBCXXABI -DLIBC_NAMESPACE=__llvm_libc_common_utils -D_LIBCPP_AVAILABILITY_MINIMUM_HEADER_VERSION=2 -D_LIBCPP_BUILDING_LIBRARY -D_LIBCPP_DISABLE_VISIBILITY_ANNOTATIONS= -D_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER -D_LIBCPP_LINK_PTHREAD_LIB -D_LIBCPP_LINK_RT_LIB -D_LIBCPP_REMOVE_TRANSITIVE_INCLUDES -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/home/buildbot/workspace/bolt-aarch64-ubuntu-clang/llvm-project/libcxx/src -I/home/buildbot/workspace/bolt-aarch64-ubuntu-clang/build/runtimes/runtimes-bins/compiler-rt/lib/fuzzer/libcxx_fuzzer_aarch64/build/include/c++/v1 -I/home/buildbot/workspace/bolt-aarch64-ubuntu-clang/llvm-project/libcxxabi/include -I/home/buildbot/workspace/bolt-aarch64-ubuntu-clang/llvm-project/cmake/Modules/../../libc -march=armv8-a -fvisibility-inlines-hidden -Werror=date-time -Werror=unguarded-availability-new -Wall -Wextra -Wno-unused-parameter -Wwrite-strings -Wcast-qual -Wmissing-field-initializers -Wimplicit-fallthrough -Wcovered-switch-default -Wno-noexcept-type -Wnon-virtual-dtor -Wdelete-non-virtual-dtor -Wsuggest-override -Wstring-conversion -Wno-pass-failed -Wmisleading-indentation -Wctad-maybe-unsupported -fdiagnostics-color -ffunction-sections -fdata-sections -Xclang -fno-pch-timestamp -O3 -DNDEBUG -fPIC -std=c++26 -faligned-allocation -nostdinc++ -fvisibility-inlines-hidden -fvisibility=hidden -fsized-deallocation -Wall -Wextra -Wnewline-eof -Wshadow -Wwrite-strings -Wno-unused-parameter -Wno-long-long -Werror=return-type -Wextra-semi -Wundef -Wunused-template -Wformat-nonliteral -Wzero-length-array -Wdeprecated-redundant-constexpr-static-def -Wno-nullability-completeness -Wmissing-prototypes -Wno-user-defined-literals -Wno-covered-switch-default -Wno-suggest-override -Wno-error -fno-exceptions -fdebug-prefix-map=/home/buildbot/workspace/bolt-aarch64-ubuntu-clang/build/runtimes/runtimes-bins/compiler-rt/lib/fuzzer/libcxx_fuzzer_aarch64/build/include/c++/v1=/home/buildbot/workspace/bolt-aarch64-ubuntu-clang/llvm-project/libcxx/include -MD -MT libcxx/src/CMakeFiles/cxx_static.dir/charconv.cpp.o -MF libcxx/src/CMakeFiles/cxx_static.dir/charconv.cpp.o.d -o libcxx/src/CMakeFiles/cxx_static.dir/charconv.cpp.o -c /home/buildbot/workspace/bolt-aarch64-ubuntu-clang/llvm-project/libcxx/src/charconv.cpp
1.	<eof> parser at end of file
2.	Optimizer
3.	Running pass "require<globals-aa>,function(invalidate<aa>),require<profile-summary>,cgscc(devirt<4>(inline,function-attrs<skip-non-recursive-function-attrs>,argpromotion,openmp-opt-cgscc,function<eager-inv;no-rerun>(sroa<modify-cfg>,early-cse<memssa>,speculative-execution<only-if-divergent-target>,jump-threading,correlated-propagation,jump-table-to-switch,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-arithmetic;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-hoist-loads-stores-with-cond-faulting;no-sink-common-insts;speculate-blocks;simplify-cond-branch;no-speculate-unpredictables>,instcombine<max-iterations=1;no-verify-fixpoint>,aggressive-instcombine,libcalls-shrinkwrap,tailcallelim,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-arithmetic;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-hoist-loads-stores-with-cond-faulting;no-sink-common-insts;speculate-blocks;simplify-cond-branch;no-speculate-unpredictables>,reassociate,constraint-elimination,loop-mssa(loop-instsimplify,loop-simplifycfg,licm<no-allowspeculation>,loop-rotate<header-duplication;no-prepare-for-lto;no-check-exit-count>,licm<allowspeculation>,simple-loop-unswitch<nontrivial;trivial>),simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-arithmetic;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-hoist-loads-stores-with-cond-faulting;no-sink-common-insts;speculate-blocks;simplify-cond-branch;no-speculate-unpredictables>,instcombine<max-iterations=1;no-verify-fixpoint>,loop(loop-idiom,indvars,extra-simple-loop-unswitch-passes,loop-idiom-vectorize,loop-deletion,loop-unroll-full),sroa<modify-cfg>,vector-combine,mldst-motion<no-split-footer-bb>,gvn<>,sccp,bdce,instcombine<max-iterations=1;no-verify-fixpoint>,jump-threading,correlated-propagation,adce,memcpyopt,dse,move-auto-init,loop-mssa(licm<allowspeculation>),coro-elide,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;switch-to-arithmetic;no-switch-to-lookup;keep-loops;hoist-common-insts;no-hoist-loads-stores-with-cond-faulting;sink-common-insts;speculate-blocks;simplify-cond-branch;no-speculate-unpredictables>,instcombine<max-iterations=1;no-verify-fixpoint>),function-attrs,function(require<should-not-run-function-passes>),coro-split,coro-annotation-elide)),function(invalidate<should-not-run-function-passes>),cgscc(devirt<4>())" on module "/home/buildbot/workspace/bolt-aarch64-ubuntu-clang/llvm-project/libcxx/src/charconv.cpp"
4.	Running pass "cgscc(devirt<4>(inline,function-attrs<skip-non-recursive-function-attrs>,argpromotion,openmp-opt-cgscc,function<eager-inv;no-rerun>(sroa<modify-cfg>,early-cse<memssa>,speculative-execution<only-if-divergent-target>,jump-threading,correlated-propagation,jump-table-to-switch,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-arithmetic;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-hoist-loads-stores-with-cond-faulting;no-sink-common-insts;speculate-blocks;simplify-cond-branch;no-speculate-unpredictables>,instcombine<max-iterations=1;no-verify-fixpoint>,aggressive-instcombine,libcalls-shrinkwrap,tailcallelim,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-arithmetic;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-hoist-loads-stores-with-cond-faulting;no-sink-common-insts;speculate-blocks;simplify-cond-branch;no-speculate-unpredictables>,reassociate,constraint-elimination,loop-mssa(loop-instsimplify,loop-simplifycfg,licm<no-allowspeculation>,loop-rotate<header-duplication;no-prepare-for-lto;no-check-exit-count>,licm<allowspeculation>,simple-loop-unswitch<nontrivial;trivial>),simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-arithmetic;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-hoist-loads-stores-with-cond-faulting;no-sink-common-insts;speculate-blocks;simplify-cond-branch;no-speculate-unpredictables>,instcombine<max-iterations=1;no-verify-fixpoint>,loop(loop-idiom,indvars,extra-simple-loop-unswitch-passes,loop-idiom-vectorize,loop-deletion,loop-unroll-full),sroa<modify-cfg>,vector-combine,mldst-motion<no-split-footer-bb>,gvn<>,sccp,bdce,instcombine<max-iterations=1;no-verify-fixpoint>,jump-threading,correlated-propagation,adce,memcpyopt,dse,move-auto-init,loop-mssa(licm<allowspeculation>),coro-elide,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;switch-to-arithmetic;no-switch-to-lookup;keep-loops;hoist-common-insts;no-hoist-loads-stores-with-cond-faulting;sink-common-insts;speculate-blocks;simplify-cond-branch;no-speculate-unpredictables>,instcombine<max-iterations=1;no-verify-fixpoint>),function-attrs,function(require<should-not-run-function-passes>),coro-split,coro-annotation-elide))" on module "/home/buildbot/workspace/bolt-aarch64-ubuntu-clang/llvm-project/libcxx/src/charconv.cpp"
5.	Running pass "instcombine<max-iterations=1;no-verify-fixpoint>" on function "_ZNSt8__Fuzzer36_Floating_to_chars_general_precisionB9nqn230000IdEENS_15to_chars_resultEPcS2_T_i"
 #0 0x0000c1886055c020 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/home/buildbot/workspace/bolt-aarch64-ubuntu-clang/build/./bin/clang+++0xb55c020)
 #1 0x0000c18860559b88 llvm::sys::RunSignalHandlers() (/home/buildbot/workspace/bolt-aarch64-ubuntu-clang/build/./bin/clang+++0xb559b88)
 #2 0x0000c1886055a558 llvm::sys::CleanupOnSignal(unsigned long) (/home/buildbot/workspace/bolt-aarch64-ubuntu-clang/build/./bin/clang+++0xb55a558)
 #3 0x0000c188604d7ee0 CrashRecoverySignalHandler(int) CrashRecoveryContext.cpp:0:0
 #4 0x0000e91c81e0a8f8 (linux-vdso.so.1+0x8f8)
 #5 0x0000e91c818d7608 (/lib/aarch64-linux-gnu/libc.so.6+0x87608)
 #6 0x0000e91c8188cb3c raise (/lib/aarch64-linux-gnu/libc.so.6+0x3cb3c)
 #7 0x0000e91c81877e00 abort (/lib/aarch64-linux-gnu/libc.so.6+0x27e00)
 #8 0x0000e91c81885cc0 (/lib/aarch64-linux-gnu/libc.so.6+0x35cc0)
 #9 0x0000e91c81885d30 __assert_perror_fail (/lib/aarch64-linux-gnu/libc.so.6+0x35d30)
#10 0x0000c1885edffa50 llvm::computeKnownBitsFromContext(llvm::Value const*, llvm::KnownBits&, llvm::SimplifyQuery const&, unsigned int) (.cold.0) bolt-pseudo.o:0:0
#11 0x0000c1885de025ec computeKnownBits(llvm::Value const*, llvm::APInt const&, llvm::KnownBits&, llvm::SimplifyQuery const&, unsigned int) ValueTracking.cpp:0:0
#12 0x0000c1885de0963c llvm::computeKnownBits(llvm::Value const*, llvm::KnownBits&, llvm::SimplifyQuery const&, unsigned int) (/home/buildbot/workspace/bolt-aarch64-ubuntu-clang/build/./bin/clang+++0x8e0963c)
#13 0x0000c1885df8b254 llvm::InstCombinerImpl::SimplifyMultipleUseDemandedBits(llvm::Instruction*, llvm::APInt const&, llvm::KnownBits&, llvm::SimplifyQuery const&, unsigned int) InstCombineSimplifyDemanded.cpp:0:0
#14 0x0000c1885df8c1f8 llvm::InstCombinerImpl::SimplifyDemandedBits(llvm::Instruction*, unsigned int, llvm::APInt const&, llvm::KnownBits&, llvm::SimplifyQuery const&, unsigned int) InstCombineSimplifyDemanded.cpp:0:0
#15 0x0000c1885df8c89c llvm::InstCombinerImpl::foldICmpUsingKnownBits(llvm::ICmpInst&) InstCombineCompares.cpp:0:0
#16 0x0000c1885df93084 llvm::InstCombinerImpl::visitICmpInst(llvm::ICmpInst&) InstCombineCompares.cpp:0:0
#17 0x0000c1885de2395c llvm::InstCombinerImpl::run() InstructionCombining.cpp:0:0
#18 0x0000c1885decbd1c combineInstructionsOverFunction(llvm::Function&, llvm::InstructionWorklist&, llvm::AAResults*, llvm::AssumptionCache&, llvm::TargetLibraryInfo&, llvm::TargetTransformInfo&, llvm::DominatorTree&, llvm::OptimizationRemarkEmitter&, llvm::BlockFrequencyInfo*, llvm::BranchProbabilityInfo*, llvm::ProfileSummaryInfo*, llvm::InstCombineOptions const&) InstructionCombining.cpp:0:0
#19 0x0000c1885dfcbab4 llvm::InstCombinePass::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/home/buildbot/workspace/bolt-aarch64-ubuntu-clang/build/./bin/clang+++0x8fcbab4)
#20 0x0000c1885dfcb670 llvm::detail::PassModel<llvm::Function, llvm::InstCombinePass, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) BackendUtil.cpp:0:0
#21 0x0000c1885de5a898 llvm::PassManager<llvm::Function, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/home/buildbot/workspace/bolt-aarch64-ubuntu-clang/build/./bin/clang+++0x8e5a898)
#22 0x0000c1885de5a63c llvm::detail::PassModel<llvm::Function, llvm::PassManager<llvm::Function, llvm::AnalysisManager<llvm::Function>>, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) BackendUtil.cpp:0:0
#23 0x0000c1885e0e5088 llvm::CGSCCToFunctionPassAdaptor::run(llvm::LazyCallGraph::SCC&, llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>&, llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&) (/home/buildbot/workspace/bolt-aarch64-ubuntu-clang/build/./bin/clang+++0x90e5088)
#24 0x0000c1885e0e4cf4 llvm::detail::PassModel<llvm::LazyCallGraph::SCC, llvm::CGSCCToFunctionPassAdaptor, llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>, llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&>::run(llvm::LazyCallGraph::SCC&, llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>&, llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&) PassBuilder.cpp:0:0
#25 0x0000c1885e0e33c0 llvm::PassManager<llvm::LazyCallGraph::SCC, llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>, llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&>::run(llvm::LazyCallGraph::SCC&, llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>&, llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&) (/home/buildbot/workspace/bolt-aarch64-ubuntu-clang/build/./bin/clang+++0x90e33c0)
#26 0x0000c1885e0e3104 llvm::detail::PassModel<llvm::LazyCallGraph::SCC, llvm::PassManager<llvm::LazyCallGraph::SCC, llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>, llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&>, llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>, llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&>::run(llvm::LazyCallGraph::SCC&, llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>&, llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&) PassBuilder.cpp:0:0
#27 0x0000c1885e0e4438 llvm::DevirtSCCRepeatedPass::run(llvm::LazyCallGraph::SCC&, llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>&, llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&) (/home/buildbot/workspace/bolt-aarch64-ubuntu-clang/build/./bin/clang+++0x90e4438)

```

</details>

https://github.com/llvm/llvm-project/pull/197007