组装 THUMB 指令以在 Cortex-M3 上执行

nal*_*zok 2 assembly arm stm32 thumb cortex-m

作为练习,我想让 STM32F103 从内部 SRAM 执行。这个想法是手工编写一些 THUMB 程序集,用 组装它arm-none-eabi-as,用 OpenOCD 的mwh指令将机器代码加载到 SRAM 中,用将 PC 设置为 SRAM 的开头reg pc 0x20000000,最后step几次。

这是我要执行的汇编代码。这基本上是一个毫无意义的循环。

# main.S
.thumb
.syntax unified

mov r0, #40
mov r1, #2
add r2, r0, r1
mvn r0, #0x20000000
bx r0
Run Code Online (Sandbox Code Playgroud)

我需要获取机器码以便我可以将其加载到 SRAM 中,但是反汇编器输出似乎不正确。

$ arm-none-eabi-as -mthumb -mcpu=cortex-m3 -o main.o main.S
$ arm-none-eabi-objdump -d -m armv7 main.o

main.o:     file format elf32-littlearm


Disassembly of section .text:

00000000 <.text>:
   0:   f04f 0028   mov.w   r0, #40 ; 0x28
   4:   f04f 0102   mov.w   r1, #2
   8:   eb00 0201   add.w   r2, r0, r1
   c:   f06f 5000   mvn.w   r0, #536870912  ; 0x20000000
  10:   4700        bx  r0
Run Code Online (Sandbox Code Playgroud)

THUMB 指令的长度不应该是 16 位吗?我得到的机器代码每条指令占用 4 个字节。

old*_*mer 6

STM32F103 基于 cortex-m3。您需要从 st 文档开始,它说然后去 arm 网站获取 cortex-m3 技术参考手册。它告诉您这是基于 armv7-m 架构,因此您可以获得架构参考手册。然后你就可以开始编程了。

从闪存以正常方式运行使用向量表,从 ram 运行可能意味着这取决于引导引脚,但是如果您想使用调试器下载程序,那么您在正确的路径上,您只是在完成之前卡住或停止了。

# main.S
.thumb
.syntax unified

mov r0, #40
mov r1, #2
add r2, r0, r1
mvn r0, #0x20000000
bx r0
Run Code Online (Sandbox Code Playgroud)

你指定了统一的语法,也许在命令行 cortex-m3 上?还是armv7-m?因此,您最终得到了 thumb2 扩展,它们是 ARM 记录的两个 16 位半部分(armv7-m 架构参考手册向您展示了所有说明)。它们是可变长度的,第一个被解码,第二个只是操作数。非 thumb2 都是 16 位,bl/blx 是两个单独的 16 位指令,但是 cortex-ms 希望这些指令背靠背,在先前的内核上,您实际上可以将它们分开以证明它们确实是两个不同的指示。

所以例如

.cpu cortex-m3
.thumb
.syntax unified

add r2, r0, r1
adds r2, r0, r1

00000000 <.text>:
   0:   eb00 0201   add.w   r2, r0, r1
   4:   1842        adds    r2, r0, r1
Run Code Online (Sandbox Code Playgroud)

16 位“全拇指变体”编码仅带有标志,因此您必须添加;如果 gnu 汇编器和你指定了统一的语法,大多数人会告诉你这样做,我个人不会。只是让你知道:

.cpu cortex-m3
.thumb

add r2, r0, r1
adds r2, r0, r1

