Searched refs:floatFromBits (Results 1 – 10 of 10) sorted by relevance
/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/Backend/ |
H A D | FloatHelpers.hs | 165 floatFromBits :: 170 floatFromBits e p bv = BF { bfValue = bfFromBits (fpOpts e p NearEven) bv function
|
H A D | Concrete.hs | 369 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 D | debug.go | 591 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 D | decode.go | 306 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 D | debug.go | 601 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 D | decode.go | 307 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 D | debug.go | 591 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 D | decode.go | 306 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 D | Random.hs | 40 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 D | Reference.lhs | 1625 > VFloat . FP.floatFromBits e p <$> (fromVWord =<< bvv)
|