LGTM with the unused CHECKs and the assumption that the result of the fadd is $f0 fixed
|11 ↗||(On Diff #42431)|
This isn't checked anymore. 'CHECK' is only the default prefix when no prefixes are given.
|34 ↗||(On Diff #42431)|
|36–45 ↗||(On Diff #42431)|
It's not for this patch but this output doesn't seem very efficient. For example, it could clear the top bit with a dsll+dsrl saving two instructions
|42 ↗||(On Diff #42431)|
This $f0 isn't guaranteed to be $f0.