[herd] Add support for AArch64 FEAT_ExS

Signed-off-by: Nikos Nikoleris <[email protected]>
herd · Oct 16, 2022 · ebc2f9b · ebc2f9b
1 parent 1805865
commit ebc2f9b
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 0 deletions.
diff --git a/herd/variant.ml b/herd/variant.ml
@@ -45,6 +45,8 @@ type t =
   | Instances (* Compute dependencies on instruction instances *)
   | Kvm
   | ETS
+(* AArch64: Enhanced Exception Synchronization - FEAT_ExS *)
+  | ExS | EIS | EOS
 (* Do not insert branching event between pte read and accesses *)
   | NoPteBranch
 (* Pte-Squared: all accesses through page table, including PT accesses *)
@@ -101,6 +103,9 @@ let parse s = match Misc.lowercase s with
 | "instances"|"instance" -> Some Instances
 | "kvm" -> Some Kvm
 | "ets" -> Some ETS
+| "exs" -> Some ExS
+| "eis" -> Some EIS
+| "eos" -> Some EOS
 | "noptebranch"|"nobranch" -> Some NoPteBranch
 | "pte2" | "pte-squared" -> Some PTE2
 | "phantomonload" -> Some PhantomOnLoad
@@ -151,6 +156,9 @@ let pp = function
   | Instances -> "Instances"
   | Kvm -> "kvm"
   | ETS -> "ets"
+  | ExS -> "exs"
+  | EIS -> "eis"
+  | EOS -> "eos"
   | NoPteBranch -> "NoPteBranch"
   | PTE2 -> "pte-squared"
   | PhantomOnLoad -> "PhantomOnLoad"

diff --git a/herd/variant.mli b/herd/variant.mli
@@ -43,6 +43,8 @@ type t =
   | Instances (* Compute dependencies on instruction instances *)
   | Kvm
   | ETS
+(* AArch64: Enhanced Exception Synchronization - FEAT_ExS *)
+  | ExS | EIS | EOS
 (* Do not insert branching event between pte read and accesses *)
   | NoPteBranch
 (* Pte-Squared: all accesses through page table, including PT accesses *)