mulhw(12345678, deadbeef) = fda16776 mulhwu(12345678, deadbeef) = fd5bdee cntlz(12345678) = 3 bswap(12345678) = 78563412 bswap16(1234) = 3412 fmadd(3.141590, 2.718000, 1.414000) = 9.952842 fmsub(3.141590, 2.718000, 1.414000) = 7.124842 fabs(3.141590) = 3.141590 fabs(-3.141590) = 3.141590 fsqrt(3.141590) = 1.772453 frsqrte(3.141590) = 0.564198 fres(3.141590) = 0.318311 fsel(3.141590, 2.718000, 1.414000) = 2.718000 fsel(-3.141590, 2.718000, 1.414000) = 1.414000 fcti(3.141590) = 3 fcti(2.718000) = 3 fcti(1.414000) = 1 read_16_rev = 3412 read_32_rev = efbeadde after write_16_rev: 9a78 after write_32_rev: 78563412 CSE write_32_rev: ok