构造最小.ll文件需先确保ir合法（opt -verify验证），精简至仅含触发缺失lowering规则的intrinsic调用（如call i32 @llvm.riscv.clz(i32 42)），删元数据与冗余代码，用llc -debug -debug-only=isel定位sdnode，再以filecheck断言目标指令生成。
llc -march 报 Cannot select 时怎么构造最小 .ll 文件
报 Cannot select 说明指令选择阶段失败，不是 IR 写错了，而是后端缺 lowering 或 selection 规则。最小测试用例必须精准触发那个缺失节点，不能带干扰逻辑。
- 从
clang -emit-llvm -S生成的 IR 入手，但要删掉所有非必要内容：去掉!dbg元数据（加-g0）、删掉未用函数、只留一个调用 intrinsic 的 minimal function - 确保 intrinsic 调用能被 clang 正确识别——比如 RISC-V 的
__builtin_riscv_clz，对应 IR 是call i32 @llvm.riscv.clz(i32 %0)；如果 IR 里还是call void @llvm.foo.bar，说明 builtin 声明或 clang 端没配对 - 用
llc -march=riscv64 -debug -debug-only=isel test.ll 2>&1 | grep -A3 -B3 "Cannot select"确认出错前最后出现的 SDNode 类型（如RISCVISD::CLZ），然后在 .ll 里只保留能生成该节点的那条 call - 避免用复杂类型或 vector——先用 scalar i32/i64 测试；如果 target 支持 immediates，显式传常量（如
call i32 @llvm.riscv.clz(i32 42)），绕过 register allocation 干扰
用 FileCheck 验证是否真触发了目标指令
光让 llc 不崩溃还不够，得确认最终汇编里真出现了你期望的指令。直接看文本输出不可靠，要用 FileCheck 锁定关键 pattern。
- 把
llc输出重定向到临时 .s 文件：llc -march=riscv64 -o test.s test.ll - 写一个
test.ll对应的test.ll.tmp（或直接在 .ll 末尾加注释），用// CHECK: clz断言指令存在；注意大小写和空格——clz和clzw是不同指令 - 运行
FileCheck test.ll ；失败时会明确告诉你哪行没匹配，比肉眼扫快得多 - 如果想验证指令操作数，用
// CHECK: clz {{[a-z0-9]+}}, {{[a-z0-9]+}}，双大括号表示任意寄存器名，避免硬编码a0导致误判
为什么 .ll 文件编译通过但 llc 崩溃？先排除 IR 合法性问题
llc 崩溃不等于后端 bug，很可能是 IR 本身已越界，只是 verifier 没拦住。尤其当 intrinsic 参数类型不对、或用了 target-specific type（如 <vscale x i32></vscale>）时，opt -verify 可能放行，但 llc 在 lowering 时直接 abort。
- 先跑
opt -verify -disable-output test.ll；若报错，按提示修 IR（比如 PHI 节点入边数不匹配、undef 当实值用） - 再跑
llvm-as test.ll -o /dev/null，确认语法无误；如果这里失败，说明括号/分号/类型声明有硬伤 - 加
-verify-each：用opt -passes="default<o1>" -verify-each test.ll -o /dev/null</o1>，看是哪个优化 pass 污染了 IR —— 有些 pass 会悄悄改 intrinsic signature - 禁用所有优化：
llc -O0 -march=riscv64 test.ll；如果这时不崩，说明问题出在某个优化 pass 对 intrinsic 的非法重写上
自定义指令测试中容易被忽略的 ABI 和扩展依赖
即使 .ll 文件能跑通，真实场景下仍可能失败——因为实际调用链涉及 ABI 约束、扩展使能、寄存器分配等隐含条件，这些不会出现在最小 IR 里。
- 检查
llc是否启用了对应扩展：比如 RISC-V V 扩展指令，必须加-mattr=+v，否则 intrinsic 即使存在也会 fallback 到软件实现甚至报错 - 确认 calling convention：某些 custom instrinsic 要求参数在特定寄存器（如
a0,a1），而默认llc用的是完整 ABI；可加-mtriple=riscv64-unknown-elf强制裸机环境，避开 glibc ABI 干扰 - 如果指令涉及内存访问（如自定义 load/store），最小 IR 必须包含合法的
getelementptr和load/store配对，且 pointer type 必须与 target data layout 一致（查llc -march=riscv64 --version输出里的DataLayout） - 别信“空函数能过”——很多后端逻辑在函数 entry/exit 时才触发（如 stack frame setup、callee-saved reg save）；最小测试至少要有
ret，且最好带一个 real instruction（哪怕只是add）来激活完整 pipeline
