Ну так это-то фигня, если знаешь что это одно и то же. Но как одна мнемоника может иметь несколько опкодов?

Кодирование неоднозначное, даже jz можно по-разному закодировать.

Ну для этого достаточно забить в базу все варианты опкодов для условного jz

Отлично, осталось только в листинге указать, какой вариант использовать, и сделать это для всех инструкций, не только для jz.

Как может влиять наличие/отсутствие команд push pop в этом примере?: push rcx call proc pop rcx

С наличием этих инструкций - падает без них - работает

Как может влиять наличие/отсутствие команд push pop в этом примере?: push rcx call proc pop rcx

Они стек меняют

С наличием этих инструкций - падает без них - работает

ну... вообще да... но выше и ниже есть ещё несколько push-pop и удаление их/добавление ни на что не влияет

С наличием этих инструкций - падает без них - работает

А их чётное количество?

да

Ну вот. Выравнивание по границе 16 соблюдается.

ой, я понял про что ты, я думал ты имел ввиду что они парно все - да а на счёт четности не анализировал

Ну вот. Выравнивание по границе 16 соблюдается.

Ну ёмаё! точно добавил ещё один пуш-поп и заработало

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

Что это за бред?

Ну это как бы так работает. Функции хотят, чтобы ты им в стеке выделил минимум 32 байта под аргументы

Ну это как бы так работает. Функции хотят, чтобы ты им в стеке выделил минимум 32 байта под аргументы

это уже в самлй функции происходит

Как может влиять наличие/отсутствие команд push pop в этом примере?: push rcx call proc pop rcx

Да

а не до ее вызова

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

.

Ну да. Я и не говорил, что это происходит до вызова

так у него до функи пушится

Да, но сама функция будет работать так, будто положенное в стек - место под аргументы для неё. Он же без макросов пишет

Да, но сама функция будет работать так, будто положенное в стек - место под аргументы для неё. Он же без макросов пишет

Да какого хрена то? Это же соглашение, если целочисленных аргументов больше 6.

Да какого хрена то? Это же соглашение, если целочисленных аргументов больше 6.

Ммм мы оба не уточнили про ось). В винде все так

В винде соглашение на 4 аргумента в регистрах

И под них обязательно выделяется место в стеке

в общем как то так генерируется код: call profiler_enter push rbp // это уже начало тела ф-ии mov rbp,rsp lea rsp,[rsp-$30] mov [rbp-$10],rbx ... mov rbx,[rbp-$10] lea rsp,[rbp+$00] pop rbp // конец тела ф-ии + ret ниже call profiler_exit ret

буду вечером проверятб отсутствие теневого места в стеке

И под них обязательно выделяется место в стеке

Где это написано? https://learn.microsoft.com/en-us/cpp/build/x64-calling-convention?view=msvc-170

да даже если и были бы, то саи прогер решает помещать пара етры для созранности туда или нет

Где это написано? https://learn.microsoft.com/en-us/cpp/build/x64-calling-convention?view=msvc-170

Не, если бы это было в соглашении прописано, то решал бы уже не прогер)

Двоичный интерфейс для 64-разрядных приложений (ABI) по умолчанию использует соглашение о вызовах по четырем регистрам. Место в стеке вызовов выделяется как теневое хранилище для вызываемых функций сохранения этих регистров.

я думаю этл не строгое правило. сделано для удобства в реалиях новых соглашений. параме ры скидываются в стек на сохранность, ибо при большом коде/расчетах занииают регистр(ы). а так, вызываются из памяти при необходимости, и при этом свободны регистры, используемые в передаче параметров

ах да, вспомнил. выделять надо всегда, но использовать по необзодимости, ибо после памяти с теневым местом идут те рараметры, которые передпвались уже через стек (>4)

ах да, вспомнил. выделять надо всегда, но использовать по необзодимости, ибо после памяти с теневым местом идут те рараметры, которые передпвались уже через стек (>4)

Капец вы тут спорите ) А у меня ещё вопрос ) что быстрее sub rsp, N mov mov ... mov mov add rsp, N или push push pop pop

Капец вы тут спорите ) А у меня ещё вопрос ) что быстрее sub rsp, N mov mov ... mov mov add rsp, N или push push pop pop

конечно второе

Зависит от количества аргументов

push же медленнее, чем mov

точки еще дольше, ибо неизвестно сколько в них кода. но скоией всего я неправильно понял

в точках там mov reg, [esp+N] - взятие адреса возврата и чтение Rdtsc в регистр rcx

// Нужно сохранить RCX, RDX, R8, R9 - в них передаются параметры // а также любые регистры, которые эта функция меняет // и восстановить всё это в конце // нужно обращать внимание, что стек должен быть выравнен на 16 байт // поэтому число push-pop должно быть четное push rcx // сохраняем регистры mov rcx, [rsp+8] // берём адрес возврата - первый аргумент push rax // продолжение сохранения регистров push rcx push rdx push r8 push r9 rdtsc shl rdx, 32 or rdx, rax // RDX RDTSC - второй аргумент call profiler_function_enter pop r9 // восстанавливаем регистры pop r8 pop rdx pop rcx pop rax pop rcx

А зачем?

Используй макросы и будет тебе щастье🤣

Я пишу функцию в компиляторе FPC(Pascal) для профайлинга Компилятор будет эту функцию вставлять непосредственно перед началом каждой функции - она будет читать адрес и rdtsc для того, чтобы потом построить граф, для профайлинга

free pascal compiler