fix missing sail2 interpreter/shallow embedding conversion for RISCV …

…tso barrier kind

fix "flat", "flatOpt", .. scripts to work from other directories

flat

@@ -1,2 +1,2 @@
 #!/bin/sh
-./rmem -model flat "$@"
+$(dirname "$0")/rmem -model flat "$@"

flatFetchOpt

@@ -1,2 +1,2 @@
 #!/bin/sh
-./rmem -model flat -shallow_embedding true -eager true -hash_prune true -priority_reduction true -model fetch-relaxed -eager_fetch_unmodified true -loop_limit 2 -thread_fetch_limit 10 "$@"
+$(dirname "$0")/rmem -model flat -shallow_embedding true -eager true -hash_prune true -priority_reduction true -model fetch-relaxed -eager_fetch_unmodified true -loop_limit 2 -thread_fetch_limit 10 "$@"

flatOpt

@@ -1,2 +1,2 @@
 #!/bin/sh
-./rmem -model flat -shallow_embedding true -eager true -hash_prune true -priority_reduction true "$@"
+$(dirname "$0")/rmem -model flat -shallow_embedding true -eager true -hash_prune true -priority_reduction true "$@"

promising

@@ -1,2 +1,2 @@
 #!/bin/sh
-./rmem -hash_prune false -model promising -shallow_embedding true "$@"
+$(dirname "$0")/rmem -hash_prune false -model promising -shallow_embedding true "$@"

promisingOpt

@@ -1,2 +1,2 @@
 #!/bin/sh
-./rmem -model promising -shallow_embedding true -model promise_first "$@" -hash_prune false -model promising_parallel_thread_state_search
+$(dirname "$0")/rmem -model promising -shallow_embedding true -model promise_first "$@" -hash_prune false -model promising_parallel_thread_state_search

src_top/isa_model.ml

@@ -167,6 +167,7 @@ module Make (ISADefs: ISADefs) (TransSail: Trans.TransSail) : S = struct
       | V_ctor ("Barrier_RISCV_r_w", _)   -> Barrier_RISCV_r_w
       | V_ctor ("Barrier_RISCV_w_r", _)   -> Barrier_RISCV_w_r
       | V_ctor ("Barrier_RISCV_i", _)     -> Barrier_RISCV_i
+      | V_ctor ("Barrier_RISCV_tso", _)   -> Barrier_RISCV_tso
       | V_ctor ("Barrier_x86_MFENCE", _)  -> Barrier_x86_MFENCE
       | _                                  -> failwith "unknown barrier kind in interp2__bk_to_bk"
     in