Dotaz: Ako dobrá je optimalizácia kompilátora?

[rastos]

Niekedy som čítal diskusie, v ktorých sa tvrdilo, že kompilátor je niekedy až prekvapivo prefíkaný v oblasti optimalizácie. Týka sa to aj matematických operácií?

Napríklad ak mám kód, ktorý počíta (a-b)/(c-d) a o pár riadkov nižšie v tej istej funkcii mám (c-d)/(a-b), dokáže kompilátor využiť to, že jedno je obrátenou hodnotou druhého, alebo aspoň to, že tie rozdiely už má spočítané?

Zaujíma ma to predovšetkým pre Sun-ovskú javu a gcc/msvc, ale zaujímavé budú aj odpovede pre iné kompilátory a jazyky.

Odpovědi

[JS]

Nejsem zadny velky odbornik pres kompilatory, ale zkusim odpovedet.

Stejne vyrazy (v tomto pripade ty rozdily) by mely kompilatory umet optimalizovat, viz.

Spocitat prevracenou hodnotu je IMHO stejne slozite jako obycejne deleni, takze v tomto pripade se tim nic neusetri.

[pc2005]

Pokud počítá v celých číslech, tak jo. Pokud nenastane div 0 nebo rovnost těch dvou, tak je výsledek jednoho z výrazů vždy nula .

[Ivan]

Hadam, ze ty rozdily si pamatovat bude. Problem muze byt v tom, ze neco co je podobne/stejne matematicky nemusi byt podobne "numericky". Co kdyz jsou a,b unsigned a jejich rozdilem je zaporne cislo? Co kdyz plati c==d?

V matematice plati ze 1/1/n == n. Na pocitaci to platit nemusi.

[luta]

tak to zkompiluj a mrkni se co z toho vylezlo..já to tak normálně na AVR a gcc dělám..optimalizuje se to dost..některé věci vynechává ale jde spíš o nějaké temp promněnné apod..když zjistí že nejsou třeba

[mimi.vx]

ono , v uz delsi dobu je rychlejsi neco zpocitat nez to vyvolavat z hloubky pameti....

[__dark__]

Nevic jestli se v tomto případě jedná o čtění něčeho z paměti, ten mezivýsledek může být klidně v registru nebo hodně blízko na zásobníku.

[__dark__]

*nevim

[__dark__]

Přečti si toto http://www.redhat.com/magazine/002dec04/features/gcc/ , je to takový úvod. To o čem píšeš je vcelku jednoduchá optimalizace, překladač by měl umět si to najít a použít už spočítaný výsledek. Problém nastává u floating point, třeba tento kód nebude normálně optimalizovaný:

void fn(float a, float b, float c)
{
  float x = a + b + c;
  float y = c + b + a; // spočítá se znovu.

  // ...
}

Toto chování lze změnit, doporučuju podívat se na možnosti svého překladače.

Pokud se bavíme o dynamicky typovaných jazycích, tak tam jsou optimalizace tohoto typu nulové, překladač může optimalizovat maximálně výpočty konstant - třeba 3+5.

[Aleš Janda]

Můžu se zeptat u tohoto konkrétního příkladu, proč se výraz spočítá znovu? Je to kvůli možné chybě zaokrouhlování?

[Ivan]

JJ, ac se to nezda tak scitani ani nasobeni neni asociativni: http://en.wikipedia.org/wiki/Floating_point