3 test_vaddv_v2sf (const float32_t *pool)
8 return vaddv_f32 (val);
12 test_vaddv_v4sf (const float32_t *pool)
16 val = vld1q_f32 (pool);
17 return vaddvq_f32 (val);
21 test_vaddv_v2df (const float64_t *pool)
25 val = vld1q_f64 (pool);
26 return vaddvq_f64 (val);