Searched refs:bfValue (Results 1 – 7 of 7) sorted by relevance
337 fpEq _sym x y = pure (FP.bfValue x == FP.bfValue y)338 fpLogicalEq _sym x y = pure (FP.bfCompare (FP.bfValue x) (FP.bfValue y) == EQ)339 fpLessThan _sym x y = pure (FP.bfValue x < FP.bfValue y)340 fpGreaterThan _sym x y = pure (FP.bfValue x > FP.bfValue y)345 fpNeg _ x = pure $! x { FP.bfValue = FP.bfNeg (FP.bfValue x) }347 fpAbs _ x = pure $! x { FP.bfValue = FP.bfAbs (FP.bfValue x) }351 pure $! x{ FP.bfValue = FP.fpCheckStatus (FP.bfSqrt opts (FP.bfValue x)) }356 …pure $! x { FP.bfValue = FP.fpCheckStatus (FP.bfFMA opts (FP.bfValue x) (FP.bfValue y) (FP.bfValue…364 in pure (FP.bfIsNormal opts (FP.bfValue x))410 pure $! x { FP.bfValue = FP.fpCheckStatus[all …]
17 , bfValue :: !BigFloat function73 num = bfValue bf125 , bfValue = fpCheckStatus function139 case bfToRep (bfValue bf) of170 floatFromBits e p bv = BF { bfValue = bfFromBits (fpOpts e p NearEven) bv
438 fpExactLit sym BF{ bfExpWidth = e, bfPrecWidth = p, bfValue = bf } =
52 import Cryptol.Backend.FloatHelpers(bfValue)358 floatToExpr prims e p (bfValue f)
523 (VarFloat FH.BF { FH.bfValue = bfNaN
108 pure (floatToExpr prims (tNum e) (tNum p) (bfValue i))
197 > fromVFloat = bfValue . fromVFloat'1582 > fpToBF e p x = BF { bfValue = x, bfExpWidth = e, bfPrecWidth = p }