Add sysreg access mechanisms

UQ-PAC · Feb 20, 2024 · baf1bd8 · baf1bd8
1 parent c4e77a7
commit baf1bd8
Show file tree

Hide file tree

Showing 4 changed files with 17,957 additions and 4 deletions.
diff --git a/dune b/dune
@@ -5,6 +5,7 @@
    (mra_tools/arch/arch_decode.asl    as   mra_tools/arch/arch_decode.asl   )
    (mra_tools/arch/arch_instrs.asl    as   mra_tools/arch/arch_instrs.asl   )
    (mra_tools/arch/regs.asl           as   mra_tools/arch/regs.asl          )
+   (mra_tools/arch/regs_access.asl    as   mra_tools/arch/regs_access.asl   )
    (mra_tools/support/aes.asl         as   mra_tools/support/aes.asl        )
    (mra_tools/support/barriers.asl    as   mra_tools/support/barriers.asl   )
    (mra_tools/support/debug.asl       as   mra_tools/support/debug.asl      )

diff --git a/libASL/eval.ml b/libASL/eval.ml
@@ -1340,7 +1340,7 @@ let aarch64_asl_dir: string option =
 
 let aarch64_asl_files: (string * string list) option = 
     let aarch64_file_load_order = 
-        ["mra_tools/arch/regs.asl"; "mra_tools/types.asl"; "mra_tools/arch/arch.asl"; "mra_tools/arch/arch_instrs.asl"; 
+       ["mra_tools/arch/regs.asl"; "mra_tools/types.asl"; "mra_tools/arch/arch.asl"; "mra_tools/arch/arch_instrs.asl"; "mra_tools/arch/regs_access.asl";
         "mra_tools/arch/arch_decode.asl"; "mra_tools/support/aes.asl"; "mra_tools/support/barriers.asl"; "mra_tools/support/debug.asl"; 
         "mra_tools/support/feature.asl"; "mra_tools/support/hints.asl"; "mra_tools/support/interrupts.asl"; "mra_tools/support/memory.asl"; 
         "mra_tools/support/stubs.asl"; "mra_tools/support/fetchdecode.asl"; "tests/override.asl"; "tests/override.prj"]