[LLVM] bump to f87109f018faad5f3f1bf8a4668754c24e84e886 (#8431)

Author: makslevental

lib/Bindings/Python/CMakeLists.txt

@@ -53,6 +53,7 @@ set(PYTHON_BINDINGS_LINK_LIBS
   CIRCTCAPITransforms
   MLIRCAPIIndex
   MLIRCAPISMT
+  MLIRCAPIExportSMTLIB
   # needed for mlirFrozenRewritePatternSetDestroy
   # but not the actual passes
   MLIRCAPITransforms
@@ -240,14 +241,6 @@ declare_mlir_dialect_python_bindings(
     dialects/verif.py
   DIALECT_NAME verif)
 
-declare_mlir_dialect_python_bindings(
-  ADD_TO_PARENT CIRCTBindingsPythonSources.Dialects
-  ROOT_DIR "${CMAKE_CURRENT_SOURCE_DIR}"
-  TD_FILE dialects/SMTOps.td
-  SOURCES
-    dialects/smt.py
-  DIALECT_NAME smt)
-
 declare_mlir_dialect_python_bindings(
   ADD_TO_PARENT CIRCTBindingsPythonSources.Dialects
   ROOT_DIR "${CMAKE_CURRENT_SOURCE_DIR}"
@@ -277,6 +270,7 @@ add_mlir_python_modules(CIRCTPythonModules
   INSTALL_PREFIX "python_packages/circt_core/circt"
   DECLARED_SOURCES
     MLIRPythonSources.Core
+    MLIRPythonSources.Dialects.smt
     CIRCTBindingsPythonExtension
     CIRCTBindingsPythonSources
   COMMON_CAPI_LINK_LIBS

lib/Bindings/Python/dialects/SMTOps.td

@@ -382,11 +382,12 @@ struct SimInstantiateOpLowering
     Type convertedIndex = typeConverter->convertType(rewriter.getIndexType());
 
     FailureOr<LLVM::LLVMFuncOp> mallocFunc =
-        LLVM::lookupOrCreateMallocFn(moduleOp, convertedIndex);
+        LLVM::lookupOrCreateMallocFn(rewriter, moduleOp, convertedIndex);
     if (failed(mallocFunc))
       return mallocFunc;
 
-    FailureOr<LLVM::LLVMFuncOp> freeFunc = LLVM::lookupOrCreateFreeFn(moduleOp);
+    FailureOr<LLVM::LLVMFuncOp> freeFunc =
+        LLVM::lookupOrCreateFreeFn(rewriter, moduleOp);
     if (failed(freeFunc))
       return freeFunc;
 
@@ -553,7 +554,7 @@ struct SimEmitValueOpLowering
 
     // Lookup of create printf function symbol.
     auto printfFunc = LLVM::lookupOrCreateFn(
-        moduleOp, "printf", LLVM::LLVMPointerType::get(getContext()),
+        rewriter, moduleOp, "printf", LLVM::LLVMPointerType::get(getContext()),
         LLVM::LLVMVoidType::get(getContext()), true);
     if (failed(printfFunc))
       return printfFunc;

lib/Bindings/Python/dialects/smt.py

@@ -150,7 +150,7 @@ class SMTLoweringPattern : public OpConversionPattern<OpTy> {
           builder.getBlock()->getParent()->getParentOfType<ModuleOp>();
       builder.setInsertionPointToEnd(module.getBody());
       auto funcOpResult = LLVM::lookupOrCreateFn(
-          module, name, funcType.getParams(), funcType.getReturnType(),
+          builder, module, name, funcType.getParams(), funcType.getReturnType(),
           funcType.getVarArg());
       assert(succeeded(funcOpResult) && "expected to lookup or create printf");
       funcOp = funcOpResult.value();

lib/Conversion/ArcToLLVM/LowerArcToLLVM.cpp

@@ -48,7 +48,6 @@ class LowerTypesConverter : public TypeConverter {
     addConversion([](Type t) { return t; });
     addConversion([](WindowType window) { return window.getLoweredType(); });
     addSourceMaterialization(wrapMaterialization);
-    addArgumentMaterialization(wrapMaterialization);
     addTargetMaterialization(unwrapMaterialization);
   }
 

lib/Conversion/SMTToZ3LLVM/LowerSMTToZ3LLVM.cpp

@@ -76,7 +76,7 @@ void LowerToBMCPass::runOnOperation() {
 
   // Lookup or declare printf function.
   auto printfFunc =
-      LLVM::lookupOrCreateFn(moduleOp, "printf", ptrTy, voidTy, true);
+      LLVM::lookupOrCreateFn(builder, moduleOp, "printf", ptrTy, voidTy, true);
   if (failed(printfFunc)) {
     moduleOp->emitError("failed to lookup or create printf");
     return signalPassFailure();

lib/Dialect/ESI/Passes/ESILowerTypes.cpp

@@ -73,8 +73,8 @@ void ConstructLECPass::runOnOperation() {
   auto voidTy = LLVM::LLVMVoidType::get(&getContext());
 
   // Lookup or declare printf function.
-  auto printfFunc =
-      LLVM::lookupOrCreateFn(getOperation(), "printf", ptrTy, voidTy, true);
+  auto printfFunc = LLVM::lookupOrCreateFn(builder, getOperation(), "printf",
+                                           ptrTy, voidTy, true);
   if (failed(printfFunc)) {
     getOperation()->emitError("failed to lookup or create printf");
     return signalPassFailure();