let f32_add rm v1 v2 =
  ()

let f32_sub rm v1 v2 =
  ()

let f32_mul rm v1 v2 =
  ()

let f32_div rm v1 v2 =
  ()

let f64_add rm v1 v2 =
  ()

let f64_sub rm v1 v2 =
  ()

let f64_mul rm v1 v2 =
  ()

let f64_div rm v1 v2 =
  ()

let f32_muladd rm v1 v2 v3 =
  ()

let f64_muladd rm v1 v2 v3 =
  ()

let f32_sqrt rm v =
  ()

let f64_sqrt rm v =
  ()

let f32_to_i32 rm v =
  ()

let f32_to_ui32 rm v =
  ()

let i32_to_f32 rm v =
  ()

let ui32_to_f32 rm v =
  ()

let f32_to_i64 rm v =
  ()

let f32_to_ui64 rm v =
  ()

let i64_to_f32 rm v =
  ()

let ui64_to_f32 rm v =
  ()

let f64_to_i32 rm v =
  ()

let f64_to_ui32 rm v =
  ()

let i32_to_f64 rm v =
  ()

let ui32_to_f64 rm v =
  ()

let f64_to_i64 rm v =
  ()

let f64_to_ui64 rm v =
  ()

let i64_to_f64 rm v =
  ()

let ui64_to_f64 rm v =
  ()

let f32_to_f64 rm v =
  ()

let f64_to_f32 rm v =
  ()

let f32_lt v1 v2 =
  ()

let f32_le v1 v2 =
  ()

let f32_eq v1 v2 =
  ()

let f64_lt v1 v2 =
  ()

let f64_le v1 v2 =
  ()

let f64_eq v1 v2 =
  ()