NaNのビットパターンを使ってWebAssemblyからCPUの命令セットを推測する

浮動小数点数にはIEEE 754という標準規格がありますが、規格の範囲内であっても僅かに実装による差異が認められています。その一つがNaNのビットパターンです。 WebAssemblyはNaNのビットパターンに関しては実装依存の結果を許容しており、Wasmランタイムは特に深い理由がなければホストCPUの浮動小数点命令をそのまま用いると考えられるため、結果として「WasmからNaNのビットパターンを観測することでホストのCPUの命令セットを推測する」ことができます。 ここでは、「x86(_64)」「RISC-V」「その他（Armなど）」の3択で判定することを目指します。 判定コード 判定するコードは以下です： #include <inttypes.h> #include <stdio.h> #include <string.h> float u32_to_f32(uint32_t x) {

[sh19910711]

"WebAssemblyはNaNのビットパターンに関しては実装依存の結果を許容しており、Wasmランタイムは特に深い理由がなければホストCPUの浮動小数点命令をそのまま用いると考えられる"

[gfx]

"WebAssemblyはNaNのビットパターンに関しては実装依存の結果を許容しており、Wasmランタイムは特に深い理由がなければホストCPUの浮動小数点命令をそのまま用いると考えられる"

[tkysktmt]

“若干の環境依存性があることがわかりました。何らかの事情で真に環境非依存な実行環境が必要な場合は、WebAssemblyランタイムに細工をして演算結果のNaNのビットパターンの観測”

[igrep]

そういえばComponent Modelの策定時にfloatの受け渡しの時NaN canonicalizationをするかで結構紛糾してましたね

[todays_mitsui]

おもろい