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 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

(limited to 'cparser/Machine.ml')

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 =
-- 
cgit