diff options
Diffstat (limited to 'arm/Machregsaux.ml')
| -rw-r--r-- | arm/Machregsaux.ml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/arm/Machregsaux.ml b/arm/Machregsaux.ml index a4624a9d..24a33e9e 100644 --- a/arm/Machregsaux.ml +++ b/arm/Machregsaux.ml @@ -13,3 +13,8 @@ (** Auxiliary functions on machine registers *) let is_scratch_register s = s = "R14" || s = "r14" + +let class_of_type = function + | AST.Tint | AST.Tlong -> 0 + | AST.Tfloat | AST.Tsingle -> 1 + | AST.Tany32 | AST.Tany64 -> assert false |