uint64_t test_vshld_u64 (uint64_t a, uint64_t b) { return vshld_u64 (a, b); }
// CHECK: test_vshld_u64 uint64_t test_vshld_u64(uint64_t a, uint64_t b) { return vshld_u64(a, b); // CHECK: ushl {{d[0-9]+}}, {{d[0-9]+}}, {{d[0-9]+}} }