Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Avoid creating a dependency to Cmm (not detected by 'make depend' running under another arch).

master
alainfrisch 2016-07-11 11:27:50 +02:00
parent 7b2c5f9957
commit 8eedf40f8f
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
asmcomp/power/arch.ml
View File

@ -47,7 +47,10 @@ type specific_operation =
Imultaddf (* multiply and add *)
| Imultsubf (* multiply and subtract *)
| Ialloc_far of (* allocation in large functions *)
{ words : int; label_after_call_gc : Cmm.label option; }
{ words : int; label_after_call_gc : int (*Cmm.label*) option; }
(* note: we avoid introducing a dependency to Cmm since this dep
is not detected when "make depend" is run under amd64 *)
(* Addressing modes *)