Vlákno názorů k článku Clang/LLVM: potenciální konkurent překladače gcc od Yenya - Muze programator rict LLVM bytekodu (a tedy i programu...

Muze programator rict LLVM bytekodu (a tedy i programu v nejakem jazyce nad nim) veci typu „tahle podminka je skoro vzdycky nepravdiva“?

p = malloc(…);
if (unlikely(!p))
fatal(„…“);

Jak se v LLVM udela instrukce pametove bariery (nutna napriklad pro user-space RCU)?

Jak se v LLVM rekne „pokud nekdo zavola tuhle funkci ve void kontextu, ma dostat warning“, umi podminenou kompilaci podle konstantnosti argumentu? Treba gcc dela veci typu memcpy() jinak, pokud je velikost argumentu znama. Jde tam rict „tenhle argument funkce je printf-like formatovaci string, davej warning pokud nasledujici parametry maji odlisne typy nez se pise ve stringu“?

-Yenya

1) clang ma __builtin_expect

2) http://llvm.org/…LangRef.html#…

3) nerozumim otazce, co je void kontext?

4) llvm ma ruzne optimalizace, zrovna memcpy tam takhle optimalizovane myslim
neni

5) checkovani parametru C funkci je zalezitost C frontendu… clang parametry printfu checkuje