Derleyici, bir iç döngüden kaçmayı optimize eder mi?

Question

Bu gibi görünen kod (gösterilen tüm kullanımlar gösteriliyor):

bool done = false; 
for(int i = 0; i < big; i++) 
{ 
    ... 
    for(int j = 0; j < wow; j++) 
    { 
    ... 
    if(foo(i,j)) 
    { 
     done = true; 
     break; 
    } 
    ... 
    } 
    if(done) break; 
    ... 
} 

herhangi bir derleyici bunu dönüştürür:

for(int i = 0; i < big; i++) 
{ 
    ... 
    for(int j = 0; j < wow; j++) 
    { 
    ... 
    if(foo(i,j)) 
     goto __done; // same as a labeled break if we had it 
    ... 
    } 
    ... 
} 
__done:; 

Not:if(done)break; atlanır ve ölü kod olarak kaldırılır, ayrıca done'ün tamamen kaldırılmasıyla da ilgilenirim.

Answer 1

Açıkçası bu derleyici bağlıdır. Emin olmadığınız zaman yapılacak en iyi şey, derleyicinin derleme çıktısını görüntülemektir (tüm popüler derleyicilerin bunun için bir anahtarı vardır). Derlemeyi bilmiyor olsanız bile, en azından hata ayıklama sürümünü en iyileştirilmiş sürümle karşılaştırabilirsiniz.

söyleniyor, bu goto kötü bir fikir değil az olduğu durumlardan biridir. İç döngüden kurtulmak için onu kullanmaktan çekinmeyin.

Düzenleme

Sadece VS2010 aşağıdaki çalıştı ve gerçekten dış koşullu optimize kapsamaz:

bool done = false; 
for(int i = 0; i < 10; i++) 
{ 
    for(int j = 0; j < 10; j++) 
    { 
     if(i == 7 && j == 3) 
     { 
      done = true; 
      break; 
     } 
    } 
    if(done) break; 
} 
return 0; 

Answer 2

GNU derleyici sadece, optimizasyon seviyesine -O1 ile başlayan (kullanıyorum gcc yapar x86_64'lerde 4.5.1) .L14 Eğer __done yerleştirilen tam yerleştirilen etikettir

call _Z3fooii // al = foo(i,j) 
testb %al, %al 
jne .L14 
... 

:

Daha iyi bir soru olabilir: Bu optimizasyonu yapmaz Modern hangi derleyici?

Answer 3

Birlikte GCC 4.2.1 denedim aşağıdaki: Bu dan ***

33: e8 fc ff ff ff   call 34 <bar()+0x34> ; call to foo* 
    38: 84 c0     test %al,%al 
    3a: 74 e5     je  21 <bar()+0x21> ; next loop iteration 
    3c: 83 c4 10    add $0x10,%esp 
    3f: 5b      pop %ebx 
    40: 5e      pop %esi 
    41: 5d      pop %ebp 
    42: c3      ret 

:

// Prevent optimizing out calls to foo and loop unrolling: 
extern int big, wow; 
bool foo(int,int); 

void 
bar() 
{ 
    int done = false; 
    for(int i = 0; i < big; i++) 
    { 
     for(int j = 0; j < wow; j++) 
     { 
      if(foo(i,j)) 
      { 
       done = true; 
       break; 
      } 
     } 
     if(done) 
      break; 
    } 
} 

... ve -O3 ile postamble düz aracılığıyla düşer Bağlantısız nesne dosyası, call 34 aslında foo'a çağrı yapıyor.

Answer 4

Ben fark eder ... snarky olmaya çalışıyorum, ama değilim? Genel olarak, derleyiciler işlerine izin vermenin en iyi yol olduğunu düşünüyorum ve bu iş "en iyi" yi üretmektir ("en iyi" nin ihtiyaçlarınıza bağlı olarak değişebileceğine dikkat edin). Kaynak kodunuzu verilen derlenmiş kod. Kodunuzdaki herhangi bir performans değerlendirmesi bir profiler ve algoritmik karmaşıklık hakkında iyi bir çalışma bilgisi ile tanımlanmalıdır. Eğer sadece meraklı iseniz

, o zaman bu yorumunu dikkate almayın. Ama niyetiniz bir şekilde kodunuzu optimize etmekse, o zaman çok daha iyi yollar olduğunu düşünüyorum. Bu arada