Skip to content

[Wasm R2R] Fix two crossgen2 NYIs: FloatTraits::NaN and bitcast of same-size types #129095

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
AndyAyersMS wants to merge 2 commits into
base: main
Choose a base branch
from
+25 −22
Open

[Wasm R2R] Fix two crossgen2 NYIs: FloatTraits::NaN and bitcast of same-size types #129095

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
ad617e9
[Wasm R2R] Fix two crossgen2 NYIs: FloatTraits::NaN and bitcast of sa…
AndyAyersMS Jun 7, 2026
90a0d0d
[Wasm R2R] Address PR feedback on NaN traits
AndyAyersMS Jun 7, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
15 changes: 13 additions & 2 deletions src/coreclr/jit/codegenwasm.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1883,12 +1883,23 @@ void CodeGen::genCodeForBitCast(GenTreeOp* tree)
case PackTypes(TYP_DOUBLE, TYP_LONG):
ins = INS_f64_reinterpret_i64;
break;

// Same-size bitcasts are no-ops on the wasm value stack. PackTypes normalizes
// TYP_REF/TYP_BYREF to TYP_I_IMPL, so this covers all INT/REF/BYREF combos on wasm32
// and LONG/REF/BYREF on wasm64.
case PackTypes(TYP_INT, TYP_INT):
case PackTypes(TYP_LONG, TYP_LONG):
break;

default:
unreached();
NYI_WASM("genCodeForBitCast: unsupported type combination");
break;
}

GetEmitter()->emitIns(ins);
if (ins != INS_none)
{
GetEmitter()->emitIns(ins);
}
WasmProduceReg(tree);
}

Expand Down
32 changes: 12 additions & 20 deletions src/coreclr/jit/valuenum.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -44,13 +44,9 @@ struct FloatTraits
{
#if defined(TARGET_XARCH)
unsigned bits = 0xFFC00000u;
#elif defined(TARGET_ARMARCH) || defined(TARGET_LOONGARCH64) || defined(TARGET_RISCV64)
#elif defined(TARGET_ARMARCH) || defined(TARGET_LOONGARCH64) || defined(TARGET_RISCV64) || defined(TARGET_WASM)
// WASM uses the canonical NaN payload, matching ARM.
unsigned bits = 0x7FC00000u;
#elif defined(TARGET_WASM)
// TODO-WASM: this may prove tricker than it seems since there are two possible "canonical"
// NaN values. We may need to introduce a new "unknown" value to be returned here.
NYI_WASM("FloatTraits::NaN");
unsigned bits = 0;
#else
#error Unsupported or unset target architecture
#endif
Expand All @@ -75,13 +71,9 @@ struct DoubleTraits
{
#if defined(TARGET_XARCH)
unsigned long long bits = 0xFFF8000000000000ull;
#elif defined(TARGET_ARMARCH) || defined(TARGET_LOONGARCH64) || defined(TARGET_RISCV64)
#elif defined(TARGET_ARMARCH) || defined(TARGET_LOONGARCH64) || defined(TARGET_RISCV64) || defined(TARGET_WASM)
// WASM uses the canonical NaN payload, matching ARM.
unsigned long long bits = 0x7FF8000000000000ull;
#elif defined(TARGET_WASM)
// TODO-WASM: this may prove tricker than it seems since there are two possible "canonical"
// NaN values. We may need to introduce a new "unknown" value to be returned here.
NYI_WASM("DoubleTraits::NaN");
unsigned long long bits = 0;
#else
#error Unsupported or unset target architecture
#endif
Expand All @@ -105,7 +97,7 @@ struct DoubleTraits
template <typename TFp, typename TFpTraits>
TFp FpAdd(TFp value1, TFp value2)
{
#if defined(TARGET_ARMARCH) || defined(TARGET_LOONGARCH64) || defined(TARGET_RISCV64)
#if defined(TARGET_ARMARCH) || defined(TARGET_LOONGARCH64) || defined(TARGET_RISCV64) || defined(TARGET_WASM)
// If [value1] is negative infinity and [value2] is positive infinity
// the result is NaN.
// If [value1] is positive infinity and [value2] is negative infinity
Expand All @@ -123,7 +115,7 @@ TFp FpAdd(TFp value1, TFp value2)
return TFpTraits::NaN();
}
}
#endif // TARGET_ARMARCH || TARGET_LOONGARCH64 || TARGET_RISCV64
#endif // TARGET_ARMARCH || TARGET_LOONGARCH64 || TARGET_RISCV64 || TARGET_WASM

return value1 + value2;
}
Expand All @@ -141,7 +133,7 @@ TFp FpAdd(TFp value1, TFp value2)
template <typename TFp, typename TFpTraits>
TFp FpSub(TFp value1, TFp value2)
{
#if defined(TARGET_ARMARCH) || defined(TARGET_LOONGARCH64) || defined(TARGET_RISCV64)
#if defined(TARGET_ARMARCH) || defined(TARGET_LOONGARCH64) || defined(TARGET_RISCV64) || defined(TARGET_WASM)
// If [value1] is positive infinity and [value2] is positive infinity
// the result is NaN.
// If [value1] is negative infinity and [value2] is negative infinity
Expand All @@ -159,7 +151,7 @@ TFp FpSub(TFp value1, TFp value2)
return TFpTraits::NaN();
}
}
#endif // TARGET_ARMARCH || TARGET_LOONGARCH64 || TARGET_RISCV64
#endif // TARGET_ARMARCH || TARGET_LOONGARCH64 || TARGET_RISCV64 || TARGET_WASM

return value1 - value2;
}
Expand All @@ -177,7 +169,7 @@ TFp FpSub(TFp value1, TFp value2)
template <typename TFp, typename TFpTraits>
TFp FpMul(TFp value1, TFp value2)
{
#if defined(TARGET_ARMARCH) || defined(TARGET_LOONGARCH64) || defined(TARGET_RISCV64)
#if defined(TARGET_ARMARCH) || defined(TARGET_LOONGARCH64) || defined(TARGET_RISCV64) || defined(TARGET_WASM)
// From the ECMA standard:
//
// If [value1] is zero and [value2] is infinity
Expand All @@ -193,7 +185,7 @@ TFp FpMul(TFp value1, TFp value2)
{
return TFpTraits::NaN();
}
#endif // TARGET_ARMARCH || TARGET_LOONGARCH64 || TARGET_RISCV64
#endif // TARGET_ARMARCH || TARGET_LOONGARCH64 || TARGET_RISCV64 || TARGET_WASM

return value1 * value2;
}
Expand All @@ -211,7 +203,7 @@ TFp FpMul(TFp value1, TFp value2)
template <typename TFp, typename TFpTraits>
TFp FpDiv(TFp dividend, TFp divisor)
{
#if defined(TARGET_ARMARCH) || defined(TARGET_LOONGARCH64) || defined(TARGET_RISCV64)
#if defined(TARGET_ARMARCH) || defined(TARGET_LOONGARCH64) || defined(TARGET_RISCV64) || defined(TARGET_WASM)
// From the ECMA standard:
//
// If [dividend] is zero and [divisor] is zero
Expand All @@ -228,7 +220,7 @@ TFp FpDiv(TFp dividend, TFp divisor)
{
return TFpTraits::NaN();
}
#endif // TARGET_ARMARCH || TARGET_LOONGARCH64 || TARGET_RISCV64
#endif // TARGET_ARMARCH || TARGET_LOONGARCH64 || TARGET_RISCV64 || TARGET_WASM

return dividend / divisor;
}
Expand Down
Loading