Re: Why I've Dropped In

Anton Ertl [2025-06-18 07:31:55] wrote:

Stefan Monnier <monnier@iro.umontreal.ca> writes:

Ah, well, pairing is a different problem than the "incomplete register
specifiers" I'm talking about.  Indeed, it can be much more difficult to
adapt a Chaitin-style allocator to handle pairing because it can't be
expressed simply in the interference graph.

I remember reading a paper about register allocation for register
pairs, but don't find that paper right now.  Anyway, what I read was
based on graph-colouring IIRC and it looked pretty plausible and not
too complicated.  But the devil is in the details.

Preston Briggs (who used to be a regular here) discusses such an
allocator in his PhD thesis
(https://repository.rice.edu/items/2ea2032a-0872-43a1-90c0-564c1dd2275f).


        Stefan