1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -march=rv32gcv_zfhmin -mabi=ilp32 -mcmodel=medlow" } */
       3  int foo()
       4  {
       5  }