void test_vreinterpretQu64_p128 (void) { uint64x2_t out_uint64x2_t; poly128_t arg0_poly128_t; out_uint64x2_t = vreinterpretq_u64_p128 (arg0_poly128_t); }
// CHECK-LABEL: test_vreinterpretq_u64_p128 // CHECK: ret uint64x2_t test_vreinterpretq_u64_p128(poly128_t a) { return vreinterpretq_u64_p128(a); }