likely/unlikely 사용시 차이점

compiler 정보 : gcc version 4.3.3 (Sourcery G++ Lite 2009q1-203)

http://www.codesourcery.com/sgpp/lite/arm/portal/release858

int abcdefg(int test1)
{
 if ( unlikely(test1 == 5 ) )
  test1++;
 else
  printk("--n");

 printk("%dn", test1);
 
 return 0;
}

--------------------------------------unlikely를 사용한 경우
0000001c <abcdefg>:
      1c:   e1a0c00d    mov ip, sp
      20:   e92dd830    push    {r4, r5, fp, ip, lr, pc}
      24:   e24cb004    sub fp, ip, #4  ; 0x4 
      28:   e3500005    cmp r0, #5  ; 0x5 
      2c:   e1a04000    mov r4, r0
      30:   03a04006    moveq   r4, #6  ; 0x6 
      34:   0a000002    beq 44 <abcdefg+0x28>
      38:   e3000000    movw    r0, #0  ; 0x0 
      3c:   e3400000    movt    r0, #0  ; 0x0 
      40:   ebfffffe    bl  0 <printk>
      44:   e1a01004    mov r1, r4
      48:   e3000000    movw    r0, #0  ; 0x0 
      4c:   e3400000    movt    r0, #0  ; 0x0 
      50:   ebfffffe    bl  0 <printk>
      54:   e3a00000    mov r0, #0  ; 0x0 
      58:   e89da830    ldm sp, {r4, r5, fp, sp, pc}

--------------------------------------unlikely부분에 likely or 둘다 없는 것
0000001c <abcdefg>:
      1c:   e1a0c00d    mov ip, sp
      20:   e92dd830    push    {r4, r5, fp, ip, lr, pc}
      24:   e24cb004    sub fp, ip, #4  ; 0x4 
      28:   e3500005    cmp r0, #5  ; 0x5 
      2c:   e1a04000    mov r4, r0
      30:   03a04006    moveq   r4, #6  ; 0x6 
      34:   1a000005    bne 50 <abcdefg+0x34>
      38:   e1a01004    mov r1, r4
      3c:   e3000000    movw    r0, #0  ; 0x0 
      40:   e3400000    movt    r0, #0  ; 0x0
      44:   ebfffffe    bl  0 <printk>
      48:   e3a00000    mov r0, #0  ; 0x0
      4c:   e89da830    ldm sp, {r4, r5, fp, sp, pc}
      50:   e3000000    movw    r0, #0  ; 0x0
      54:   e3400000    movt    r0, #0  ; 0x0
      58:   ebfffffe    bl  0 <printk>
      5c:   eafffff5    b   38 <abcdefg+0x1c>

 결론 : 분기문에서 확률이 적은 곳에 unlikely를 사용하면 이부분을 branch하여 수행하도록 만들어 줍니다.

            반대로 이야기 하면 확률이 높은 쪽은 branch하지 않고 연속하여 수행하도록 해줍니다.

            이것으로 인하여 branch에 의해 다른 곳으로 가게 되면 미리 가져왔던 것을 flushing 하고 다시 fetch하는 것을 줄여 줍니다.

------------------------------------------------------------------------------------------------- 

ps. branch가 필요없을 때에는 unlikely, likely 사용이 동일합니다.

예 : 아래 예제는 unlikely, likely, 둘다 없는 것으로 확인 시 모두 동일합니다.

int abcdefg(int test1)
{
 if ( unlikely(test1 == 5 ) )
  test1++;
 else
  test1--;

 printk("%dn", test1);
 
 return 0;
}

0000001c <abcdefg>:
      1c:   e1a0c00d    mov ip, sp
      20:   e92dd800    push    {fp, ip, lr, pc}
      24:   e24cb004    sub fp, ip, #4  ; 0x4 
      28:   e3500005    cmp r0, #5  ; 0x5 
      2c:   12401001    subne   r1, r0, #1  ; 0x1 
      30:   e3000000    movw    r0, #0  ; 0x0 
      34:   03a01006    moveq   r1, #6  ; 0x6 
      38:   e3400000    movt    r0, #0  ; 0x0 
      3c:   ebfffffe    bl  0 <printk>
      40:   e3a00000    mov r0, #0  ; 0x0 
      44:   e89da800    ldm sp, {fp, sp, pc}