Skip to content

Fix incorrect rounding with subnormal/zero results of float multiplication #1257

Fix incorrect rounding with subnormal/zero results of float multiplication

Fix incorrect rounding with subnormal/zero results of float multiplication #1257

Test (arm-unknown-linux-gnueabihf, ubuntu-latest, nightly)

succeeded Jul 1, 2024 in 3m 35s