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

Sat Apr 12 13:43:01 PDT 2025

llvm-ci wrote:

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

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

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

```
Step 5 (build-unified-tree) failure: build (failure)
...
85.823 [66/9/7309] Linking CXX shared library lib/libclangInterpreter.so.21.0git
85.835 [65/9/7310] Creating library symlink lib/libclangInterpreter.so
85.911 [64/9/7311] Linking CXX shared library lib/libHLFIRDialect.so.21.0git
85.921 [63/9/7312] Creating library symlink lib/libHLFIRDialect.so
85.936 [62/9/7313] Linking CXX executable bin/clang-21
85.955 [61/9/7314] Linking CXX executable bin/mlir-transform-opt
85.969 [61/8/7315] Creating executable symlink bin/clang
85.972 [61/7/7316] Linking CXX executable bin/mlir-reduce
86.095 [61/6/7317] Building CXX object tools/mlir/lib/Target/SMTLIB/CMakeFiles/obj.MLIRExportSMTLIB.dir/ExportSMTLIB.cpp.o
86.281 [60/6/7318] Linking CXX shared library lib/libMLIRExportSMTLIB.so.21.0git
FAILED: lib/libMLIRExportSMTLIB.so.21.0git 
: && /usr/local/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-maybe-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 -O3 -DNDEBUG  -Wl,-z,defs -Wl,-z,nodelete   -Wl,-rpath-link,/home/tcwg-buildbot/worker/flang-aarch64-latest-gcc/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/tcwg-buildbot/worker/flang-aarch64-latest-gcc/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/tcwg-buildbot/worker/flang-aarch64-latest-gcc/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&)#1}>::_M_invoke(std::_Any_data const&, mlir::DialectRegistry&)':
ExportSMTLIB.cpp:(.text._ZNSt17_Function_handlerIFvRN4mlir15DialectRegistryEEZNS0_3smt31registerExportSMTLIBTranslationEvEUlS2_E_E9_M_invokeERKSt9_Any_dataS2_+0x78): undefined reference to `mlir::detail::TypeIDResolver<mlir::arith::ArithDialect, void>::id'
/usr/bin/ld: ExportSMTLIB.cpp:(.text._ZNSt17_Function_handlerIFvRN4mlir15DialectRegistryEEZNS0_3smt31registerExportSMTLIBTranslationEvEUlS2_E_E9_M_invokeERKSt9_Any_dataS2_+0x7c): 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_]+0x28): undefined reference to `mlir::detail::TypeIDResolver<mlir::arith::ArithDialect, void>::id'
/usr/bin/ld: 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_]+0x2c): 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]+0x28): undefined reference to `mlir::arith::ArithDialect::ArithDialect(mlir::MLIRContext*)'
collect2: error: ld returned 1 exit status
86.361 [60/5/7319] Linking CXX executable bin/clang-repl
87.133 [60/4/7320] Linking CXX shared library lib/libMLIRMlirOptMain.so.21.0git
87.444 [60/3/7321] Linking CXX executable bin/mlir-lsp-server
87.717 [60/2/7322] Linking CXX executable bin/mlir-opt
88.264 [60/1/7323] Linking CXX shared library lib/libFIRBuilder.so.21.0git
ninja: build stopped: subcommand failed.

```

</details>

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