// 使用 llc 查看 SelectionDAG
// clang -O2 -c test.c  分步查看
llc -O2 -view-dags test.bc          # 用 GraphViz 查看
llc -O2 -print-after-isel test.bc    # 打印指令选择后的 MIR
llc -O2 -stop-after=instruction-select test.bc -o test.mir

# 查看 DAG 构建后
llc -view-dag-combine1-dags test.bc    # DAG 合并前
llc -view-legalize-types-dags test.bc  # 类型合法化后
llc -view-dag-combine2-dags test.bc    # 第二次合并后
llc -view-isel-dags test.bc            # 指令选择前
llc -view-sched-dags test.bc           # 调度后

# 打印到终端（不使用 GraphViz）
llc -debug-only=isel test.bc 2>&1

// X86InstrArithmetic.td (简化示例)
// 定义 ADD 指令

// 指令模式（pattern）
def ADD32rr : I<0x01, MRMDrrReg, (outs GR32:$dst),
                (ins GR32:$src1, GR32:$src2),
                "add{l}\t{$src2, $dst|$dst, $src2}",
                [(set GR32:$dst, (add GR32:$src1, GR32:$src2))]>;

def ADD32ri : I<0x81, MRMDr0, (outs GR32:$dst),
                (ins GR32:$src1, i32imm:$src2),
                "add{l}\t{$src2, $dst|$dst, $src2}",
                [(set GR32:$dst, (add GR32:$src1, imm:$src2))]>;

// 指令模式解读:
// (set GR32:$dst, (add GR32:$src1, GR32:$src2))
//   匹配: DAG 中的 add 节点，两个 32 位通用寄存器操作数
//   结果: 生成 ADD32rr 指令，输出到物理寄存器

# 生成 MIR
llc -stop-after=instruction-select test.bc -o test.mir

# 查看 MIR
cat test.mir

--- |
  define i32 @add(i32 %a, i32 %b) {
  entry:
    %0 = add i32 %a, %b
    ret i32 %0
  }
...
---
name:            add
tracksRegLiveness: true
body:             |
  bb.0.entry:
    liveins: $edi, $esi

    %0:gr32 = COPY $edi
    %1:gr32 = COPY $esi
    %2:gr32 = ADD32rr %0, killed %1, implicit-def $eflags
    $eax = COPY %2
    RET64 implicit $eax
...

# 查看寄存器分配过程
llc -regalloc=greedy -debug-only=regalloc test.bc 2>&1

# 使用快速寄存器分配器（编译更快，质量较差）
llc -regalloc=fast test.bc -o test.s

# 查看溢出/恢复
llc -print-after=greedy test.bc -o /dev/null 2>&1

; 溢出前 — 需要 4 个寄存器
mov eax, [rdi]
mov ecx, [rsi]
add eax, ecx
mov edx, [rdx]
imul eax, edx
ret

; 溢出后 — 只有 3 个寄存器可用
mov eax, [rdi]
mov ecx, [rsi]
add eax, ecx
mov [rsp-4], eax     ; 溢出到栈
mov edx, [rdx]
mov eax, [rsp-4]     ; 从栈恢复
imul eax, edx
ret

// X86TargetLowering::LowerOperation 示例

// 64 位除法在 32 位模式下不合法
// 需要替换为库函数调用或扩展操作
// i64 div → __divdi3() 调用

// 向量类型可能需要拆分
// <16 x i8> add → 2 个 <8 x i8> add（在不支持 128 位 SIMD 的目标上）

; 优化前
mov eax, edi
add eax, 0        ; 冗余加零

; 优化后 — 消除冗余指令
mov eax, edi

; 优化前
mov eax, 0

; 优化后 — 使用 xor
xor eax, eax      ; 更小、更快

; 优化前
imul eax, 8

; 优化后 — 移位更快
shl eax, 3

; LEA 优化
lea eax, [rdi + rdi*4]  ; eax = rdi * 5

// AsmPrinter 将 MachineInstr 转换为 MCInst
// 然后通过 MCStreamer 输出

// 汇编输出
MCInst Inst;
Inst.setOpcode(X86::ADD32rr);
Inst.addOperand(MCOperand::createReg(X86::EAX));
Inst.addOperand(MCOperand::createReg(X86::ECX));

// 通过 MCInstPrinter 输出为汇编文本
// → "addl %ecx, %eax"

// 通过 MCCodeEmitter 输出为机器码
// → [01, 0xC8] (x86 ADD 指令编码)

# 查看完整的代码生成过程
llc -print-after-all test.bc -o test.s 2>&1 | less

# 仅查看寄存器分配后的 MIR
llc -stop-after=regalloc test.bc -o test-after-ra.mir

# 仅查看最终 MIR
llc -stop-after=finalize-isel test.bc -o test-final.mir

# 输出汇编
llc test.bc -o test.s

# 输出目标文件
llc -filetype=obj test.bc -o test.o

# 反汇编
llvm-objdump -d test.o