MacOS（M2）下Arm64汇编变量相关技术咨询

1. 区分.data段变量与常量 #

在M2 Mac的Arm64汇编中，核心区分点在于可写性和存储段：

• 变量：放在.data段，用.byte/.word等伪指令声明，程序运行时可通过str类指令修改其内存值。
• 常量：通常放在只读数据段.rodata，声明后不可修改；另外可用.equ定义汇编期符号常量（不占用内存空间，汇编时直接替换为对应值）。
  示例：

.data
var: .word 10  @ 可写变量
.rodata
const: .word 20 @ 只读常量
.equ MAX_NUM, 100 @ 汇编期常量，无内存占用

2. 声明变量类型（对应C++的int/char等） #

Arm汇编没有专门的类型关键字，通过数据长度伪指令指定变量类型，对应关系如下：

• .byte：1字节，对应C++的char/unsigned char
• .short：2字节，对应short/unsigned short
• .word：4字节，对应int/unsigned int
• .quad：8字节，对应long long/unsigned long long
• .asciz：以空字符结尾的字符串，对应char*
  示例：

.data
char_val: .byte 'x'    @ char类型
int_val:  .word 123    @ int类型
long_val: .quad 456789 @ long long类型
str:      .asciz "test"@ 字符串

3. 不通过ASCII直接打印数值 #

M2 Mac上直接用系统调用write只能输出ASCII字节，要打印数值必须先将其转换为ASCII字符串。最简便的方式是调用libc的printf函数，借助格式字符串实现：

.global _main
.align 4

_main:
    @ 加载格式字符串地址到x0（printf第一个参数）
    adrp x0, fmt@page
    add x0, x0, fmt@pageoff
    mov x1, #789        @ 要打印的数值（printf第二个参数）
    bl _printf          @ 调用printf
    mov x0, #0          @ 退出码0
    bl _exit

.rodata
fmt: .asciz "%d\n"     @ 整数格式字符串

编译时需链接libc，用clang命令：clang -o print_num print_num.s

4. 同步更新.data段的num值 #

你之前的代码只是加载了num的地址到x1，add x1, x1, #1是修改了寄存器里的地址而非数值。要更新.data段的num，需遵循读内存→改寄存器→写回内存的流程：

.data
num: .word 5 @ 初始值5

.text
.global _main
.align 4

_main:
    @ 加载num的地址到x1
    adrp x1, num@page
    add x1, x1, num@pageoff
    @ 从内存读取num的值到w0（32位寄存器对应.word类型）
    ldr w0, [x1]
    @ 修改数值：w0 = num +1
    add w0, w0, #1
    @ 将修改后的值写回.data段的num内存位置
    str w0, [x1]

    @ 验证打印
    adrp x0, fmt@page
    add x0, x0, fmt@pageoff
    mov x1, w0
    bl _printf

    mov x0, #0
    bl _exit

.rodata
fmt: .asciz "Updated num: %d\n"

执行str w0, [x1]后，.data段的num就会被同步更新为新值。

内容的提问来源于stack exchange，提问作者Salty4141