diff options
author | Stephen Dolan <sdolan@janestreet.com> | 2021-05-26 18:52:36 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-05-26 19:52:36 +0200 |
commit | 756dd27995fcbab3c4b68e1a95730a0bc34a9874 (patch) | |
tree | dded9b14ce78d4bc1e6feda7bd8300da60d04572 /asmcomp/schedgen.ml | |
parent | 034041034677520f995d1510298a153baf0314e7 (diff) | |
download | ocaml-756dd27995fcbab3c4b68e1a95730a0bc34a9874.tar.gz |
Allow CSE of immutable loads across stores (#9562)
Diffstat (limited to 'asmcomp/schedgen.ml')
-rw-r--r-- | asmcomp/schedgen.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/asmcomp/schedgen.ml b/asmcomp/schedgen.ml index 9cfdf4d722..04b739dbd1 100644 --- a/asmcomp/schedgen.ml +++ b/asmcomp/schedgen.ml @@ -135,7 +135,7 @@ let rec remove_instr node = function (* We treat Lreloadretaddr as a word-sized load *) -let some_load = (Iload(Cmm.Word_int, Arch.identity_addressing)) +let some_load = (Iload(Cmm.Word_int, Arch.identity_addressing, Mutable)) (* The generic scheduler *) @@ -181,7 +181,7 @@ method is_store = function | _ -> false method is_load = function - Iload(_, _) -> true + Iload(_, _, _) -> true | _ -> false method is_checkbound = function |