jayfoad wrote: > > Why do the checks during instruction selection, instead of in the IR > > verifier? > > IR verifier doesn't depend on code generation because it is LLVMCore.
I guess the IR verifier has no access to a TargetMachine. But you could do it in some required IR pass that is part of the codegen pipeline, like ExpandIRInsts? Just to avoid duplicating the checks between the two different isel frameworks. https://github.com/llvm/llvm-project/pull/201470 _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
