On Fri, Aug 21, 2009 at 10:52 AM, Laurynas Biveinis<laurynas.bivei...@gmail.com> wrote: >>> BTW, it does not deal with types that in some instances have variables >>> allocated in proper GC way (with a path from GC root) and in some >>> instances not. Fixing these is going to be hard. >> >> Do you have some examples? > > Trees and rtxes mostly.
Not to discourage you, but, eh... -- wouldn't it be a much more useful project to move RTL out of GC space completely instead of improving GC for rtxes? The life time of RTL is pretty well defined by now and much of the unwieldly GC / GTY (and, in fact PCH) code would go away if RTL would just live on obstacks again. (See for example all the GTY markers in the back ends. Most of them are there only for PCH to get a consistent memory snap-shot, but PCHs should be written out before any RTL is generated...) Ciao! Steven