so.s: Assembler messages:
so.s:6: Error: instruction not supported in Thumb16 mode -- `adds r2,r0,r1'
Run Code Online (Sandbox Code Playgroud)

所以

.cpu cortex-m3
.thumb

add r2, r0, r1
add r2, r0, r1

00000000 <.text>:
   0:   1842        adds    r2, r0, r1
   2:   1842        adds    r2, r0, r1
Run Code Online (Sandbox Code Playgroud)

只是为了警告你,以防你落入那个陷阱。并且您不只是喜欢反汇编器使用的添加。

反正。所以这些都很好,这些是

.cpu cortex-m3
.thumb
.syntax unified

mov r0, #40
mov r1, #2
add r2, r0, r1
mvn r0, #0x20000000
bx r0


00000000 <.text>:
   0:   f04f 0028   mov.w   r0, #40 ; 0x28
   4:   f04f 0102   mov.w   r1, #2
   8:   eb00 0201   add.w   r2, r0, r1
   c:   f06f 5000   mvn.w   r0, #536870912  ; 0x20000000
  10:   4700        bx  r0
Run Code Online (Sandbox Code Playgroud)

就像添加 mov 的 16 位编码是带标志的一样

movs r0, #40
movs r1, #2

00000000 <.text>:
   0:   2028        movs    r0, #40 ; 0x28
   2:   2102        movs    r1, #2
   4:   eb00 0201   add.w   r2, r0, r1
   8:   f06f 5000   mvn.w   r0, #536870912  ; 0x20000000
   c:   4700        bx  r0
Run Code Online (Sandbox Code Playgroud)

我们现在知道添加

00000000 <.text>:
   0:   2028        movs    r0, #40 ; 0x28
   2:   2102        movs    r1, #2
   4:   1842        adds    r2, r0, r1
   6:   f06f 5000   mvn.w   r0, #536870912  ; 0x20000000
   a:   4700        bx  r0
Run Code Online (Sandbox Code Playgroud)

mvn 没有意义你想分支到 0x20000000 两件事,首先你想要 0x20000000 而不是 0xDFFFFFFF 所以试试这个

   0:   2028        movs    r0, #40 ; 0x28
   2:   2102        movs    r1, #2
   4:   1842        adds    r2, r0, r1
   6:   f04f 5000   mov.w   r0, #536870912  ; 0x20000000
   a:   4700        bx  r0
Run Code Online (Sandbox Code Playgroud)

其次,这是一个 cortex-m,所以你不能 bx 到一个偶数地址,这就是你如何切换到 arm 模式,但这个处理器不会这样做,所以你会出错。您需要 lsbit 集。所以试试这个

.cpu cortex-m3
.thumb
.syntax unified

movs r0, #40
movs r1, #2
adds r2, r0, r1
ldr r0, =0x20000001
bx r0

00000000 <.text>:
   0:   2028        movs    r0, #40 ; 0x28
   2:   2102        movs    r1, #2
   4:   1842        adds    r2, r0, r1
   6:   4801        ldr r0, [pc, #4]    ; (c <.text+0xc>)
   8:   4700        bx  r0
   a:   0000        .short  0x0000
   c:   20000001    .word   0x20000001
Run Code Online (Sandbox Code Playgroud)

使用 gnu 汇编程序,ldr equals 将选择最有效(最小指令)的解决方案,否则它会从池中提取。

或者你可以这样做而不使用游泳池

.cpu cortex-m3
.thumb
.syntax unified

movs r0, #40
movs r1, #2
adds r2, r0, r1
mov r0, #0x20000000
orr r0,r0,#1
bx r0
Run Code Online (Sandbox Code Playgroud)

这让我的皮肤爬行,因为你想或不添加,但如果重要的话,这会使它缩短半字:

.cpu cortex-m3
.thumb
.syntax unified

movs r0, #40
movs r1, #2
adds r2, r0, r1
mov r0, #0x20000000
adds r0,#1
bx r0

00000000 <.text>:
   0:   2028        movs    r0, #40 ; 0x28
   2:   2102        movs    r1, #2
   4:   1842        adds    r2, r0, r1
   6:   f04f 5000   mov.w   r0, #536870912  ; 0x20000000
   a:   3001        adds    r0, #1
   c:   4700        bx  r0
Run Code Online (Sandbox Code Playgroud)

然后你需要链接。但...

.cpu cortex-m3
.thumb
.syntax unified

movs r0,#0
loop:
   adds r0,#1
   b loop
Run Code Online (Sandbox Code Playgroud)

没有链接器脚本的链接以使其快速

arm-none-eabi-as so.s -o so.o
arm-none-eabi-ld -Ttext=0x20000000 so.o -o so.elf
arm-none-eabi-ld: warning: cannot find entry symbol _start; defaulting to 0000000020000000
arm-none-eabi-objdump -d so.elf
    
so.elf:     file format elf32-littlearm


Disassembly of section .text:

20000000 <_stack+0x1ff80000>:
20000000:   2000        movs    r0, #0

20000002 <loop>:
20000002:   3001        adds    r0, #1
20000004:   e7fd        b.n 20000002 <loop>
Run Code Online (Sandbox Code Playgroud)

打开两个窗口,一次启动openocd连接板卡/芯片

在另一个

telnet localhost 4444
Run Code Online (Sandbox Code Playgroud)

当你得到 openocd 提示时假设一切正常

halt
load_image so.elf
resume 0x20000000
Run Code Online (Sandbox Code Playgroud)

或者您可以恢复 0x20000001,因为这感觉更好,但无论哪种方式,该工具都很好。现在

halt
reg r0
resume
halt
reg r0
resume
Run Code Online (Sandbox Code Playgroud)

作为一个 stm32 和所有拇指变体指令,这个例子将适用于我迄今为止听说过的任何 stm32(我已经(使用)了很多)。

您将看到的是 r0 它将增加,重新开始和再次停止之间的人工时间它将计算多次您可以看到数字变化以查看程序正在运行。

telnet localhost 4444
Trying 127.0.0.1...
Connected to localhost.
Escape character is '^]'.
Open On-Chip Debugger
> halt
> load_image so.elf
6 bytes written at address 0x20000000
downloaded 6 bytes in 0.001405s (4.170 KiB/s)
> resume 0x20000000
> halt
target state: halted
target halted due to debug-request, current mode: Thread 
xPSR: 0x01000000 pc: 0x20000002 msp: 0x20001000
> reg r0
r0 (/32): 0x000ED40C
> resume 
> halt
target state: halted
target halted due to debug-request, current mode: Thread 
xPSR: 0x01000000 pc: 0x20000002 msp: 0x20001000
> reg r0
r0 (/32): 0x001C8777
> 
Run Code Online (Sandbox Code Playgroud)

如果你想把它放在闪存中,假设蓝色药丸(这是一个蓝色药丸,对吗?)没有写保护的闪存,有些人有,但你可以很容易地删除它(会让你弄清楚,不是一定很容易,专业提示在某些时候涉及完整的电源循环)。

.cpu cortex-m3
.thumb
.syntax unified

.word 0x20001000
.word reset

.thumb_func
reset:
movs r0,#0
loop:
   adds r0,#1
   b loop

arm-none-eabi-as so.s -o so.o
arm-none-eabi-ld -Ttext=0x08000000 so.o -o so.elf
arm-none-eabi-ld: warning: cannot find entry symbol _start; defaulting to 0000000008000000
arm-none-eabi-objdump -d so.elf
    

so.elf:     file format elf32-littlearm


Disassembly of section .text:

08000000 <_stack+0x7f80000>:
 8000000:   20001000    .word   0x20001000
 8000004:   08000009    .word   0x08000009

08000008 <reset>:
 8000008:   2000        movs    r0, #0

0800000a <loop>:
 800000a:   3001        adds    r0, #1
 800000c:   e7fd        b.n 800000a <loop>
Run Code Online (Sandbox Code Playgroud)

重置向量需要是处理程序 ORRED 的地址,其中 1。并且向量表需要在 0x08000000(或 0x00000000 但你最终会想要 0x08000000 或 0x02000000 表示不是这个,0x08000000 表示这个,阅读文档)。

在telnet进入openocd

flash write_image erase so.elf
reset
halt
reg r0
resume
halt
reg r0
resume
Run Code Online (Sandbox Code Playgroud)

现在它是在闪存中编程的,因此如果您关闭电源,那么它就会运行。

openocd 将以这样的方式结束

Info : stm32f1x.cpu: hardware has 6 breakpoints, 4 watchpoints
Run Code Online (Sandbox Code Playgroud)

然后是 telnet 会话

telnet localhost 4444

Trying 127.0.0.1...
Connected to localhost.
Escape character is '^]'.
Open On-Chip Debugger
> halt
target state: halted
target halted due to debug-request, current mode: Thread 
xPSR: 0xa1000000 pc: 0x0800000a msp: 0x20001000
> flash write_image erase so.elf
auto erase enabled
device id = 0x20036410
flash size = 64kbytes
wrote 1024 bytes from file so.elf in 0.115819s (8.634 KiB/s)
> reset
> halt
target state: halted
target halted due to debug-request, current mode: Thread 
xPSR: 0x01000000 pc: 0x0800000a msp: 0x20001000
> reg r0
r0 (/32): 0x002721D4
> resume
> halt
target state: halted
target halted due to debug-request, current mode: Thread 
xPSR: 0x01000000 pc: 0x0800000a msp: 0x20001000
> reg r0
r0 (/32): 0x0041DF80
>       
Run Code Online (Sandbox Code Playgroud)

如果您希望闪存重置为 ram,您可以这样做

.cpu cortex-m3
.thumb
.syntax unified

.word 0x20001000
.word 0x20000001
Run Code Online (Sandbox Code Playgroud)

电源循环它最好应该崩溃/故障,但如果你像我们以前那样使用 openocd 在内存中放入一些东西

flash.elf:     file format elf32-littlearm


Disassembly of section .text:

08000000 <_stack+0x7f80000>:
 8000000:   20001000    .word   0x20001000
 8000004:   20000001    .word   0x20000001



so.elf:     file format elf32-littlearm


Disassembly of section .text:

20000000 <_stack+0x1ff80000>:
20000000:   2000        movs    r0, #0

20000002 <loop>:
20000002:   3001        adds    r0, #1
20000004:   e7fd        b.n 20000002 <loop>

telnet localhost 4444
Trying 127.0.0.1...
Connected to localhost.
Escape character is '^]'.
Open On-Chip Debugger
> halt
target state: halted
target halted due to debug-request, current mode: Thread 
xPSR: 0x01000000 pc: 0x0800000a msp: 0x20001000
> flash write_image erase flash.elf
auto erase enabled
device id = 0x20036410
flash size = 64kbytes
wrote 1024 bytes from file flash.elf in 0.114950s (8.699 KiB/s)
> load_image so.elf
6 bytes written at address 0x20000000
downloaded 6 bytes in 0.001399s (4.188 KiB/s)
> reset
> halt
target state: halted
target halted due to debug-request, current mode: Thread 
xPSR: 0x01000000 pc: 0x20000002 msp: 0x20001000
> reg r0
r0 (/32): 0x001700E0
> resume
> halt
target state: halted
target halted due to debug-request, current mode: Thread 
xPSR: 0x01000000 pc: 0x20000004 msp: 0x20001000
> reg r0
r0 (/32): 0x00245FF1
> resume
> halt
target state: halted
target halted due to debug-request, current mode: Thread 
xPSR: 0x01000000 pc: 0x20000002 msp: 0x20001000
> reg r0
r0 (/32): 0x00311776
> 
Run Code Online (Sandbox Code Playgroud)

但是一个电源循环

telnet localhost 4444
Trying 127.0.0.1...
Connected to localhost.
Escape character is '^]'.
Open On-Chip Debugger
> halt
> reset
stm32f1x.cpu -- clearing lockup after double fault
target state: halted
target halted due to debug-request, current mode: Handler HardFault
xPSR: 0x01000003 pc: 0xfffffffe msp: 0x20000fe0
Polling target stm32f1x.cpu failed, trying to reexamine
stm32f1x.cpu: hardware has 6 breakpoints, 4 watchpoints
> halt
> 
Run Code Online (Sandbox Code Playgroud)

是的,不像预期/希望的那样开心。

注意 _start 来自默认链接器脚本中的 ENTRY(_start),它并不特殊,也不是真正硬编码到工具中(对于 gcc 也不是 main,它来自默认引导程序)。

所以你可以这样做

so.s

.cpu cortex-m3
.thumb
.syntax unified
movs r0,#0
loop:
   adds r0,#1
   b loop
Run Code Online (Sandbox Code Playgroud)

MEMORY
{
    hello : ORIGIN = 0x20000000, LENGTH = 0x1000
}
SECTIONS
{
    .text   : { *(.text*)   } > hello
}


arm-none-eabi-as so.s -o so.o
arm-none-eabi-ld -T so.ld so.o -o so.elf
arm-none-eabi-objdump -d so.elf

so.elf:     file format elf32-littlearm


Disassembly of section .text:

20000000 <loop-0x2>:
20000000:   2000        movs    r0, #0

20000002 <loop>:
20000002:   3001        adds    r0, #1
20000004:   e7fd        b.n 20000002 <loop>
Run Code Online (Sandbox Code Playgroud)

并且 _start 警告消失了。请注意,您在链接描述文件中创建的部分名称(在本例中为 hello)不必是 ram、rom、flash 等,它们可以是您想要的,是的,您可以使用链接描述文件执行此操作,但没有 MEMORY 部分在文件中,只有部分。

如果你选择

arm-none-eabi-objcopy -O binary so.elf so.bin
Run Code Online (Sandbox Code Playgroud)

openocd 可以读取 elf 文件和其他一些文件,但是像这样的原始内存图像你必须指定地址否则你可能会得到 0x00000000 或者谁知道是什么

load_image so.bin 0x20000000
Run Code Online (Sandbox Code Playgroud)

如果/当你得到一些核板时,你可以简单地将 bin 文件复制到虚拟拇指驱动器,它会为你将它加载到目标 mcu 中,虚拟驱动器将重新加载或将重新加载并显示 FAIL.TXT 如果它不起作用的一种方式是,如果您链​​接 0x00000000 而不是 0x08000000。但是,您无法以这种方式加载 sram,只需闪烁即可。但我假设你有一个蓝色药丸而不是核板。

那是很长的答案。

简答

这些是thumb2 扩展,它们的大小是两个半字。有关指令说明,请参阅 armv7-m 架构参考手册。它们非常适合这款芯片。

您可能希望在 openocd 上使用 load_image 而不是 mwh,但是如果您按正确的顺序获得半字,则 mwh 会起作用。

理想情况下,您希望链接,尽管您的代码或我的代码与位置无关,因此可以说您可以只提取说明并使用 mwh。

该芯片具有从 sram 模式启动的功能,该模式将/应该使用向量表而不仅仅是启动指令,您需要正确设置启动引脚并使用 openocd 之类的东西将程序加载到 ram,然后重置(不是电源循环)。

MVN move negative or negate 在这里不是正确的指令,您需要在使用 bx 之前设置 lsbit,因此您需要寄存器中的 0x20000001,例如

ldr r0,=0x20000001
bx r0
Run Code Online (Sandbox Code Playgroud)

对于 gnu 汇编程序,或

mov r0,#0x20000000
orr r0,#1
bx r0
Run Code Online (Sandbox Code Playgroud)

但这适用于 armv7-m、cortex-m0、m0+ 某些 -m8s,您不能使用这些指令,它们将不起作用。

.cpu cortex-m0
.thumb
.syntax unified
mov r0,#0x20000000
orr r0,#1
bx r0

arm-none-eabi-as so.s -o so.o
so.s: Assembler messages:
so.s:5: Error: cannot honor width suffix -- `mov r0,#0x20000000'
so.s:6: Error: cannot honor width suffix -- `orr r0,#1'
Run Code Online (Sandbox Code Playgroud)

因此,使用 ldr = 伪指令或手动从池中加载,或加载 0x2 或 0x20 或类似的内容,然后将其移位并加载另一个带有 1 的寄存器并 orr 或使用 add (yuck)。

编辑

.cpu cortex-m3
.thumb
.syntax unified
.globl _start
_start:
ldr r0,=0x12345678
b .


00000000 <_start>:
   0:   4800        ldr r0, [pc, #0]    ; (4 <_start+0x4>)
   2:   e7fe        b.n 2 <_start+0x2>
   4:   12345678    eorsne  r5, r4, #120, 12    ; 0x7800000
Run Code Online (Sandbox Code Playgroud)

如果它不能生成单个指令,那么它会生成一个 pc 相对负载并将变量放入一个文字池中,如果它可以找到一个分支,则位于某个分支之后的某个位置。

但你也可以自己做

.cpu cortex-m3
.thumb
.syntax unified
.globl _start
_start:
ldr r0,myvalue
b .
.align
myvalue: .word 0x12345678


00000000 <_start>:
   0:   4800        ldr r0, [pc, #0]    ; (4 <myvalue>)
   2:   e7fe        b.n 2 <_start+0x2>

00000004 <myvalue>:
   4:   12345678    eorsne  r5, r4, #120, 12    ; 0x7800000
Run Code Online (Sandbox Code Playgroud)

文字池是一块内存区域(在文本段中),用于存储常量。

unsigned int fun0 ( void )
{
    return 0x12345678;
}
unsigned int fun1 ( void )
{
    return 0x11223344;
}
00000000 <fun0>:
   0:   e59f0000    ldr r0, [pc]    ; 8 <fun0+0x8>
   4:   e12fff1e    bx  lr
   8:   12345678    .word   0x12345678

0000000c <fun1>:
   c:   e59f0000    ldr r0, [pc]    ; 14 <fun1+0x8>
  10:   e12fff1e    bx  lr
  14:   11223344    .word   0x11223344
Run Code Online (Sandbox Code Playgroud)

让 C 编译器执行此操作并将其放在函数末尾并不罕见。

    .global fun1
    .syntax unified
    .arm
    .fpu softvfp
    .type   fun1, %function
fun1:
    @ Function supports interworking.
    @ args = 0, pretend = 0, frame = 0
    @ frame_needed = 0, uses_anonymous_args = 0
    @ link register save eliminated.
    ldr r0, .L6
    bx  lr
.L7:
    .align  2
.L6:
    .word   287454020
    .size   fun1, .-fun1
Run Code Online (Sandbox Code Playgroud)

我没有为拇指/皮质-m 构建它,但这很好,它会做同样的事情。但是,说:

unsigned int fun0 ( void )
{
    return 0x12345678;
}
unsigned int fun1 ( void )
{
    return 0x00110011;
}

00000000 <fun0>:
   0:   4800        ldr r0, [pc, #0]    ; (4 <fun0+0x4>)
   2:   4770        bx  lr
   4:   12345678    .word   0x12345678

00000008 <fun1>:
   8:   f04f 1011   mov.w   r0, #1114129    ; 0x110011
   c:   4770        bx  lr
Run Code Online (Sandbox Code Playgroud)

因为我对可以用于各种 arm 指令集的立即数有一个粗略的想法。同样地

.cpu cortex-m3
.thumb
.syntax unified
.globl _start
_start:
ldr r0,=0x12345678
ldr r1,=0x00110011
nop
nop
nop
b .

00000000 <_start>:
   0:   4803        ldr r0, [pc, #12]   ; (10 <_start+0x10>)
   2:   f04f 1111   mov.w   r1, #1114129    ; 0x110011
   6:   bf00        nop
   8:   bf00        nop
   a:   bf00        nop
   c:   e7fe        b.n c <_start+0xc>
   e:   0000        .short  0x0000
  10:   12345678    .word   0x12345678
Run Code Online (Sandbox Code Playgroud)

通过使用 ldr = thing gnu 汇编程序将选择最佳指令。这并非所有 arm 汇编程序都支持(汇编语言由工具而不是目标定义),并且并非所有人都会选择最佳指令,如果他们完全识别语法,则某些人可能总是生成与 pc 相关的 ldr。

例如,它有点用于获取标签的地址

.cpu cortex-m3
.thumb
.syntax unified
.globl _start
_start:
ldr r0,=mydataword
ldr r1,[r0]
add r1,#1
str r1,[r0]
bx lr

.data
mydataword: .word 0
Run Code Online (Sandbox Code Playgroud)

在另一个段中,它无法在组装时解决此问题,因此它为链接器留下了占位符

00000000 <_start>:
   0:   4802        ldr r0, [pc, #8]    ; (c <_start+0xc>)
   2:   6801        ldr r1, [r0, #0]
   4:   f101 0101   add.w   r1, r1, #1
   8:   6001        str r1, [r0, #0]
   a:   4770        bx  lr
   c:   00000000    .word   0x00000000

arm-none-eabi-ld -Ttext=0x1000 -Tdata=0x2000 so.o -o so.elf
arm-none-eabi-objdump -D so.elf

so.elf:     file format elf32-littlearm


Disassembly of section .text:

00001000 <_start>:
    1000:   4802        ldr r0, [pc, #8]    ; (100c <_start+0xc>)
    1002:   6801        ldr r1, [r0, #0]
    1004:   f101 0101   add.w   r1, r1, #1
    1008:   6001        str r1, [r0, #0]
    100a:   4770        bx  lr
    100c:   00002000    andeq   r2, r0, r0

Disassembly of section .data:

00002000 <__data_start>:
    2000:   00000000
Run Code Online (Sandbox Code Playgroud)

或者

.cpu cortex-m3
.thumb
.syntax unified
.globl _start
_start:
ldr r0,=somefun
ldr r1,[r0]
orr r1,#1
bx r1
.align
somefun:
    nop
    b .
Run Code Online (Sandbox Code Playgroud)

即使在同一段

00000000 <_start>:
   0:   4803        ldr r0, [pc, #12]   ; (10 <somefun+0x4>)
   2:   6801        ldr r1, [r0, #0]
   4:   f041 0101   orr.w   r1, r1, #1
   8:   4708        bx  r1
   a:   bf00        nop

0000000c <somefun>:
   c:   bf00        nop
   e:   e7fe        b.n e <somefun+0x2>
  10:   0000000c    .word   0x0000000c


00001000 <_start>:
    1000:   4803        ldr r0, [pc, #12]   ; (1010 <somefun+0x4>)
    1002:   6801        ldr r1, [r0, #0]
    1004:   f041 0101   orr.w   r1, r1, #1
    1008:   4708        bx  r1
    100a:   bf00        nop

0000100c <somefun>:
    100c:   bf00        nop
    100e:   e7fe        b.n 100e <somefun+0x2>
    1010:   0000100c    andeq   r1, r0, r12
Run Code Online (Sandbox Code Playgroud)

如果你让工具完成工作

.cpu cortex-m3
.thumb
.syntax unified
.globl _start
_start:
ldr r0,=somefun
ldr r1,[r0]
bx r1
.align
.thumb_func
somefun:
    nop
    b .
Run Code Online (Sandbox Code Playgroud)

您不需要在 lsbit 中进行操作,该工具会为您完成

00001000 <_start>:
    1000:   4802        ldr r0, [pc, #8]    ; (100c <somefun+0x4>)
    1002:   6801        ldr r1, [r0, #0]
    1004:   4708        bx  r1
    1006:   bf00        nop

00001008 <somefun>:
    1008:   bf00        nop
    100a:   e7fe        b.n 100a <somefun+0x2>
    100c:   00001009    andeq   r1, r0, r9
Run Code Online (Sandbox Code Playgroud)

这些都是文字池的全部或大部分情况,用于帮助处理这样的指令集,该指令集的长度有些固定,因此对立即值有限制。

有时您可以帮助 gnu 汇编程序将池数据放在哪里

.cpu cortex-m3
.thumb
.syntax unified

.globl fun0
.thumb_func
fun0:
ldr r0,=0x12345678
bx lr
.globl fun1
.thumb_func
fun1:
ldr r0,=0x11223344
bx lr
.align
.word 0x111111

00000000 <fun0>:
   0:   4802        ldr r0, [pc, #8]    ; (c <fun1+0x8>)
   2:   4770        bx  lr

00000004 <fun1>:
   4:   4802        ldr r0, [pc, #8]    ; (10 <fun1+0xc>)
   6:   4770        bx  lr
   8:   00111111    .word   0x00111111
   c:   12345678    .word   0x12345678
  10:   11223344    .word   0x11223344
Run Code Online (Sandbox Code Playgroud)

但如果我

.cpu cortex-m3
.thumb
.syntax unified

.globl fun0
.thumb_func
fun0:
ldr r0,=0x12345678
bx lr
.pool
.globl fun1
.thumb_func
fun1:
ldr r0,=0x11223344
bx lr
.align
.word 0x111111

00000000 <fun0>:
   0:   4800        ldr r0, [pc, #0]    ; (4 <fun0+0x4>)
   2:   4770        bx  lr
   4:   12345678    .word   0x12345678

00000008 <fun1>:
   8:   4801        ldr r0, [pc, #4]    ; (10 <fun1+0x8>)
   a:   4770        bx  lr
   c:   00111111    .word   0x00111111
  10:   11223344    .word   0x11223344
Run Code Online (Sandbox Code Playgroud)

所以

ldr r0,=something
Run Code Online (Sandbox Code Playgroud)

表示在链接时或某个时候将某物的地址加载到 r0 中。标签只是地址,只是值/数字,所以

ldr r0,=0x12345678
Run Code Online (Sandbox Code Playgroud)

意味着同样的事情,标签是值本身,所以给我那个标签的地址,它是 0x12345678 并将它放在 r0 中,所以这是气体或其他人想到的这个概念的有趣扩展,可能是武器组装商,我做不记得当时其他人也采用了它或改进了它或其他什么。请注意,如果您想自己做,请执行此操作

ldr r0,something_address
b .
.align
something_address: .word something
Run Code Online (Sandbox Code Playgroud)

因为某些东西是一个标签,它是一个地址,它是一个值,您没有将等号放在那里,所以等号仅用于 ldr 指令。与向量表相同:

.word 0x20001000
.word reset
Run Code Online (Sandbox Code Playgroud)

最后,您可以执行其中一项操作来为所谓的拇指互通获取正确的函数地址

.cpu cortex-m3
.thumb
.syntax unified

.word 0x20001000
.word reset
.word handler
.word broken

.thumb_func
reset:
    b .

.type handler,%function
handler:
    b .
    
broken:
    b .

Disassembly of section .text:

08000000 <_stack+0x7f80000>:
 8000000:   20001000    .word   0x20001000
 8000004:   08000011    .word   0x08000011
 8000008:   08000013    .word   0x08000013
 800000c:   08000014    .word   0x08000014

08000010 <reset>:
 8000010:   e7fe        b.n 8000010 <reset>

08000012 <handler>:
 8000012:   e7fe        b.n 8000012 <handler>

08000014 <broken>:
 8000014:   e7fe        b.n 8000014 <broken>
Run Code Online (Sandbox Code Playgroud)

可以使用 .thumb_func 如果在拇指中您可以在手臂模式和拇指模式下使用 .type label,%function 并且您可以看到它在向量表中生成了正确的拇指地址,但是在两者都没有使用的情况下不会生成损坏的标签正确,以便向量会在 cortex-m 上出错。

有些人可悲地这样做:

.word rese