🚀 go-pugleaf

Nicolas Barbier wrote:
>
>>"If local variabele b is live across more than one procedure call, is
>>it kept in a callee-save register?  Explain how doing this would speed
>>up the following program:"
> 
> Deze vraag is nogal dubbelzinnig, betekent "doing this" in de laatste vraag 
> "wat je doet volgens het antwoord op de eerste vraag" of "als het antwoord 
> op de eerste vraag ja is"?

Inderdaad... dubbelzinnigheid alom... bemerk dat ik dus die vraag wel 
degelijk NIET zelf heb geformuleerd he :-)

> Ik zal hier eens even mijn ad hoc aangeleerde compiler-kennis gaan 
> bovenhalen ;-) :
> 
> Welke van deze twee het beste resultaat gaat opleveren hangt af van hoeveel 
> registers die "several functions calls" nodig hebben. Als die ooit het 
> callee-save register gaan storen, dan had je het even goed zelf kunnen doen 
> (dan doe je het gegarandeerd maar 1 keer) (en je stopt het dus in een 
> caller-save register), maar als ze het nooit nodig hebben, dan bespaar je 
> de store als je het in een callee-save register stopt.
> 
> Maw: gebruiken de opgeroepen functies weinig registers, stop je gegevens 
> dan in callee-save registers. Anders stop je ze in caller-save registers, 
> en je store't ze voordat je de functies oproept.
> 
> Als je niet aan "interprocedural" optimalisatie kan doen (omdat je de code 
> van de opgeroepen functies niet bij de hand hebt, bv omdat ze in een andere 
> compilatie-unit zitten), veronderstel ik dat de meeste compilers gaan 
> aannemen dat de opgeroepen functies veel registers gebruiken en daarom zo 
> veel mogelijk live variabelen in caller-save registers gaan stoppen.

Inderdaad, dat zal het zijn!  Aan de hand van een mailtje naar een 
vriend kwam ik zo ook ongeveer tot die conclusie.  Alles zal dus 
inderdaad afhangen van de callees... als deze het register van b niet 
blijken nodig te hebben omdat ze heel weinig registers gebruiken, dan 
kan je die b in een callee-save register stoppen en dan de callees toch 
geen store/fetch-werk laten doen omdat ze het reg van b toch niet nodig 
hebben.

Blijkt echter dat het register van b ook zal nodig zijn voor de callees, 
dan zet je b denk ik ook best in een caller-save register, al zal het 
wschl niet veel verschil uitmaken dan...

Ma ik had dus in mijn redenering niet gedacht aan de 'hoeveelheid' 
registers die de callees eventueel kunnen nodig hebben.  Bedankt om me 
daar op te wijzen!

Greetzzz,
mc303