void test_vcreatef32 (void) { float32x2_t out_float32x2_t; uint64_t arg0_uint64_t; out_float32x2_t = vcreate_f32 (arg0_uint64_t); }
float32x2_t test_vcreate_f32(uint64_t v1) { // CHECK: test_vcreate_f32 return vcreate_f32(v1); // CHECK: fmov {{d[0-9]+}}, {{x[0-9]+}} }