Fix target registers of GGet{High,Top} as noted by Robert Norton

CTSRD-CHERI · Feb 6, 2023 · 25e0d93 · 25e0d93
1 parent 4018d14
commit 25e0d93
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/def-riscv-insns.tex b/def-riscv-insns.tex
@@ -25,8 +25,8 @@
 \rvcherisrcdest[name=CGetOffset]{6}{rd}{cs1}
 \rvcherisrcdest[name=CGetFlags]{7}{rd}{cs1}
 \rvcherisrcdest[name=CGetAddr]{F}{rd}{cs1}
-\rvcherisrcdest[name=CGetTop]{18}{cd}{cs1}
-\rvcherisrcdest[name=CGetHigh]{17}{cd}{cs1}
+\rvcherisrcdest[name=CGetTop]{18}{rd}{cs1}
+\rvcherisrcdest[name=CGetHigh]{17}{rd}{cs1}
 
 \rvcherisrcsrcdest[name=CSeal]{B}{cd}{cs1}{cs2}
 \rvcherisrcsrcdest[name=CUnseal]{C}{cd}{cs1}{cs2}