Skip to content

Commit

Permalink
typofix: cmp to cheri insn table
Browse files Browse the repository at this point in the history
  • Loading branch information
Mingkai-Li committed Sep 25, 2023
1 parent 35bc445 commit f8d3519
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions parts/cmp.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -37,15 +37,15 @@ in the following table.
|SEAL | CSealEntry | -
|CIncOffset | CIncOffset | CIncAddr
|CIncOffsetImm | CIncOffsetImm | CIncAddrImm
|LCC | CGetAddr, CGetBase, CGetType, CGetPerm | CGetAddr, CGetBase, CGetTop, CGetType, CGetPerm
|LCC | CGetAddr, CGetBase, CGetOffset, CGetType, CGetPerm | CGetAddr, CGetBase, CGetTop, CGetType, CGetPerm
|SCC | CSetAddr | CSetAddr
|TIGHTEN | CAndPerm | CAndPerm
|SHRINK | CSetBounds, CSetBoundsExact | CSetBounds, CSetBoundsExact
|MOVC | CMove | CMove
|LDC | LC.CAP, LC.DDC, CLC | CLC
|STC | SC.CAP, LC.DDC, CSC | CSC
|L[BHWD] | L[BHWD][U].CAP | L[BHWD][U]
|S[BHWD] | S[BHWD][U].CAP | S[BHWD][U]
|STC | SC.CAP, SC.DDC, CSC | CSC
|L[BHWD][U] | L[BHWD][U].CAP, L[BHWD][U].DDC | L[BHWD][U]
|S[BHWD][U] | S[BHWD][U].CAP, S[BHWD][U].DDC | S[BHWD][U]
|CCSRRW | CSpecialRW | CSpecialRW
|===

Expand Down

0 comments on commit f8d3519

Please sign in to comment.