diff options
Diffstat (limited to 'kvx/Machregsaux.ml')
-rw-r--r-- | kvx/Machregsaux.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/kvx/Machregsaux.ml b/kvx/Machregsaux.ml index e3b18181..dbb89727 100644 --- a/kvx/Machregsaux.ml +++ b/kvx/Machregsaux.ml @@ -31,3 +31,5 @@ let class_of_type = function | AST.Tint | AST.Tlong | AST.Tfloat | AST.Tsingle -> 0 | AST.Tany32 | AST.Tany64 -> assert false + +let nr_regs = [| 59 |] |