diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-10-26 10:28:27 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-10-26 10:28:27 +0100 |
| commit | 8adcaaefe2c5ecdb57ea8328355084f4af64b279 (patch) | |
| tree | 943d3921ff4e2bf4195ea9dbc187c7bd81f2004b /backend/LICMaux.ml | |
| parent | b05085c08cfa6799934e9ef4154a99293c283d03 (diff) | |
| download | compcert-kvx-8adcaaefe2c5ecdb57ea8328355084f4af64b279.tar.gz compcert-kvx-8adcaaefe2c5ecdb57ea8328355084f4af64b279.zip | |
attempt at store -> load.s
Diffstat (limited to 'backend/LICMaux.ml')
| -rw-r--r-- | backend/LICMaux.ml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/backend/LICMaux.ml b/backend/LICMaux.ml index 0ca4418b..3d344123 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, v, pc') + | Istore(chunk, addr, args, v, pc') when Archi.has_notrap_loads && !Clflags.option_fnontrap_loads -> let new_res = P.succ !last_alloc in @@ -216,7 +217,7 @@ let rewrite_loop_body (last_alloc : reg ref) add_inj (INJload(chunk, addr, (List.map (map_reg mapper) args), new_res)); - PTree.set res new_res mapper + PTree.set v new_res mapper | _ -> mapper in List.iter (fun x -> if PSet.contains loop_body x |