Ассемлеровские вставки, поясните что делает каждая строчка - расчет CRC на ассемблере

[Алексей_2012]

Добрый день! Нагуглил расчет CRC на ассемблере, подскажите, пожалуйста, что происходит в каждой строке после asm. Ну а так же, если не сложно, общий алгоритм вычисления

function GetCheckSum(FileName: string): DWORD;
var
  F: file of DWORD;
  P: Pointer;
  Fsize: DWORD;
  Buffer: array[0..500] of DWORD;
begin
  FileMode := 0;
  AssignFile(F, FileName);
  Reset(F);
  Seek(F, FileSize(F) div 2);
  Fsize := FileSize(F) - 1 - FilePos(F);
  if Fsize > 500 then
    Fsize := 500;
  BlockRead(F, Buffer, Fsize);
  Close(F);
  P := @Buffer;
  asm
     xor eax, eax
     xor ecx, ecx
     mov edi , p
     @again:
       add eax, [edi + 4*ecx]
       inc ecx
       cmp ecx, fsize
     jl @again
     mov @result, eax
  end;
end;

[Pavia]

Result:=0;
for i:=0 to fsize-1 do
  result:=result + buffer[i];

[Алексей_2012]

спасибо, но мне просто разобраться со вставками именно ассемлеровского кода, ради интересе, поэтому и создал тему в соответствующем разделе. Полагаю

  xor eax, eax
     xor ecx, ecx

обнулит регистр eax
далее в регистр edi помещается ссылка на объект типа Pointer...в общем мне нужно понять смысл работы данного кода. Помогите, пожалуйста

[Pavia]

P := @Buffer;
  asm
     xor eax, eax                       // быстрое обнуление регистра 
     xor ecx, ecx                       // быстрое обнуление регистра 
     mov edi , p                        // присваиваем регистру значение указателя 
     @again:                            // Метка 'повтор', знак собаки '@' означает что метка локальная 
       add eax, [edi + 4*ecx]           // сложение регистра со значением по адресу [edi + 4*ecx]
       inc ecx                          // Увеличиваем регистр на 1.  Он у нас в качестве счётчика для цикла
       cmp ecx, fsize                   // Сравниваем регистр со значением переменной fsize                 
     jl @again                          // Условный переход на 'повтор', если меньше то переходим к повтору, если равно или больше переходим к следующей команде
     mov @result, eax                   // Присваиваем переменной result значение регистра eax, здесь @ это ошибка, но компилятор её молча проглатывает. 
  end;

[Алексей_2012]

Отлично, спасибо) ТОгда не ясно какая разница между аsm вставками и тем кодом, который Вы выше привели, он что, будет быстрее работать? Как проверить?

Result:=0;
for i:=0 to fsize-1 do
  result:=result + buffer[i];

[digitalis]

Только это ничего общего с CRC не имеет. Банальная контрольная сумма.
https://ru.wikipedia.org/wiki/Циклич...избыточный_код
Вот один из вариантов на Делфи:

function GetModbusCRC16(const HexData: string): UInt16;
var
Buffer: Array of Byte; //TArray<Byte>;
b:TArray<Byte>;
CRC: UInt16;
Mask: UInt16;
I: Integer;
J: Integer;
begin
SetLength(Buffer, Length(HexData) div 2);
HexToBin(PChar(HexData), Buffer, Length(Buffer));
 
CRC := $FFFF;
for I := Low(Buffer) to High(Buffer) do
begin
CRC := CRC xor Buffer[i];
for J := 1 to 8 do
begin
Mask := 0;
if ((CRC / 2) <> (CRC div 2)) then
begin
Mask := $A001;
end;
CRC := (CRC div 2) and $7FFF;
CRC := CRC xor Mask;
end;
end;

Как видим, это далеко не 4 машинных команды. Правда, я сам считал CRC не так, предпочитаю табличный метод. Но тоже не 4 команды.

[Pavia]

Сообщение от Алексей_2012

Отлично, спасибо) ТОгда не ясно какая разница между аsm вставками и тем кодом, который Вы выше привели, он что, будет быстрее работать? Как проверить?

Да нету там разницы.Скорее что-бы запутать. Хотели бы быстро заменили inc+cmp на dec.

Как проверить скорость? Да там проблем куча с проверкой.

Можно использовать RDTSC, уче6сть что частота процессора динамически изменяется а счётчик TSC нет. (Кроме Pentium3)
И да в 64 битных системах этот счётчик подменяет ОС. Так что лучше ещё 32 битную ОС без эмуляции. На крайней случай сгодится компилятор D7.

// Читаем счётчик тактов, отсчёт идёт от запуска процессорного ядра. На разных ядрах свои счётчики.
function RDTSC: Int64; register;
assembler;
asm
RDTSC
end;