我想逐步分析一下我生成的LLVM IR代码。 就llc和lli而言，代码在语法和类型上是有效的，但结果并不是我所期望的。
由于代码块足够大，我无法轻松地找到错误，并且我很难制作一个具有相同错误的较小示例。
我想使用类似调试器的东西来调试LLVM IR。换句话说，我希望能够逐步执行llvm代码，检查“无限”寄存器（给定LLVM IR文件中的名称）和内存位置，设置断点，直到找到我的代码出了问题的地方。
我研究了lli和lldb，但都不是我要找的工具。lli将运行我的代码，但不能让我逐步执行。lldb似乎假设代码是由C前端生成的。
我对lldb和lli有误解吗？ 有人知道是否有任何工具能满足我50％的要求吗？
我不知道这样的东西是否存在（我怀疑不存在），但我很乐意分享一下有关于llvm生成代码调试的观点。
debugtrap内置函数（它只生成int3或者你所在架构上的等价物），你可以使用此函数来做断言并查看哪个断言失败。 %0，%1，而是有意义的%names）－它们将出现在llc输出中作为注释。opt --dot-cfg 1.ll; dot cfg.funcname.dot -Tpng > 1.png 因此，我建议的工作流程如下。建立CFG（第四步）和汇编语言（通过llc）。在gdb中停止到生成的代码处并逐步执行（或让其陷入其中一个断言）。将您在gdb中停止的地方与llc输出进行对应，阅读注释并将其与CFG进行关联。理解。
您还可以从生成的代码中构建CFG表示。在我所知道的工具中，IDA Pro（一种非常昂贵的构建CFG的方式）和Saga提供此类功能。
P.S.：最初这是一条评论，但它变得太长了。
以前有一个LLVM pass叫做-debug-ir可以实现这个功能。请参见this答案。
我需要这样的工具来调试我生成的一些代码。所以我将上面的补丁改编成了一个独立的工具，可以将行号信息附加到输入的LLVM-IR文件中，并产生一个输出的LLVM-IR，其调试信息引用输入文件。https://github.com/vaivaswatha/debugir
未定义命令：“-jit-kind”。请尝试“help”命令。 - ar2015set args。这是我的错误，我已经修复了。感谢您让我注意到它。 - Vaivaswatha Ngdb中打印变量％12，并使用debugir输出。 - ar2015我正在寻找同样的东西，我找到了这个：使用GDB调试JIT生成的代码。
1）使用clang编译并发出字节码
clang++ -emit-llvm -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -DDEBUG -O0 -m64 -fomit-frame-pointer -c a.cpp -g -fno-use-cxa-atexit
clang++ -emit-llvm -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -DDEBUG -O0 -m64 -fomit-frame-pointer -c b.cpp -g -fno-use-cxa-atexit
2) 与llvm-link链接
llvm-link -o all.bc a.bc b.bc
3) 使用jit对代码进行调试，使用gdb和lli
gdb --quiet --args lli -jit-kind=mcjit all.bc
(gdb) b initCloneLookups
Function "initCloneLookups" not defined.
Make breakpoint pending on future shared library load? (y or [n]) y
Breakpoint 1 (initCloneLookups) pending.
(gdb) r
Starting program: lli -jit-kind=mcjit all.bc
[Thread debugging using libthread_db enabled]
Using host libthread_db library "/lib/x86_64-linux-gnu/libthread_db.so.1".
......
Breakpoint 1, initCloneLookups () at a.cpp:66
66 clone_lookups = new BitBoard64[61];
在设置断点时输入 'y'。
在应用此工具之前，最好将原始LLVM IR文件中所有出现的define internal 替换为define （删除函数定义的internal ）。这样，调试器显示的堆栈跟踪将更加详细。
调试
上面提到的补丁提供了Mac OS上调试的详细信息。有关Win和Linux/WSL的信息，请参见下文。
{
// Use IntelliSense to learn about possible attributes.
// Hover to view descriptions of existing attributes.
// For more information, visit: https://go.microsoft.com/fwlink/?linkid=830387
"version": "0.2.0",
"configurations": [
{
"name": "DebuggingLLVMIR",
"type": "lldb",
"request": "launch",
"cwd": "${workspaceFolder}\\some\\path",
"program": "${workspaceFolder}\\some\\path\\to\\your_exe.exe",
"args": ["your_cmd_line_arg"],
"environment": [
{ "name": "BUILD_CONFIGURATION", "value": "Debug" }, // Unrelated example of an env var.
{ "name": "PATH", "value": "../../SomeDir/bin/Debug/bin;../../../SomeDir/Native/build"} // Optional.
],
"console":"integratedTerminal"
},
]
}
lldb build/your_exe your_cmd_line_arg # Launch the debugging session with LLDB debugger.
(lldb) r # Run.
<Ctrl+c> # Break.
(lldb) bt # Stack Trace.
(lldb) f 1 # Select the stack trace frame 1.
(lldb) f 5 # 5.
(lldb) q # Quit the debugger.
./build/your_exe your_cmd_line_arg。为此，您可能需要调整 LD_LIBRARY_PATH 环境变量。export LD_LIBRARY_PATH=<absolute path to>/your/build:$LD_LIBRARY_PATH
# Make sure the var is set OK
env | grep LD_LIB
# Make sure all the dynamic lib paths are resolved correctly
ldd ./build/your_exe
# Make sure the executable runs
./build/your_exe your_cmd_line_arg
# Kill the run
<Ctrl+c>
{
// Use IntelliSense to learn about possible attributes.
// Hover to view descriptions of existing attributes.
// For more information, visit: https://go.microsoft.com/fwlink/?linkid=830387
"version": "0.2.0",
"configurations": [
{
"type": "lldb",
"request": "launch",
"name": "DebuggingLLVMIR",
"program": "${workspaceFolder}/path/to/your/build/your_exe",
"args": ["your_cmd_line_arg"],
"cwd": "${workspaceFolder}/path/to/your",
//"environment": [
// { "name": "LD_LIBRARY_PATH", "value": "/mnt/c/path/to/your/build" },
// { "name": "PATH", "value": "/mnt/c/path/to/your/build"}
//]
}
]
}
lli并查看它如何解释每个指令。不过，你需要进行一些黑客攻击来设置断点。 - arrowd