mulhw(12345678, deadbeef) = fda16776
mulhwu(12345678, deadbeef) = fd5bdee
clz(12345678) = 3
clzll(12345678) = 35
clzll(1234567812345678) = 3
clzll(78563412) = 33
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) = OK
fres(3.141590) = OK
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
isel(0, 305419896, -559038737) = -559038737
isel(42, 305419896, -559038737) = 305419896
read_16_rev = 3412
read_32_rev = efbeadde
after write_16_rev: 9a78
after write_32_rev: 78563412
CSE write_32_rev: ok