"Assume" deyimi, gcc'de

Question

gcc (en son sürümler: 4.8, 4.9) icc tarafından desteklenen __assume() benzeri bir "varsayım" yan tümcesi var mı? E.g., __assume(n % 8 == 0);

Answer 1

gcc 4.8.2'den itibaren, gcc'de __assume() eşdeğeri yoktur. Nedenini bilmiyorum - çok yararlı olur. mafso önerilir:

#define __assume(cond) do { if (!(cond)) __builtin_unreachable(); } while (0) 

Bu, en az 2010 kadar ve muhtemelen daha uzun süredir bilinen eski bir numaradır. Derleyici genellikle 'koşul' değerlendirmesini en iyi duruma getirir, çünkü hangi koşulun yanlış olduğuna dair herhangi bir değerlendirme zaten tanımlanmayacaktır. Ancak, bir opak (satır içi olmayan) işleve bir çağrı içeriyorsa, 'kondisyonu' en iyi duruma getirme gibi görünmemektedir. Derleyici, opak aramanın bir yan etkiye sahip olabileceğini (örn., Global olarak değiştirebileceğini) varsaymalıdır ve sonuca göre herhangi bir hesaplamayı ve şubeyi optimize edebilmesine rağmen, çağrıyı en iyi duruma getiremez. Bu nedenle, makro yaklaşım en iyi ihtimalle kısmi bir çözümdür.