Satu fitur perkalian dan pembagian yang tidak terdokumentasi pada prosesor x86

Dimulai dengan prosesor 80286, Intel telah mempertahankan kompatibilitas penuh dari bawah ke atas dalam set instruksi. Artinya, jika beberapa instruksi prosesor memberikan hasil ini dan itu pada 8086, maka hasilnya akan sama persis pada prosesor selanjutnya (sekarang kami tidak akan mempertimbangkan kesalahan seperti pembagian yang salah di Pentium I).

Tapi apakah itu? Pertanyaan yang luar biasa! Lagi pula, jika kompatibilitas tidak dipertahankan, maka program lama tidak dapat dijalankan, dan Anda masih dapat bernostalgia di komputer mana pun dengan menjalankan Norton Commander atau Tetris. Namun, tidak semuanya sesederhana itu ... Dimulai dengan 8080, prosesor Intel memiliki register bendera, yang statusnya ditentukan oleh hasil perintah penghitungan data terakhir. Semua bendera telah dijelaskan di dalamnya untuk waktu yang lama dan perilakunya diperbaiki dengan ketat. Kecuali dua pengecualian.

AF – . . 8- 8080 . 16- x86 – ? Intel – AF . 8080 . 16- AF !

, - ! AF PF !

:

#include <iostream>
#include <iomanip> 

int main()
{
    using namespace std;
    const int min_i = -20, max_i = 50,min_j=-10, max_j = 50;
    short int i, j, k, pf;
    cout << "Name;i;j;Result;AF;PF;Calculated parity\n";
    
    for (i = min_i; i < max_i; i++) {
        for (j = min_j; j < max_j; j++) {
            __asm {
                mov ax, i
                mov dx, j
                imul dx
                pushf
                pop ax
                mov k, ax
            }
            pf = i * j;  pf = ((pf >> 7) ^ (pf >> 6) ^ (pf >> 5) ^ (pf >> 4) ^ (pf >> 3) ^ (pf >> 2) ^ (pf >> 1) ^ pf ^ 1) & 1;
            cout << "Mul ;" << setw(4) << i << "; " << setw(4) << j << "; " << setw(4) << i * j << "; " << ((k & 0x10) ? "1" : "0") << "; " << ((k & 0x04) ? "1" : "0") << "; " << pf <<"\n";

        }
    }
        
    for (i = min_i; i < max_i; i++) {
        for (j = min_j; j < max_j; j++) {
            if (j == 0) continue;
            __asm {
                mov ax, i
                mov cx, j
                cwd
                idiv cx
                pushf                
                pop ax
                mov k, ax
            }
            pf = i / j;  pf = ((pf >> 7) ^ (pf >> 6) ^ (pf >> 5) ^ (pf >> 4) ^ (pf >> 3) ^ (pf >> 2) ^ (pf >> 1) ^ pf ^ 1) & 1;
            std::cout << "Div ;" << setw(4) << i << "; " << setw(4) << j << "; " << setw(4) << i / j << "; " << ((k & 0x10) ? "1" : "0") << "; " << ((k & 0x04) ? "1" : "0") << "; " << pf << "\n";
        }
    }
}


      
      

        
        
        
      

    
        
        
        
      
      

        
        
        
      

    
    

AF PF . ( ) .

16 . :

, :

1. Intel ( Wolfdale – «» , Sandy Bridge – «» (Nehalem )). «» AF 0, PF – ( ). «» .

   
   
   
   
   

2. AMD , «» Intel.

   
   
   
   
   

3. Pada operasi pembagian, semua prosesor Intel menyetel bit paritas sama (tetapi tidak cocok dengan paritas bit dari byte terakhir dari hasil pembagian dan modulo).

   
   
   
   
   

4. Bit AF setelah pembagian diatur ke 0 di prosesor Intel, kecuali untuk keluarga Yonah dan sebelumnya.

   
   
   
   
   

5. AMD setelah pembagian menetapkan AF = 1 dan PF = 0.

   
   
   
   
   

Tabel tes lengkap dapat diunduh

Jika ada yang memiliki akses ke prosesor yang belum diuji, silakan ambil bagian.

UPD Sedikit demi sedikit saya menambahkan tes prosesor yang dikirimkan. Detail ada di komentar.