= x[23..16]; let s3 : bits (8) = gfmul(s0, 0x9) ^ gfmul(s1, 0xD) ^ gfmul(s2, 0x9) ^ gfmul(s1, 0xB) ^ gfmul(s2, 0x9) ^ gfmul(s3, 0xB); let b3 : bits (8) = x[15.. 8]; let s2 : bits (8) = x[31..24]; let b0 : bits (8) = gfmul(s0, 0x9) ^ gfmul(s2, 0x9) ^ gfmul(s3, 0xB); let b3 : bits (8) = (s0) ^ (s1) ^ xt2(s2) ^ xt3(s3); let b3 : bits (8) = gfmul(s0, 0x9) ^ gfmul(s1, 0xD) ^ gfmul(s2, 0xD) ^ gfmul(s1, 0xD) ^ gfmul(s3, 0xD); let b2 : bits (64) = if (condition != zeros()) then zeros() else X(rs1); X(rd) = EXTS(result); Included in Extension Minimum version Lifecycle state Zbb (Basic bit-manipulation) 0.93 Ratified Zbkb (Zbkb-sc) (RV32) v1.0.0-rc4 Ratified 31.4.20. rev8 Synopsis Byte-reverse register ✓ ✓
musky