[Diffusion] rG13ec913bdf50: [InstCombine] Recognize `((x * y) s/ x) !=/== y` as an signed multiplication…

[Simon Pilgrim via Phabricator via llvm-commits]

RKSimon added a comment.

Isn't the problem the limited lowering options in TargetLowering::expandMULO ? If we fell back to reusing the expansions we have in TargetLowering::expandMUL_LOHI then we'd probably be OK ?


BRANCHES
  main

Users:
  lebedev.ri (Author)

https://reviews.llvm.org/rG13ec913bdf50