diff options
author | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2021-09-15 09:08:48 +0200 |
---|---|---|
committer | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2021-09-15 09:08:48 +0200 |
commit | c6d61b7c46e459e7a2891801e2adac94e164dd19 (patch) | |
tree | 77b6d3e4e91918a9ed554ecb1e76d78bda1c49ba /aarch64 | |
parent | 90bd63752be1ea25556c36ec041eccf446dc44e6 (diff) | |
download | compcert-kvx-c6d61b7c46e459e7a2891801e2adac94e164dd19.tar.gz compcert-kvx-c6d61b7c46e459e7a2891801e2adac94e164dd19.zip |
fix bug from issue 239
Diffstat (limited to 'aarch64')
-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 *) |