void test_vRshlu64 (void) { uint64x1_t out_uint64x1_t; uint64x1_t arg0_uint64x1_t; int64x1_t arg1_int64x1_t; out_uint64x1_t = vrshl_u64 (arg0_uint64x1_t, arg1_int64x1_t); }
uint64x1_t test_vrshl_u64 (uint64x1_t a, int64x1_t b) { return vrshl_u64 (a, b); }
uint64x1_t test_vrshl_u64(uint64x1_t a, int64x1_t b) { // CHECK: test_vrshl_u64 return vrshl_u64(a, b); // CHECK: urshl {{d[0-9]+}}, {{d[0-9]+}}, {{d[0-9]+}} }