once, local-refs, and threads
   
    Matthew Fluet
     
    fluet@CS.Cornell.EDU
       
    Thu, 6 Dec 2001 13:24:14 -0500 (EST)
    
    
  
> It's the quadratic (in the number of
> ThreadCopyPoints) search through the pairs of ThreadCopyPoints that
> bothers me.  Thread_saves aren't so bad, but the main function in a self
> compile is going to have tons of non-tail calls. 
Please excuse my earlier brain-fry; two simple bool refs on localizable
refs that indicates whether or not we crossed a ThreadCopyPoint when
backpropagating Ref_assign uses and Ref_deref uses suffices.  If both
bools are true at the end, the ref is not localizable.