// CHECK-LABEL: define i32 @test_vcvts_u32_f32(float %a) #0 {
// CHECK:   [[TMP0:%.*]] = fptoui float %a to i32
// CHECK:   ret i32 [[TMP0]]
uint32_t test_vcvts_u32_f32(float32_t a) {
  return (uint32_t)vcvts_u32_f32(a);
}
uint32_t test_vcvts_u32_f32(float32_t a) {
// CHECK-LABEL: test_vcvts_u32_f32
// CHECK: fcvtzu {{[sw][0-9]+}}, {{s[0-9]+}}
  return (uint32_t)vcvts_u32_f32(a);
}