hasModuleAttr -> isCliftModule

include/revng/Clift/Clift.h

@@ -110,7 +110,7 @@ std::unique_ptr<mlir::MLIRContext> makeContext();
 mlir::OwningOpRef<mlir::ModuleOp> makeModule(mlir::MLIRContext &Context);
 
 /// Returns true if the module has a Clift module attribute.
-bool hasModuleAttr(mlir::ModuleOp Module);
+bool isCliftModule(mlir::ModuleOp Module);
 
 /// Returns the data model for the specified module.
 /// \note The module must have an associated data model.

include/revng/PipeboxCommon/CliftContainers.h

@@ -43,7 +43,7 @@ public:
       llvm::StringRef String(Buffer.data(), Buffer.size());
       auto NewModule = mlir::parseSourceString<mlir::ModuleOp>(String, Config);
       revng_assert(NewModule);
-      revng_assert(clift::hasModuleAttr(NewModule.get()));
+      revng_assert(clift::isCliftModule(NewModule.get()));
       Modules[*Object] = std::move(NewModule);
     }
   }
@@ -115,7 +115,7 @@ public:
       llvm::StringRef String(Buffer.data(), Buffer.size());
       auto NewModule = mlir::parseSourceString<mlir::ModuleOp>(String, Config);
       revng_assert(NewModule);
-      revng_assert(clift::hasModuleAttr(NewModule.get()));
+      revng_assert(clift::isCliftModule(NewModule.get()));
       Modules[*Object] = std::move(NewModule);
     }
   }
@@ -195,7 +195,7 @@ public:
       llvm::StringRef String(Buffer.data(), Buffer.size());
       Module = mlir::parseSourceString<mlir::ModuleOp>(String, Config);
       revng_assert(Module);
-      revng_assert(clift::hasModuleAttr(Module.get()));
+      revng_assert(clift::isCliftModule(Module.get()));
     }
   }
 

lib/Clift/Clift.cpp

@@ -128,7 +128,7 @@ void CliftDialect::registerOperations() {
                 /* End of operations list */>();
 }
 
-bool clift::hasModuleAttr(mlir::ModuleOp Module) {
+bool clift::isCliftModule(mlir::ModuleOp Module) {
   llvm::StringRef AttrName = CliftDialect::getModuleAttrName();
   return Module->hasAttrOfType<mlir::UnitAttr>(AttrName);
 }

lib/CliftPipes/CliftContainer.cpp

@@ -170,7 +170,7 @@ const char CliftFunctionContainer::ID = 0;
 
 void CliftFunctionContainer::setModule(OwningModuleRef &&NewModule) {
   revng_assert(NewModule);
-  revng_assert(clift::hasModuleAttr(NewModule.get()));
+  revng_assert(clift::isCliftModule(NewModule.get()));
 
   // Make any non-target functions external.
   visit(*NewModule, [&](clift::FunctionOp F) {
@@ -343,7 +343,7 @@ CliftFunctionContainer::deserializeImpl(const llvm::MemoryBuffer &Buffer) {
     if (not NewModule)
       return revng::createError("Cannot load MLIR module.");
 
-    if (not clift::hasModuleAttr(NewModule.get()))
+    if (not clift::isCliftModule(NewModule.get()))
       return revng::createError("MLIR module is not a Clift module.");
   }
 
@@ -475,7 +475,7 @@ llvm::Error CliftContainer::deserializeImpl(const llvm::MemoryBuffer &Buffer) {
     if (not NewModule)
       return revng::createError("Cannot load MLIR module.");
 
-    if (not clift::hasModuleAttr(NewModule.get()))
+    if (not clift::isCliftModule(NewModule.get()))
       return revng::createError("MLIR module is not a Clift module.");
   }
 

lib/Clifter/Clifter.cpp

@@ -127,7 +127,7 @@ public:
     Model(Model),
     Builder(Context),
     DataLayout(nullptr) {
-    revng_assert(clift::hasModuleAttr(Module));
+    revng_assert(clift::isCliftModule(Module));
     Builder.setInsertionPointToEnd(Module.getBody());
   }