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

Sat Apr 12 13:44:14 PDT 2025

llvm-ci wrote:

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

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

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

```
Step 5 (build-unified-tree) failure: build (failure)
...
110.691 [794/162/6622] Building CXX object tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/Character.cpp.o
110.694 [793/162/6623] Building CXX object tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/Complex.cpp.o
110.698 [792/162/6624] Building CXX object tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/CUFCommon.cpp.o
110.701 [791/162/6625] Building CXX object tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/DoLoopHelper.cpp.o
110.704 [790/162/6626] Building CXX object tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/FIRBuilder.cpp.o
110.707 [789/162/6627] Building CXX object tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/LowLevelIntrinsics.cpp.o
110.710 [788/162/6628] Building CXX object tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/MutableBox.cpp.o
110.713 [787/162/6629] Building CXX object tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/Runtime/Allocatable.cpp.o
110.719 [786/162/6630] Building CXX object tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/Runtime/ArrayConstructor.cpp.o
110.722 [785/162/6631] 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 -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 -Wmisleading-indentation -Wctad-maybe-unsupported -fdiagnostics-color -ffunction-sections -fdata-sections -Wundef -Werror=mismatched-tags -Werror=global-constructors -O3 -DNDEBUG  -Wl,-z,defs -Wl,-z,nodelete   -Wl,-rpath-link,/home/tcwg-buildbot/worker/flang-aarch64-sharedlibs/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-sharedlibs/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-sharedlibs/build/lib && :
/usr/bin/ld: tools/mlir/lib/Target/SMTLIB/CMakeFiles/obj.MLIRExportSMTLIB.dir/ExportSMTLIB.cpp.o: in function `void mlir::DialectRegistry::insert<mlir::func::FuncDialect, mlir::arith::ArithDialect, mlir::smt::SMTDialect>()':
ExportSMTLIB.cpp:(.text._ZN4mlir15DialectRegistry6insertINS_4func11FuncDialectENS_5arith12ArithDialectEJNS_3smt10SMTDialectEEEEvv[_ZN4mlir15DialectRegistry6insertINS_4func11FuncDialectENS_5arith12ArithDialectEJNS_3smt10SMTDialectEEEEvv]+0x74): undefined reference to `mlir::detail::TypeIDResolver<mlir::arith::ArithDialect, void>::id'
/usr/bin/ld: ExportSMTLIB.cpp:(.text._ZN4mlir15DialectRegistry6insertINS_4func11FuncDialectENS_5arith12ArithDialectEJNS_3smt10SMTDialectEEEEvv[_ZN4mlir15DialectRegistry6insertINS_4func11FuncDialectENS_5arith12ArithDialectEJNS_3smt10SMTDialectEEEEvv]+0x84): 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_]+0x10): 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_]+0x30): 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*)'
clang++: error: linker command failed with exit code 1 (use -v to see invocation)
110.722 [785/161/6632] Linking CXX shared library lib/libFortranSupport.so.21.0git
110.724 [785/160/6633] Building CXX object tools/flang/lib/Frontend/CMakeFiles/flangFrontend.dir/CompilerInvocation.cpp.o
110.728 [785/159/6634] Building CXX object tools/flang/lib/Frontend/CMakeFiles/flangFrontend.dir/FrontendActions.cpp.o
110.728 [785/158/6635] Linking CXX shared library lib/libMLIRTestDynDialect.so.21.0git
110.730 [785/157/6636] Building CXX object tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/HLFIRTools.cpp.o
110.731 [785/156/6637] Building CXX object tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/IntrinsicCall.cpp.o
110.733 [785/155/6638] Building CXX object tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/PPCIntrinsicCall.cpp.o
110.733 [785/154/6639] Linking CXX shared library lib/libMLIRLoopLikeInterfaceTestPasses.so.21.0git
110.734 [785/153/6640] Building CXX object tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/Runtime/Assign.cpp.o
110.735 [785/152/6641] Building CXX object tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/Runtime/Character.cpp.o
110.736 [785/151/6642] Building CXX object tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/Runtime/Command.cpp.o
110.737 [785/150/6643] Building CXX object tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/Runtime/CUDA/Descriptor.cpp.o
110.738 [785/149/6644] Building CXX object tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/Runtime/Derived.cpp.o
110.738 [785/148/6645] Building CXX object tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/Runtime/EnvironmentDefaults.cpp.o
110.739 [785/147/6646] Building CXX object tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/Runtime/Exceptions.cpp.o
110.740 [785/146/6647] Building CXX object tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/Runtime/Execute.cpp.o
110.741 [785/145/6648] Building CXX object tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/Runtime/Inquiry.cpp.o
110.742 [785/144/6649] Building CXX object tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/Runtime/Intrinsics.cpp.o
110.743 [785/143/6650] Building CXX object tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/Runtime/Main.cpp.o
110.744 [785/142/6651] Building CXX object tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/Runtime/Numeric.cpp.o
110.745 [785/141/6652] Building CXX object tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/Runtime/Pointer.cpp.o
110.746 [785/140/6653] Building CXX object tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/Runtime/Ragged.cpp.o
110.747 [785/139/6654] Building CXX object tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/Runtime/Reduction.cpp.o
110.748 [785/138/6655] Building CXX object tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/Runtime/Stop.cpp.o
110.749 [785/137/6656] Building CXX object tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/Runtime/Support.cpp.o
110.749 [785/136/6657] Building CXX object tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/Runtime/TemporaryStack.cpp.o
110.750 [785/135/6658] Building CXX object tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/Runtime/Transformational.cpp.o
110.751 [785/134/6659] Building CXX object tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/TemporaryStorage.cpp.o

```

</details>

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