Skip to content

Commit

Permalink
fixing smallest normal value of 80-bit extended precision format
Browse files Browse the repository at this point in the history
  • Loading branch information
Ravenwater committed Oct 15, 2021
1 parent 4694178 commit 3c76d33
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 4 deletions.
4 changes: 2 additions & 2 deletions include/universal/native/ieee754_clang.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -75,9 +75,9 @@ class ieee754_parameter<long double> {
static constexpr uint64_t fmsb = 0x8000'0000'0000'0000ull;
static constexpr uint64_t qnanmask = 0x7FF8'0000'0000'0000ull;
static constexpr uint64_t snanmask = 0x7FF4'0000'0000'0000ull;
static constexpr long double minNormal = 1.6810515715560467531313389086609e-4932l; // == 2^-16383
static constexpr long double minNormal = 3.3621031431120935062626778173218e-4932l; // == 2^-16382
static constexpr long double minSubnormal = 3.6451995318824746025284059336194e-4951l; // == 2^-16445
static constexpr int minNormalExp = -16381;
static constexpr int minNormalExp = -16382;
static constexpr int minSubnormalExp = -16445;
};

Expand Down
4 changes: 2 additions & 2 deletions include/universal/native/ieee754_gcc.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -75,9 +75,9 @@ class ieee754_parameter<long double> {
static constexpr uint64_t fmsb = 0x8000'0000'0000'0000ull;
static constexpr uint64_t qnanmask = 0x7FF8'0000'0000'0000ull;
static constexpr uint64_t snanmask = 0x7FF4'0000'0000'0000ull;
static constexpr long double minNormal = 1.6810515715560467531313389086609e-4932l; // == 2^-16383
static constexpr long double minNormal = 3.3621031431120935062626778173218e-4932l; // == 2^-16382
static constexpr long double minSubnormal = 3.6451995318824746025284059336194e-4951l; // == 2^-16445
static constexpr int minNormalExp = -16381;
static constexpr int minNormalExp = -16382;
static constexpr int minSubnormalExp = -16445;
};

Expand Down

0 comments on commit 3c76d33

Please sign in to comment.