HomePhabricator

[InstCombine] peek through fdiv to find a squared sqrt

Description

[InstCombine] peek through fdiv to find a squared sqrt

A more general canonicalization between fdiv and fmul would not
handle this case because that would have to be limited by uses
to prevent 2 values from becoming 3 values:
(x/y) * (x/y) --> (x*x) / (y*y)

(But we probably should still have that limited -- but more general --
canonicalization independently of this change.)

Details

Committed
spatelApr 8 2019, 2:23 PM
Parents
rL357942: [TargetLowering] SimplifyDemandedBits - use DemandedElts in bitcast handling
Branches
Unknown
Tags
Unknown