diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-03 16:57:52 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-03 16:57:52 +0100 |
commit | fe0862b9bb1c9deeb1ea1393889c294fc2cc2ebe (patch) | |
tree | 50a6ecbb87438cfc21461b4f5066edcf28f8b14e /backend/IRC.ml | |
parent | 1ab7b51c30e1b10ac45b0bd64cefdc01da0f7f68 (diff) | |
parent | 3b640f041be480b82f1b3a1f695ed8a57193bf28 (diff) | |
download | compcert-kvx-fe0862b9bb1c9deeb1ea1393889c294fc2cc2ebe.tar.gz compcert-kvx-fe0862b9bb1c9deeb1ea1393889c294fc2cc2ebe.zip |
fixed CSE2 for mppa_k1c
Merge branch 'dm-cse2-naive' of https://github.com/monniaux/CompCert into mppa-cse2
Diffstat (limited to 'backend/IRC.ml')
-rw-r--r-- | backend/IRC.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/backend/IRC.ml b/backend/IRC.ml index 67da47da..785b0a2d 100644 --- a/backend/IRC.ml +++ b/backend/IRC.ml @@ -238,7 +238,6 @@ type graph = { according to their types. A variable can be forced into class 2 by giving it a negative spill cost. *) - let class_of_reg r = if Conventions1.is_float_reg r then 1 else 0 |