fpbits.h revision 10480:5d4ebc92d32e
112027Sjungma@eit.uni-kl.de/*
212027Sjungma@eit.uni-kl.de * Copyright (c) 2013, Andreas Sandberg
312027Sjungma@eit.uni-kl.de * All rights reserved.
412027Sjungma@eit.uni-kl.de *
512027Sjungma@eit.uni-kl.de * Redistribution and use in source and binary forms, with or without
612027Sjungma@eit.uni-kl.de * modification, are permitted provided that the following conditions
712027Sjungma@eit.uni-kl.de * are met:
812027Sjungma@eit.uni-kl.de *
912027Sjungma@eit.uni-kl.de * 1. Redistributions of source code must retain the above copyright
1012027Sjungma@eit.uni-kl.de *    notice, this list of conditions and the following disclaimer.
1112027Sjungma@eit.uni-kl.de * 2. Redistributions in binary form must reproduce the above
1212027Sjungma@eit.uni-kl.de *    copyright notice, this list of conditions and the following
1312027Sjungma@eit.uni-kl.de *    disclaimer in the documentation and/or other materials provided
1412027Sjungma@eit.uni-kl.de *    with the distribution.
1512027Sjungma@eit.uni-kl.de *
1612027Sjungma@eit.uni-kl.de * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
1712027Sjungma@eit.uni-kl.de * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
1812027Sjungma@eit.uni-kl.de * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
1912027Sjungma@eit.uni-kl.de * FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
2012027Sjungma@eit.uni-kl.de * COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
2112027Sjungma@eit.uni-kl.de * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
2212027Sjungma@eit.uni-kl.de * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
2312027Sjungma@eit.uni-kl.de * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
2412027Sjungma@eit.uni-kl.de * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
2512027Sjungma@eit.uni-kl.de * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
2612027Sjungma@eit.uni-kl.de * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
2712027Sjungma@eit.uni-kl.de * OF THE POSSIBILITY OF SUCH DAMAGE.
2812027Sjungma@eit.uni-kl.de */
2912027Sjungma@eit.uni-kl.de
3012027Sjungma@eit.uni-kl.de#ifndef _FPBITS_H
3112027Sjungma@eit.uni-kl.de#define _FPBITS_H
3212027Sjungma@eit.uni-kl.de
3312027Sjungma@eit.uni-kl.de#include <stdint.h>
3412027Sjungma@eit.uni-kl.de
3512027Sjungma@eit.uni-kl.de#define FP80_FRAC_BITS 63
3612027Sjungma@eit.uni-kl.de#define FP80_INT_BIT  0x8000000000000000ULL
3712027Sjungma@eit.uni-kl.de#define FP80_QNAN_BIT  0x4000000000000000ULL
3812027Sjungma@eit.uni-kl.de#define FP80_FRAC_MASK  0x7fffffffffffffffULL
3912027Sjungma@eit.uni-kl.de#define FP80_EXP_MASK 0x7fff
4012027Sjungma@eit.uni-kl.de#define FP80_SIGN_BIT 0x8000
4112027Sjungma@eit.uni-kl.de#define FP80_EXP_BIAS 0x3fff
4212027Sjungma@eit.uni-kl.de
4312027Sjungma@eit.uni-kl.de#define FP80_EXP_SPECIAL 0x7fff
4412027Sjungma@eit.uni-kl.de#define FP80_FRAC_SNAN  0x3fffffffffffffffULL
4512027Sjungma@eit.uni-kl.de#define FP80_FRAC_QNAN  0x7fffffffffffffffULL
4612027Sjungma@eit.uni-kl.de#define FP80_FRAC_QNANI 0x4000000000000000ULL
4712027Sjungma@eit.uni-kl.de
4812027Sjungma@eit.uni-kl.de
4912027Sjungma@eit.uni-kl.de#define FP64_EXP_SHIFT 52
5012027Sjungma@eit.uni-kl.de#define FP64_FRAC_BITS 52
5112027Sjungma@eit.uni-kl.de#define FP64_SIGN_BIT  0x8000000000000000ULL
5212027Sjungma@eit.uni-kl.de#define FP64_EXP_MASK  0x7ff0000000000000ULL
5312027Sjungma@eit.uni-kl.de#define FP64_FRAC_MASK 0x000fffffffffffffULL
5412027Sjungma@eit.uni-kl.de#define FP64_EXP_BIAS 0x3ff
5512027Sjungma@eit.uni-kl.de
5612027Sjungma@eit.uni-kl.de#define FP64_EXP_SPECIAL 0x7ff
5712027Sjungma@eit.uni-kl.de#define FP64_FRAC_SNAN  0x0007ffffffffffffULL
5812027Sjungma@eit.uni-kl.de#define FP64_FRAC_QNAN  0x000fffffffffffffULL
5912027Sjungma@eit.uni-kl.de#define FP64_FRAC_QNANI 0x0008000000000000ULL
6012027Sjungma@eit.uni-kl.de
6112027Sjungma@eit.uni-kl.de#define BUILD_IFP64(sign, frac, exp)                            \
6212027Sjungma@eit.uni-kl.de    ((sign) ? FP64_SIGN_BIT : 0) |                              \
6312027Sjungma@eit.uni-kl.de    (((uint64_t)(exp) << FP64_EXP_SHIFT) & FP64_EXP_MASK) |     \
6412027Sjungma@eit.uni-kl.de    ((frac) & FP64_FRAC_MASK)
6512027Sjungma@eit.uni-kl.de
6612027Sjungma@eit.uni-kl.de#define BUILD_FP64(sign, frac, exp)                             \
6712027Sjungma@eit.uni-kl.de    { .bits = BUILD_IFP64(sign, frac, exp) }
6812027Sjungma@eit.uni-kl.de
6912027Sjungma@eit.uni-kl.destatic inline fp64_t
7012027Sjungma@eit.uni-kl.debuild_fp64(int sign, uint64_t frac, int exp)
7112027Sjungma@eit.uni-kl.de{
7212027Sjungma@eit.uni-kl.de    const fp64_t f = BUILD_FP64(sign, frac, exp);
7312027Sjungma@eit.uni-kl.de
7412027Sjungma@eit.uni-kl.de    return f;
7512027Sjungma@eit.uni-kl.de}
7612027Sjungma@eit.uni-kl.de
7712027Sjungma@eit.uni-kl.de#define BUILD_FP80_SE(sign, exp)                                \
7812027Sjungma@eit.uni-kl.de    ((sign) ? FP80_SIGN_BIT : 0) |                              \
7912027Sjungma@eit.uni-kl.de    ((exp) & FP80_EXP_MASK)
8012027Sjungma@eit.uni-kl.de
8112027Sjungma@eit.uni-kl.de#define BUILD_FP80_FI(frac, exp)                                \
8212027Sjungma@eit.uni-kl.de    ((exp) ? FP80_INT_BIT : 0) |                                \
8312027Sjungma@eit.uni-kl.de    ((frac) & FP80_FRAC_MASK)
8412027Sjungma@eit.uni-kl.de
8512027Sjungma@eit.uni-kl.de#define BUILD_FP80(sign, frac, exp)                             \
8612027Sjungma@eit.uni-kl.de    {                                                           \
8712027Sjungma@eit.uni-kl.de        .repr.se = BUILD_FP80_SE(sign, exp),                    \
8812027Sjungma@eit.uni-kl.de        .repr.fi = BUILD_FP80_FI(frac, exp)                     \
8912027Sjungma@eit.uni-kl.de    }
9012027Sjungma@eit.uni-kl.de
9112027Sjungma@eit.uni-kl.destatic inline fp80_t
9212027Sjungma@eit.uni-kl.debuild_fp80(int sign, uint64_t frac, int exp)
9312027Sjungma@eit.uni-kl.de{
9412027Sjungma@eit.uni-kl.de    const fp80_t f = BUILD_FP80(sign, frac, exp);
9512027Sjungma@eit.uni-kl.de
9612027Sjungma@eit.uni-kl.de    return f;
9712027Sjungma@eit.uni-kl.de}
9812027Sjungma@eit.uni-kl.de
9912027Sjungma@eit.uni-kl.de#define FP80_FRAC(fp80)                                         \
10012027Sjungma@eit.uni-kl.de    (fp80.repr.fi & FP80_FRAC_MASK)
101
102#define FP80_EXP(fp80)                                          \
103    (fp80.repr.se & FP80_EXP_MASK)
104
105#define FP64_FRAC(fp64)                                         \
106    (fp64.bits & FP64_FRAC_MASK)
107
108#define FP64_EXP(fp80)                                          \
109    ((fp64.bits & FP64_EXP_MASK) >> FP64_EXP_SHIFT)
110
111
112#endif
113