void test_vcvt_nf32_s32 (void) { float32x2_t out_float32x2_t; int32x2_t arg0_int32x2_t; out_float32x2_t = vcvt_n_f32_s32 (arg0_int32x2_t, 1); }
// ...but should warn when the types really do not match. float32x2_t test2(uint32x2_t x) { return vcvt_n_f32_s32(x, 9); // expected-warning {{incompatible vector types}} }