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
{{ message }}
Repository navigation
[wasi][R2R] BFloat16 conversions from Int128/UInt128 produce wrong values #135116
In the CoreCLR WASI composite ReadyToRun library lane (LibraryTestsCoreCLR_WASI_R2R, trimmed), BFloat16 explicit conversions from Int128/UInt128 produce wrong values. The same tests pass in the WASI interpreter lane, so the R2R (RyuJIT wasm) code is wrong.
Description
In the CoreCLR WASI composite ReadyToRun library lane (
LibraryTestsCoreCLR_WASI_R2R, trimmed),BFloat16explicit conversions fromInt128/UInt128produce wrong values. The same tests pass in the WASI interpreter lane, so the R2R (RyuJIT wasm) code is wrong.Reproduces locally (macOS arm64 host, wasmtime 49.0.1):
System.Runtime.Testsbuilt with/p:TestWasmReadyToRun=true /p:EnableAggressiveTrimming=true, class filterSystem.Numerics.Tests.BFloat16Tests: 1608 run, 3 failed.Seen in Helix job eccd7d69-de48-4cc1-87fd-6036eb264d50 (#134813) and earlier runs. Quarantined on WASI R2R in #134813.
Note
This issue was drafted with GitHub Copilot.