为什么Delphi编译器没有内联汇编函数?

klu*_*udg 7 delphi assembly inlining basm

有时我会编写很短的汇编函数

function SeniorBit(Value: LongWord): Integer;
asm
        OR    EAX,EAX
        JZ    @@Done
        BSR   EAX,EAX
        INC   EAX
@@Done:
end;
Run Code Online (Sandbox Code Playgroud)

这似乎是内联的最佳候选人:

function SeniorBit(Value: LongWord): Integer; inline;
Run Code Online (Sandbox Code Playgroud)

但是Delphi编译器不允许它.为什么?


更新:

感谢ldsandon,有一份关于QC的一份有着5.5年历史的公开报告.该报告包含一些提议(如扩展asm指令)以简化编译器的asm内联.我更倾向于在过程/函数级别上引入"裸"指令,该指令向编译器说它不必为过程创建堆栈帧,并且可选地应保留哪些寄存器(在eax,edx和ecx中).

如果使用BASM代码进行高效内联过程的一般任务很困难(并且可能是不必要的),那么一个好主意是为最重要的案例启用内联(如明确声明的寄存器使用的裸函数).

小智 11

请参阅质量中心报告#9283(并投票).基本上问题是编译器应该能够理解在内联代码之前保留哪些寄存器以及之后要恢复的内容.只要编译器处理寄存器就很容易,当使用不受控制时它就不是.您的示例非常简单,但编译器必须能够处理更复杂的情况.报告处于开放状态,希望新编译器能够内联BASM代码.


Rit*_*tra 5

您无法内联手工制作的汇编代码.

很难允许内嵌这些装配件; 正常内联对寄存器使用,局部变量等的各种影响是编译器无法使用内联汇编.

  • 如果您认为这很简单,EMbarcadero应该聘请您作为他们的新编译器大师:-).不开玩笑:很难.编译器执行不同的阶段(不知道内部的Delphi编译器)文本(lexing)标记(解析)语法树(优化)语法树 - > ... - >(codegen)机器代码.现在,在使用一些抽象语法树的优化阶段,很难分析内联部分. (4认同)