简介面向ARM平台入门学习者与逆向工程初学者的一份汇编基础教程文档围绕ARM处理器版本与指令集映射、.s文件经as汇编和ld链接生成可执行程序的过程、有符号/无符号字/半字/字节数据类型、大端/小端字节序及CPSR的E位控制等展开。教程用较大篇幅梳理R0-R15通用寄存器与SP、LR、PC、CPSR各自的职责并结合函数调用约定说明前四个参数如何通过R0-R3传递、返回地址如何由LR保存为后续内存读写、条件分支、栈与函数等进阶主题提供必要基础。压缩包内含1个docx文档约2.65MB适合对照学习、离线查阅或作为入门笔记目前已有209人学习下载。文末还整理了多篇英文扩展阅读链接可进一步了解树莓派上的ARM汇编实践与逆向工程应用。1. 动手前先搞懂ARM汇编在解决什么问题如果你第一次翻开ARM汇编相关的文档大概率会被满屏的指令格式劝退。但我的经验是卡住你的从来不是指令多而是你还没建立“寄存器是主角内存只是仓库”这个观念。ARM汇编基础教程第一课想讲清楚的就是这套底层心智模型。这篇笔记以ARM64AArch64为主线带你走完一条完整路径寄存器模型、指令集骨架、交叉编译环境、最小可运行程序、函数调用与GDB调试。适合三类人一是写固件启动代码的嵌入式开发者二是做Android底层或性能优化的应用工程师三是做固件逆向分析的安全从业者。学完之后你能自己编译一个ARM64汇编程序并在模拟器上跑通还能用调试器单步看每一条指令的执行过程。2. ARM寄存器模型与指令集这块地基决定了你后面会不会翻车2.1 为什么ARM要做成load/store架构而不是x86那套x86允许指令直接操作内存比如add [eax], 1这种写法。ARM没有走这条路它把指令分成了两类一类是load/store负责在内存和寄存器之间搬数据另一类是运算指令只允许操作寄存器。这种设计有两个直接后果。第一任何数据参与运算之前必须先被加载到寄存器里。第二运算结果想写回内存必须显式用store指令。这个约束看起来多此一举但它让每条指令的语义变简单硬件流水线更容易做乱序执行和分支预测功耗也能压得更低。你在学的时候请记住一句话ARM里没有“内存操作数”这回事。这种架构带来的另一个好处是寻址方式统一。内存访问指令的寻址模式就那么几种基址寄存器、基址加偏移、带前变址和后变址。比起x86那种动不动就是好几页的寻址组合ARM的规则相当规整。后面写代码时你会发现90%的访存指令用到的就是ldr/str加一个偏移量。2.2 通用寄存器、专用寄存器与调用约定先背熟这五条规则AArch64给你提供了31个64位通用寄存器名字从x0到x30每个都有对应的32位别名也就是w0到w30。写w0只操作低32位写x0会覆盖整个64位。这个设计让你在同一个寄存器上既能做32位运算又能做64位运算省去不少类型转换指令。第一个必须记住的规则x0到x7是参数寄存器函数调用时前八个参数按顺序放在这里返回值也放x0。第二个规则x19到x28是被调用者保存的寄存器意思是你在函数里用了它们就得在返回前恢复原值否则调用方会遭到无妄之灾。第三个规则x29是帧指针x30是链接寄存器x30被bl指令自动写入返回地址。第四个规则sp是栈指针必须保持16字节对齐。第五个规则xzr是零寄存器读它永远得到0写它等于丢弃结果。这五条规则基本就是AAPCS64调用约定的精简版。你可以暂时不背全条款但参数寄存器、链接寄存器、零寄存器这三样必须刻进脑子里。后面调试的时候你大概率会频繁检查x0、x30和sp这三个东西。2.3 常用指令的最小集mov/add/sub/cmp/b/ldr/str/bl/ret不需要一开始就把ARM指令集从头到尾过一遍。实际写启动代码和裸机程序翻来覆去的核心指令不超过二十条。先把下面这九条抠熟足以应付第一阶段的绝大多数场景。mov x0, #1把立即数1送到x0。注意立即数长度有限制后面避坑章节会专门讲。add x0, x1, x2x0 x1 x2。ARM的GNU汇编语法是目标寄存器在左边这一点别搞反。sub x0, x1, #8x0 x1 - 8。cmp x0, x1做一次减法但不保存结果只更新NZCV条件位本质是影响状态标志。b label无条件跳转到label处执行。b.gt label条件跳转当上次cmp结果满足“大于”时跳转。ldr x0, [x1]从x1指向的内存地址读64位到x0。str x0, [x1]把x0的值写到x1指向的内存。bl func先跳转到func同时把下一条指令的地址写入x30。ret则是通过x30里的地址跳回去。每个指令都可以跟条件后缀比如add.ne表示上一次比较不等时才执行。这个特性叫条件执行是ARM的老传统虽然到了ARM64被大幅削弱但你会在比较和分支的组合中反复用到。2.4 条件位NZCV与条件执行b.le不是魔法条件跳转的底层是PSTATE寄存器里的四个位N负数、Z零、C进位、V溢出。cmp指令做的事就是算一次减法然后按结果设置这四个位。比如cmp x0, x1如果x0等于x1Z位为1x0小于x1N位为1如果减法没产生借位C位为1。条件跳转指令就是读这些位的组合。b.le表示“小于或等于”它在内部判断的是 Z1 或 N!V。你不需要背真值表但要知道关键一点比较和跳转是两条独立的指令中间被其他指令插入的话NZCV可能被改掉。调试时如果发现跳转方向不对先去看cmp和b.cond之间有没有混入其他会改状态位的指令。这一段学完你已经有了最基本的指令骨架。下一步要做的是把环境搭起来让这些指令真正跑起来。3. 用交叉工具链把第一条ARM指令跑起来3.1 安装工具链和用户态模拟器你在x86电脑上写的ARM程序没法直接运行需要交叉编译器把源码变成AArch64指令再靠模拟器在本地执行。常见做法是装三件套GNU交叉工具链、qemu用户态模拟器、gdb-multiarch调试器。sudo apt install gcc-aarch64-linux-gnu binutils-aarch64-linux-gnu qemu-user gdb-multiarch装完之后验证一下工具链是否工作。aarch64-linux-gnu-as是汇编器aarch64-linux-gnu-ld是链接器aarch64-linux-gnu-objdump是反汇编工具。这三个是后面最常用的。gcc包主要是为了以后把C和汇编混编时用现在只用as和ld就够。qemu-user的作用是直接运行AArch64 Linux用户态程序它不用模拟整个硬件只是做CPU指令翻译跑汇编教学代码绰绰有余。需要注意一点qemu运行动态链接的ARM程序时需要指定解释器路径我会在下面命令里直接带上-L /usr/aarch64-linux-gnu这样能避开一系列“找不到动态链接器”的报错。3.2 第一份汇编源码用write系统调用打印一行字写汇编程序的入门仪式是打印一行字。不走C库直接调Linux的write系统调用这样你能看清从寄存器到系统调用号的全过程。// hello.S — 用Linux系统调用输出一行文本 // 目标平台ARM64 (AArch64)GNU as 语法 .text .global _start // 链接器从这里找入口 _start: mov x0, #1 // 文件描述符 1 标准输出 ldr x1, msg // x1 字符串首地址 mov x2, #len // x2 字符串字节数 mov x8, #64 // 64 是 write 的系统调用号 svc #0 // 触发系统调用 mov x0, #0 // 退出码 0 mov x8, #93 // 93 是 exit 的系统调用号 svc #0 .data msg: .ascii Hello, ARM!\n .equ len, . - msg // 用当前地址减起始地址计算长度这段代码的第二个系统调用容易漏。如果你不调用exit就结束程序内核会给你返回一个段错误因为CPU跑完了数据段里的字节。.equ len, . - msg是汇编器计算字符串长度的惯用写法.代表当前地址减掉msg的起始地址得到的就是字节数结束符‘\n’也算在内。3.3 编译、链接、运行三条命令背后的坑汇编和链接是两个步骤别一上来就用gcc一把梭那样会隐式引入C运行时反而不利于理解程序入口。aarch64-linux-gnu-as -o hello.o hello.S aarch64-linux-gnu-ld -o hello hello.o qemu-aarch64 -L /usr/aarch64-linux-gnu ./hello如果一切正常终端会打印出 Hello, ARM!。如果qemu报找不到/lib/ld-linux-aarch64.so.1几乎可以确定是你没加-L参数或者工具链的sysroot路径不对。链接这一步有玄学成分如果你把_start的名字写错链接器会报“找不到入口符号”。GNU ld默认的入口名就是_start所以不要在链接脚本里搞特殊化就让入口保持在_start这是最不容易犯错的路子。3.4 用反汇编验证你的源码真的变成ARM指令汇编器把你的文本变成机器码的过程是个黑匣子最好自己拆开看一眼。用objdump反汇编生成的可执行文件aarch64-linux-gnu-objdump -d hello你会看到每一行源码对应的AArch64指令比如mov x0, #0x1这样的反汇编输出并且能看到每条指令的长度都是4字节。建议你重点看ldr x1, 0x...那行它后面往往跟着一个数值那是汇编器自动生成的文字池也就是存放msg地址的隐藏常量。对照一下源码和反汇编你会发现汇编源码里的ldr x1, msg被拆成了加载指令加一个文字池条目。这个细节直接关联到后面避坑章节讲的立即数加载问题。4. 写一个真正的ARM汇编程序循环累加与函数调用4.1 从main函数到系统调用汇编里的“入口”到底是什么很多从C语言转过来的人会下意识找main。但汇编程序不归C运行时管入口就是链接器指定的那个符号。上一章的_start就是入口它由链接器写入可执行文件的头部操作系统加载程序后直接从这里开始执行。如果你非要用main作为入口也不是不行但那样你得自己处理C运行时的初始化比如设置栈指针、初始化bss段。入门阶段完全没必要。我们可以约定所有示例都写_start需要返回退出码时直接调用exit系统调用绕过C库。4.2 循环累加用cmp和b.le控制跳转没有for循环关键字汇编里的循环靠标签跳转。下面这段程序计算1加到10结果放在x0里作为退出码。退出码最大25555刚好合适。// sum_loop.S — 1 加到 10结果作为退出码 .text .global _start _start: mov x9, #1 // x9 是循环变量 i mov x10, #0 // x10 是累加结果 sum loop: cmp x9, #10 // 比较 i 和 10 b.gt done // i 10 则跳出循环 add x10, x10, x9 // sum i add x9, x9, #1 // i b loop // 跳回循环开头 done: mov x0, x10 // 退出码 sum mov x8, #93 svc #0这里用x9和x10而不是x0到x7是为了和下一节的函数调用约定对齐。b.gt的跳转方向是向后跳转到done这个标签在汇编阶段就被解析成指令偏移量。你可以改一下循环上限比如加到100然后观察退出码取模256后的值这个实验对理解“退出码是byte类型”很有帮助。4.3 函数调用bl/ret与栈帧的16字节对齐现实中的程序不会只用一个死循环你需要函数调用。ARM64里bl指令负责两件事把下一条指令地址存入x30然后跳转到目标函数。ret则通过x30跳回调用处。// func_call.S — 把累加逻辑封装成函数 .text .global _start _start: mov x0, #1 // 参数1起始值 mov x1, #10 // 参数2结束值 bl sum_range // 调用函数 mov x8, #93 // 用返回值作为退出码 svc #0 sum_range: stp x29, x30, [sp, #-16]! // 把栈指针往下挪16字节保存fp和lr mov x29, sp // 设置帧指针 mov x9, x0 // x9 start mov x10, #0 // sum 0 loop: cmp x9, x1 b.gt done add x10, x10, x9 add x9, x9, #1 b loop done: mov x0, x10 // 返回值放x0 ldp x29, x30, [sp], #16 // 恢复fp和lr同时把栈指针还原 ret那个stp x29, x30, [sp, #-16]!是ARM64常见的函数序言写法把两个64位寄存器一次性压栈然后把sp往下挪16字节。!表示更新sp到新地址。结尾的ldp x29, x30, [sp], #16是反向操作。为什么一定要压x30因为sum_range里如果再调用其他函数新的bl会把x30覆盖掉不保存就无法正确返回。你看到的这套压栈、设帧指针、恢复、返回就是所有编译型语言函数调用的底层模板。4.4 参数怎么传、返回值怎么拿AAPCS64调用约定速记这部分用一张表就能讲明白。用到参数时x0到x7按顺序对应第1到第8个参数多余的参数会放到栈上。返回值放x0如果函数返回128位的大结构x0和x1拼起来用。寄存器角色谁负责保存x0 - x7参数与返回值调用者x8间接结果寄存器调用者x9 - x15临时寄存器调用者x19 - x28被调用者保存被调用者x29帧指针被调用者x30链接寄存器被调用者按照这张表你在函数内部应该优先用x9到x15做临时变量这样就不用费心保存恢复。如果临时变量超过7个再用x19到x28但记得在入口处压栈出口处恢复。有一个细节新手经常忽略sp在函数调用边界处必须是16字节对齐的。如果你在函数开头只压了一个8字节的寄存器sp就成了非对齐状态后续只要碰到ldp/stp指令就会触发对齐异常。这也是为什么函数序言里压栈的寄存器数量通常是偶数比如两个一组压。5. ARM汇编避坑指南新手最容易翻车的五个细节5.1 立即数越界mov x0, #大数字开头就报错现象写mov x0, #0xFFFFFFFFFF汇编器直接报错提示立即数无效。原因ARM64的mov指令本质是movz的别名它只在指令编码里留了16位给立即数外加一个移位字段。所以你只能一条mov加载16位以内的值想加载大常数必须换思路。解决用movz加movk组合或者直接上伪指令ldr x0, 0xFFFFFFFFFF。后者会让汇编器自动把常量放进文字池再用一条PC相对寻址加载这是最简单省心的写法。不要试图硬背哪些立即数合法直接把规则记成超过16位的立即数一律用ldr。5.2 两个内存操作数打架add x0, [x1], [x2]为什么是非法的现象习惯x86的写法想把两个内存里的数加起来写了add x0, [x1], [x2]汇编器报指令无效。原因ARM是load/store架构算术指令只认寄存器内存地址只能出现在ldr和str里。这是架构设计决定的没有例外。解决改成先加载、再运算、再写回的三段式。ldr x3, [x1] // 加载第一个内存值 ldr x4, [x2] // 加载第二个内存值 add x0, x3, x4 // 寄存器运算 str x0, [x5] // 需要的话再写回内存这个坑的本质是思维惯性。每次写汇编之前先问自己一句这个操作数的内存访问是指令自己做的还是需要先加载到寄存器想清楚这个一半的报错就消失了。5.3 栈指针没还原函数返回后直接崩在ret现象函数里压栈了x29和x30但自己额外又压了一堆临时寄存器返回之前只执行了ldp x29, x30, [sp], #16然后ret程序要么跳飞要么第二次调用函数时数据全乱。原因栈是后进先出的谁压的谁还原。你多压了几个寄存器返回前就应该把这些额外占用的空间先释放否则sp指向的位置不是当初入口处的栈帧ldp从错误的位置恢复了x29和x30。解决压栈和恢复的配对要严格对称。多压一对就用ldp多恢复一对恢复顺序和压栈顺序相反。实在拿不准就在函数返回前用mov sp, x29把栈帧整个释放掉这是编译器生成代码时最常用的手段。5.4 拿x86的思维写ARM源操作数和目的操作数顺序现象把x86的mov eax, 1的直觉搬过来写成了mov #1, x0报错。原因GNU as语法里ARM指令的操作数顺序统一是“目标寄存器在前源操作数在后”。add x0, x1, x2表示x0等于x1加x2而不是x1等于x0加x2。解决每次写带三个操作数的指令之前念一遍口诀第一个是目的地。还有一个更隐蔽的关联陷阱C语言里的a b c翻译成ARM汇编时寄存器分配顺序是a在最左。参加过几次现场调试你就会发现90%的“汇编怎么跟我想的完全相反”都出在这个点上。5.5 字符串长度写错write系统调用输出乱码甚至段错误现象write打印出来的内容除了预期文本后面还跟着一长串乱七八糟的字符甚至直接段错误。原因write的第三个参数是字节数。如果你用了sizeof的概念去数长度或者字符串里有中文字符就很容易多传或少传。多传一个字节write就会多读一个字节把数据段里相邻的内容连带打印出来。解决永远用汇编器的符号计算长度不要在脑子里数格子。msg: .ascii Hello, ARM!\n .equ len, . - msg只要字符串内容一变长度会自动跟着变不会出现改文本忘改长度的尴尬。如果你把字符串放进了只读段写错长度还不容易立刻暴露等到调试别的功能时才被乱码干扰那才叫血泪教训。6. 用GDB把ARM汇编“看”明白单步跟踪与反汇编验证学汇编最怕的就是盯着源码脑补执行过程。GDB配合qemu的用户态调试模式可以让你像看C程序一样单步走汇编每走一步看一眼寄存器。启动调试的命令如下。# 终端1让qemu进入调试监听模式 qemu-aarch64 -L /usr/aarch64-linux-gnu -g 1234 ./hello # 终端2启动gdb并连接 gdb-multiarch ./hello进入gdb后依次执行下面的命令set architecture aarch64 target remote :1234 layout asmlayout asm会打开一个反汇编窗口直接显示即将执行的指令光这一条就值得单独为它配一套调试环境。接下来用si单步执行每次只走一条指令配合info registers x0 x1查看具体寄存器变化。验证循环分支走向时把断点打在循环条件的比较指令上。运行到断点后每次用si跨过cmp和b.gt重点观察PSTATE标志位的变化。你会在这一步亲眼看到Z位和N位怎么被置位又怎么被b.gt消费掉这是任何文档都替代不了的理解方式。我刚学汇编时的习惯是每写一个功能先用objdump反汇编再用GDB单步跑一遍最后再改逻辑。现在处理复杂的启动代码时也依然用这套流程只是把qemu换成了JTAG调试器。这个方法最大的价值在于你永远不用猜。遇到行为不符合预期一条一条指令走总能看到是哪一步开始跑偏的。希望这套基于GDB的验证习惯能帮到你让你在后续的汇编路上少走几个夜晚的弯路。本文还有配套的精品资源点击获取
简介面向ARM平台入门学习者与逆向工程初学者的一份汇编基础教程文档围绕ARM处理器版本与指令集映射、.s文件经as汇编和ld链接生成可执行程序的过程、有符号/无符号字/半字/字节数据类型、大端/小端字节序及CPSR的E位控制等展开。教程用较大篇幅梳理R0-R15通用寄存器与SP、LR、PC、CPSR各自的职责并结合函数调用约定说明前四个参数如何通过R0-R3传递、返回地址如何由LR保存为后续内存读写、条件分支、栈与函数等进阶主题提供必要基础。压缩包内含1个docx文档约2.65MB适合对照学习、离线查阅或作为入门笔记目前已有209人学习下载。文末还整理了多篇英文扩展阅读链接可进一步了解树莓派上的ARM汇编实践与逆向工程应用。1. 动手前先搞懂ARM汇编在解决什么问题如果你第一次翻开ARM汇编相关的文档大概率会被满屏的指令格式劝退。但我的经验是卡住你的从来不是指令多而是你还没建立“寄存器是主角内存只是仓库”这个观念。ARM汇编基础教程第一课想讲清楚的就是这套底层心智模型。这篇笔记以ARM64AArch64为主线带你走完一条完整路径寄存器模型、指令集骨架、交叉编译环境、最小可运行程序、函数调用与GDB调试。适合三类人一是写固件启动代码的嵌入式开发者二是做Android底层或性能优化的应用工程师三是做固件逆向分析的安全从业者。学完之后你能自己编译一个ARM64汇编程序并在模拟器上跑通还能用调试器单步看每一条指令的执行过程。2. ARM寄存器模型与指令集这块地基决定了你后面会不会翻车2.1 为什么ARM要做成load/store架构而不是x86那套x86允许指令直接操作内存比如add [eax], 1这种写法。ARM没有走这条路它把指令分成了两类一类是load/store负责在内存和寄存器之间搬数据另一类是运算指令只允许操作寄存器。这种设计有两个直接后果。第一任何数据参与运算之前必须先被加载到寄存器里。第二运算结果想写回内存必须显式用store指令。这个约束看起来多此一举但它让每条指令的语义变简单硬件流水线更容易做乱序执行和分支预测功耗也能压得更低。你在学的时候请记住一句话ARM里没有“内存操作数”这回事。这种架构带来的另一个好处是寻址方式统一。内存访问指令的寻址模式就那么几种基址寄存器、基址加偏移、带前变址和后变址。比起x86那种动不动就是好几页的寻址组合ARM的规则相当规整。后面写代码时你会发现90%的访存指令用到的就是ldr/str加一个偏移量。2.2 通用寄存器、专用寄存器与调用约定先背熟这五条规则AArch64给你提供了31个64位通用寄存器名字从x0到x30每个都有对应的32位别名也就是w0到w30。写w0只操作低32位写x0会覆盖整个64位。这个设计让你在同一个寄存器上既能做32位运算又能做64位运算省去不少类型转换指令。第一个必须记住的规则x0到x7是参数寄存器函数调用时前八个参数按顺序放在这里返回值也放x0。第二个规则x19到x28是被调用者保存的寄存器意思是你在函数里用了它们就得在返回前恢复原值否则调用方会遭到无妄之灾。第三个规则x29是帧指针x30是链接寄存器x30被bl指令自动写入返回地址。第四个规则sp是栈指针必须保持16字节对齐。第五个规则xzr是零寄存器读它永远得到0写它等于丢弃结果。这五条规则基本就是AAPCS64调用约定的精简版。你可以暂时不背全条款但参数寄存器、链接寄存器、零寄存器这三样必须刻进脑子里。后面调试的时候你大概率会频繁检查x0、x30和sp这三个东西。2.3 常用指令的最小集mov/add/sub/cmp/b/ldr/str/bl/ret不需要一开始就把ARM指令集从头到尾过一遍。实际写启动代码和裸机程序翻来覆去的核心指令不超过二十条。先把下面这九条抠熟足以应付第一阶段的绝大多数场景。mov x0, #1把立即数1送到x0。注意立即数长度有限制后面避坑章节会专门讲。add x0, x1, x2x0 x1 x2。ARM的GNU汇编语法是目标寄存器在左边这一点别搞反。sub x0, x1, #8x0 x1 - 8。cmp x0, x1做一次减法但不保存结果只更新NZCV条件位本质是影响状态标志。b label无条件跳转到label处执行。b.gt label条件跳转当上次cmp结果满足“大于”时跳转。ldr x0, [x1]从x1指向的内存地址读64位到x0。str x0, [x1]把x0的值写到x1指向的内存。bl func先跳转到func同时把下一条指令的地址写入x30。ret则是通过x30里的地址跳回去。每个指令都可以跟条件后缀比如add.ne表示上一次比较不等时才执行。这个特性叫条件执行是ARM的老传统虽然到了ARM64被大幅削弱但你会在比较和分支的组合中反复用到。2.4 条件位NZCV与条件执行b.le不是魔法条件跳转的底层是PSTATE寄存器里的四个位N负数、Z零、C进位、V溢出。cmp指令做的事就是算一次减法然后按结果设置这四个位。比如cmp x0, x1如果x0等于x1Z位为1x0小于x1N位为1如果减法没产生借位C位为1。条件跳转指令就是读这些位的组合。b.le表示“小于或等于”它在内部判断的是 Z1 或 N!V。你不需要背真值表但要知道关键一点比较和跳转是两条独立的指令中间被其他指令插入的话NZCV可能被改掉。调试时如果发现跳转方向不对先去看cmp和b.cond之间有没有混入其他会改状态位的指令。这一段学完你已经有了最基本的指令骨架。下一步要做的是把环境搭起来让这些指令真正跑起来。3. 用交叉工具链把第一条ARM指令跑起来3.1 安装工具链和用户态模拟器你在x86电脑上写的ARM程序没法直接运行需要交叉编译器把源码变成AArch64指令再靠模拟器在本地执行。常见做法是装三件套GNU交叉工具链、qemu用户态模拟器、gdb-multiarch调试器。sudo apt install gcc-aarch64-linux-gnu binutils-aarch64-linux-gnu qemu-user gdb-multiarch装完之后验证一下工具链是否工作。aarch64-linux-gnu-as是汇编器aarch64-linux-gnu-ld是链接器aarch64-linux-gnu-objdump是反汇编工具。这三个是后面最常用的。gcc包主要是为了以后把C和汇编混编时用现在只用as和ld就够。qemu-user的作用是直接运行AArch64 Linux用户态程序它不用模拟整个硬件只是做CPU指令翻译跑汇编教学代码绰绰有余。需要注意一点qemu运行动态链接的ARM程序时需要指定解释器路径我会在下面命令里直接带上-L /usr/aarch64-linux-gnu这样能避开一系列“找不到动态链接器”的报错。3.2 第一份汇编源码用write系统调用打印一行字写汇编程序的入门仪式是打印一行字。不走C库直接调Linux的write系统调用这样你能看清从寄存器到系统调用号的全过程。// hello.S — 用Linux系统调用输出一行文本 // 目标平台ARM64 (AArch64)GNU as 语法 .text .global _start // 链接器从这里找入口 _start: mov x0, #1 // 文件描述符 1 标准输出 ldr x1, msg // x1 字符串首地址 mov x2, #len // x2 字符串字节数 mov x8, #64 // 64 是 write 的系统调用号 svc #0 // 触发系统调用 mov x0, #0 // 退出码 0 mov x8, #93 // 93 是 exit 的系统调用号 svc #0 .data msg: .ascii Hello, ARM!\n .equ len, . - msg // 用当前地址减起始地址计算长度这段代码的第二个系统调用容易漏。如果你不调用exit就结束程序内核会给你返回一个段错误因为CPU跑完了数据段里的字节。.equ len, . - msg是汇编器计算字符串长度的惯用写法.代表当前地址减掉msg的起始地址得到的就是字节数结束符‘\n’也算在内。3.3 编译、链接、运行三条命令背后的坑汇编和链接是两个步骤别一上来就用gcc一把梭那样会隐式引入C运行时反而不利于理解程序入口。aarch64-linux-gnu-as -o hello.o hello.S aarch64-linux-gnu-ld -o hello hello.o qemu-aarch64 -L /usr/aarch64-linux-gnu ./hello如果一切正常终端会打印出 Hello, ARM!。如果qemu报找不到/lib/ld-linux-aarch64.so.1几乎可以确定是你没加-L参数或者工具链的sysroot路径不对。链接这一步有玄学成分如果你把_start的名字写错链接器会报“找不到入口符号”。GNU ld默认的入口名就是_start所以不要在链接脚本里搞特殊化就让入口保持在_start这是最不容易犯错的路子。3.4 用反汇编验证你的源码真的变成ARM指令汇编器把你的文本变成机器码的过程是个黑匣子最好自己拆开看一眼。用objdump反汇编生成的可执行文件aarch64-linux-gnu-objdump -d hello你会看到每一行源码对应的AArch64指令比如mov x0, #0x1这样的反汇编输出并且能看到每条指令的长度都是4字节。建议你重点看ldr x1, 0x...那行它后面往往跟着一个数值那是汇编器自动生成的文字池也就是存放msg地址的隐藏常量。对照一下源码和反汇编你会发现汇编源码里的ldr x1, msg被拆成了加载指令加一个文字池条目。这个细节直接关联到后面避坑章节讲的立即数加载问题。4. 写一个真正的ARM汇编程序循环累加与函数调用4.1 从main函数到系统调用汇编里的“入口”到底是什么很多从C语言转过来的人会下意识找main。但汇编程序不归C运行时管入口就是链接器指定的那个符号。上一章的_start就是入口它由链接器写入可执行文件的头部操作系统加载程序后直接从这里开始执行。如果你非要用main作为入口也不是不行但那样你得自己处理C运行时的初始化比如设置栈指针、初始化bss段。入门阶段完全没必要。我们可以约定所有示例都写_start需要返回退出码时直接调用exit系统调用绕过C库。4.2 循环累加用cmp和b.le控制跳转没有for循环关键字汇编里的循环靠标签跳转。下面这段程序计算1加到10结果放在x0里作为退出码。退出码最大25555刚好合适。// sum_loop.S — 1 加到 10结果作为退出码 .text .global _start _start: mov x9, #1 // x9 是循环变量 i mov x10, #0 // x10 是累加结果 sum loop: cmp x9, #10 // 比较 i 和 10 b.gt done // i 10 则跳出循环 add x10, x10, x9 // sum i add x9, x9, #1 // i b loop // 跳回循环开头 done: mov x0, x10 // 退出码 sum mov x8, #93 svc #0这里用x9和x10而不是x0到x7是为了和下一节的函数调用约定对齐。b.gt的跳转方向是向后跳转到done这个标签在汇编阶段就被解析成指令偏移量。你可以改一下循环上限比如加到100然后观察退出码取模256后的值这个实验对理解“退出码是byte类型”很有帮助。4.3 函数调用bl/ret与栈帧的16字节对齐现实中的程序不会只用一个死循环你需要函数调用。ARM64里bl指令负责两件事把下一条指令地址存入x30然后跳转到目标函数。ret则通过x30跳回调用处。// func_call.S — 把累加逻辑封装成函数 .text .global _start _start: mov x0, #1 // 参数1起始值 mov x1, #10 // 参数2结束值 bl sum_range // 调用函数 mov x8, #93 // 用返回值作为退出码 svc #0 sum_range: stp x29, x30, [sp, #-16]! // 把栈指针往下挪16字节保存fp和lr mov x29, sp // 设置帧指针 mov x9, x0 // x9 start mov x10, #0 // sum 0 loop: cmp x9, x1 b.gt done add x10, x10, x9 add x9, x9, #1 b loop done: mov x0, x10 // 返回值放x0 ldp x29, x30, [sp], #16 // 恢复fp和lr同时把栈指针还原 ret那个stp x29, x30, [sp, #-16]!是ARM64常见的函数序言写法把两个64位寄存器一次性压栈然后把sp往下挪16字节。!表示更新sp到新地址。结尾的ldp x29, x30, [sp], #16是反向操作。为什么一定要压x30因为sum_range里如果再调用其他函数新的bl会把x30覆盖掉不保存就无法正确返回。你看到的这套压栈、设帧指针、恢复、返回就是所有编译型语言函数调用的底层模板。4.4 参数怎么传、返回值怎么拿AAPCS64调用约定速记这部分用一张表就能讲明白。用到参数时x0到x7按顺序对应第1到第8个参数多余的参数会放到栈上。返回值放x0如果函数返回128位的大结构x0和x1拼起来用。寄存器角色谁负责保存x0 - x7参数与返回值调用者x8间接结果寄存器调用者x9 - x15临时寄存器调用者x19 - x28被调用者保存被调用者x29帧指针被调用者x30链接寄存器被调用者按照这张表你在函数内部应该优先用x9到x15做临时变量这样就不用费心保存恢复。如果临时变量超过7个再用x19到x28但记得在入口处压栈出口处恢复。有一个细节新手经常忽略sp在函数调用边界处必须是16字节对齐的。如果你在函数开头只压了一个8字节的寄存器sp就成了非对齐状态后续只要碰到ldp/stp指令就会触发对齐异常。这也是为什么函数序言里压栈的寄存器数量通常是偶数比如两个一组压。5. ARM汇编避坑指南新手最容易翻车的五个细节5.1 立即数越界mov x0, #大数字开头就报错现象写mov x0, #0xFFFFFFFFFF汇编器直接报错提示立即数无效。原因ARM64的mov指令本质是movz的别名它只在指令编码里留了16位给立即数外加一个移位字段。所以你只能一条mov加载16位以内的值想加载大常数必须换思路。解决用movz加movk组合或者直接上伪指令ldr x0, 0xFFFFFFFFFF。后者会让汇编器自动把常量放进文字池再用一条PC相对寻址加载这是最简单省心的写法。不要试图硬背哪些立即数合法直接把规则记成超过16位的立即数一律用ldr。5.2 两个内存操作数打架add x0, [x1], [x2]为什么是非法的现象习惯x86的写法想把两个内存里的数加起来写了add x0, [x1], [x2]汇编器报指令无效。原因ARM是load/store架构算术指令只认寄存器内存地址只能出现在ldr和str里。这是架构设计决定的没有例外。解决改成先加载、再运算、再写回的三段式。ldr x3, [x1] // 加载第一个内存值 ldr x4, [x2] // 加载第二个内存值 add x0, x3, x4 // 寄存器运算 str x0, [x5] // 需要的话再写回内存这个坑的本质是思维惯性。每次写汇编之前先问自己一句这个操作数的内存访问是指令自己做的还是需要先加载到寄存器想清楚这个一半的报错就消失了。5.3 栈指针没还原函数返回后直接崩在ret现象函数里压栈了x29和x30但自己额外又压了一堆临时寄存器返回之前只执行了ldp x29, x30, [sp], #16然后ret程序要么跳飞要么第二次调用函数时数据全乱。原因栈是后进先出的谁压的谁还原。你多压了几个寄存器返回前就应该把这些额外占用的空间先释放否则sp指向的位置不是当初入口处的栈帧ldp从错误的位置恢复了x29和x30。解决压栈和恢复的配对要严格对称。多压一对就用ldp多恢复一对恢复顺序和压栈顺序相反。实在拿不准就在函数返回前用mov sp, x29把栈帧整个释放掉这是编译器生成代码时最常用的手段。5.4 拿x86的思维写ARM源操作数和目的操作数顺序现象把x86的mov eax, 1的直觉搬过来写成了mov #1, x0报错。原因GNU as语法里ARM指令的操作数顺序统一是“目标寄存器在前源操作数在后”。add x0, x1, x2表示x0等于x1加x2而不是x1等于x0加x2。解决每次写带三个操作数的指令之前念一遍口诀第一个是目的地。还有一个更隐蔽的关联陷阱C语言里的a b c翻译成ARM汇编时寄存器分配顺序是a在最左。参加过几次现场调试你就会发现90%的“汇编怎么跟我想的完全相反”都出在这个点上。5.5 字符串长度写错write系统调用输出乱码甚至段错误现象write打印出来的内容除了预期文本后面还跟着一长串乱七八糟的字符甚至直接段错误。原因write的第三个参数是字节数。如果你用了sizeof的概念去数长度或者字符串里有中文字符就很容易多传或少传。多传一个字节write就会多读一个字节把数据段里相邻的内容连带打印出来。解决永远用汇编器的符号计算长度不要在脑子里数格子。msg: .ascii Hello, ARM!\n .equ len, . - msg只要字符串内容一变长度会自动跟着变不会出现改文本忘改长度的尴尬。如果你把字符串放进了只读段写错长度还不容易立刻暴露等到调试别的功能时才被乱码干扰那才叫血泪教训。6. 用GDB把ARM汇编“看”明白单步跟踪与反汇编验证学汇编最怕的就是盯着源码脑补执行过程。GDB配合qemu的用户态调试模式可以让你像看C程序一样单步走汇编每走一步看一眼寄存器。启动调试的命令如下。# 终端1让qemu进入调试监听模式 qemu-aarch64 -L /usr/aarch64-linux-gnu -g 1234 ./hello # 终端2启动gdb并连接 gdb-multiarch ./hello进入gdb后依次执行下面的命令set architecture aarch64 target remote :1234 layout asmlayout asm会打开一个反汇编窗口直接显示即将执行的指令光这一条就值得单独为它配一套调试环境。接下来用si单步执行每次只走一条指令配合info registers x0 x1查看具体寄存器变化。验证循环分支走向时把断点打在循环条件的比较指令上。运行到断点后每次用si跨过cmp和b.gt重点观察PSTATE标志位的变化。你会在这一步亲眼看到Z位和N位怎么被置位又怎么被b.gt消费掉这是任何文档都替代不了的理解方式。我刚学汇编时的习惯是每写一个功能先用objdump反汇编再用GDB单步跑一遍最后再改逻辑。现在处理复杂的启动代码时也依然用这套流程只是把qemu换成了JTAG调试器。这个方法最大的价值在于你永远不用猜。遇到行为不符合预期一条一条指令走总能看到是哪一步开始跑偏的。希望这套基于GDB的验证习惯能帮到你让你在后续的汇编路上少走几个夜晚的弯路。本文还有配套的精品资源点击获取
