[llvm] [GISel] Improve MachineVerifier for G_SCMP/UCMP. (PR #120017)

Sergei Barannikov via llvm-commits llvm-commits at lists.llvm.org
Sun Dec 15 12:47:06 PST 2024


================
@@ -1627,18 +1626,18 @@ void MachineVerifier::verifyPreISelGenericInstruction(const MachineInstr *MI) {
       break;
     }
 
+    if (DstTy.getScalarSizeInBits() < 2) {
+      report("result type must be at least 2 bits wide", MI);
+      break;
+    }
+
     if ((DstTy.isVector() != SrcTy.isVector()) ||
         (DstTy.isVector() &&
          DstTy.getElementCount() != SrcTy.getElementCount())) {
       report("Generic vector scmp/ucmp must preserve number of lanes", MI);
       break;
     }
----------------
s-barannikov wrote:

#120014 removes this check for G_ABDS/G_ABDU. Is it unnecessary or did another PR remove it unnecessarily?


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


More information about the llvm-commits mailing list