From 0795116769d909c25f489d9fe3ebc319fe183c5c Mon Sep 17 00:00:00 2001 From: Jessica Clarke Date: Thu, 10 Jun 2021 03:02:27 +0100 Subject: [PATCH] Mark CClearTags as reserved since it's not implemented anywhere --- app-isaquick-riscv.tex | 4 +++- def-riscv-insns.tex | 2 +- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/app-isaquick-riscv.tex b/app-isaquick-riscv.tex index 4311d928..0362309d 100644 --- a/app-isaquick-riscv.tex +++ b/app-isaquick-riscv.tex @@ -817,7 +817,9 @@ \chapter{CHERI-RISC-V ISA Quick Reference} \vspace{1em} {\scriptsize - \rvcherienctablesrc + \def\rvcherireservedfootnotemark{$\dagger$} + \rvcherienctablesrc\\\\ + $\dagger$ Reserved for future use. } \vspace{1em} diff --git a/def-riscv-insns.tex b/def-riscv-insns.tex index 4121dab1..f31d91d4 100644 --- a/def-riscv-insns.tex +++ b/def-riscv-insns.tex @@ -66,7 +66,7 @@ \rvcherisrcdest[name=CRepresentableAlignmentMask,shortname=CRAM]{9}{rd}{rs1} \rvcherisrcdest[name=CLoadTags]{12}{rd}{cs1} -\rvcherisrc[name=CClearTags]{0}{cs1} +\rvcherisrc[name=CClearTags,noref,tablesuffix=\rvcherireservedfootnotemark]{0}{cs1} \rvcheriexpload[name=LB.DDC]{00}{rd}{rs1} \rvcheriexpload[name=LH.DDC]{01}{rd}{rs1}