Lines Matching refs:SMin
1318 // Handle (icmp sgt smin(PosA, B) 0) -> (icmp sgt B 0)
1905 // (X << S) <s C is equiv to X <s ((C - 1) >> S) + 1 if C >s SMIN
3394 // smin(X, Y) == X --> X s<= Y
3395 // smin(X, Y) s>= X --> X s<= Y
3399 // smin(X, Y) != X --> X s> Y
3400 // smin(X, Y) s< X --> X s> Y
3405 // smin(X, Y) s<= X --> true
3406 // smin(X, Y) s> X --> false
5018 APFloat SMin(RHS.getSemantics());
5019 SMin.convertFromAPInt(APInt::getSignedMinValue(IntWidth), true,
5021 if (SMin.compare(RHS) == APFloat::cmpGreaterThan) { // smin > 12312.0
5029 APFloat SMin(RHS.getSemantics());
5030 SMin.convertFromAPInt(APInt::getMinValue(IntWidth), true,
5032 if (SMin.compare(RHS) == APFloat::cmpGreaterThan) { // umin > 12312.0
5040 // Okay, now we know that the FP constant fits in the range [SMIN, SMAX] or
