diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-10-30 23:05:43 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-10-30 23:05:43 +0100 |
commit | 9cf81f29d1d1b1be3575414fceec2a03378918ed (patch) | |
tree | 1a8df36b75d09ce5361c9ee4caac5e80b829e56e /backend | |
parent | 7158ee7375fc78ea73248354febdbedfd4abf1fc (diff) | |
download | compcert-kvx-9cf81f29d1d1b1be3575414fceec2a03378918ed.tar.gz compcert-kvx-9cf81f29d1d1b1be3575414fceec2a03378918ed.zip |
also match Istore
Diffstat (limited to 'backend')
-rw-r--r-- | backend/LICMaux.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/backend/LICMaux.ml b/backend/LICMaux.ml index 0ca4418b..42b8eeb7 100644 --- a/backend/LICMaux.ml +++ b/backend/LICMaux.ml @@ -208,7 +208,8 @@ let rewrite_loop_body (last_alloc : reg ref) (List.map (map_reg mapper) args), new_res)); PTree.set res new_res mapper - | Iload(trap, chunk, addr, args, res, pc') + | Iload(_, chunk, addr, args, res, pc') + | Istore(chunk, addr, args, res, pc') when Archi.has_notrap_loads && !Clflags.option_fnontrap_loads -> let new_res = P.succ !last_alloc in |