1 files changed, 0 insertions, 25 deletions
diff --git a/mlir/lib/Analysis/Verifier.cpp b/mlir/lib/Analysis/Verifier.cpp
index 383a4878c35..474eeb2a28e 100644
--- a/mlir/lib/Analysis/Verifier.cpp
+++ b/mlir/lib/Analysis/Verifier.cpp
@@ -73,7 +73,6 @@ public:
   bool verifyBlock(const Block &block, bool isTopLevel);
   bool verifyOperation(const OperationInst &op);
   bool verifyForInst(const ForInst &forInst);
-  bool verifyIfInst(const IfInst &ifInst);
   bool verifyDominance(const Block &block);
   bool verifyInstDominance(const Instruction &inst);
 
@@ -180,10 +179,6 @@ bool FuncVerifier::verifyBlock(const Block &block, bool isTopLevel) {
       if (verifyForInst(cast<ForInst>(inst)))
         return true;
       break;
-    case Instruction::Kind::If:
-      if (verifyIfInst(cast<IfInst>(inst)))
-        return true;
-      break;
     }
   }
 
@@ -250,18 +245,6 @@ bool FuncVerifier::verifyForInst(const ForInst &forInst) {
   return verifyBlock(*forInst.getBody(), /*isTopLevel=*/false);
 }
 
-bool FuncVerifier::verifyIfInst(const IfInst &ifInst) {
-  // TODO: check that if conditions are properly formed.
-  if (verifyBlock(*ifInst.getThen(), /*isTopLevel*/ false))
-    return true;
-
-  if (auto *elseClause = ifInst.getElse())
-    if (verifyBlock(*elseClause, /*isTopLevel*/ false))
-      return true;
-
-  return false;
-}
-
 bool FuncVerifier::verifyDominance(const Block &block) {
   for (auto &inst : block) {
     // Check that all operands on the instruction are ok.
@@ -283,14 +266,6 @@ bool FuncVerifier::verifyDominance(const Block &block) {
       if (verifyDominance(*cast<ForInst>(inst).getBody()))
         return true;
       break;
-    case Instruction::Kind::If:
-      auto &ifInst = cast<IfInst>(inst);
-      if (verifyDominance(*ifInst.getThen()))
-        return true;
-      if (auto *elseClause = ifInst.getElse())
-        if (verifyDominance(*elseClause))
-          return true;
-      break;
     }
   }
   return false;