int32x1_t test_vqrshls_s32 (int32x1_t a, int32x1_t b) { return vqrshls_s32 (a, b); }
// CHECK: test_vqrshls_s32 int32_t test_vqrshls_s32(int32_t a, int32_t b) { return vqrshls_s32(a, b); // CHECK: sqrshl {{s[0-9]+}}, {{s[0-9]+}}, {{s[0-9]+}} }