- `xc.prot` and `xc.prot.i` rotate *right* in hardware, but the specification says they rotate *left* - Also, `xc.prot` has the wrong encoding diagram associated with it. Solution: - Change spec to specify right rotation rather than left.
xc.protandxc.prot.irotate right in hardware, but the specification says they rotate leftxc.prothas the wrong encoding diagram associated with it.Solution: