llvm

Identifiers 标识符 @ 全局 % 局部 后接字符串 命名量 @name %name 无符号数字 未命名量 @42 %42 类型系统 void 空类型 <type> * 指针类型 <returntype> (<parameter list>) 函数类型 < <# elements> x <elementtype> > 向量类型 [<# elements> x <elementtype>] 数组类型 { <type list> } 普通结构体类型 <{ <type list> }> 打包结构体类型 metadata 元数据类型 label 标签类型 token 词元类型 类型系统(例子) void 空 i32 * 指针 i32 (i32) 函数 <5 x i32> 向量 [5 x i32] 数组 { i32, i32, i32 } 普通结构体 <{ i32, i32, i32 }> 打包结构体 元数据 ; 未命名元数据节点 ; 用于被命名元数据引用 !0 = !{!"zero"} !1 = !{!"one"} !2 = !{!"two"} ; 命名元数据 !name = !{!0, !1, !2} !name --- !0 |-- !1 |-- !2 模块层次内联汇编 module asm "内联汇编代码" Target Triple target triple =

记录，没什么实际内容，参照 PLCT talk 和 2019 LLVM Developers’ Meeting: A. Warzynski “Writing an LLVM Pass: 101” * 注：部分内容摘自PLCT开放日 talk 和 2019 LLVM Developers’ Meeting: A. Warzynski “Writing an LLVM Pass: 101” Pass分类 Analysis passes - 用于信息计算，其它Pass可以使用和调试相关信息 Transform passes - 可以使用Analysis passes - 以某种方式转换程序，通常是要对程序做出相应的改变 Utility passes - 提供了一些实用功能 - 例如-view-cfg可以查看函数的控制流图 但是PLCT使用的方式是 legacy pass manager 的方式，我这里使用的 new pass manager 。 添加一个LLVM pass来实现 Using LLVM For Program Transformation 中提出的 Lab: Find Non-Constant Format String . Any time the first parameter to printf, sprintf (others?) is nonconstant,

问题: LLVM 如何实现在汇编语言的 .s 文件中所有 call 指令前后添加2行固定指令？ 答: LLVM 中 function 相关的 pass 用于修改 ir ，而 machine function 相关的 pas 用于修改 mir ，也就相当于修改生成的汇编 编写 machine function pass 然后遍历每个指令，在 call 之前调用 buildMI 函数插入需要的指令，这个 pass 必须在 code emit 之前，指令调度之后，为了避免指令调度把插入的固定指令移动到其它位置 判断一个 mir 是否 call 函数，可以使用 mi->desc().isCall 判断 来源： CSDN 作者： adream307 链接： https://blog.csdn.net/adream307/article/details/103885963