Integrate LLVM at llvm/llvm-project@f7a6c341cb93

Updates LLVM usage to match
[f7a6c341cb93](llvm/llvm-project@f7a6c341cb93)

PiperOrigin-RevId: 426099105
Change-Id: I4af3e831a605b58c899b2efd06950fd96caceeaa

Author: d0k

tensorflow/compiler/mlir/lite/converter_gen.cc

@@ -562,9 +562,9 @@ static bool RuntimeVerifierWriterMain(raw_ostream &os, RecordKeeper &records) {
           "     // in the pass manager can be multi-threaded.\n"
           "        return success(current_thread_id == llvm::get_threadid());\n"
           "   });\n";
-    os << "  return top.verify();\n";
+    os << "  return top.verifyInvariants();\n";
     os << "    } else {\n";
-    os << "  return top.verify();\n}\n";
+    os << "  return top.verifyInvariants();\n}\n";
     os << "}\n";
   }
 

tensorflow/compiler/mlir/lite/tf_to_tfl_flatbuffer.cc

@@ -300,7 +300,7 @@ Status ConvertTFExecutorToTFLOrFlatbuffer(
     *result = translated_result;
   }
 
-  if (mlir::failed(module.verify())) {
+  if (mlir::failed(module.verifyInvariants())) {
     return tensorflow::errors::Unknown("Final module is invalid");
   }
   return Status::OK();

tensorflow/compiler/mlir/xla/experimental/conv_emitter/conv_emitter_test.cc

@@ -61,7 +61,7 @@ std::string CompileHloConvAndGetMlir(absl::string_view hlo_text) {
       EmitConvolutionForwardAsMlir(conv, "Conv", &context).ValueOrDie();
 
   mlir_module->push_back(function);
-  (void)mlir_module->verify();
+  (void)mlir_module->verifyInvariants();
 
   std::string mlir_text;
   {

tensorflow/compiler/xla/pjrt/mlir_to_hlo.cc

@@ -81,7 +81,7 @@ StatusOr<mlir::OwningOpRef<mlir::ModuleOp>> ParseMlirModuleString(
   if (!module) {
     return diagnostic_handler.ConsumeStatus();
   }
-  if (failed(module->verify())) {
+  if (failed(module->verifyInvariants())) {
     VLOG(1) << "MLIR verification failed.";
     module->dump();
     return diagnostic_handler.ConsumeStatus();

tensorflow/compiler/xla/python/mlir.cc

@@ -67,7 +67,7 @@ StatusOr<XlaComputation> PyMlirModuleToXlaComputation(std::string mlir_module,
   if (!module) {
     return diagnostic_handler.ConsumeStatus();
   }
-  if (failed(module->verify())) {
+  if (failed(module->verifyInvariants())) {
     VLOG(1) << "MLIR verification failed.";
     module->dump();
     return diagnostic_handler.ConsumeStatus();

tensorflow/core/ir/ops.cc

@@ -870,7 +870,7 @@ LogicalResult CastOp::fold(ArrayRef<Attribute> operands,
 template <typename IfLikeOp>
 static LogicalResult VerifyIfLikeOp(IfLikeOp op,
                                     SymbolTableCollection &symbol_table) {
-  if (failed(op.verify())) return failure();
+  if (failed(op.verifyInvariants())) return failure();
   FailureOr<TypeRange> ins = VerifyOperands(op);
   if (failed(ins)) return failure();
   FailureOr<TypeRange> outs = VerifyResults(op);
@@ -902,7 +902,7 @@ static LogicalResult VerifyIfLikeOp(IfLikeOp op,
 template <typename CaseLikeOp>
 static LogicalResult VerifyCaseLikeOp(CaseLikeOp op,
                                       SymbolTableCollection &symbol_table) {
-  if (failed(op.verify())) return failure();
+  if (failed(op.verifyInvariants())) return failure();
   FailureOr<TypeRange> ins = VerifyOperands(op);
   if (failed(ins)) return failure();
   FailureOr<TypeRange> outs = VerifyResults(op);
@@ -928,7 +928,7 @@ static LogicalResult VerifyCaseLikeOp(CaseLikeOp op,
 template <typename WhileLikeOp>
 static LogicalResult VerifyWhileLikeOp(WhileLikeOp op,
                                        SymbolTableCollection &symbol_table) {
-  if (failed(op.verify())) return failure();
+  if (failed(op.verifyInvariants())) return failure();
   FailureOr<TypeRange> ins = VerifyOperands(op);
   if (failed(ins)) return failure();
   FailureOr<TypeRange> outs = VerifyResults(op);
@@ -955,7 +955,7 @@ static LogicalResult VerifyWhileLikeOp(WhileLikeOp op,
 // ForOp
 
 LogicalResult ForOp::verifySymbolUses(SymbolTableCollection &symbol_table) {
-  if (failed(verify())) return failure();
+  if (failed(verifyInvariants())) return failure();
   FailureOr<TypeRange> ins = VerifyOperands(*this);
   if (failed(ins)) return failure();
   FailureOr<TypeRange> outs = VerifyResults(*this);

third_party/llvm/workspace.bzl

@@ -4,8 +4,8 @@ load("//third_party:repo.bzl", "tf_http_archive")
 
 def repo(name):
     """Imports LLVM."""
-    LLVM_COMMIT = "7e9d19016eae3b169dea1148978d339f4d2433e2"
-    LLVM_SHA256 = "1297a286b82ff0085b1706adff0c4965398cf3414351efb4f07ac87409303945"
+    LLVM_COMMIT = "f7a6c341cb936991eb3ccac3be25b02fecf7a4b8"
+    LLVM_SHA256 = "80d6b3afbe7365983c6b44efb8b4f57f57a4b1a3a1951ac8cc72b70b62cce566"
 
     tf_http_archive(
         name = name,