[Mlir-commits] [mlir] [mlir][SMT] add export smtlib (PR #131492)

LLVM Continuous Integration llvmlistbot at llvm.org
Sat Apr 12 13:42:26 PDT 2025 

llvm-ci wrote:

LLVM Buildbot has detected a new failure on builder `amdgpu-offload-ubuntu-22-cmake-build-only` running on `rocm-docker-ubu-22` while building `mlir` at step 4 "annotate".

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

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

```
Step 4 (annotate) failure: '../llvm-zorg/zorg/buildbot/builders/annotated/amdgpu-offload-cmake.py --jobs=32' (failure)
...
[5893/7774] Creating library symlink lib/liblldCommon.so
[5894/7774] Creating library symlink lib/libclangAPINotes.so
[5895/7774] Linking CXX shared library lib/libMLIRLLVMToLLVMIRTranslation.so.21.0git
[5896/7774] Creating library symlink lib/libMLIRVCIXToLLVMIRTranslation.so
[5897/7774] Linking CXX shared library lib/libMLIROpenMPToLLVMIRTranslation.so.21.0git
[5898/7774] Linking CXX shared library lib/libMLIRNVVMToLLVMIRTranslation.so.21.0git
[5899/7774] Creating library symlink lib/libMLIRLLVMToLLVMIRTranslation.so
[5900/7774] Linking CXX shared library lib/libMLIROpenACCToLLVMIRTranslation.so.21.0git
[5901/7774] Linking CXX shared library lib/libMLIRSPIRVToLLVMIRTranslation.so.21.0git
[5902/7774] Linking CXX shared library lib/libMLIRExportSMTLIB.so.21.0git
FAILED: lib/libMLIRExportSMTLIB.so.21.0git 
: && /usr/bin/c++ -fPIC -fPIC -fno-semantic-interposition -fvisibility-inlines-hidden -Werror=date-time -Wall -Wextra -Wno-unused-parameter -Wwrite-strings -Wcast-qual -Wno-missing-field-initializers -pedantic -Wno-long-long -Wimplicit-fallthrough -Wno-uninitialized -Wno-nonnull -Wno-class-memaccess -Wno-redundant-move -Wno-pessimizing-move -Wno-noexcept-type -Wdelete-non-virtual-dtor -Wsuggest-override -Wno-comment -Wno-misleading-indentation -Wctad-maybe-unsupported -fdiagnostics-color -ffunction-sections -fdata-sections -Wundef -Wno-unused-but-set-parameter -Wno-deprecated-copy -O3 -DNDEBUG  -Wl,-z,defs -Wl,-z,nodelete   -Wl,-rpath-link,/home/botworker/bbot/amdgpu-offload-ubuntu-22-cmake-build-only/build/./lib  -Wl,--gc-sections -shared -Wl,-soname,libMLIRExportSMTLIB.so.21.0git -o lib/libMLIRExportSMTLIB.so.21.0git tools/mlir/lib/Target/SMTLIB/CMakeFiles/obj.MLIRExportSMTLIB.dir/ExportSMTLIB.cpp.o  -Wl,-rpath,"\$ORIGIN/../lib:/home/botworker/bbot/amdgpu-offload-ubuntu-22-cmake-build-only/build/lib:"  lib/libMLIRSMT.so.21.0git  lib/libMLIRFuncDialect.so.21.0git  lib/libMLIRTranslateLib.so.21.0git  lib/libLLVMCore.so.21.0git  lib/libMLIRInferTypeOpInterface.so.21.0git  lib/libMLIRSideEffectInterfaces.so.21.0git  lib/libMLIRControlFlowInterfaces.so.21.0git  lib/libMLIRFunctionInterfaces.so.21.0git  lib/libMLIRCallInterfaces.so.21.0git  lib/libMLIRParser.so.21.0git  lib/libMLIRBytecodeReader.so.21.0git  lib/libMLIRAsmParser.so.21.0git  lib/libMLIRIR.so.21.0git  lib/libMLIRSupport.so.21.0git  lib/libLLVMSupport.so.21.0git  -Wl,-rpath-link,/home/botworker/bbot/amdgpu-offload-ubuntu-22-cmake-build-only/build/lib && :
/usr/bin/ld: tools/mlir/lib/Target/SMTLIB/CMakeFiles/obj.MLIRExportSMTLIB.dir/ExportSMTLIB.cpp.o: in function `std::_Function_handler<void (mlir::DialectRegistry&), mlir::smt::registerExportSMTLIBTranslation()::{lambda(mlir::DialectRegistry&)#3}>::_M_invoke(std::_Any_data const&, mlir::DialectRegistry&)':
ExportSMTLIB.cpp:(.text._ZNSt17_Function_handlerIFvRN4mlir15DialectRegistryEEZNS0_3smt31registerExportSMTLIBTranslationEvEUlS2_E1_E9_M_invokeERKSt9_Any_dataS2_+0xa3): undefined reference to `mlir::detail::TypeIDResolver<mlir::arith::ArithDialect, void>::id'
/usr/bin/ld: tools/mlir/lib/Target/SMTLIB/CMakeFiles/obj.MLIRExportSMTLIB.dir/ExportSMTLIB.cpp.o: in function `std::_Function_handler<mlir::Dialect* (mlir::MLIRContext*), mlir::DialectRegistry::insert<mlir::arith::ArithDialect>()::{lambda(mlir::MLIRContext*)#1}>::_M_invoke(std::_Any_data const&, mlir::MLIRContext*&&)':
ExportSMTLIB.cpp:(.text._ZNSt17_Function_handlerIFPN4mlir7DialectEPNS0_11MLIRContextEEZNS0_15DialectRegistry6insertINS0_5arith12ArithDialectEEEvvEUlS4_E_E9_M_invokeERKSt9_Any_dataOS4_[_ZNSt17_Function_handlerIFPN4mlir7DialectEPNS0_11MLIRContextEEZNS0_15DialectRegistry6insertINS0_5arith12ArithDialectEEEvvEUlS4_E_E9_M_invokeERKSt9_Any_dataOS4_]+0x13): undefined reference to `mlir::detail::TypeIDResolver<mlir::arith::ArithDialect, void>::id'
/usr/bin/ld: tools/mlir/lib/Target/SMTLIB/CMakeFiles/obj.MLIRExportSMTLIB.dir/ExportSMTLIB.cpp.o: in function `std::unique_ptr<mlir::Dialect, std::default_delete<mlir::Dialect> > llvm::function_ref<std::unique_ptr<mlir::Dialect, std::default_delete<mlir::Dialect> > ()>::callback_fn<mlir::MLIRContext::getOrLoadDialect<mlir::arith::ArithDialect>()::{lambda()#1}>(long)':
ExportSMTLIB.cpp:(.text._ZN4llvm12function_refIFSt10unique_ptrIN4mlir7DialectESt14default_deleteIS3_EEvEE11callback_fnIZNS2_11MLIRContext16getOrLoadDialectINS2_5arith12ArithDialectEEEPT_vEUlvE_EES6_l[_ZN4llvm12function_refIFSt10unique_ptrIN4mlir7DialectESt14default_deleteIS3_EEvEE11callback_fnIZNS2_11MLIRContext16getOrLoadDialectINS2_5arith12ArithDialectEEEPT_vEUlvE_EES6_l]+0x23): undefined reference to `mlir::arith::ArithDialect::ArithDialect(mlir::MLIRContext*)'
collect2: error: ld returned 1 exit status
[5903/7774] Linking CXX shared library lib/libclangLex.so.21.0git
[5904/7774] Creating library symlink lib/libMLIROpenMPToLLVMIRTranslation.so
[5905/7774] Creating library symlink lib/libMLIRNVVMToLLVMIRTranslation.so
[5906/7774] Creating library symlink lib/libMLIROpenACCToLLVMIRTranslation.so
[5907/7774] Creating library symlink lib/libMLIRSPIRVToLLVMIRTranslation.so
[5908/7774] Linking CXX shared library lib/libMLIRROCDLToLLVMIRTranslation.so.21.0git
[5909/7774] Linking CXX shared library lib/libLLVMOrcJIT.so.21.0git
[5910/7774] Building CXX object tools/clang/lib/Driver/CMakeFiles/obj.clangDriver.dir/ToolChains/AMDGPUOpenMP.cpp.o
[5911/7774] Building CXX object tools/clang/lib/Driver/CMakeFiles/obj.clangDriver.dir/ToolChains/Arch/VE.cpp.o
[5912/7774] Linking CXX shared library lib/libMLIRTargetLLVM.so.21.0git
[5913/7774] Building CXX object tools/clang/lib/Driver/CMakeFiles/obj.clangDriver.dir/ToolChains/Arch/X86.cpp.o
[5914/7774] Building CXX object tools/clang/lib/Driver/CMakeFiles/obj.clangDriver.dir/ToolChains/AVR.cpp.o
[5915/7774] Building CXX object tools/clang/lib/Driver/CMakeFiles/obj.clangDriver.dir/ToolChains/AMDGPU.cpp.o
[5916/7774] Building CXX object tools/clang/lib/Driver/CMakeFiles/obj.clangDriver.dir/ToolChains/AIX.cpp.o
[5917/7774] Building CXX object tools/clang/lib/Driver/CMakeFiles/obj.clangDriver.dir/ToolChains/BareMetal.cpp.o
[5918/7774] Linking CXX shared library lib/libMLIRVectorTransformOps.so.21.0git
[5919/7774] Linking CXX shared library lib/libMLIRVectorToLLVMPass.so.21.0git
[5920/7774] Building CXX object tools/clang/lib/Driver/CMakeFiles/obj.clangDriver.dir/ToolChains/Cuda.cpp.o
[5921/7774] Building CXX object tools/clang/lib/Driver/CMakeFiles/obj.clangDriver.dir/ToolChains/CSKYToolChain.cpp.o
[5922/7774] Building CXX object tools/clang/lib/Driver/CMakeFiles/obj.clangDriver.dir/ToolChains/CrossWindows.cpp.o
[5923/7774] Building CXX object tools/clang/lib/Driver/CMakeFiles/obj.clangDriver.dir/ToolChains/Clang.cpp.o
[5924/7774] Building CXX object tools/clang/lib/Driver/CMakeFiles/obj.clangDriver.dir/ToolChains/Darwin.cpp.o
[5925/7774] Building CXX object tools/clang/lib/Driver/CMakeFiles/obj.clangDriver.dir/ToolChains/DragonFly.cpp.o
[5926/7774] Building CXX object tools/clang/lib/Driver/CMakeFiles/obj.clangDriver.dir/ToolChains/CommonArgs.cpp.o
[5927/7774] Building AMDGPUGenAsmMatcher.inc...
[5928/7774] Building CXX object lib/CodeGen/AsmPrinter/CMakeFiles/LLVMAsmPrinter.dir/AsmPrinter.cpp.o
[5929/7774] Linking CXX shared library lib/libMLIRTestDialect.so.21.0git
[5930/7774] Building AMDGPUGenDAGISel.inc...
[5931/7774] Building AMDGPUGenGlobalISel.inc...
[5932/7774] Building CXX object lib/LTO/CMakeFiles/LLVMLTO.dir/LTO.cpp.o
Step 7 (build cmake config) failure: build cmake config (failure)
...
[5893/7774] Creating library symlink lib/liblldCommon.so
[5894/7774] Creating library symlink lib/libclangAPINotes.so
[5895/7774] Linking CXX shared library lib/libMLIRLLVMToLLVMIRTranslation.so.21.0git
[5896/7774] Creating library symlink lib/libMLIRVCIXToLLVMIRTranslation.so
[5897/7774] Linking CXX shared library lib/libMLIROpenMPToLLVMIRTranslation.so.21.0git
[5898/7774] Linking CXX shared library lib/libMLIRNVVMToLLVMIRTranslation.so.21.0git
[5899/7774] Creating library symlink lib/libMLIRLLVMToLLVMIRTranslation.so
[5900/7774] Linking CXX shared library lib/libMLIROpenACCToLLVMIRTranslation.so.21.0git
[5901/7774] Linking CXX shared library lib/libMLIRSPIRVToLLVMIRTranslation.so.21.0git
[5902/7774] Linking CXX shared library lib/libMLIRExportSMTLIB.so.21.0git
FAILED: lib/libMLIRExportSMTLIB.so.21.0git 
: && /usr/bin/c++ -fPIC -fPIC -fno-semantic-interposition -fvisibility-inlines-hidden -Werror=date-time -Wall -Wextra -Wno-unused-parameter -Wwrite-strings -Wcast-qual -Wno-missing-field-initializers -pedantic -Wno-long-long -Wimplicit-fallthrough -Wno-uninitialized -Wno-nonnull -Wno-class-memaccess -Wno-redundant-move -Wno-pessimizing-move -Wno-noexcept-type -Wdelete-non-virtual-dtor -Wsuggest-override -Wno-comment -Wno-misleading-indentation -Wctad-maybe-unsupported -fdiagnostics-color -ffunction-sections -fdata-sections -Wundef -Wno-unused-but-set-parameter -Wno-deprecated-copy -O3 -DNDEBUG  -Wl,-z,defs -Wl,-z,nodelete   -Wl,-rpath-link,/home/botworker/bbot/amdgpu-offload-ubuntu-22-cmake-build-only/build/./lib  -Wl,--gc-sections -shared -Wl,-soname,libMLIRExportSMTLIB.so.21.0git -o lib/libMLIRExportSMTLIB.so.21.0git tools/mlir/lib/Target/SMTLIB/CMakeFiles/obj.MLIRExportSMTLIB.dir/ExportSMTLIB.cpp.o  -Wl,-rpath,"\$ORIGIN/../lib:/home/botworker/bbot/amdgpu-offload-ubuntu-22-cmake-build-only/build/lib:"  lib/libMLIRSMT.so.21.0git  lib/libMLIRFuncDialect.so.21.0git  lib/libMLIRTranslateLib.so.21.0git  lib/libLLVMCore.so.21.0git  lib/libMLIRInferTypeOpInterface.so.21.0git  lib/libMLIRSideEffectInterfaces.so.21.0git  lib/libMLIRControlFlowInterfaces.so.21.0git  lib/libMLIRFunctionInterfaces.so.21.0git  lib/libMLIRCallInterfaces.so.21.0git  lib/libMLIRParser.so.21.0git  lib/libMLIRBytecodeReader.so.21.0git  lib/libMLIRAsmParser.so.21.0git  lib/libMLIRIR.so.21.0git  lib/libMLIRSupport.so.21.0git  lib/libLLVMSupport.so.21.0git  -Wl,-rpath-link,/home/botworker/bbot/amdgpu-offload-ubuntu-22-cmake-build-only/build/lib && :
/usr/bin/ld: tools/mlir/lib/Target/SMTLIB/CMakeFiles/obj.MLIRExportSMTLIB.dir/ExportSMTLIB.cpp.o: in function `std::_Function_handler<void (mlir::DialectRegistry&), mlir::smt::registerExportSMTLIBTranslation()::{lambda(mlir::DialectRegistry&)#3}>::_M_invoke(std::_Any_data const&, mlir::DialectRegistry&)':
ExportSMTLIB.cpp:(.text._ZNSt17_Function_handlerIFvRN4mlir15DialectRegistryEEZNS0_3smt31registerExportSMTLIBTranslationEvEUlS2_E1_E9_M_invokeERKSt9_Any_dataS2_+0xa3): undefined reference to `mlir::detail::TypeIDResolver<mlir::arith::ArithDialect, void>::id'
/usr/bin/ld: tools/mlir/lib/Target/SMTLIB/CMakeFiles/obj.MLIRExportSMTLIB.dir/ExportSMTLIB.cpp.o: in function `std::_Function_handler<mlir::Dialect* (mlir::MLIRContext*), mlir::DialectRegistry::insert<mlir::arith::ArithDialect>()::{lambda(mlir::MLIRContext*)#1}>::_M_invoke(std::_Any_data const&, mlir::MLIRContext*&&)':
ExportSMTLIB.cpp:(.text._ZNSt17_Function_handlerIFPN4mlir7DialectEPNS0_11MLIRContextEEZNS0_15DialectRegistry6insertINS0_5arith12ArithDialectEEEvvEUlS4_E_E9_M_invokeERKSt9_Any_dataOS4_[_ZNSt17_Function_handlerIFPN4mlir7DialectEPNS0_11MLIRContextEEZNS0_15DialectRegistry6insertINS0_5arith12ArithDialectEEEvvEUlS4_E_E9_M_invokeERKSt9_Any_dataOS4_]+0x13): undefined reference to `mlir::detail::TypeIDResolver<mlir::arith::ArithDialect, void>::id'
/usr/bin/ld: tools/mlir/lib/Target/SMTLIB/CMakeFiles/obj.MLIRExportSMTLIB.dir/ExportSMTLIB.cpp.o: in function `std::unique_ptr<mlir::Dialect, std::default_delete<mlir::Dialect> > llvm::function_ref<std::unique_ptr<mlir::Dialect, std::default_delete<mlir::Dialect> > ()>::callback_fn<mlir::MLIRContext::getOrLoadDialect<mlir::arith::ArithDialect>()::{lambda()#1}>(long)':
ExportSMTLIB.cpp:(.text._ZN4llvm12function_refIFSt10unique_ptrIN4mlir7DialectESt14default_deleteIS3_EEvEE11callback_fnIZNS2_11MLIRContext16getOrLoadDialectINS2_5arith12ArithDialectEEEPT_vEUlvE_EES6_l[_ZN4llvm12function_refIFSt10unique_ptrIN4mlir7DialectESt14default_deleteIS3_EEvEE11callback_fnIZNS2_11MLIRContext16getOrLoadDialectINS2_5arith12ArithDialectEEEPT_vEUlvE_EES6_l]+0x23): undefined reference to `mlir::arith::ArithDialect::ArithDialect(mlir::MLIRContext*)'
collect2: error: ld returned 1 exit status
[5903/7774] Linking CXX shared library lib/libclangLex.so.21.0git
[5904/7774] Creating library symlink lib/libMLIROpenMPToLLVMIRTranslation.so
[5905/7774] Creating library symlink lib/libMLIRNVVMToLLVMIRTranslation.so
[5906/7774] Creating library symlink lib/libMLIROpenACCToLLVMIRTranslation.so
[5907/7774] Creating library symlink lib/libMLIRSPIRVToLLVMIRTranslation.so
[5908/7774] Linking CXX shared library lib/libMLIRROCDLToLLVMIRTranslation.so.21.0git
[5909/7774] Linking CXX shared library lib/libLLVMOrcJIT.so.21.0git
[5910/7774] Building CXX object tools/clang/lib/Driver/CMakeFiles/obj.clangDriver.dir/ToolChains/AMDGPUOpenMP.cpp.o
[5911/7774] Building CXX object tools/clang/lib/Driver/CMakeFiles/obj.clangDriver.dir/ToolChains/Arch/VE.cpp.o
[5912/7774] Linking CXX shared library lib/libMLIRTargetLLVM.so.21.0git
[5913/7774] Building CXX object tools/clang/lib/Driver/CMakeFiles/obj.clangDriver.dir/ToolChains/Arch/X86.cpp.o
[5914/7774] Building CXX object tools/clang/lib/Driver/CMakeFiles/obj.clangDriver.dir/ToolChains/AVR.cpp.o
[5915/7774] Building CXX object tools/clang/lib/Driver/CMakeFiles/obj.clangDriver.dir/ToolChains/AMDGPU.cpp.o
[5916/7774] Building CXX object tools/clang/lib/Driver/CMakeFiles/obj.clangDriver.dir/ToolChains/AIX.cpp.o
[5917/7774] Building CXX object tools/clang/lib/Driver/CMakeFiles/obj.clangDriver.dir/ToolChains/BareMetal.cpp.o
[5918/7774] Linking CXX shared library lib/libMLIRVectorTransformOps.so.21.0git
[5919/7774] Linking CXX shared library lib/libMLIRVectorToLLVMPass.so.21.0git
[5920/7774] Building CXX object tools/clang/lib/Driver/CMakeFiles/obj.clangDriver.dir/ToolChains/Cuda.cpp.o
[5921/7774] Building CXX object tools/clang/lib/Driver/CMakeFiles/obj.clangDriver.dir/ToolChains/CSKYToolChain.cpp.o
[5922/7774] Building CXX object tools/clang/lib/Driver/CMakeFiles/obj.clangDriver.dir/ToolChains/CrossWindows.cpp.o
[5923/7774] Building CXX object tools/clang/lib/Driver/CMakeFiles/obj.clangDriver.dir/ToolChains/Clang.cpp.o
[5924/7774] Building CXX object tools/clang/lib/Driver/CMakeFiles/obj.clangDriver.dir/ToolChains/Darwin.cpp.o
[5925/7774] Building CXX object tools/clang/lib/Driver/CMakeFiles/obj.clangDriver.dir/ToolChains/DragonFly.cpp.o
[5926/7774] Building CXX object tools/clang/lib/Driver/CMakeFiles/obj.clangDriver.dir/ToolChains/CommonArgs.cpp.o
[5927/7774] Building AMDGPUGenAsmMatcher.inc...
[5928/7774] Building CXX object lib/CodeGen/AsmPrinter/CMakeFiles/LLVMAsmPrinter.dir/AsmPrinter.cpp.o
[5929/7774] Linking CXX shared library lib/libMLIRTestDialect.so.21.0git
[5930/7774] Building AMDGPUGenDAGISel.inc...
[5931/7774] Building AMDGPUGenGlobalISel.inc...
[5932/7774] Building CXX object lib/LTO/CMakeFiles/LLVMLTO.dir/LTO.cpp.o

```

</details>

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

More information about the Mlir-commits mailing list