2

我正在构建一个 Windows Phone 项目，其中有一些在汇编中。我的程序集文件处于 ARM 模式 ( CODE32)，它会尝试跳转到我知道已编译为 Thumb 的 C 函数。代码如下：

    ldr r12, [pFunc]
    mov pc, r12
pFunc
    dcd My_C_Function

这是奇怪的事情。片段中的值pFunc是指向函数 thunk 的指针加一。也就是说，第 0 位被设置，好像跳转目标是 Thumb，跳转指令是 BX。但重击显然是 ARM！thunk 加载函数体的地址加一并对其执行 BX，正确切换模式。

尝试 BX 到该地址可能会崩溃，因为这会切换模式并尝试在 Thumb 模式下执行 ARM 代码不是一个好主意。尝试简单地跳转到该地址（如当前代码所做的那样）也可能会崩溃，因为 PC 最终会未对齐。

理论上，我可以手动清理第 0 位然后跳转，但我的想法肯定有一些错误。thunk 是由 C 编译器生成的 - 对吧？C 编译器知道 thunk 是 ARM 代码。pFunc 下的地址是由链接器生成的，因为它是一个跨模块调用。所以低位被链接器放在那里；为什么链接器不知道这些 thunk 是 ARM？

请问有什么解释吗？

我现在没有 WP8 设备，所以无法在真实硬件中试用。盯着生成的代码是我唯一的调试技术:(

编辑：但是如果这些 thunk 不是 ARM，而是 Thumb-2 怎么办？Thumb-2 支持一些 32 位命令 IIRC。它们的编码是否与 ARM 模式相同？无论如何，Thumb-2 如何解码命令？

4

3 回答 3

3

您想要的详细信息在“ARM 架构参考手册，ARMv7-A 和 ARMv7-R 版”的“A2.3.2 ARM 核心寄存器操作的伪代码详细信息”部分中指定。这是有关写入 PC 寄存器的相关伪代码（来自上述手册）：

BXWritePC(bits(32) address)
    if CurrentInstrSet() == InstrSet_ThumbEE then
        if address<0> == '1' then
            BranchTo(address<31:1>:'0');  // Remaining in ThumbEE state
        else
            UNPREDICTABLE;
    else
        if address<0> == '1' then
            SelectInstrSet(InstrSet_Thumb);
            BranchTo(address<31:1>:'0');
        elsif address<1> == '0' then
            SelectInstrSet(InstrSet_ARM);
            BranchTo(address);
        else // address<1:0> == '10'
            UNPREDICTABLE;

如果地址的低位（位 0）被设置，处理器将清除该位，切换到 Thumb 模式，并执行跳转到新地址。

此行为适用于 ARMv7 及更高版本（即适用于所有 Windows Phone 设备，但并非所有 Android/iOS 设备）。

于 2013-08-15T23:50:35.443 回答
2

你手上可能有一个有效/真实的问题。Afaik Windows Phone 环境必须是 Thumb-2 only，因此您使用的链接器可能无法处理对 ARM 模式的调用。当您混合汇编和 C 时，请参阅相同的链接以了解一些注意事项。

如果这是一个 Linux / ELF 问题，我会做出不同的回答；

pFunc 下的地址是由链接器生成的，因为它是一个跨模块调用。所以低位由链接器放置在那里。

pFunc当您构建一个可加载的图像时，它会生成compiler并且 alinker将修复它，该图像已经完全解决了调用的静态重定位问题。所有可移植目标文件都应该包含一个关于函数模式的表，以便以后的链接器可以处理它们并相应地进行重定位和更新调用序列。

请参阅ELF for the ARM Architecture - 4.6 Relocation了解如何通过ELF文件完成此操作。

于 2013-08-16T07:23:28.080 回答
2

反汇编程序（特别是 IDA Demo）通过将多个命令合并到一行来误导我。它mov从一个序列中生成了一行，该mov-orr-orr序列旨在将一个完整的 32 位常量分配给一个寄存器。thunk 毕竟是拇指。链接器按设计工作。

IDA 在其他方面很棒。我对这种与 ARM 相关的特殊行为深有体会，但这次它滑倒了。

我的错，感谢和赞成所有试图提供帮助的人。

于 2013-08-16T18:42:00.490 回答