Lines Matching full:signbit
2377 // signbit:2378 // * signbit(cnst) -> cnst'2379 // * signbit(nncst) -> 0 (if pstv is a non-negative constant)
