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.