ph_ext1.c

////C: '-msoft-fp-half'
////C: '-march=rv64gczfh_x-fph -mabi=lp64d'
////A: '--has-fpack --has-fhalf'

typedef half phalf __attribute__((ext_vector_type(2)));


int main(void)
{
  volatile phalf a;
  volatile half o;

//  o = a.x;

  o = a.y;

  return 0;
}