From cfed53ffe9ce572e3a4f54d30bcb97c2044bcb5b Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Wed, 20 Mar 2019 15:58:35 +0100
Subject: Revert "Better fix for register allocation?"

This reverts commit 5ad25465f77c3009eaff7e9a124c254c1e9f33cd.
---
 backend/IRC.ml | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

(limited to 'backend/IRC.ml')

diff --git a/backend/IRC.ml b/backend/IRC.ml
index fc9fc456..43955897 100644
--- a/backend/IRC.ml
+++ b/backend/IRC.ml
@@ -355,13 +355,12 @@ let interfere g n1 n2 =
 let recordInterf n1 n2 =
   match n2.color with
   | None | Some (R _) ->
-          (* FIXME - HACK K1C disabled the if *)
-      (* if n1.regclass = n2.regclass then *) begin
+      if n1.regclass = n2.regclass then begin
         n1.adjlist <- n2 :: n1.adjlist;
         n1.degree  <- 1 + n1.degree
-      end (* else begin
+      end else begin
         n1.extra_adj <- n2 :: n1.extra_adj
-      end *)
+      end
   | Some (S _) ->
       (*i printf "extra adj %s to %s\n" (name_of_node n1) (name_of_node n2); *)
       n1.extra_adj <- n2 :: n1.extra_adj
-- 
cgit