Evitare ripetizioni/loop unswitching

Question

Ho codice hotspot che viene eseguito in un loop stretto:

for (i = 0; i < big; i++) 
{ 
    if (condition1) { 
     do1(); 
    } else if (condition2) { 
     do2(); 
    } else { 
     do3(); 
    } 
    // Shared code goes here 
    // More shared code goes here 
} 

Dal condition1 e condition2 sono invarianti, io non commutata il ciclo per

if (condition1) { 
    for (i = 0; i < big; i++) 
    { 
     do1(); 
     // Shared code goes here 
     // More shared code goes here 
    } 
} else if (condition 2) { 
    for (i = 0; i < big; i++) 
    { 
     do2(); 
     // Shared code goes here 
     // More shared code goes here 
    } 
} else { 
    for (i = 0; i < big; i++) 
    { 
     do3(); 
     // Shared code goes here 
     // More shared code goes here 
    } 
} 

Questo funziona molto meglio, ma mi chiedo se c'è un modo intelligente per farlo senza ripetermi?

Answer 1

Un altro, forse un po 'più efficiente opzione è quella di utilizzare una macro per costruire il codice per voi:

#define DO_N(name, ...) for(int i = 0; i < big; i++){name(__VA_ARGS__);/*shared code*/} 

if (condition1) { 
    DO_N(do1, .../*arguments here*/) 
} else if (condition 2) { 
    DO_N(do2, ...) 
} else { 
    DO_N(do3, ...) 
} 

#undef DO_N 

E ' s brutto, ma penso che faccia quello che vuoi, e potrebbe consentire di inlining dove un puntatore di funzione non lo fa.

Inoltre, è possibile che sia più leggibile inserire il codice condiviso in una macro o funzione separata.

Answer 2

penso che si può dichiarare un puntatore a funzione e qualche funzione foo():

typedef void (*fp)(void); 

void foo(int big, fp f) { 
    for (int i = 0; i < big; ++i) { 
     f(); 
     // Shared code goes here 
     // More shared code goes her 
    } 
} 

quindi modificare il codice per qualcosa di simile:

if (condition1) { 
    foo(big, do1); 
} else if (condition2) { 
    foo(big, do2); 
} else { 
    foo(big, do3); 
}