Delphi XE2 сборка

Question

У меня есть следующая функция, которая работает в Delphi 2006, но при Delphi XE2 это дает либо ошибку нарушения доступа, либо привилегированная ошибка инструкции при обработке RET.

function Q_TrimChar(const S: string; Ch: Char): string;
asm
        PUSH    ESI
        MOV     ESI,ECX
        TEST    EAX,EAX
        JE      @@qt
        MOV     ECX,[EAX-4]
        TEST    ECX,ECX
        JE      @@qt
        PUSH    EBX
        PUSH    EDI
        MOV     EBX,EAX
        MOV     EDI,EDX
        XOR     EDX,EDX
        MOV     EAX,ESI
        CALL    System.@LStrFromPCharLen
        MOV     EDX,EDI
        MOV     ECX,[EBX-4]
@@lp1:  CMP     DL,BYTE PTR [EBX]
        JNE     @@ex1
        INC     EBX
        DEC     ECX
        JNE     @@lp1
        MOV     EDX,[ESI]
        JMP     @@wq
@@ex1:  DEC     ECX
@@lp2:  CMP     DL,BYTE PTR [EBX+ECX]
        JNE     @@ex2
        DEC     ECX
        JMP     @@lp2
@@ex2:  MOV     EDI,[ESI]
        LEA     EDX,[EDI+ECX+1]
@@lp3:  MOV     AL,BYTE PTR [EBX+ECX]
        MOV     BYTE PTR [EDI+ECX],AL
        DEC     ECX
        JNS     @@lp3
@@wq:   MOV     EAX,[ESI]
        MOV     BYTE PTR [EDX],0
        SUB     EDX,EAX
        MOV     [EAX-4],EDX
        POP     EDI
        POP     EBX
        POP     ESI
        RET
@@qt:   MOV     EAX,ESI
        CALL    System.@LStrClr
        POP     ESI
end;

Я не очень хорошо знаю сборку. В чем проблема?

Answer 1

Я полностью согласен с предложением Дэвида просто кодировать это в Паскале и пропустил этот ответ. Если профилирование не указано, что это настоящее узкое место, то на самом деле нет необходимости в ASM. Вот две версии. Первый легче читать, но второе более эффективно:

function Q_TrimChar(const S: string; Ch: Char): string;
begin
  result := S;
  while (result <> '') and (result[1] = Ch) do Delete(Result, 1, 1);
  while (result <> '') and (result[Length(Result)] = Ch) do Delete(Result, Length(Result), 1);
end;

function Q_TrimChar(const S: string; Ch: Char): string;
var
  First, Last : integer;
begin
  First := 1;
  Last := Length(S);
  while (First < Last) and (S[First] = Ch) do inc(First);
  while (Last >= First) and (S[Last] = Ch) do Dec(Last);
  Result := copy(S, First, Last-First+1);
end;

Answer 2

Delphi 2006 использует одиночные символы ANSI и поэтому string является AnsiString, Char является AnsiChar. Анкет На Delphi 2009 и позже используются два байтовых символа Unicode. Эта функция не может работать на обоих компиляторах.

Даже стандартный взлом использования Ansistring и Ansichar не работает. Скорее всего, предположения, которые эта функция делает в отношении реализации RTL, больше не действительны в современном Delphi.

Я бы переписал эту функцию в Паскале и позволил бы компилятору выполнять работу. Мало того, что это будет самый быстрый способ решить вашу текущую проблему, но и у вас будет препятствие 64-битной компиляции, если вы когда-нибудь решите это решить.