[GlobalISel] Remove types on selected insts instead of using LLT().
LLT() has a particular meaning: it's one invalid type. But we really
want selected instructions to have no type whatsoever.
Also verify that types don't linger after ISel, and enable the verifier
on the AArch64 select test.
llvm-svn: 277001
diff --git a/llvm/lib/CodeGen/MachineVerifier.cpp b/llvm/lib/CodeGen/MachineVerifier.cpp
index 23a89f8..8f8013a 100644
--- a/llvm/lib/CodeGen/MachineVerifier.cpp
+++ b/llvm/lib/CodeGen/MachineVerifier.cpp
@@ -879,6 +879,16 @@
}
}
+ // Check types.
+ const unsigned NumTypes = MI->getNumTypes();
+ if (isPreISelGenericOpcode(MCID.getOpcode())) {
+ if (NumTypes == 0)
+ report("Generic instruction must have a type", MI);
+ } else {
+ if (NumTypes != 0)
+ report("Non-generic instruction cannot have a type", MI);
+ }
+
StringRef ErrorInfo;
if (!TII->verifyInstruction(*MI, ErrorInfo))
report(ErrorInfo.data(), MI);