param v @ inline export function __hadd2_f32 ( v ) { return f32x4 . add ( v , v128 . shuffle < f32 > ( v , v , 1 , 0 , 3 , 2 ) ) ; } param v @ inline export function __hadd4_f32 ( v ) { v = f32x4 . add ( v , v128 . shuffle < f32 > ( v , v , 2 , 3 , 0 , 1 ) ) ; return f32x4 . extract_lane ( v , 0 ) + f32x4 . extract_lane ( v , 1 ) ; }