 SYMBOL: live-phis
 
 : live-phi? ( ##phi -- ? )
-    dst>> live-phis get key? ;
+    dst>> live-phis get in? ;
 
 : compute-live-phis ( -- )
-    H{ } clone live-phis set
+    HS{ } clone live-phis set
     used-vregs get [
         phis get at [
             [
                 dst>>
-                [ live-phis get conjoin ]
+                [ live-phis get adjoin ]
                 [ phis get delete-at ]
                 bi
             ]


: compute-phis ( -- )
    H{ } clone inserting-phis set
    defs-multi get defs get '[ _ at compute-phis-for ] assoc-each ;

! Maps vregs to ##phi instructions
SYMBOL: phis


: gen-name ( vreg -- vreg' )
    [ next-vreg dup ] dip
    dup pushed get 2dup in?
    [ 2drop stacks get at set-last ]
    [ adjoin stacks get push-at ]
    if ;

: (top-name) ( vreg -- vreg' )
