void test_vmullu32 (void) { uint64x2_t out_uint64x2_t; uint32x2_t arg0_uint32x2_t; uint32x2_t arg1_uint32x2_t; out_uint64x2_t = vmull_u32 (arg0_uint32x2_t, arg1_uint32x2_t); }
inline uint64x2_t vmull(const uint32x2_t & v0, const uint32x2_t & v1) { return vmull_u32(v0, v1); }
inline void v_mul_expand(const v_uint32x4& a, const v_uint32x4& b, v_uint64x2& c, v_uint64x2& d) { c.val = vmull_u32(vget_low_u32(a.val), vget_low_u32(b.val)); d.val = vmull_u32(vget_high_u32(a.val), vget_high_u32(b.val)); }