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
