diff options
| -rw-r--r-- | aarch64/PeepholeOracle.ml | 2 |
1 files changed, 2 insertions, 0 deletions
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 *) |