From 43d4932e8ba9e00eb8c8788c86f56b6bddd46392 Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Fri, 16 Jul 2021 13:28:26 +0200 Subject: setup registers --- kvx/Machregsaux.ml | 2 ++ kvx/Machregsaux.mli | 3 +++ 2 files changed, 5 insertions(+) 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 |] diff --git a/kvx/Machregsaux.mli b/kvx/Machregsaux.mli index 01b0f9fd..23ac1c9a 100644 --- a/kvx/Machregsaux.mli +++ b/kvx/Machregsaux.mli @@ -15,3 +15,6 @@ val is_scratch_register: string -> bool val class_of_type: AST.typ -> int + +(* Number of registers in each class *) +val nr_regs : int array -- cgit