diff options
| author | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-07-16 13:28:26 +0200 |
|---|---|---|
| committer | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-07-16 13:28:26 +0200 |
| commit | 43d4932e8ba9e00eb8c8788c86f56b6bddd46392 (patch) | |
| tree | 37bc66f2da1275b35e9c75b0cf80fd80cddb0993 | |
| parent | 169a221104c37737f12abe79711009fc0d88ce09 (diff) | |
| download | compcert-kvx-43d4932e8ba9e00eb8c8788c86f56b6bddd46392.tar.gz compcert-kvx-43d4932e8ba9e00eb8c8788c86f56b6bddd46392.zip | |
setup registers
| -rw-r--r-- | kvx/Machregsaux.ml | 2 | ||||
| -rw-r--r-- | kvx/Machregsaux.mli | 3 |
2 files changed, 5 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 |] 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 |