From c6d61b7c46e459e7a2891801e2adac94e164dd19 Mon Sep 17 00:00:00 2001 From: Léo Gourdin Date: Wed, 15 Sep 2021 09:08:48 +0200 Subject: fix bug from issue 239 --- aarch64/PeepholeOracle.ml | 2 ++ 1 file changed, 2 insertions(+) (limited to 'aarch64') diff --git a/aarch64/PeepholeOracle.ml b/aarch64/PeepholeOracle.ml index 2b214df4..1d890f2c 100644 --- a/aarch64/PeepholeOracle.ml +++ b/aarch64/PeepholeOracle.ml @@ -468,6 +468,7 @@ let pair_rep_inv insta = (trans_sti sti, rd1, r, chunk_store sti, c, ADimm (b, n1)))); Hashtbl.replace symb_mem st_t pot_rep (* Any other inst *)) + else reset_str_symb_mem () | i -> ( (* Clear list of candidates if there is a non supported store *) match i with PStore _ -> reset_str_symb_mem () | _ -> ()) @@ -598,6 +599,7 @@ let pair_rep insta = PStore (Pstp (trans_sti sti, r, rd1, c, chunk_store sti, ADimm (b, n)))); Hashtbl.replace symb_mem st_t pot_rep) + else reset_str_symb_mem () (* Any other inst *) | i, _ -> ( (* Clear list of candidates if there is a non supported store *) -- cgit