제대로 조건을 테스트하는 방법 : JE 또는 jge

Question

을 가끔 뭔가의 배열을 반복하는이 패턴을 사용

mov [rsp+.r12], r12 ; Choose a register that calls inside the loop won't modify 
    mov r12, -1 
.i: 
    inc r12 
    cmp r12, [rbp-.array_size] 
    je .end_i 
    ; ... program logic ... 
    jmp .i 
.end_i: 
    mov r12, [rsp+.r12] 

나는 평등을 테스트하기에 충분하지만, 이해해야한다 "에 대한없는 일"안전하게 "테스트 보다 크거나 같음 "(발생하지 않을 상황을 방지하십시오).

이 경우 je 또는 jge를 사용해야합니까?

버그를 도입 할 가능성을 줄일 수있는 구체적인 팁을 묻습니다.

Answer 1

저는 항상 비트가 우연히 또는 뭔가 잘못 대치 할 경우에 대비하여 범위를 테스트하는 아이디어를 좋아했습니다. 그러나 x86 asm에서 cmp/jge은 Core2 (32 비트 모드)에서는 macro-fuse이 아니지만 cmp/je 수 있습니다. 내가 Agner Fog's microarch pdf을 확인하고 Nehalem이 아니라 Core2에서만 64 비트 모드에서 매크로 융합이 전혀 작동하지 않기 때문에 융합 할 수없는 Core2만이 아니라는 것을 발견 할 때까지는 더 많은 관련성이 있다고 생각했습니다. (나중에 마이크로 아키텍처는 그 한계가 없기 때문에 더 많은 조합을 매크로 융합 할 수 있습니다.)

카운터에 따라 CMP없이 전혀 카운트 다운 할 수 없습니다 (dec/jnz). 그리고 종종 64 비트 일 필요가 없다는 것을 알고 있으므로 dec esi/jnz 또는 무엇이든 사용할 수 있습니다. dec esi/jge은 부호있는 카운터에서 작동하지만 dec은 CF를 설정하지 않으므로 JA를 (유용하게) 사용할 수 없습니다.

중간에 if() break이고 마지막에 jmp가있는 루프 구조는 asm에 관용적이지 않습니다. 보통은 다음과 같습니다

mov ecx, 100 

.loop:    ; do{ 
    ;; stuff 
    dec ecx 
    jge .loop  ; }while(--ecx >= 0) 

에만 100..1 대신 100..0 긍정적 인 ECX, 즉 루프와 루프를 다시 시작 JG를 ​​사용할 수 있습니다.

취하지 않은 조건부 분기 및을 사용하면 루프에서 무조건 분기를 수행하는 것이 효율적이지 않습니다.

---

R12를 저장/복원에 대한 질문에 의견을 토론을에 확장 : 일반적으로 당신과 같이 할 것 : 우리가 함수 내에서 몇 가지에 대한 RBX을 사용하는 방법

my_func: 
    ; push rbp 
    ; mov rbp, rsp  ; optional: make a stack frame 

    push rbx   ; save the caller's value so we can use it 
    sub rsp, 32  ; reserve some space 

    imul edi, esi, 11 ; calculate something that we want to pass as an arg to foo 
    mov ebx, edi  ; and save it in ebx 
    call foo 
    add eax, ebx  ; and use value. If we don't need the value in rbx anymore, we can use the register for something else later. 

    ... ;; calculate an array size in ecx 

    test ecx, ecx    ; test for the special case of zero iterations *outside* the loop, instead of adding stuff inside. We can skip some of the loop setup/cleanup as well. 
    jz .skip_the_loop 

    ; now use rbx as a loop counter 
    mov ebx, ecx 
.loop: 
    lea edi, [rbx + rbx*4 + 10] 
    call bar      ; bar(5*ebx+10); 
    ; do something with the return value? In real code, you would usually want at least one more call-preserved register, but let's keep the example simple 
    dec ebx 
    jnz .loop 
.skip_the_loop: 

    add rsp, 32   ; epilogue 
    pop rbx 

    ;pop rbp    ; pointless to use LEAVE; rsp had to already be pointing to the right place for POP RBX 
    ret 

공지 사항, 한 번만 저장/복원 할 수 있습니다.