uint32x1_t test_vqshls_u32 (uint32x1_t a, uint32x1_t b) { return vqshls_u32 (a, b); }
// CHECK: test_vqshls_u32 uint32_t test_vqshls_u32(uint32_t a, uint32_t b) { return vqshls_u32(a, b); // CHECK: uqshl {{s[0-9]+}}, {{s[0-9]+}}, {{s[0-9]+}} }