OberonCore

кто-нибудь знает, зачем CP2 сохраняет и восстанавливает ESI и EDI во всех экспортированых процедурах? в смысле: они же, вроде бы, внутри самого компилятора не имеют никакого особого значения.

я так понимаю, это для X86 ABI, где EBX, ESI и EDI являются call-preserved. но в самом CP2 только EBX (вроде бы) имеет особое значение, и то только для вложеных функций. не есть ли смысл слелать специальный флаг `[callback]` (который вроде бы есть, но делает не совсем то сейчас), и оставить такие сохранения только если он установлен?

идея такая, что помечать как `[callback]` надо процедуры, которые передаются во внешние библиотеки как колбэки.

кстати, для `[ccall]` такое сейчас не делается, а должно: они-то как раз могут быть использованы как колбэки без экспорта. по-моему, это баг. надо починить.

дополню, что я сделал вышеописаное в Lament Configuration. затаив дыхание ожидаю рандомных падений.

According to the x86 ABI, EBX, ESI, EDI, and EBP are callee-save registers and EAX, ECX and EDX are caller-save registers.
Since EBX, ESI, EDI, and EBP are callee-save registers, functions have to restore the values to the original for any of those they modify, before returning.

In BB, a public procedure may be exported by a dll that can be called by other languages, so it is necessary to follow this convention.

hm. that's someting i didn't thought about (linking BlackBox as a dynamic library). still, i believe that such exported procedures should be explicitly marked as `[callback]` or `[ccall]`, and for such procedures the compiler will generate save/restore code. so it's a matter of placing the right calling convention at the right place — again, something the programmer should do anyway. there are no checks if calling conventions are right (because it is impossible), so i'm willing to accept this tradeoff for dynamic exports too.

как выяснилось после анализа — не сохранять ESI и EDI в экспортированых процедурах нельзя: кодоген считает, что они сохраняются, и после вызова экспортированой процедуры не изменились. исправлять кодоген в этом плане можно, но я не хочу пока (время не пришло), поэтому просто вернул всем экспортированым процедурам обратно флажок callback. я потом это переделаю, но пока пусть всё будет как было.