X86 어셈블리 - IDIV 명령 처리

Question

현재 간단한 C 컴파일러를 작성 중이며 .c 파일을 입력으로 사용하고 어셈블리 코드 (X86, AT & T 구문)를 생성합니다. Everyting은 좋지만 IDIVQ 명령어를 실행하려고하면 부동 소수점 예외가 발생합니다. 여기 내 입력이다 : 여기

int mymain(int x){ 
    int d; 
    int e; 
    d = 3; 
    e = 6/d; 
    return e; 
} 

되어 내 생성 된 코드 :

mymain: 
.LFB1: 
    .cfi_startproc 
    pushq %rbp 
    .cfi_def_cfa_offset 16 
    movq %rsp, %rbp 
    .cfi_offset 6, -16 
    .cfi_def_cfa_register 6 
    movq %rdi, -40(%rbp) 
    movq $3, -8(%rbp) 
    movq $6, %rax 
    movq -8(%rbp), %rdx 
    movq %rdx, %rbx 
    idivq %rbx 
    movq %rax, -16(%rbp) 
    movq -16(%rbp), %rax 
    leave 
    .cfi_def_cfa 7, 8 
    ret 
    .cfi_endproc 
.LFE1: 
    .size mymain, .-mymain 

따르면 http://www.cs.virginia.edu/~evans/cs216/guides/x86.html에, idivq % RBX%의 RAX 6/D (몫)을 생성한다. 하지만 부동 소수점 예외가 발생하고 문제를 찾을 수 없습니다.

도움이 될 것입니다.

Answer 1

Mysticials 대답의 첫 번째 부분은 정확합니다. idiv은 128/64 비트 나누기를 수행하므로 배당금의 상위 64 비트를 포함하는 rdx의 값에 임의의 값이 없어야합니다. 그러나 제로 확장은 잘못된 길입니다. 당신이 서명 변수를 가지고

, 당신은 rdx:rax에 rax을 확장 기호해야합니다. 이에 대한 구체적인 지침은 cqto (쿼드에서 옥텟으로 변환)이며 인텔 구문에서는 AT & T 및 cqo입니다. AFAIK 최신 버전의 가스는 두 가지 이름을 모두 수용합니다. 이 질문에 관련없는

movq %rdx, %rbx 
cqto     # sign extend rax to rdx:rax 
idivq %rbx 

Answer 2

명령어는 128 비트 정수 (rdx:rax)를 피연산자로 나눕니다.

• rax은 배당의 하위 64 비트를 유지합니다.
• rdx은 배당의 상위 64 비트를 유지합니다.

몫이 64 비트에 맞지 않으면 부동 소수점 예외가 발생합니다.

movq %rdx, %rbx 
xorq %rdx, %rdx # zero "rdx" 
idivq %rbx 

---

당신이 부호있는 정수를 처리하는 경우도 rax 부호 비트를 복사하는 것을 의미, rdx:rax에 rax을 확장 로그인해야 : rdx 제로에

그래서 당신이해야 할 것입니다 rdx의 모든 비트와 cqo 별칭 cqto로 이루어집니다

movq %rdx, %rbx 
cqo 
idivq %rbx