From f7ba93e39263dd35fb8000d0fb1eab0d18871663 Mon Sep 17 00:00:00 2001 From: Alasdair Date: Fri, 13 Sep 2024 15:35:52 +0100 Subject: [PATCH] Update isla-sail --- isla-sail/jib_ir.ml | 2 +- isla-sail/sail_plugin_isla.ml | 3 ++- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/isla-sail/jib_ir.ml b/isla-sail/jib_ir.ml index dc3445b..74d53c3 100644 --- a/isla-sail/jib_ir.ml +++ b/isla-sail/jib_ir.ml @@ -97,7 +97,7 @@ let rec string_of_clexp = function | CL_field (clexp, field) -> string_of_clexp clexp ^ "." ^ zencode_id field | CL_addr clexp -> string_of_clexp clexp ^ "*" | CL_tuple (clexp, n) -> string_of_clexp clexp ^ "." ^ string_of_int n - | CL_void -> "void" + | CL_void _ -> "void" | CL_rmw _ -> assert false let string_of_creturn = function diff --git a/isla-sail/sail_plugin_isla.ml b/isla-sail/sail_plugin_isla.ml index 2837c9c..6fa787f 100644 --- a/isla-sail/sail_plugin_isla.ml +++ b/isla-sail/sail_plugin_isla.ml @@ -220,7 +220,7 @@ module Ir_config : Jib_compile.CONFIG = struct let optimize_anf _ aexp = aexp let unroll_loops = None - let make_call_precise _ _ = true + let make_call_precise _ _ _ _ = true let ignore_64 = false let struct_value = true let tuple_value = true @@ -228,6 +228,7 @@ module Ir_config : Jib_compile.CONFIG = struct let branch_coverage = None let use_real = false let use_void = false + let eager_control_flow = false end let jib_of_ast env ast effect_info =