Встроенный ассемблер сдвигает на бит

[Turbine]

В процедуре изменяется значение dest
При работе, если
source 255 (0х11111111)
в dest получается 224 (0х11100000) вместо 240 (0х11110000)

При отладке в регистре EBX значение правильное, но при помещении в переменную dest какая-то ерунда. Что я сделал неправильно.

Procedure b01_04_hi_asm22 (const source: uint32; var dest: uint8); pascal;
    asm
    PUSH EBP
    PUSH EBX
    XOR EBX, EBX
    MOV EAX, [EBP+$08]
    MOV BL, BYTE PTR [EAX]
    MOV EAX, SOURCE

    TEST EAX, $1
    ADD  EBX, $10

    TEST EAX, $02
    ADD  EBX, $20

    TEST EAX, $04
    ADD  EBX, $40

    TEST EAX, $08
    ADD  EBX, $80


    MOV EAX, [EBP+$08]
    MOV UINT8 PTR [EAX], BL

    POP EBP
    POP EBX

    end;

[Serge_Bliznykov]

как то странно Вы отлаживаете.

или компилятор другой (у меня Turbo Delphi == Borland® Delphi® for Microsoft® Windows™ Version 10.0.2558.35231 )

смотрите

к этой строчке в EBX ноль
ADD  EBX, $10  // в EBX стало 0x00000010

TEST EAX, $02
ADD  EBX, $20 // в EBX стало 0x00000030

TEST EAX, $04
ADD  EBX, $40 // в EBX стало 0x00000070

TEST EAX, $08
ADD  EBX, $80  // в EBX стало 0x000000F0

MOV UINT8 PTR [EAX], BL // вернули значение 0x000000F0 (оно же F0, оно же 240)

что не так?

и возвращается нужное значение:
sshot.png

[Пепел Феникса]

а зачем вы кросспостите?

[Serge_Bliznykov]

Сообщение от Пепел Феникса

а зачем вы кросспостите?

ну, тут сложный вопрос.. там он обсуждал ассемблер, тут - уже как Delphi принимает/передаёт параметры...

Хотя, по сути, конечно, две темы - это явный кросспост!
я закрою тему http://programmersforum.ru/showthread.php?t=297460

[Serge_Bliznykov]

Turbine, зачем Вы пишете

MOV EAX, [EBP+$08]

?!

разве так не лучше?

MOV EAX, dest

тогда сразу будет видно, что у Вас выходное значение зависит от входного (что передали в dest:

    MOV EAX, [EBP+$08]  // на самом деле это и есть MOV EAX, dest
    MOV BL, BYTE PTR [EAX]

поэтому корректнее вызывать так:

procedure TForm3.Button1Click(Sender: TObject);
var sr : uint32;
dd : uint8;
begin
sr := 255;
dd := 0;
b01_04_hi_asm22(sr, dd);
ShowMessage('dd='+IntToStr(dd));
end;

[Turbine]

Сообщение от Serge_Bliznykov

ну, тут сложный вопрос.. там он обсуждал ассемблер, тут - уже как Delphi принимает/передаёт параметры...

Хотя, по сути, конечно, две темы - это явный кросспост!
я закрою тему http://programmersforum.ru/showthread.php?t=297460

Приношу извинения, но как быть в случаях, когда не отвечают.

Просто ситуация странная. Сдвигает на бит и все тут.
Если dest типа байт - 11100000
Если dest сделать типа word, то 0000000111100000

Как получается, что в очевидном алгоритме, когда все верно в регистрах, двигается на бит?
Влияют ли на это ключи компилятора или что-то еще?

[Serge_Bliznykov]

ещё раз повторяю.
у меня ничего не сдвигает.
выложите исходники проекта на Delphi, где у Вас сдвигает.
посмотрим.

[Turbine]

Причина проблемы выяснена. Это косяк компилятора XЕ6. Переписывал по другому. Петрушка та же. Даже если сверять команды с Disassembly написанной на дельфях толку ноль.
На турбо все действительно ок. Но поскольку у товарищей на рабочем месте именно XE6 - то разводим руками.
Всем спасибо!

[Turbine]

Спешу поделиться тем, что выяснена и причина глюка. На момент компиляции из 24 ГБ памяти было занято около 18. Причем не игрушками, а обработкой данных. Естественно, перезапуск IDE ничего не давал. Она периодически преподносит чудеса, будучи за пределами 32битных адресов. Лично для себя придется это запомнить РАЗ И НАВСЕГДА. Как всегда помогла перезагрузка.

[Человек_Борща]

Поможет не перезагрузка, а разбор полетов работы с памятью. Вы её где-то загадили самую малость. Вот ваша проблема.