commit c4b0199f067d0c6cad0ff0a3a3d633546464ab60
author Tor Jeremiassen <torerik@google.com> Wed Jul 23 10:56:11 2025 -0700
committer Tor Jeremiassen <torerik@google.com> Thu Jul 24 08:14:58 2025 -0700
tree 10b75a3499ae868c9d780c5859fe4b8e0c427de9
parent 143d074232d123b6fa94c89f3a17d756696bfe4c

No public description

PiperOrigin-RevId: 786345288
Change-Id: I1d99d4d1e3d3abd3dd23d21bebedaebdfedaf74c

cheriot/riscv_cheriot_rvv.bin_fmt

diff --git a/cheriot/riscv_cheriot_rvv.bin_fmt b/cheriot/riscv_cheriot_rvv.bin_fmt
index 757f4aa..879937e 100644
--- a/cheriot/riscv_cheriot_rvv.bin_fmt
+++ b/cheriot/riscv_cheriot_rvv.bin_fmt
@@ -38,7 +38,7 @@
   RiscVCheriotRVVInst16 = {RiscVCheriotInst16};
 };
 
-#include "cheriot/riscv_cheriot.bin_fmt"
-#include "cheriot/riscv_cheriot_f.bin_fmt"
-#include "cheriot/riscv_cheriot_vector.bin_fmt"
-#include "cheriot/riscv_cheriot_vector_fp.bin_fmt"
\ No newline at end of file
+#include "riscv_cheriot.bin_fmt"
+#include "riscv_cheriot_f.bin_fmt"
+#include "riscv_cheriot_vector.bin_fmt"
+#include "riscv_cheriot_vector_fp.bin_fmt"
\ No newline at end of file

cheriot/riscv_cheriot_rvv.isa

diff --git a/cheriot/riscv_cheriot_rvv.isa b/cheriot/riscv_cheriot_rvv.isa
index 071e515..3974ad3 100644
--- a/cheriot/riscv_cheriot_rvv.isa
+++ b/cheriot/riscv_cheriot_rvv.isa
@@ -12,10 +12,10 @@
 // See the License for the specific language governing permissions and
 // limitations under the License.
 
-#include "cheriot/riscv_cheriot_vector.isa"
-#include "cheriot/riscv_cheriot_vector_fp.isa"
-#include "cheriot/riscv_cheriot_f.isa"
-#include "cheriot/riscv_cheriot.isa"
+#include "riscv_cheriot_vector.isa"
+#include "riscv_cheriot_vector_fp.isa"
+#include "riscv_cheriot_f.isa"
+#include "riscv_cheriot.isa"
 
 includes {
   #include "absl/functional/bind_front.h"