From d53cc13b6e47843ebaf4b23c8b03dcef34f331f1 Mon Sep 17 00:00:00 2001
From: Cyril SIX <cyril.six@kalray.eu>
Date: Tue, 13 Apr 2021 15:04:34 +0200
Subject: Adding distinction between kvx-cos and kvx-mbr (for trapping loads)

---
 cparser/Machine.ml  | 12 ++++++++++--
 cparser/Machine.mli |  3 ++-
 2 files changed, 12 insertions(+), 3 deletions(-)

(limited to 'cparser')

diff --git a/cparser/Machine.ml b/cparser/Machine.ml
index 73b71ea0..4f5a93d2 100644
--- a/cparser/Machine.ml
+++ b/cparser/Machine.ml
@@ -242,7 +242,7 @@ let rv64 =
                    struct_passing_style = SP_ref_callee; (* Wrong *)
                    struct_return_style = SR_ref } (* to check *)
 
-let kvx =
+let kvxbase =
   { name = "kvx";
     char_signed = true;
     wchar_signed = true;
@@ -275,7 +275,15 @@ let kvx =
     supports_unaligned_accesses = true;
     struct_passing_style = SP_value32_ref_callee;
     struct_return_style = SR_int1to4;
-    has_non_trapping_loads = true;
+    has_non_trapping_loads = false;
+}
+
+let kvxcos =
+  { kvxbase with has_non_trapping_loads = false;
+}
+
+let kvxmbr =
+  { kvxbase with has_non_trapping_loads = true;
 }
 
 let aarch64 =
diff --git a/cparser/Machine.mli b/cparser/Machine.mli
index 54436758..07b55832 100644
--- a/cparser/Machine.mli
+++ b/cparser/Machine.mli
@@ -88,7 +88,8 @@ val arm_littleendian : t
 val arm_bigendian : t
 val rv32 : t
 val rv64 : t
-val kvx : t
+val kvxmbr : t
+val kvxcos : t
 val aarch64 : t
 
 val gcc_extensions : t -> t
-- 
cgit