ps_add.c

////C: '-msoft-fp-single'
////A: '--has-fpack'
////C: '-march=rv64imafdzfh_x-fph_x-fps'

typedef float ps __attribute__((ext_vector_type(2)));


int main(void)
{
  volatile ps a,b;
  volatile ps o;

//  a.x = 1.23456789;
//  a.y = 34.5678901;

//  b.x = 2.3456789;
//  b.y = 9.87654321;

  o = a + b;

  return 0;
}