Itseisarvojen yhteenlasku

1. Kommenttina edellisen vastaajan tekstiin;

Jos R0 >= 0 hyppää A:han ...
(ok, *oikein tehty* etumerkin muuttaminen ei toki nollaa miksikään muuta, mutta tarpeetonta se ainakin on)

2. Kannattaa katsoa mallia, mitä kääntäjä tekee korkean tason kielessä, esimerkkinä Delphi:

var
X : Integer; // 32-bit Delpheissä (2.0 - ainakin Tiburon) 32-bit etumerkillinen kokonaisluku.

procedure ItseisArvoX;
begin
X := abs(X);
end;


Ja mitä kääntäjä tuottaa tällaisesta:

(vain itseisarvon laskeminen):

00463ECC A1507C4600 mov eax,[X]
00463ED1 99 cdq
00463ED2 33C2 xor eax,edx
00463ED4 2BC2 sub eax,edx
00463ED6 A3507C4600 mov [X],eax

Kuten huomaat, Delphin käännöstuloksessa ei ole yhtään hyppykäskyä (ei ehdollista eikä ehdotonta).

Todennäköisin syy tähän: Moderneissa prosessoreissa on edistynyt välimuisti- ja ennakoivan suorituksen järjestelmä; näillä pyritään mahdollisimman suureen suoritusnopeuteen.

Yleensä jos ohjelmassa tulee vastaan hyppykäsky, niin ensinnäkin ennakoivan (=spekulatiivisen) suorituksen tuloksia joudutaan heittämään pois ja toisekseen lähinnä itse prosessoria olevan välimuistin tiedot joudutaan yleensä myös päivittämään, ja tällainen hidastaa ohjelman suoritusta.

Näistä syistä usein pyritään välttämään hyppykäskyjä, jos annetun tehtävän voi ratkaista ilmankin.

Mitäkö Delphin kääntämän koodin eri käskyt tekevät?

00463ECC A1507C4600 mov eax,[X]
Lataa muuttujan X arvon eax -rekisteriin

00463ED1 99 cdq
Muuntaa 32-bit etumerkillisen kokonaisluvun 64-bit etumerkilliseksi kokonaisluvuksi

00463ED2 33C2 xor eax,edx
Suorittaa bittitason XOR -operaation eax ja edx -rekisterien välillä, tulos rekisteriin eax (Yleinen käytäntö assemblerissa on: tulosoperandi vasemmalle, lähde oikealle; poikkeuksena tästä linuxmaailmassa ikävä kyllä paljon käytetty AT&T -syntaksi, jossa asia on sitten juuri päinvastoin !)

00463ED4 2BC2 sub eax,edx
Vähentää edx:n arvon eax:sta, tulos -> eax

00463ED6 A3507C4600 mov [X],eax
tallettaa eax -rekisterin arvon muuttujaan X, joka tässä tapauksessa on muistiosoitteessa
467C50h.

Delphin käännöstulos on ajokelpoinen x86 -sarjan prosessoreissa (80386, 80486, Pentium jne).

Jos haluat tätä optimoitua ratkaisua soveltaa, joudut luonnollisesti muuntamaan tämän käyttämällesi prosessorille.