[Mlir-commits] [mlir] [MLIR][Python] Add `ConditionallySpeculatable` interface and `Pure` specifier (PR #195505)

Tue May 5 00:11:22 PDT 2026

llvm-ci wrote:

LLVM Buildbot has detected a new failure on builder `flang-aarch64-libcxx` running on `linaro-flang-aarch64-libcxx` while building `mlir` at step 10 "build-flang-unified-tree".

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

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

```
Step 10 (build-flang-unified-tree) failure: build (failure)
...
71.738 [147/33/294] Building CXX object lib/Parser/CMakeFiles/FortranParser.dir/parsing.cpp.o
79.643 [147/32/295] Building CXX object lib/Semantics/CMakeFiles/FortranSemantics.dir/cmake_pch.hxx.pch
80.240 [138/40/296] Building CXX object lib/Semantics/CMakeFiles/FortranSemantics.dir/attr.cpp.o
80.937 [138/39/297] Building CXX object lib/Semantics/CMakeFiles/FortranSemantics.dir/check-arithmeticif.cpp.o
87.285 [138/38/298] Building CXX object lib/Parser/CMakeFiles/FortranParser.dir/io-parsers.cpp.o
97.260 [138/37/299] Building CXX object lib/Evaluate/CMakeFiles/FortranEvaluate.dir/constant.cpp.o
104.953 [138/36/300] Building CXX object lib/Parser/CMakeFiles/FortranParser.dir/openacc-parsers.cpp.o
116.780 [138/35/301] Building CXX object lib/Frontend/CMakeFiles/flangFrontend.dir/cmake_pch.hxx.pch
132.940 [138/34/302] Building CXX object lib/Semantics/CMakeFiles/FortranSemantics.dir/canonicalize-omp.cpp.o
133.033 [138/33/303] Building CXX object lib/Lower/CMakeFiles/FortranLower.dir/cmake_pch.hxx.pch
FAILED: lib/Lower/CMakeFiles/FortranLower.dir/cmake_pch.hxx.pch 
/usr/local/bin/c++ -DFLANG_INCLUDE_TESTS=1 -D_DEBUG -D_GLIBCXX_ASSERTIONS -D_GNU_SOURCE -D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_EXTENSIVE -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/home/tcwg-buildbot/worker/flang-aarch64-libcxx/build_flang/lib/Lower -I/home/tcwg-buildbot/worker/flang-aarch64-libcxx/llvm-project/flang/lib/Lower -I/home/tcwg-buildbot/worker/flang-aarch64-libcxx/llvm-project/flang/include -I/home/tcwg-buildbot/worker/flang-aarch64-libcxx/build_flang/include -isystem /home/tcwg-buildbot/worker/flang-aarch64-libcxx/llvm-project/mlir/include -isystem /home/tcwg-buildbot/worker/flang-aarch64-libcxx/build_llvm/tools/mlir/include -isystem /home/tcwg-buildbot/worker/flang-aarch64-libcxx/llvm-project/llvm/include -isystem /home/tcwg-buildbot/worker/flang-aarch64-libcxx/build_llvm/include -isystem /home/tcwg-buildbot/worker/flang-aarch64-libcxx/llvm-project/clang/include -isystem /home/tcwg-buildbot/worker/flang-aarch64-libcxx/build_llvm/tools/clang/include -stdlib=libc++ -fPIC -fno-semantic-interposition -fvisibility-inlines-hidden -Werror=date-time -Werror=unguarded-availability-new -Wall -Wextra -Wno-unused-parameter -Wwrite-strings -Wcast-qual -Wmissing-field-initializers -pedantic -Wno-long-long -Wc++98-compat-extra-semi -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 -Werror -Wno-deprecated-copy -Wno-string-conversion -Wno-ctad-maybe-unsupported -Wno-unused-command-line-argument -Wstring-conversion           -Wcovered-switch-default -Wno-nested-anon-types -O3 -DNDEBUG -std=c++17   -D_GNU_SOURCE -D_DEBUG -D_GLIBCXX_ASSERTIONS -D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_EXTENSIVE -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -UNDEBUG -fno-exceptions -funwind-tables -fno-rtti -Winvalid-pch -fpch-instantiate-templates -Xclang -emit-pch -Xclang -include -Xclang /home/tcwg-buildbot/worker/flang-aarch64-libcxx/build_flang/lib/Lower/CMakeFiles/FortranLower.dir/cmake_pch.hxx -x c++-header -MD -MT lib/Lower/CMakeFiles/FortranLower.dir/cmake_pch.hxx.pch -MF lib/Lower/CMakeFiles/FortranLower.dir/cmake_pch.hxx.pch.d -o lib/Lower/CMakeFiles/FortranLower.dir/cmake_pch.hxx.pch -c /home/tcwg-buildbot/worker/flang-aarch64-libcxx/build_flang/lib/Lower/CMakeFiles/FortranLower.dir/cmake_pch.hxx.cxx
fatal error: error in backend: IO failure on output stream: No space left on device
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace, preprocessed source, and associated run script.
Stack dump:
0.	Program arguments: /usr/local/LLVM-21.1.1-Linux-ARM64/bin/clang++ -DFLANG_INCLUDE_TESTS=1 -D_DEBUG -D_GLIBCXX_ASSERTIONS -D_GNU_SOURCE -D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_EXTENSIVE -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/home/tcwg-buildbot/worker/flang-aarch64-libcxx/build_flang/lib/Lower -I/home/tcwg-buildbot/worker/flang-aarch64-libcxx/llvm-project/flang/lib/Lower -I/home/tcwg-buildbot/worker/flang-aarch64-libcxx/llvm-project/flang/include -I/home/tcwg-buildbot/worker/flang-aarch64-libcxx/build_flang/include -isystem /home/tcwg-buildbot/worker/flang-aarch64-libcxx/llvm-project/mlir/include -isystem /home/tcwg-buildbot/worker/flang-aarch64-libcxx/build_llvm/tools/mlir/include -isystem /home/tcwg-buildbot/worker/flang-aarch64-libcxx/llvm-project/llvm/include -isystem /home/tcwg-buildbot/worker/flang-aarch64-libcxx/build_llvm/include -isystem /home/tcwg-buildbot/worker/flang-aarch64-libcxx/llvm-project/clang/include -isystem /home/tcwg-buildbot/worker/flang-aarch64-libcxx/build_llvm/tools/clang/include -stdlib=libc++ -fPIC -fno-semantic-interposition -fvisibility-inlines-hidden -Werror=date-time -Werror=unguarded-availability-new -Wall -Wextra -Wno-unused-parameter -Wwrite-strings -Wcast-qual -Wmissing-field-initializers -pedantic -Wno-long-long -Wc++98-compat-extra-semi -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 -Werror -Wno-deprecated-copy -Wno-string-conversion -Wno-ctad-maybe-unsupported -Wno-unused-command-line-argument -Wstring-conversion -Wcovered-switch-default -Wno-nested-anon-types -O3 -DNDEBUG -std=c++17 -D_GNU_SOURCE -D_DEBUG -D_GLIBCXX_ASSERTIONS -D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_EXTENSIVE -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -UNDEBUG -fno-exceptions -funwind-tables -fno-rtti -Winvalid-pch -fpch-instantiate-templates -Xclang -emit-pch -Xclang -include -Xclang /home/tcwg-buildbot/worker/flang-aarch64-libcxx/build_flang/lib/Lower/CMakeFiles/FortranLower.dir/cmake_pch.hxx -x c++-header -MD -MT lib/Lower/CMakeFiles/FortranLower.dir/cmake_pch.hxx.pch -MF lib/Lower/CMakeFiles/FortranLower.dir/cmake_pch.hxx.pch.d -o lib/Lower/CMakeFiles/FortranLower.dir/cmake_pch.hxx.pch -c /home/tcwg-buildbot/worker/flang-aarch64-libcxx/build_flang/lib/Lower/CMakeFiles/FortranLower.dir/cmake_pch.hxx.cxx
 #0 0x0000ca701f3f0790 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/usr/local/LLVM-21.1.1-Linux-ARM64/bin/clang+++0xd1f0790)
 #1 0x0000ca701f3f04bc llvm::sys::CleanupOnSignal(unsigned long) (/usr/local/LLVM-21.1.1-Linux-ARM64/bin/clang+++0xd1f04bc)
 #2 0x0000ca701f39da8c (anonymous namespace)::CrashRecoveryContextImpl::HandleCrash(int, unsigned long) CrashRecoveryContext.cpp:0:0
 #3 0x0000ca701f39da38 (/usr/local/LLVM-21.1.1-Linux-ARM64/bin/clang+++0xd19da38)
 #4 0x0000ca701f3ee470 llvm::sys::Process::Exit(int, bool) (/usr/local/LLVM-21.1.1-Linux-ARM64/bin/clang+++0xd1ee470)
 #5 0x0000ca701deb4210 llvm::DenseMapBase<llvm::DenseMap<unsigned int, std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char>>, llvm::DenseMapInfo<unsigned int, void>, llvm::detail::DenseMapPair<unsigned int, std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char>>>>, unsigned int, std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char>>, llvm::DenseMapInfo<unsigned int, void>, llvm::detail::DenseMapPair<unsigned int, std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char>>>>::destroyAll() cc1_main.cpp:0:0
 #6 0x0000ca701f3a1a00 llvm::report_fatal_error(llvm::Twine const&, bool) (/usr/local/LLVM-21.1.1-Linux-ARM64/bin/clang+++0xd1a1a00)
 #7 0x0000ca701f3a1b20 (/usr/local/LLVM-21.1.1-Linux-ARM64/bin/clang+++0xd1a1b20)
 #8 0x0000ca701d8b8018 llvm::raw_fd_ostream::~raw_fd_ostream() (.cold.0) bolt-pseudo.o:0:0
 #9 0x0000ca701c4ce4b8 clang::DependencyFileGenerator::outputDependencyFile(clang::DiagnosticsEngine&) (/usr/local/LLVM-21.1.1-Linux-ARM64/bin/clang+++0xa2ce4b8)
#10 0x0000ca701cc8e5cc clang::FrontendAction::EndSourceFile() (/usr/local/LLVM-21.1.1-Linux-ARM64/bin/clang+++0xaa8e5cc)
#11 0x0000ca701cc8eca8 clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) (/usr/local/LLVM-21.1.1-Linux-ARM64/bin/clang+++0xaa8eca8)
#12 0x0000ca701cc8eb2c clang::ExecuteCompilerInvocation(clang::CompilerInstance*) (/usr/local/LLVM-21.1.1-Linux-ARM64/bin/clang+++0xaa8eb2c)
#13 0x0000ca701ccf157c cc1_main(llvm::ArrayRef<char const*>, char const*, void*) (/usr/local/LLVM-21.1.1-Linux-ARM64/bin/clang+++0xaaf157c)
#14 0x0000ca701cc9af84 ExecuteCC1Tool(llvm::SmallVectorImpl<char const*>&, llvm::ToolContext const&) driver.cpp:0:0
#15 0x0000ca701cc9ae20 void llvm::function_ref<void ()>::callback_fn<clang::driver::CC1Command::Execute(llvm::ArrayRef<std::__1::optional<llvm::StringRef>>, std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char>>*, bool*) const::$_0>(long) Job.cpp:0:0
#16 0x0000ca701cc9adc8 llvm::CrashRecoveryContext::RunSafely(llvm::function_ref<void ()>) (/usr/local/LLVM-21.1.1-Linux-ARM64/bin/clang+++0xaa9adc8)
#17 0x0000ca701cc9ac4c clang::driver::CC1Command::Execute(llvm::ArrayRef<std::__1::optional<llvm::StringRef>>, std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char>>*, bool*) const (/usr/local/LLVM-21.1.1-Linux-ARM64/bin/clang+++0xaa9ac4c)
#18 0x0000ca701cc91f68 clang::driver::Compilation::ExecuteCommand(clang::driver::Command const&, clang::driver::Command const*&, bool) const (/usr/local/LLVM-21.1.1-Linux-ARM64/bin/clang+++0xaa91f68)
#19 0x0000ca701cc91cb8 clang::driver::Driver::ExecuteCompilation(clang::driver::Compilation&, llvm::SmallVectorImpl<std::__1::pair<int, clang::driver::Command const*>>&) (/usr/local/LLVM-21.1.1-Linux-ARM64/bin/clang+++0xaa91cb8)
#20 0x0000ca701cc90ed4 clang_main(int, char**, llvm::ToolContext const&) (/usr/local/LLVM-21.1.1-Linux-ARM64/bin/clang+++0xaa90ed4)
#21 0x0000ca701cc90490 main (/usr/local/LLVM-21.1.1-Linux-ARM64/bin/clang+++0xaa90490)
#22 0x0000fc60f05f7400 __libc_start_call_main ./csu/../sysdeps/nptl/libc_start_call_main.h:74:3
#23 0x0000fc60f05f74d8 call_init ./csu/../csu/libc-start.c:128:20
#24 0x0000fc60f05f74d8 __libc_start_main ./csu/../csu/libc-start.c:379:5
#25 0x0000ca701ccb8aac _start (/usr/local/LLVM-21.1.1-Linux-ARM64/bin/clang+++0xaab8aac)
133.995 [138/32/304] Building CXX object lib/Semantics/CMakeFiles/FortranSemantics.dir/canonicalize-directives.cpp.o
140.427 [138/31/305] Building CXX object lib/Parser/CMakeFiles/FortranParser.dir/parse-tree.cpp.o
147.229 [138/30/306] Building CXX object lib/Semantics/CMakeFiles/FortranSemantics.dir/assignment.cpp.o
FAILED: lib/Semantics/CMakeFiles/FortranSemantics.dir/assignment.cpp.o 
/usr/local/bin/c++ -DFLANG_INCLUDE_TESTS=1 -D_DEBUG -D_GLIBCXX_ASSERTIONS -D_GNU_SOURCE -D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_EXTENSIVE -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/home/tcwg-buildbot/worker/flang-aarch64-libcxx/build_flang/lib/Semantics -I/home/tcwg-buildbot/worker/flang-aarch64-libcxx/llvm-project/flang/lib/Semantics -I/home/tcwg-buildbot/worker/flang-aarch64-libcxx/llvm-project/flang/include -I/home/tcwg-buildbot/worker/flang-aarch64-libcxx/build_flang/include -isystem /home/tcwg-buildbot/worker/flang-aarch64-libcxx/llvm-project/mlir/include -isystem /home/tcwg-buildbot/worker/flang-aarch64-libcxx/build_llvm/tools/mlir/include -isystem /home/tcwg-buildbot/worker/flang-aarch64-libcxx/llvm-project/llvm/include -isystem /home/tcwg-buildbot/worker/flang-aarch64-libcxx/build_llvm/include -isystem /home/tcwg-buildbot/worker/flang-aarch64-libcxx/llvm-project/clang/include -isystem /home/tcwg-buildbot/worker/flang-aarch64-libcxx/build_llvm/tools/clang/include -stdlib=libc++ -fPIC -fno-semantic-interposition -fvisibility-inlines-hidden -Werror=date-time -Werror=unguarded-availability-new -Wall -Wextra -Wno-unused-parameter -Wwrite-strings -Wcast-qual -Wmissing-field-initializers -pedantic -Wno-long-long -Wc++98-compat-extra-semi -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 -Werror -Wno-deprecated-copy -Wno-string-conversion -Wno-ctad-maybe-unsupported -Wno-unused-command-line-argument -Wstring-conversion           -Wcovered-switch-default -Wno-nested-anon-types -O3 -DNDEBUG -std=c++17   -D_GNU_SOURCE -D_DEBUG -D_GLIBCXX_ASSERTIONS -D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_EXTENSIVE -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -UNDEBUG -fno-exceptions -funwind-tables -fno-rtti -Winvalid-pch -Xclang -include-pch -Xclang /home/tcwg-buildbot/worker/flang-aarch64-libcxx/build_flang/lib/Semantics/CMakeFiles/FortranSemantics.dir/cmake_pch.hxx.pch -Xclang -include -Xclang /home/tcwg-buildbot/worker/flang-aarch64-libcxx/build_flang/lib/Semantics/CMakeFiles/FortranSemantics.dir/cmake_pch.hxx -MD -MT lib/Semantics/CMakeFiles/FortranSemantics.dir/assignment.cpp.o -MF lib/Semantics/CMakeFiles/FortranSemantics.dir/assignment.cpp.o.d -o lib/Semantics/CMakeFiles/FortranSemantics.dir/assignment.cpp.o -c /home/tcwg-buildbot/worker/flang-aarch64-libcxx/llvm-project/flang/lib/Semantics/assignment.cpp
fatal error: error in backend: IO failure on output stream: No space left on device
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace, preprocessed source, and associated run script.

```

</details>

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