Lines Matching refs:WASM_F64_MAX
2638 BUILD(r, WASM_F64_MAX(WASM_GET_LOCAL(0), WASM_GET_LOCAL(1)));2714 BUILD(r, WASM_F64_MAX(WASM_F64(bit_cast<double>(0xfff000000000f1e2)),2720 BUILD(r, WASM_F64_MAX(WASM_F64(45.73),