When I read this part, I found the example at the end is confusing.

In this block:

%MyStruct = type {
	i32,
	[5 x i32]
}
%my_structs = alloca [4 x %MyStruct]

%1 = getelementptr [4 x %MyStruct], [4 x %MyStruct]* %my_structs, i64 2, i32 1, i64 3

The last line maybe wrong, it ignores the first i64 0. Here is what I compiled

%struct.MyStruct = type { i32, [5 x i32] }

@my_structs = dso_local global [4 x %struct.MyStruct] zeroinitializer, align 16

; Function Attrs: mustprogress noinline norecurse nounwind optnone uwtable
define dso_local noundef i32 @main() #0 {
  %1 = alloca i32, align 4
  store i32 0, i32* %1, align 4
  %2 = load i32, i32* getelementptr inbounds ([4 x %struct.MyStruct], [4 x %struct.MyStruct]* @my_structs, i64 0, i64 2, i32 1, i64 3), align 4
  ret i32 %2
}

That's a small problem, so I think maybe you ignored that. Fixing it may be helpful for people who first read this.

第四章，对于getelementptr的讲解，
%MyStruct = type { i32, i32 } %my_structs = alloca [4 x %MyStruct] %1 = getelementptr [4 x %MyStruct], [4 x %MyStruct]* %my_structs, i64 2, i32 1 ; %1 is pointer to my_structs[2].y %2 = load i32, i32* %1 ; %2 is value of my_structs[2].y

这里，似乎少了一个索引0? 应该是%1 = getelementptr [4 x %MyStruct], [4 x %MyStruct]* %my_structs, i64 0, i64 2,
i32 1

%stack_variable = alloca i32
%1 = add i32 1, 2
store i32 %1, i32* %stack_variable
%2 = add i32 3, 4
store i32 %1, i32* %stack_variable
为什么最后一行是%1，我觉得好像是2%。
很感谢作者的教程，学到很多

参考文档：mpx-linux64-abi.pdf p16-p17

This subsection discusses usage of each register. Registers %rbp, %rbx and
%r12 through %r15 “belong” to the calling function and the called function is
required to preserve their values. In other words, a called function must preserve
these registers’ values for its caller. Remaining registers “belong” to the called
function.5 If a calling function wants to preserve such a register value across a
function call, it must save the value in its local stack frame.

我的理解是：

• callee saved寄存器，是rbp, rbx, r12-r15，由被调用者保证这些寄存器的值不发生变化。从调用者角度看，是没有被保留的寄存器，或不需要保留的寄存器。
• caller saved寄存器，是除callee saved寄存器以外的寄存器，由调用者保证这些寄存器的值不发生变化。从调用者角度看，是被保留的寄存器，或需要保留的寄存器(remaining registers)。

从register_test.ll汇编结果来看：

• 优先使用的是rax寄存器，即被保留的寄存器，而不是没有被保留的寄存器。

从many_registers_test.ll的汇编结果来看：

• 当被保留的寄存器用完，是将callee saved寄存器的值压栈，并开始使用callee saved寄存器

原文的表述是: 如果我们把所有没有被保留的寄存器都用光了，那么LLVM IR会帮我们把这些被保留的寄存器放在栈上，然后继续使用这些被保留寄存器。
原文的表述是：当所需寄存器数量较少时，直接使用callee-saved register，即不需要保留的寄存器
原文的表述是：当callee-saved register不够时，将caller-saved register原本的值压栈，然后使用caller-saved register
原文的表述是：也就是把那些需要保留的寄存器压栈。

https://github.com/Evian-Zhang/llvm-ir-tutorial/blob/master/src/05-%E6%8E%A7%E5%88%B6%E6%B5%81/01-%E6%8E%A7%E5%88%B6%E8%AF%AD%E5%8F%A5.md#%E6%97%A0%E6%9D%A1%E4%BB%B6%E8%B7%B3%E8%BD%AC
从上下文来看，我们同样可以使用br进行条件跳转 应改为 我们同样可以使用br进行无条件跳转

我遇到一个问题，并向llvm仓库提出了issue，但是还没有得到回复：
llvm/llvm-project#59057

我想搞清楚，如何利用llvm C++ 获取基本块的地址，并把它储存在数组里面，以便我是用indirectBr来访问它。

LLVM后端优化IR 使用 opt
这里的优化级别参数为 --O3, 不是 -O3

clang 的 是 -O3

https://github.com/Evian-Zhang/llvm-ir-tutorial/blob/master/src/03-%E6%95%B0%E6%8D%AE%E8%A1%A8%E7%A4%BA/01-%E6%95%B0%E6%8D%AE%E5%8C%BA%E4%B8%8E%E7%AC%A6%E5%8F%B7%E8%A1%A8.md#%E5%8F%AF%E8%A7%81%E6%80%A7
“default的符合可以被重载”应改为“default的符号可以被重载”

寫得很好，想請問未來還會不會更新更多內容，會這麼問是因為這個儲存庫已經有一小段時間沒有動靜了。

Nice tutorial!! Will it update for more contents in the future? I asked this because of the quiet of the repository.

LLVM IR入门指南(1)中clang -S -emit-llvm test.c 生成的.ll文件中带有attributes #0 = { optnone ......}，这会导致opt跳过该函数，即opt test.ll -S --O3输出结果与test.ll相比较不会有任何改动。

已知的解决办法是直接删去该属性，想请教一下是否可以在使用clang生成IR文件时通过某个特定命令行参数直接禁止掉这个属性？

Section 4. 类型系统：级联访问
@Evian-Zhang