将 C 编译为 LLVM IR 时，如何将 function 对全局变量的调用的内联 Bitcast 提升到调用者的主体 ZC1C425268E68385D1AB4Z4ZC17A94F1？

Question

我试图理解为什么 Clang 将 function 参数（这是一个全局变量）编译为内联 Bitcast 指令。 有没有办法将此内联指令从 function 调用提升到调用者 function 的主体？

这是我使用 Clang（版本 6 和 8）将以下 C 编译为 LLVM IR 的示例程序。

# File name: global-test.c

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

int a = 10;
int* b = &a;

void foo(void* a, void* b) {
  return;
}

int main() {
  foo(b, &a);             // the first call to foo
  int* c = &a;
  foo(b, c);              // the second call to foo
  return 1;
}

这是我的编译命令：

clang -c global-test.c -emit-llvm
llvm-dis global-test.bc

这里是主 function 的编译 LLVM Bitcode：

define dso_local i32 @main() #0 {
  %1 = alloca i32, align 4
  %2 = alloca i32*, align 8
  store i32 0, i32* %1, align 4
  %3 = load i32*, i32** @b, align 8
  %4 = bitcast i32* %3 to i8*
  call void @foo(i8* %4, i8* bitcast (i32* @a to i8*))   // the first call to foo
  store i32* @a, i32** %2, align 8
  %5 = load i32*, i32** @b, align 8
  %6 = bitcast i32* %5 to i8*
  %7 = load i32*, i32** %2, align 8
  %8 = bitcast i32* %7 to i8*
  call void @foo(i8* %6, i8* %8)                         // the second call to foo
  ret i32 1
}

在上面对foo的第一次调用中，全局参数&a被编译为 function 调用中的内联 Bitcast。

是否有任何 Clang 选项可以将其提升到主体 function 的主体，类似于对foo的第二次调用？

感谢您花时间看我的问题。