void test_vsli_nu64 (void) { uint64x1_t out_uint64x1_t; uint64x1_t arg0_uint64x1_t; uint64x1_t arg1_uint64x1_t; out_uint64x1_t = vsli_n_u64 (arg0_uint64x1_t, arg1_uint64x1_t, 1); }
uint64x1_t test_vsli_n_u64 (uint64x1_t a, uint64x1_t b) { return vsli_n_u64 (a, b, 9); }