HomePhabricator

[InstSimplify] fold fcmp (maxnum, X, C1), C2

Description

[InstSimplify] fold fcmp (maxnum, X, C1), C2

This is the sibling transform for rL360899 (D61691):

maxnum(X, GreaterC) == C --> false
maxnum(X, GreaterC) <= C --> false
maxnum(X, GreaterC) <  C --> false
maxnum(X, GreaterC) >= C --> true
maxnum(X, GreaterC) >  C --> true
maxnum(X, GreaterC) != C --> true

Details

Committed
spatelMay 19 2019, 7:26 AM
Parents
rL361117: Add a Visit overload for DynTypedNode to ASTNodeTraverser
Branches
Unknown
Tags
Unknown