We already support pulling through an add with constant RHS. We can do the same for subtract.
For reference, http://rise4fun.com/Alive/8l5 .
This transform throws nsw/nuw flags; can we preserve them in some situations?
|525 ↗||(On Diff #110137)|
Maybe add a comment writing out the transform in mathematical terms? (e.g. "2 * (A - B)" -> "2 * A - 2 * B").
|1082 ↗||(On Diff #110137)|
This could use a couple more tests, to specifically show the transform this patch adds.