Почему неправильно срабатывает ZF флаг при сравнении

[iXNomad]

Объясните пожалуйста, не понимаю, почему у меня включается флаг ZF после сравнения cl, где лежит 19 с числом 20, после чего естественно срабатывает прыжок на завершение с ошибкой.



Вот исходник, сейчас пытаюсь отлаживать.

Вот функция:

check_exp_format:
        push rbp
        mov rbp, rsp
        push rsi
        push rbx

        xor ax, ax
        xor rbx, rbx
        xor rcx, rcx

        mov rsi, [rbp+16]
        mov bl, [rsi]          ; loading the first byte
        cmp bl, "q"
        jz near .q_fine
        cmp bl, "Q"
        jz near .q_fine
        cmp bl, "-"
        jz .setminus1flag
        cmp bl, "0"
        jl near .q_err
        cmp bl, "9"
        jg near .q_err
        jmp .skipminus1flag
.setminus1flag:
        inc ah
.skipminus1flag:
        
        mov cl, ah              ; operand1 sign shift
        mov bl, [rsi+rcx]
        cmp bl, "0"             ; it has to start with a digit
        jl near .q_err
        cmp bl, "9"
        jg near .q_err
.seekforoperation:
        inc cl
        sub cl, ah
        cmp cl, 20              ; max 64bit operand consists of 19 digits + '-' sign
        jz .q_err
        add cl, ah
        mov bl, [rsi+rcx]
        cmp bl, "+"
        jz near .closefound
        cmp bl, "-"
        jz near .foundsub
        cmp bl, "*"
        jz near .foundmul
        cmp bl, ":"
        jz near .founddiv
        cmp bl, "/"
        jz near .founddiv
        cmp bl, "^"
        jz near .foundpow
        cmp bl, "0"
        jl near .q_err
        cmp bl, "9"
        jg near .q_err
        jmp .seekforoperation

.foundsub:
        inc al
        jmp near .closefound
.foundmul:
        add al, 2
        jmp near .closefound
.founddiv:
        add al, 3
        jmp near .closefound
.foundpow:
        add al, 4
.closefound:
        shl al, 4
        add al, cl

        shl ah, 1
        inc cl
        add rsi, rcx
        xor cl, cl
        mov bl, [rsi]           ; now checking the first byte of operand2
        cmp bl, "-"
        jz .setminus2flag
        cmp bl, "0"
        jl near .q_err
        cmp bl, "9"
        jg near .q_err
        jmp .skipminus2flag
.setminus2flag:
        inc ah
        inc rsi
.skipminus2flag:        
        
                               
        mov bl, [rsi+rcx]        ; now proceeding operand2
        cmp bl, "0"             ; but we need at least one digit
        jl .q_err
        cmp bl, "9"
        jg .q_err
.seekfortheend:
        inc cl
        cmp cl, 20
        jz .q_err
        mov bl, [rsi+rcx]
        test bl, bl
        jz .q
        cmp bl, 10
        jz .q
        cmp bl, "0"
        jl .q_err
        cmp bl, "9"
        jg .q_err
        jmp .seekfortheend

.q: 
        pop rbx
        pop rsi
        mov rsp, rbp
        pop rbp
        ret
.q_fine:
        push qword 0
        call _exit
.q_err:
        push qword 1
        call _exit

Я вообще с индексацией немного запутался, что у меня где, думаю наверно до 19 индекса по идее надо проверять, но тут меня отладчик просто сбил с толку вообще.

[Nif-naf]

понять можно. Предпологается вычитание из левого поля. Если число меньше нуля то и флаг будет

[Nif-naf]

Более того если а<с, то jb, если а=с то je, a jz это из области .bss. Более того много могет не робить вааще