Derleyiciler satır içi işlevleri ne kadar derin?

Question

Bazı işlevlerim var, her biri yaklaşık iki basit kod satırı ve bunlar birbirini şöyle çağırıyorlar:çağrıları B çağrıları C çağrıları D ... K. (Yani temelde uzun bir dizi kısa işlev çağrısı.) Derleyiciler genellikle bu işlevleri çağırmak için çağrı ağacına ne kadar girer?

Answer 1

Soru anlamlı değil.

Eğer inlining düşünürseniz, ve sonuçları, bunu fark edeceksiniz:

• optimizer daha fazla bağlam Exposes (bütün kayıt kaydetme/çerçeve ayarlı) bir işlev çağrısını önler (diğer şeyler arasında talimat önbellek ve yürütülebilir boyutu, şişkinlik ölü mağazalar, ölü kod, ortak alt ifade elimintation ...)
• çoğaltır kodu()

karar Satır içi olsun ya da olmasın, derleyici, yaratılan potansiyel bloat ve beklenen hız kazancı arasında bir dengeleme eylemi gerçekleştirir. Bu dengeleme eylemi seçenekler tarafından etkilenir: gcc için -O3 hızını optimize etmek anlamına gelirken, -Oz boyutu en iyi tersi davranışlara sahipken, satır içi için en iyi duruma getirme anlamına gelir! Bu nedenle, önemli olan "yuvalama seviyesi" değil, talimat sayısıdır (büyük olasılıkla hepsi eşit oluşturulmamış olarak ağırlıklandırılır).

int foo(int a, int b) { return foo(a, b, 3); } 

bakış inlining noktasından temel olarak "saydam" dir:

Bu basit yönlendirme fonksiyonu anlamına gelir.

Diğer taraftan, yüz kod satırı sayan bir işlevin satır içi olmaması olası değildir. Bunun dışında sadece bir kez çağrılan bir static serbest fonksiyonu, bu durumda herhangi bir çoğaltma oluşturmayacağından, sistematik olarak sıralı olarak belirtilmiştir. Bu iki örneğe göre

biz sezgisel nasıl davrandığını önsezi olsun: var

• az talimatlar işlevini
inlining için daha iyi, denir az sıklıkta
• inling için daha iyi Bundan sonra

, onlar parametreleri onlar -finline-limit bayrak tresh "yükseltmek" olarak tek bir yolu etkilemek için ayarlayabilirsiniz veya kuvvetle inling ima __force_inline olarak başka (MSVC, gcc geçilmemelidir talimat sayımı teğet günü, vs ...)

---

eski: yaklaşık kısmi satır içi uygulaması biliyoruz?4.6'da gcc'de tanıtıldı. Adından da anlaşılacağı gibi fikir, bir işlevi kısmen satır içi tutmaktır. Çoğunlukla, işlev "korunur" olduğunda bir işlev çağrısının genel giderlerinden kaçınmak ve (bazı durumlarda) hemen hemen geri dönebilir. Örneğin

:

void foo(Bar* x) { 
    if (not x) { return; } // null pointer, pfff! 

    // ... BIG BLOC OF STATEMENTS ... 
} 

void bar(Bar* x) { 
    // DO 1 
    foo(x); 
    // DO 2 
} 

olarak "optimize" alabilir:

Tabii

void foo@0(Bar* x) { 
    // ... BIG BLOC OF STATEMENTS ... 
} 

void bar(Bar* x) { 
    // DO 1 
    if (x) { foo@0(x); } 
    // DO 2 
} 

kez daha inlining için sezgisel uygulamak, ancak daha discriminately geçerlidir!

---

Ve WPO (Tüm Program Optimizasyonu) ya da LTO (Bağlantı Zaman Optimizasyonu) kullanmadığınız sürece kendi tanım aynı TU (Çeviri Birimi) ise nihayet, işlevleri yalnızca satır içine yerleştirilmiş olabilir çağrı sitesinde söyledi.

Answer 2

Derleyicilerin 5'den fazla işlevi derinlemesine satır içi olarak gördüm. Ama bir noktada, temel olarak derleyicinin yaptığı uzay verimliliği ticaretine dönüşür. Bu derlemede her derleyici farklıdır. Visual Studio, inlining ile çok muhafazakar. GCC (altında -O3) ve Intel Derleyici inline satır içi ...