davemgreen wrote: I've updated this to be more like the SDAG equivalent in selectUmullSmull, where it looks at the known buts / sign bits for converting to umull/smull, especially for 64bit types. https://github.com/llvm/llvm-project/pull/112405