isAnInfinity property
latefinal
Return a Logic 1
if this FloatingPoint is an infinity
by having its exponent field set to the NaN value (typically all
ones) and a zero mantissa.
Implementation
late final isAnInfinity = (floatingPointValue.supportsInfinities
? exponent.isIn([
valuePopulator().positiveInfinity.exponent,
valuePopulator().negativeInfinity.exponent,
]) &
~mantissa.or()
: Const(0))
.named(_nameJoin('isAnInfinity', name), naming: Naming.mergeable);