From e6ce2eb45546494fd3503e3390294f1e8522c2db Mon Sep 17 00:00:00 2001 From: Alexander Iljin Date: Thu, 22 Jun 2017 13:49:01 +0300 Subject: [PATCH] compiler.cfg.gvn.avail: use ?infimum --- extra/compiler/cfg/gvn/avail/avail.factor | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) diff --git a/extra/compiler/cfg/gvn/avail/avail.factor b/extra/compiler/cfg/gvn/avail/avail.factor index 768850df8b..906646281c 100644 --- a/extra/compiler/cfg/gvn/avail/avail.factor +++ b/extra/compiler/cfg/gvn/avail/avail.factor @@ -1,7 +1,7 @@ ! Copyright (C) 2011 Alex Vondrak. ! See http://factorcode.org/license.txt for BSD license. USING: accessors assocs hashtables kernel namespaces sequences -sets +sequences.extras sets compiler.cfg compiler.cfg.dataflow-analysis compiler.cfg.def-use @@ -24,12 +24,9 @@ M: avail transfer-set drop defined assoc-union ; : available? ( vn -- ? ) basic-block get avail-in key? ; -: best-vreg ( available-vregs -- vreg ) - [ f ] [ infimum ] if-empty ; - : >avail-vreg ( vreg -- vreg/f ) final-iteration? get [ - congruence-class [ available? ] filter best-vreg + congruence-class [ available? ] filter ?infimum ] when ; : available-uses? ( insn -- ? )