diff options
Diffstat (limited to 'asmcomp/selectgen.mli')
| -rw-r--r-- | asmcomp/selectgen.mli | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/asmcomp/selectgen.mli b/asmcomp/selectgen.mli index 7012c900cc..abc6db5ebf 100644 --- a/asmcomp/selectgen.mli +++ b/asmcomp/selectgen.mli @@ -35,7 +35,8 @@ class virtual selector_generic : object method select_condition : Cmm.expression -> Mach.test * Cmm.expression (* Can be overridden to deal with special test instructions *) method select_store : - Arch.addressing_mode -> Cmm.expression -> Mach.operation * Cmm.expression + bool -> Arch.addressing_mode -> Cmm.expression -> + Mach.operation * Cmm.expression (* Can be overridden to deal with special store constant instructions *) method regs_for : Cmm.machtype -> Reg.t array (* Return an array of fresh registers of the given type. |