AlexMaclean wrote: My main concern here is that this seems be be incorrect. If any wrapping occurs in the multiplication won't that no longer occur with the mad.wide? https://github.com/llvm/llvm-project/pull/150477