diff options
| author | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-07-16 12:26:27 +0200 |
|---|---|---|
| committer | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-07-16 12:26:27 +0200 |
| commit | 70f5867e441e253869cb3b432af77636a186d1cb (patch) | |
| tree | 23da216a60ed37faafe78fd1dd520b18703fc0d4 /aarch64 | |
| parent | f86f5df47b69053702661671340b0fcb31506aa3 (diff) | |
| download | compcert-kvx-70f5867e441e253869cb3b432af77636a186d1cb.tar.gz compcert-kvx-70f5867e441e253869cb3b432af77636a186d1cb.zip | |
rm TODO
Diffstat (limited to 'aarch64')
| -rw-r--r-- | aarch64/Machregsaux.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/aarch64/Machregsaux.ml b/aarch64/Machregsaux.ml index 15fb08ca..98e461eb 100644 --- a/aarch64/Machregsaux.ml +++ b/aarch64/Machregsaux.ml @@ -21,5 +21,4 @@ let class_of_type = function | AST.Tany32 | AST.Tany64 -> assert false (* number of available registers per class *) -(* TODO: add this to all archs *) let nr_regs = [| 29; 32 |] |