bswap(12345678) = 78563412
bswap16(1234) = 3412
bswap64(123456789abcdef0) = f0debc9a78563412
clz(12345678) = 3
clzll(12345678) = 35
clzll(1234567812345678) = 3
clzll(78563412) = 33
ctz(1234) = 2
ctzll(1234567812345678) = 3
ctzll(1234567800000000) = 35
ctzll(78563412) = 1
fsqrt(3.141590) = 1.772453
fmin(3.141590, 2.718000) = 2.718000
fmax(3.141590, 2.718000) = 3.141590
read_16_rev = 3412
read_32_rev = efbeadde
after write_16_rev: 9a78
after write_32_rev: 78563412
CSE write_32_rev: ok