subset of Zvbb 32.2.15.2. All

let base = X(rs2); let output : xlenbits = EXTZ(0b0); foreach(i from 0 to SEW-8 by 8) { result[i+7..i] = reverse_bits_in_byte(X(rs1)[i+7..i]); }; X(rd) = result; RETIRE_SUCCESS } } Included in Extension Minimum version Lifecycle state Zbkb (Bit-manipulation for Cryptography) (RV32) v1.0 Ratified 29.5.35. roriw 29.5.36. rorw 29.5.37. sext.b Synopsis Sign-extend byte ✓ ✓ ✓ mulh rd, rs1, rs2 rd

slowpoke