The `xc.mix.*` instructions acces the `XCR` registers, but the current syntax descriptions for them in the spec list them as `rs1`, `rs2` and `rd`. These should be corrected to `crs1`, `crs2`, `crd`.
The
xc.mix.*instructions acces theXCRregisters, but the current syntax descriptions for them in the spec list them asrs1,rs2andrd.These should be corrected to
crs1,crs2,crd.