Home
last modified time | relevance | path

Searched refs:floatFromBits (Results 1 – 10 of 10) sorted by relevance

/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/Backend/
H A DFloatHelpers.hs165 floatFromBits ::
170 floatFromBits e p bv = BF { bfValue = bfFromBits (fpOpts e p NearEven) bv function
H A DConcrete.hs369 fpFromBits _sym e p bv = pure (FP.floatFromBits e p (bvVal bv))
/dports/lang/gcc48/gcc-4.8.5/libgo/go/encoding/gob/
H A Ddebug.go591 fmt.Fprintf(os.Stderr, "%s%g\n", indent, floatFromBits(x))
595 fmt.Fprintf(os.Stderr, "%s%g+%gi\n", indent, floatFromBits(r), floatFromBits(i))
H A Ddecode.go306 func floatFromBits(u uint64) float64 { func
319 v := floatFromBits(state.decodeUint())
353 *(*float64)(p) = floatFromBits(uint64(state.decodeUint()))
380 real := floatFromBits(uint64(state.decodeUint()))
381 imag := floatFromBits(uint64(state.decodeUint()))
/dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/libgo/go/encoding/gob/
H A Ddebug.go601 fmt.Fprintf(os.Stderr, "%s%g\n", indent, floatFromBits(x))
605 fmt.Fprintf(os.Stderr, "%s%g+%gi\n", indent, floatFromBits(r), floatFromBits(i))
H A Ddecode.go307 func floatFromBits(u uint64) float64 { func
320 v := floatFromBits(state.decodeUint())
354 *(*float64)(p) = floatFromBits(uint64(state.decodeUint()))
381 real := floatFromBits(uint64(state.decodeUint()))
382 imag := floatFromBits(uint64(state.decodeUint()))
/dports/devel/mingw32-gcc/gcc-4.8.1/libgo/go/encoding/gob/
H A Ddebug.go591 fmt.Fprintf(os.Stderr, "%s%g\n", indent, floatFromBits(x))
595 fmt.Fprintf(os.Stderr, "%s%g+%gi\n", indent, floatFromBits(r), floatFromBits(i))
H A Ddecode.go306 func floatFromBits(u uint64) float64 { func
319 v := floatFromBits(state.decodeUint())
353 *(*float64)(p) = floatFromBits(uint64(state.decodeUint()))
380 real := floatFromBits(uint64(state.decodeUint()))
381 imag := floatFromBits(uint64(state.decodeUint()))
/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/Testing/
H A DRandom.hs40 import Cryptol.Backend.FloatHelpers (floatFromBits)
400 TVFloat e p -> [ VFloat (floatFromBits e p v) | v <- [0 .. 2^(e+p) - 1] ]
/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/Eval/
H A DReference.lhs1625 > VFloat . FP.floatFromBits e p <$> (fromVWord =<< bvv)