c++ - 使用 Clang 构建 V8 并发出 LLVM IR

Question

我正在尝试使用 Clang 构建 V8 Javascript 引擎并输出 .ll 文件。我正在尝试合并信息 here和 here去做这个。但是，当我尝试 make 时，它失败了，显示“No rule to make target”。我搞不清楚了。我试过只编译 v8.cc，但完全失败了。我想这是因为我试图通过将它作为编译器放入来强制 -emit-llvm，但我不确定。

$ cd v8
$ export CXX="clang++ -S -emit-llvm"
$ export CC="clang -S -emit-llvm"
$ export CPP="clang -E -S -emit-llvm"
$ export LINK="clang++ -S -emit-llvm"
$ export CXX_host="clang++ -S -emit-llvm"
$ export CC_host="clang -S -emit-llvm"
$ export CPP_host="clang -E -S -emit-llvm"
$ export LINK_host="clang++ -S -emit-llvm"
$ export GYP_DEFINES="clang=1"
$ make native
PYTHONPATH="/home/pitaj/v8/tools/generate_shim_headers:/home/pitaj/v8/build::/home/pitaj/v8/build/gyp/pylib:" \
    GYP_GENERATORS=make \
    build/gyp/gyp --generator-output="out" build/all.gyp \
                  -Ibuild/standalone.gypi --depth=. -S.native  -Dv8_enable_backtrace=1 -Darm_fpu=default -Darm_float_abi=default
make[1]: Entering directory `/home/pitaj/v8/out'
  CXX(target) /home/pitaj/v8/out/native/obj.target/v8_base/src/accessors.o

...(更多 CXX 调用，完整输出 here)...

  CXX(target) /home/pitaj/v8/out/native/obj.target/v8_base/src/utils.o
make[1]: *** No rule to make target `/home/pitaj/v8/out/native/obj.target/v8_base/src/v8.o', needed by `/home/pitaj/v8/out/native/obj.target/tools/gyp/libv8_base.a'.  Stop.
make[1]: Leaving directory `/home/pitaj/v8/out'
make: *** [native] Error 2

编辑:

生成文件:http://pastebin.com/PsZrCkzE

编辑2:

以下构建 v8 没有错误，但显然不会发出任何 IR。

$ cd v8
$ export CXX="clang++"
$ export CC="clang"
$ export CPP="clang -E"
$ export LINK="clang++"
$ export CXX_host="clang++"
$ export CC_host="clang"
$ export CPP_host="clang -E"
$ export LINK_host="clang++"
$ export GYP_DEFINES="clang=1"
$ make native

Answer 1

C 和 C++ 编译器通常有 4 个阶段:

1. 预处理
2. 将源代码编译成汇编程序
3. 将汇编程序汇编成二进制目标文件
4. 链接多个目标文件以生成一个可执行文件、共享库或静态库

对于 clang，第 2 阶段是一种拆分:首先生成 LLVM IR，然后将其组装到目标架构的程序集中。

clang 和 gcc 都共享相同的命令行选项来控制将执行哪个阶段:

• -E 只运行预处理器阶段
• -S 运行预处理和编译阶段，输出汇编文件
• -c 运行预处理、编译和组装阶段，生成 .o 目标文件
• 如果您不包含任何这些选项，那么它还会链接以生成可执行文件(或者，根据其他选项，生成静态或共享库)。

-emit-llvm 选项只影响编译阶段，必须与-S 选项一起使用。添加这些选项意味着当调用编译器时，它会生成一个包含 LLVM IR 的文件。默认输出文件名与输入文件名相同，但扩展名为 .ll。

gyp 工具实际上并不构建项目。相反，它会生成一组 makefile，用于执行实际构建。这些 makefile 包含从一种类型的所需文件构建另一种类型的规则。主要规则是:

1. 从 .cpp 输入文件生成 .o 文件(相当于上面的第 1-3 阶段，对于每个 .cpp 文件)
2. 从对象文件生成静态 (.a) 和/或动态 (.so) 库文件

您修改的环境变量会影响这些规则中使用的命令。具体来说，CXX 变量指定用于上述第一条规则的命令。

另一件需要注意的事情是，用于编译的 Makefile 规则将 -o 选项添加到覆盖输出文件名的命令中。因此，当它使用您指定的 CXX 环境变量设置执行此规则时，它实际上会生成 LLVM IR 文件，但将它们命名为 .o 而不是 .ll。

当 make 进入下一阶段并尝试从这些目标文件中生成 .a 或 .so 文件时，问题就会出现——因为它们不是真正的目标文件，而是 LLVM IR 文件。

但好消息是，根据您自己的问题，无论如何您只需要 LLVM IR 文件。到失败时，它已经产生了那些。唯一的问题是它们以 .o 而不是 .ll 命名，但是嘿，您可以轻松地重命名它们。

如果您希望构建干净利落地进行到最后，您可以通过将用于链接和归档的命令更改为“true”来抑制库文件的生成，这什么都不做:

cd v8
export CXX="clang++ -S -emit-llvm"
export CC="clang -S -emit-llvm"
export CPP="clang -E"
export LINK="true"
export AR="true"
export CXX_host="clang++ -S -emit-llvm"
export CC_host="clang -S -emit-llvm"
export CPP_host="clang -E"
export LINK_host="true"
export AR_host="true"
export GYP_DEFINES="clang=1"
make native

正如我所说，在构建结束时，每个 .cpp 文件都有一个 .o 文件 - 文件名将在编译期间打印出来。这些实际上是 LLVM IR 文件。您可以重命名它们:

find out/native/obj.target/ -name "*.o" -exec rename .o .ll \{\} \;