From 30ff583ff43b48af5af468541fe4728f5cad4d9e Mon Sep 17 00:00:00 2001 From: Tim Hutt Date: Fri, 3 Jan 2025 12:05:28 +0000 Subject: [PATCH] Add cmv, cram and jal[r] (cap mode) snippets --- src/insns/cmv_32bit.adoc | 4 +--- src/insns/cram_32bit.adoc | 4 +--- src/insns/jal_32bit.adoc | 6 ++---- src/insns/jalr_32bit.adoc | 6 ++---- 4 files changed, 6 insertions(+), 14 deletions(-) diff --git a/src/insns/cmv_32bit.adoc b/src/insns/cmv_32bit.adoc index abc7ad01..8776e2a4 100644 --- a/src/insns/cmv_32bit.adoc +++ b/src/insns/cmv_32bit.adoc @@ -39,6 +39,4 @@ Prerequisites:: Operation:: + --- -TODO --- +sail::execute[clause="CMV(_, _)",part=body,unindent] diff --git a/src/insns/cram_32bit.adoc b/src/insns/cram_32bit.adoc index 49546944..b2f96ed9 100644 --- a/src/insns/cram_32bit.adoc +++ b/src/insns/cram_32bit.adoc @@ -25,6 +25,4 @@ Prerequisites:: Operation:: + --- -TODO --- +sail::execute[clause="CRAM(_, _)",part=body,unindent] diff --git a/src/insns/jal_32bit.adoc b/src/insns/jal_32bit.adoc index 8d6522cb..f4a036d9 100644 --- a/src/insns/jal_32bit.adoc +++ b/src/insns/jal_32bit.adoc @@ -48,8 +48,6 @@ Prerequisites for {cheri_cap_mode_name}:: Prerequisites for {cheri_int_mode_name}:: {cheri_default_ext_name} -Operation:: +{cheri_cap_mode_name} Operation:: + --- -TODO --- +sail::execute[clause="JAL_capmode(_, _)",part=body,unindent] diff --git a/src/insns/jalr_32bit.adoc b/src/insns/jalr_32bit.adoc index 532640fe..a9d9ca8a 100644 --- a/src/insns/jalr_32bit.adoc +++ b/src/insns/jalr_32bit.adoc @@ -65,8 +65,6 @@ Prerequisites {cheri_cap_mode_name}:: Prerequisites {cheri_int_mode_name}:: {cheri_default_ext_name} -Operation:: +{cheri_cap_mode_name} Operation:: + --- -TBD --- +sail::execute[clause="JALR_capmode(_, _)",part=body,unindent]