From b7ba8e791367eedc0a76d60669327b0d1a133fa0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= Date: Mon, 2 May 2011 17:12:36 +0200 Subject: [PATCH] Remove useless case As targeting is only done for linear variables, this case is already dealt with by coalesce_linear_vars --- compiler/minils/analysis/interference.ml | 16 ---------------- 1 file changed, 16 deletions(-) diff --git a/compiler/minils/analysis/interference.ml b/compiler/minils/analysis/interference.ml index 20fb07a..3f65a2d 100644 --- a/compiler/minils/analysis/interference.ml +++ b/compiler/minils/analysis/interference.ml @@ -412,19 +412,6 @@ let find_targeting f = let acc, _ = List.fold_left (find_output outputs_lins) ([], 0) inputs_lins in acc -(** Coalesces the nodes corresponding to the inputs (given by e_list) - and the outputs (given by the pattern pat) of a node - with the given targeting. *) -let apply_targeting targeting e_list pat = - let coalesce_targeting inputs i j = - let invar = InterfRead.ivar_of_extvalue (List.nth inputs i) in - let outvar = InterfRead.nth_var_from_pat j pat in - coalesce_from_ivar invar (Ivar outvar) - in - List.iter (fun (i,j) -> coalesce_targeting e_list i j) targeting - - - (** [process_eq igs eq] adds to the interference graphs igs the links corresponding to the equation. Interferences @@ -433,9 +420,6 @@ let apply_targeting targeting e_list pat = let process_eq ({ eq_lhs = pat; eq_rhs = e } as eq) = (** Other cases*) match pat, e.e_desc with - | _, Eapp ({ a_op = (Efun f | Enode f) }, e_list, _) -> - let targeting = find_targeting f in - apply_targeting targeting e_list pat | _, Eiterator((Imap|Imapi), { a_op = Enode _ | Efun _ }, _, _, w_list, _) -> let invars = InterfRead.ivars_of_extvalues w_list in let outvars = IvarSet.elements (InterfRead.def eq) in