uint16x1_t test_vqaddh_u16 (uint16x1_t a, uint16x1_t b) { return vqaddh_u16 (a, b); }
// CHECK: test_vqaddh_u16 uint16_t test_vqaddh_u16(uint16_t a, uint16_t b) { return vqaddh_u16(a, b); // CHECK: uqadd.4h {{v[0-9]+}}, {{v[0-9]+}}, {{v[0-9]+}} }