void test_vsubf32 (void) { float32x2_t out_float32x2_t; float32x2_t arg0_float32x2_t; float32x2_t arg1_float32x2_t; out_float32x2_t = vsub_f32 (arg0_float32x2_t, arg1_float32x2_t); }
float32x2_t f_sub_abs_to_vabd_32() { float32x2_t val1 = vdup_n_f32 (10); float32x2_t val2 = vdup_n_f32 (30); float32x2_t sres = vsub_f32(val1, val2); float32x2_t res = vabs_f32 (sres); return res; }
inline float32x2_t vsub(const float32x2_t & v0, const float32x2_t & v1) { return vsub_f32(v0, v1); }