Fix bootstrap
							parent
							
								
									25c42d04fd
								
							
						
					
					
						commit
						1e5ce41364
					
				| 
						 | 
				
			
			@ -20,7 +20,7 @@ MIXIN: dataflow-analysis
 | 
			
		|||
 | 
			
		||||
GENERIC# compute-in-set 2 ( bb out-sets dfa -- set )
 | 
			
		||||
 | 
			
		||||
! M: kill-block compute-in-set 3drop f ;
 | 
			
		||||
M: kill-block compute-in-set 3drop f ;
 | 
			
		||||
 | 
			
		||||
M:: basic-block compute-in-set ( bb out-sets dfa -- set )
 | 
			
		||||
    bb dfa predecessors [ out-sets at ] map dfa join-sets ;
 | 
			
		||||
| 
						 | 
				
			
			@ -31,7 +31,7 @@ M:: basic-block compute-in-set ( bb out-sets dfa -- set )
 | 
			
		|||
 | 
			
		||||
GENERIC# compute-out-set 2 ( bb out-sets dfa -- set )
 | 
			
		||||
 | 
			
		||||
! M: kill-block compute-out-set 3drop f ;
 | 
			
		||||
M: kill-block compute-out-set 3drop f ;
 | 
			
		||||
 | 
			
		||||
M:: basic-block compute-out-set ( bb in-sets dfa -- set )
 | 
			
		||||
    bb in-sets at bb dfa transfer-set ;
 | 
			
		||||
| 
						 | 
				
			
			
 | 
			
		|||
| 
						 | 
				
			
			@ -13,7 +13,6 @@ compiler.cfg.dcn.height
 | 
			
		|||
compiler.cfg.dcn.local
 | 
			
		||||
compiler.cfg.dcn.local.private
 | 
			
		||||
compiler.cfg.dcn.global
 | 
			
		||||
compiler.cfg.dcn.global.private
 | 
			
		||||
compiler.cfg.dcn.rewrite ;
 | 
			
		||||
 | 
			
		||||
: test-local-dcn ( insns -- insns' )
 | 
			
		||||
| 
						 | 
				
			
			
 | 
			
		|||
| 
						 | 
				
			
			@ -4,8 +4,6 @@ USING: assocs kernel combinators compiler.cfg.dataflow-analysis
 | 
			
		|||
compiler.cfg.dcn.local ;
 | 
			
		||||
IN: compiler.cfg.dcn.global
 | 
			
		||||
 | 
			
		||||
<PRIVATE
 | 
			
		||||
 | 
			
		||||
! Peek analysis. Peek-in is the set of all locations anticipated at
 | 
			
		||||
! the start of a basic block.
 | 
			
		||||
BACKWARD-ANALYSIS: peek
 | 
			
		||||
| 
						 | 
				
			
			@ -30,8 +28,6 @@ BACKWARD-ANALYSIS: kill
 | 
			
		|||
 | 
			
		||||
M: kill-analysis transfer-set drop replace assoc-union ;
 | 
			
		||||
 | 
			
		||||
PRIVATE>
 | 
			
		||||
 | 
			
		||||
! Main word
 | 
			
		||||
: compute-global-sets ( cfg -- )
 | 
			
		||||
    {
 | 
			
		||||
| 
						 | 
				
			
			
 | 
			
		|||
		Loading…
	
		Reference in New Issue