链接main文件时Clang未保留AArch64内联汇编指令问题

我编写了一段包含内联汇编的C代码：

#include <stdlib.h>
#include <stdio.h>

__attribute__((noinline))
int *get_indecies(int *padding, int pad_size, int size, int alias_type);

int *get_indecies(int *padding, int pad_size, int size, int alias_type){
    int *indecies = (int *)malloc(size*sizeof(int));
    asm("dsb sy
	");
    return indecies;
}

将其交叉编译为AArch64目标文件后，反汇编能看到dsb sy指令：

.....
 1f0:   d5033f9f        dsb     sy
 1f4:   aa1f03e1        mov     x1, xzr
......

但用以下命令将该目标文件与main文件（verification.c）链接后：

clang verification.c get_indecies.o -I "/home/[name]/gem5/include"  -L "/home/[name]/gem5/util/m5/build/arm64/out" -lm5 -lc -O0 -static -target aarch64-linux-gnu -o verfication-base-m5

对生成的可执行文件反汇编时，却找不到这条内联汇编指令。明明已经设置了O0优化等级，为什么链接阶段会移除该指令？

问题原因与解决方法 #

• 核心原因：你使用的是不带约束和修饰的基础内联汇编，编译器（即使指定-O0，链接环节仍可能存在少量针对无副作用代码的清理逻辑）会判定这段汇编没有产生任何可见的副作用，属于冗余代码，因此在链接后处理中被剔除。noinline仅保证函数不被内联，但无法让编译器识别出这段汇编的必要性。
• 解决方法：给内联汇编添加volatile修饰和内存屏障约束，明确告知编译器这段指令必须保留且会影响内存状态，修改后的代码如下：

asm volatile("dsb sy" ::: "memory");

• volatile：强制编译器保留这段汇编指令，不能因“无副作用”而优化移除。
• "memory"：告诉编译器这段汇编会干预内存操作，需要确保前后内存操作的顺序，同时彻底阻止将其标记为冗余代码。

另外可以确认链接命令是否隐含额外优化选项，但你已指定-O0，核心问题还是内联汇编的写法未适配编译器的优化判定规则。

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