diff options
Diffstat (limited to 'backend/XTL.ml')
-rw-r--r-- | backend/XTL.ml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/backend/XTL.ml b/backend/XTL.ml index 46c59b0f..9cb8e0a1 100644 --- a/backend/XTL.ml +++ b/backend/XTL.ml @@ -64,6 +64,12 @@ let vlocs ll = List.map vloc ll let vmreg mr = L(R mr) let vmregs mrl = List.map vmreg mrl +(* Tests over variables *) + +let is_stack_reg = function + | L(R r) -> Machregs.is_stack_reg r + | _ -> false + (* Sets of variables *) module VSet = Set.Make(struct type t = var let compare = compare end) |