Vladimir Makarov schrieb:
Michael Kruse wrote:
In the thesis, a modified Poletto algorithm is presented to add spill code.
I've just checked the thesis again. I don't think decreasing register pressure through spilling will work well. First of all Polleto linear scan RA is worse than Chaitin-Briggs approach. Even its major improvement extending linear scan is worse than Chaitin-Briggs approach. My experience with an ELS implementation in GCC has shown me this although in original article about ELS the opposite is stated (the comparison in the article was done in GCC but with the new ra project which was unsuccessful implementation of Chaitin-Briggs RA and it was done only on ppc64. I am sure that on x86/x86_64 ELS would behave even worse). That is about basic RA spill in Touti's thesis.

The bigger problem is that decreasing register pressure does not take live range splitting into account what good modern RAs do. With this point of view, an approach for register pressure decrease in Bob Morgan's book is more perspective because it does also live range splitting (by the way, I tried Morgan's approach with the old RA more than 5 year ago and did not look compelling for me that time).
That this algorithm is used in the thesis does not mean that I have to use that approach. Part of my thesis is also to evaluate different heuristics and compare them to each other. This one would something I'd try.
Could you tell us what compiler is this?
Unfortunately not (yet). I have just very few information on my own. They just keep telling me how great it is. But I will get the source this week.

Regards,
Michael Kruse

--
Tardyzentrismus verboten!

Attachment: smime.p7s
Description: S/MIME Cryptographic Signature

Reply via email to