Searched refs:write_f64 (Results 1 – 2 of 2) sorted by relevance
129 body_.write_f64(value); in EmitF64Const()427 buffer.write_f64(global.init.val.f64_const); in WriteTo()452 buffer.write_f64(0.); in WriteTo()
81 void write_f64(double val) { write_u64(bit_cast<uint64_t>(val)); } in write_f64() function