内联asm编译器屏障(内存阻塞器）是算作外部函数，还是算作静态函数调用

基本事实介绍/确认

众所周知，使用GCC风格的C和C++编译器，可以使用带有"内存"阻塞器的内联汇编：

asm("":::"memory");

以防止(大多数)代码的重新排序超过它，充当(线程本地)"内存屏障"(例如，为了与异步信号交互)。

注意：这些"编译器障碍"无法实现线程间同步

它相当于对非内联函数的调用，可能读取当前范围之外可以读取的所有对象，并更改所有可以更改的对象(非常量对象)：

int i;
void f() {
int j = i;
asm("":::"memory"); // can change i
j += i; // not j *= 2
// ... (assume j isn't unused)
}

从本质上讲，它与调用单独编译的NOP函数相同，只是非内联NOP函数调用稍后(1)内联，因此没有任何内容可以从中幸存下来

(1) 比如说，在编译器中间通过之后，在分析之后

因此，这里j不能更改，因为它是本地的，并且仍然是旧i值的副本，但i可能已经更改，因此编译与几乎相同

volatile int vi;
int f2() {
int j = vi;
; // can "change" vi
j += vi; // not j *= 2
return j;
}

vi的两个读取都是必需的(出于不同的原因)，所以编译器不会将其更改为2*vi。

到目前为止，我的理解正确吗？(我想是的。否则这个问题就没有意义了。)

真正的问题：外部还是静态

以上只是序言。我遇到的问题是静态变量，对静态函数(或C++等价的匿名命名空间)的可能调用：

如果asm指令的输入参数中没有显式命名，内存阻塞器是否可以访问通过非静态函数无法访问的静态数据，并从其他模块调用无法调用的静态函数，因为这些函数在链接阶段都不可见，

static int si;
int f3() {
int j = si;
asm("":::"memory"); // can access si?
j += si; // optimized to j = si*2; ?
return j;
}

[注意：static的使用有点模糊。建议TU的边界很重要，静态变量是TU私有的，但我没有描述它是如何被操纵的。让我们假设它在那个TU中真的被操纵了，或者编译器可能会假设它实际上是一个常量。]

换言之，这是不是相当于对的调用

• 一个外部NOP函数，它不能直接命名si，也不能以任何间接方式访问它，因为TU中没有任何函数传达si的地址，或者使si可以间接修改
• 可以访问si的本地定义的NOP函数

？

奖励问题：全局优化

如果答案是在这种情况下静态变量不像外部变量那样处理，那么一次编译程序会有什么影响？更具体地说：

在整个程序的全局编译过程中，通过对变量值的全局分析和推断，是否知道这样一个事实：例如，全局变量从未被修改(或从未被分配负值…)，除非可能在asm"clobber"中，优化器的输入？

换句话说，如果非静态i只在一个TU中命名，那么即使有asm语句，它是否也可以像静态int一样进行优化？在这种情况下，全局变量是否应该被明确列为clobber？