BACKWARD-ANALYSIS: anticip
M: anticip transfer-set drop transfer-peeked-locs ;
-M: anticip join-sets 2drop refine ;
+M: anticip join-sets 2drop intersect-all ;
BACKWARD-ANALYSIS: live
M: live transfer-set drop transfer-peeked-locs ;
-M: live join-sets 2drop combine ;
+M: live join-sets 2drop union-all ;
FORWARD-ANALYSIS: avail
M: avail transfer-set ( in-set bb dfa -- out-set )
drop [ peeks>> ] [ replaces>> ] bi union union ;
-M: avail join-sets 2drop refine ;
+M: avail join-sets 2drop intersect-all ;
FORWARD-ANALYSIS: pending
M: pending transfer-set
drop replaces>> union ;
-M: pending join-sets 2drop refine ;
+M: pending join-sets 2drop intersect-all ;
BACKWARD-ANALYSIS: dead
M: dead transfer-set
drop [ kills>> ] [ replaces>> ] bi union union ;
-M: dead join-sets 2drop refine ;
+M: dead join-sets 2drop intersect-all ;