शाखा के साथ एक फ़ंक्शन शुरू करना

Question

ऑप्टिमाइज़ेशन और शाखा भविष्यवाणियों के दृष्टिकोण से, क्या उन दो कोडों के बीच कोई अंतर है?

पहले:

void think_and_do(){ 
    if(expression){ 
     //Set_A of instructions 
    } 
    else{ 
     //Set_B of instructions 
    } 
} 

int main(){ 
    think_and_do(); 
} 

दूसरा:

void do_A(){ 
    //Set_A of instructions 
} 

void do_B(){ 
    //Set_B of instructions 
} 

int main(){ 
    if(expression){ 
     do_A(); 
    } 
    else{ 
     do_B(); 
    } 
} 

Answer 1

मैं अपने उदाहरण यदि think_and_do godbolt.org पर और main

पहले अवलोकन में एक परीक्षण करने के बाद, वे छोटे हैं वे ज्यादातर अनुकूलित अनुकूलित हो जाते हैं। cin बिना दोनों उदाहरण संकलित किया है चाहिए रहे हैं:

xor  eax, eax 
    add  rsp, 8 #may or may not be present. 
    ret 

दूसरा अवलोकन है कि कोड वास्तव में मुख्य में एक ही है: और कार्यों में से कोई भी कहा जाता है, सब कुछ inlined है।

तीसरा अवलोकन है कि दोनों उदाहरण निम्नलिखित कोड

mov  edx, DWORD PTR a[rip] 
    mov  eax, DWORD PTR b[rip] 
    cmp  edx, eax 
    je  .L8 

है यही कारण है कि वे एक 4 शिक्षा का चक्र को भरने (जारी करने का सबसे बनाने के लिए और सीएमपी और कूद के वृहद संलयन की संभावना की अनदेखी करने के बनाता है)।

यदि वह समस्या बैंडविड्थ की एक

cmp  edx, eax 
    je  .L8 

आधा साथ शुरू किया था संभावित बर्बाद हो गया होता।