[llvm] [InstCombine] Tighten use constraint in factorization transforms (PR #102943)

[Nikita Popov via llvm-commits]

https://github.com/nikic commented:

> The transform in `tryFactorization()` used to require that both operations have one use and thus would be removable after the transform. Commit [0cfc651](https://github.com/llvm/llvm-project/commit/0cfc6510323fbb5a56a5de23cbc65f7cc30fd34c) loosened factorization constraints such that only one of the operations must be removable after the transform. There are cases where this will increase the number of non-intermediate variable (variable that is not the result of a binop involved in the transform) uses with no discernable benefit (e.g. https://alive2.llvm.org/ce/z/8K4VuE). Likewise, `factorizeMathWithShlOps()` uses the same constraints and has the same issue (https://alive2.llvm.org/ce/z/EKK-Kp).

Could you explain in more detail why these transforms are undesirable (to the point that we must actively prevent them)?

In https://alive2.llvm.org/ce/z/8K4VuE `%add` after the transform only depends on one multiply, instead of two, which seems like a good change in principle?

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