half_mv_htoi.c

////C: '-msoft-fp-half'
////A: '--has-fhalf'
//C: '-march=rv64gczfh -mabi=lp64d'

#include <stdint.h>

int main(void)
{
  half a = 0.125h,b;
  int z,y;

//  b = 2.0h*a;

  z = *((int *)&a);
  b = *((half *)&z);

//  y = 5*z+1234;

  return y;
}