Make isnormal branchless

mborland · mborland · commit a7675df86292 · 2024-07-16T15:16:56.000-04:00
diff --git a/include/boost/decimal/decimal32_fast.hpp b/include/boost/decimal/decimal32_fast.hpp
@@ -464,12 +464,7 @@ constexpr auto issignaling(decimal32_fast val) noexcept -> bool
 
 constexpr auto isnormal(decimal32_fast val) noexcept -> bool
 {
-    if (val.exponent_ <= static_cast<std::uint8_t>(detail::precision_v<decimal32> - 1))
-    {
-        return false;
-    }
-
-    return (val.significand_ != 0) && isfinite(val);
+    return (val.significand_ != 0) && isfinite(val) && (val.exponent_ > static_cast<std::uint8_t>(detail::precision_v<decimal32> - 1));
 }
 
 constexpr auto isfinite(decimal32_fast val) noexcept -> bool

Original file line number	Diff line number	Diff line change
`@@ -464,12 +464,7 @@ constexpr auto issignaling(decimal32_fast val) noexcept -> bool`
`464`	`464`
`465`	`465`	`constexpr auto isnormal(decimal32_fast val) noexcept -> bool`
`466`	`466`	`{`
`467`		`- if (val.exponent_ <= static_cast<std::uint8_t>(detail::precision_v<decimal32> - 1))`
`468`		`- {`
`469`		`- return false;`
`470`		`- }`
`471`		`-`
`472`		`- return (val.significand_ != 0) && isfinite(val);`
	`467`	`+ return (val.significand_ != 0) && isfinite(val) && (val.exponent_ > static_cast<std::uint8_t>(detail::precision_v<decimal32> - 1));`
`473`	`468`	`}`
`474`	`469`
`475`	`470`	`constexpr auto isfinite(decimal32_fast val) noexcept -> bool`