diff options
Diffstat (limited to 'backend/XTL.mli')
-rw-r--r-- | backend/XTL.mli | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/backend/XTL.mli b/backend/XTL.mli index 21671e98..75a3d657 100644 --- a/backend/XTL.mli +++ b/backend/XTL.mli @@ -65,6 +65,10 @@ val vlocs: loc list -> var list val vmreg: mreg -> var val vmregs: mreg list -> var list +(* Tests over variables *) + +val is_stack_reg: var -> bool + (* Sets of variables *) module VSet: Set.S with type elt = var |