You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Multiplying f128 0x00000000000000000000000000000001 * 0x0001ffffffffffffffffffffffffffff should have the result 0x3f8e0000000000000000000000000001, which is produced by the GCC libraries (godbolt). Clang's compiler-rt returns a value with an incorrect exponent, 0x3f8f0000000000000000000000000001.
Reproduction, needs to link against compiler-rt divtf3.c with __divtf3 renamed to __divtf3_x so the system library doesn't get linked instead.
tgross35
changed the title
Rounding error in compiler-rt __divtf3 for f128
Rounding error in subnormal division in compiler-rt __divtf3 for f128May 29, 2024
Multiplying f128
0x00000000000000000000000000000001 * 0x0001ffffffffffffffffffffffffffff
should have the result0x3f8e0000000000000000000000000001
, which is produced by the GCC libraries (godbolt). Clang's compiler-rt returns a value with an incorrect exponent,0x3f8f0000000000000000000000000001
.Reproduction, needs to link against compiler-rt
divtf3.c
with__divtf3
renamed to__divtf3_x
so the system library doesn't get linked instead.The text was updated successfully, but these errors were encountered: