KOJA: Myslim ze ano. Je to videt vsude kolem (me :-) To si ale nutne neprotireci s tim
<i>ze na hromadu problemu staci rozumny navrh na urovni architektury a (pardon) "mikrooptimalizace" nejsou potreba</i>. Samozrejme, pokud mas O(n^3) algoritmus a existuje O(nlogn), pak nema cenu "mikrooptimalizovat" ten n^3. O tom zadna.

Zalezi na tom co delas. Pokud delas nejakou aplikaci, rekneme nejaky IS nebo tak, pak asi opravdu jedine, co ma smysl je pouziti dobrych algoritmu a rozumne cacheovani.
Pokud ale delas vis low-level - zakladni knihovny, runtime, prekladace - pak je dost citit jestli neco udelas na ~1 cachemiss nebo na ~10 cachemiss, prestoze slozitost obou je O(1), rekneme. Nebo je dost rozdil, jestli
napises

if (error) {
handle_error();
return;
} else {
...
}

nebo

if (!error) {
....
return;
} else {
handle_error();
}

pripadne

if (error) goto handle_error;
fixed: ...
return
fix_error();
goto fixed;


pokud je to low-level kod, provadi se opravdu casto a muze to bolet (vlastni zkusenost :-)

On i ten REDGUYem vysmivany benchmark ukaze zajimave veci - ono to neni tak ze <i>podstate testuje jednu jedinou funkci v dost trivialnich podminkach<i>. On spis testuje, jak dobry je optimalizator a jak se chova - obzvlaste na jit systemech se spekulativnim inlinovanim (dokaze tu funkci nainlinovat? Kdy to udela? Od kdy se vyplati zpomaleni zpusobene rekompilaci, OSR, a naslednym restartem? Kdy deoptimalizuje?). Kdyby tyhle veci nemeli velky vyznam, nedelalo by se to - je to _dost_ prace to odladit :-)

JANFROG: tak tím switchem to nebude:
xchaos@hyperion:~$ gcc pokus-compare.c -o pokus-compare -ggdb3 -O0
xchaos@hyperion:~$ ./pokus-compare
===
long a = -1;
unsigned int b = 1;
a == b // -> false
a < b // -> true
a > b // -> false
===
unsigned int a = 1;
long b = 1;
a == b // -> true
a < b // -> false
a > b // -> false

pořád si neuvedl, na jakou cílovou platformu to kompiluješ... ale oceňuju, že tenhle klub _konečně_ začíná zvolna fungovat k tomu, k čemu byl založen :-)

(jo a dík, že si mi nasměřoval na to #makro (evidentně vložení tokenu do úvozovek, jako stringový literál) - konkrétně tohle využití preprocesoru jsem neznal, a napadá mi okamžitě spousta ďábelských věcí, jak to využít - hlavně třeba v konstruktorech objektů, resp. ještě spíš jejich interfejsů, které se alokují typicky v jediné instanci za celou dobu běhu programu - objekt za běhu takhle může například jednoduše vědět, jak se jmenuje jeho interface ... což je zhruba stejné, jako vědět, do jaké patří třídy...)

XCHAOS:
XCHAOS: Se svetem to jde z kopce, ale z jinych duvodu :-)
Tohle neni dukaz zkazenosti sveta, to je jen ta nejjednodussi demonstrace toho, ze myslet si ze o programu v C vis co se deje uvnitr je - rekneme - velmi naivni. Pro uplnost, prekladano s -ggdb3 -O0

A ne, neni to tim ze by veci byli v roce 2014 a 2016 jinak. Pokud pouziji 4.9.x dopadne to stejne...

XCHAOS: No vidis, me to pise zase tohle:

===
long a = -1;
unsigned int b = 1;
   a == b // -> false
   a < b  // -> false
   a > b  // -> true
...

jv@sao:~/Projects/jv-knowledgebase/C$ gcc --version
gcc (Debian 6.1.1-11) 6.1.1 20160802
Copyright (C) 2016 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

Jak je to jen mozne v tak transparentnim jazyku, kde je videt co se vevnitr deje :-)
(omlouvam se za trochu sarkasmu, nekdy si nemuzu pomoci...)