ed/Odin
1
0
Fork 0
mirror of https://github.com/Ed94/Odin.git synced 2026-08-06 07:38:48 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix is* proc in libc.

Browse Source
This commit is contained in:
Jeroen van Rijn
2022-05-20 20:00:27 +02:00
parent 9ac94e621b
commit e85f1dd9fb
1 changed files with 10 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files
core/c/libc/math.odin
+10 -10
View File
@@ -211,19 +211,19 @@ _signbitf :: #force_inline proc(x: float) -> int {
return int(transmute(uint32_t)x >> 31) return int(transmute(uint32_t)x >> 31)
} }
isfinite :: #force_inline proc(x: $T) where intrinsics.type_is_float(T) { isfinite :: #force_inline proc(x: $T) -> bool where intrinsics.type_is_float(T) {
return fpclassify(x) == FP_INFINITE return fpclassify(x) == FP_INFINITE
} }
isinf :: #force_inline proc(x: $T) where intrinsics.type_is_float(T) { isinf :: #force_inline proc(x: $T) -> bool where intrinsics.type_is_float(T) {
return fpclassify(x) > FP_INFINITE return fpclassify(x) > FP_INFINITE
} }
isnan :: #force_inline proc(x: $T) where intrinsics.type_is_float(T) { isnan :: #force_inline proc(x: $T) -> bool where intrinsics.type_is_float(T) {
return fpclassify(x) == FP_NAN return fpclassify(x) == FP_NAN
} }
isnormal :: #force_inline proc(x: $T) where intrinsics.type_is_float(T) { isnormal :: #force_inline proc(x: $T) -> bool where intrinsics.type_is_float(T) {
return fpclassify(x) == FP_NORMAL return fpclassify(x) == FP_NORMAL
} }
@@ -231,27 +231,27 @@ isnormal :: #force_inline proc(x: $T) where intrinsics.type_is_float(T) {
// implemented as the relational comparisons, as that would produce an invalid // implemented as the relational comparisons, as that would produce an invalid
// "sticky" state that propagates and affects maths results. These need // "sticky" state that propagates and affects maths results. These need
// to be implemented natively in Odin assuming isunordered to prevent that. // to be implemented natively in Odin assuming isunordered to prevent that.
isgreater :: #force_inline proc(x, y: $T) where intrinsics.type_is_float(T) { isgreater :: #force_inline proc(x, y: $T) -> bool where intrinsics.type_is_float(T) {
return !isunordered(x, y) && x > y return !isunordered(x, y) && x > y
} }
isgreaterequal :: #force_inline proc(x, y: $T) where intrinsics.type_is_float(T) { isgreaterequal :: #force_inline proc(x, y: $T) -> bool where intrinsics.type_is_float(T) {
return !isunordered(x, y) && x >= y return !isunordered(x, y) && x >= y
} }
isless :: #force_inline proc(x, y: $T) where intrinsics.type_is_float(T) { isless :: #force_inline proc(x, y: $T) -> bool where intrinsics.type_is_float(T) {
return !isunordered(x, y) && x < y return !isunordered(x, y) && x < y
} }
islessequal :: #force_inline proc(x, y: $T) where intrinsics.type_is_float(T) { islessequal :: #force_inline proc(x, y: $T) -> bool where intrinsics.type_is_float(T) {
return !isunordered(x, y) && x <= y return !isunordered(x, y) && x <= y
} }
islessgreater :: #force_inline proc(x, y: $T) where intrinsics.type_is_float(T) { islessgreater :: #force_inline proc(x, y: $T) -> bool where intrinsics.type_is_float(T) {
return !isunordered(x, y) && x <= y return !isunordered(x, y) && x <= y
} }
isunordered :: #force_inline proc(x, y: $T) where intrinsics.type_is_float(T) { isunordered :: #force_inline proc(x, y: $T) -> bool where intrinsics.type_is_float(T) {
if isnan(x) { if isnan(x) {
// Force evaluation of y to propagate exceptions for ordering semantics. // Force evaluation of y to propagate exceptions for ordering semantics.
// To ensure correct semantics of IEEE 754 this cannot be compiled away. // To ensure correct semantics of IEEE 754 this cannot be compiled away.