diff options
author | Tom Kelly <ctk21@cl.cam.ac.uk> | 2020-08-21 13:09:55 +0100 |
---|---|---|
committer | Tom Kelly <ctk21@cl.cam.ac.uk> | 2020-08-21 14:01:59 +0100 |
commit | 4c7c932177aa822f7247a1903ce661cf0d3253e3 (patch) | |
tree | d8d52bd432a26107eca6c3c4ca11b3339ac14d95 /asmcomp/cmmgen.ml | |
parent | be9fa559439be86ab829b60eed8b35d626d0c8f3 (diff) | |
download | ocaml-4c7c932177aa822f7247a1903ce661cf0d3253e3.tar.gz |
Use Word_val for pointers with Patomic_load
Diffstat (limited to 'asmcomp/cmmgen.ml')
-rw-r--r-- | asmcomp/cmmgen.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/asmcomp/cmmgen.ml b/asmcomp/cmmgen.ml index e1d00944c4..60f9580c20 100644 --- a/asmcomp/cmmgen.ml +++ b/asmcomp/cmmgen.ml @@ -841,8 +841,10 @@ and transl_prim_1 env p arg dbg = dbg) | Ppoll -> Cop(Cpoll, [transl env arg], dbg) - | Patomic_load _ -> + | Patomic_load {immediate_or_pointer = Immediate} -> Cop(mk_load_mut Word_int, [transl env arg], dbg) + | Patomic_load {immediate_or_pointer = Pointer} -> + Cop(mk_load_mut Word_val, [transl env arg], dbg) | (Pfield_computed | Psequand | Psequor | Prunstack | Presume | Preperform | Patomic_exchange | Patomic_cas | Patomic_fetch_add |