[llvm] [TableGen] Implement TypesAreContradictory for non-simple ValueTypeByHwMode. (PR #182765)

[Craig Topper via llvm-commits]

topperc wrote:

> This looks mostly right but I don't want to LGTM without more time to read context. I presume this gives some savings in the table sizes for ISel?

The FactorNodes code uses the contradictory information to reorder patterns to allow more OPC_Scope to be formed. So yes this reduces the size of the table. It's not doing a lot for RISC-V right now, maybe a few dozen bytes.

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