summaryrefslogtreecommitdiff
path: root/cheri/sail_latex/sailsailsailfndecodeSomeCLoadvv.tex
blob: 59928bdfd99be1a4d8b5f29eab3da6c6657e85d3 (plain)
1
function clause #\hyperref[zdecode]{decode}# (0b110010 @ rd : regno @ cb : regno@ rt : regno @ offset : #\hyperref[zbits]{bits}#(8) @ 0b0 @ 0b01) = #\hyperref[zSome]{Some}#(#\hyperref[zCLoad]{CLoad}#(rd, cb, rt, offset, false, H, false)) /* CLHU */