half_mv_itoh.c

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

#include <stdint.h>

int main(void)
{
  volatile register half z;
  volatile int a;

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

  return 0;
}