逸翎清晗🌈

对RISC-V扩展指令集架构的介绍

DetectDeadLanes 这个 Pass(“Detect Dead Lanes”) 的目的是在涉及子寄存器（subregister）的时候，跟踪虚拟寄存器中各个“lane”上的定义和使用情况，以便在后续阶段正确地识别“死定义”（dead definitions）或“未定义使用”（undefined uses）。 当寄存器被拆分成若干子寄存器或通过 COPY-like 指令（如 PHI、REG_SEQUENCE、INSERT_SUBREG、EXTRACT_SUBREG 等）传递时，普通的寄存器活性分析无法直接得知哪些子部分是真正被使用或定义的。本 Pass 通过位掩码（LaneBitmask）对每个虚拟寄存器的每个子 lane 做数据流分析，从而在 Machine IR 层标记那些确实“死掉”或“未定义”的操作数。 那么什么是 lane 呢？ “Lane”在这里指寄存器的==某个子部分（subregister）对应的位集合==。对于一个虚拟寄存器，LLVM 用一个位掩码（LaneBitmask）来表示其中哪些“lane”（即哪些子寄存器位域）已经被定义或使用。 可以理解为高 1 ...

DeadMachineInstructionElim 这个 Pass 从名字上看比较好理解，和中端似乎很相似。代码量不大，一百多行。入口我们就不看了，处理流程为： bool DeadMachineInstructionElimImpl::eliminateDeadMI(MachineFunction &MF) { bool AnyChanges = false; // Loop over all instructions in all blocks, from bottom to top, so that it's // more likely that chains of dependent but ultimately dead instructions will // be cleaned up. for (MachineBasicBlock *MBB : post_order(&MF)) { LivePhysRegs.addLiveOuts(*MBB); // Now scan ...

ComplexDeinterleavingPass 这个文件 ComplexDeinterleavingPass.cpp 是 LLVM 编译器中的一个优化 pass，专门处理 复杂的向量解交错（complex deinterleaving）。该优化的目的是识别并转换可以通过复杂指令表示的向量操作，特别是处理复数的情况。 这个 Pass 乍看上去根本不知道是干什么的, 所以我们必须搞懂这几个概念： 解交错 复数 shuffle 操作 Deinterleave（解交错）：与 shuffle 相反，解交错是将多个交错的向量分离成独立的分量。例如，如果一个向量是 [a1, b1, a2, b2]，那么解交错操作可能会将它分离成两个向量 [a1, a2] 和 [b1, b2]。 复合节点：复合节点 是指在图结构中代表一个可以通过一条单独的复杂指令来替代的操作。比如，复合节点表示的是一个操作，可能涉及多个向量的交错和解交错过程，目标是将这些操作合并成一条复合指令，从而避免生成多个低效的指令。 Shuffle（交错）：在 SIMD 或向量化的计算中，shuffle 是一种操作，旨在重新排列多个 ...

408申博笔记

寄存器辅助类