摘要: 自从年初手断了以后好久不写文字了, 说好的笔耕不辍也忘了(=.=), 今天正好有同学问AntiDepBreaker, 就花点时间看了下代码(顺便水一篇). 背景概述 1. 什么是Anti Dependency 在数据流分析中一般将数据依赖分为三种: 写后读(RAW, read after write 阅读全文
posted @ 2021-06-30 01:40 Five100Miles 阅读(1429) 评论(1) 推荐(1) 编辑
摘要: 这周定位一个与DenseMap有关的问题, 正好趁机过一下它的实现. DenseMap(稠密映射)是LLVM自定义的关系类的容器, 我们可以像std::map一样使用它, 但要注意两者之间稍稍有些区别. 概述 类似于unorderd_map, DenseMap也是通过哈希实现, 区别在于DenseM 阅读全文
posted @ 2021-01-03 20:16 Five100Miles 阅读(3187) 评论(0) 推荐(1) 编辑
摘要: 再有半个小时就迎来2021年啦, 看着别人对过去一年的总结, 也想要说些什么. 回望2020是充满变数的一年, 不管是大环境从年初的CVOID到美帝经济制裁再到换届选举川普下台, 几十年来的和平发展环境逐渐转向冲突对抗, 还是从自身而言: 团队变动各位伙伴各奔东西, 新的工作新的职责新的团队, 一切 阅读全文
posted @ 2021-01-01 00:44 Five100Miles 阅读(475) 评论(2) 推荐(3) 编辑
摘要: 上节介绍了IR中底层的数据表达方式(Value)及其组织方式(有向图), 有了这个基础就可以理解LLVM IR中的一些基本构成. 本节将要介绍其中的一个基础概念: 指令(Instruction). LLVM IR指令基础 LLVM使用Instruction来描述一条具体的指令. 与ISA设计类似, 阅读全文
posted @ 2020-12-30 02:26 Five100Miles 阅读(3750) 评论(0) 推荐(0) 编辑
摘要: ADT(advanced data type)是LLVM针对其业务逻辑自定义的高性能抽象类型, 其定义见include/llvm/ADT目录. ADT目录下既包含了DenseMap/SmallVector这类容器封装, 也包含了APInt等大数运算支持, 还有triple这类从编译器业务抽象出来的类 阅读全文
posted @ 2020-12-25 01:44 Five100Miles 阅读(2457) 评论(0) 推荐(1) 编辑
摘要: 在LLVM中输入程序流以IR的形式呈现, 之前培训过如何打印与阅读文本形式的IR, 这次简要介绍一下在内存中IR的组织形式, 以及处理/转换IR时需要注意点. 本节主要介绍IR组织中最底层的数据结构(Value), 它们是如何组织的(有向图)以及如何修改它们之间的联系. 一切皆Value 当在提及L 阅读全文
posted @ 2020-12-06 03:06 Five100Miles 阅读(5053) 评论(3) 推荐(3) 编辑
摘要: 上周同事讨论ARM内存序问题, 正好是感兴趣的方面于是就研究了一下, 可惜电脑爆炸了拖到今天才恢复正常. 内存序问题的由来 内存序(memory ordering)是指处理器访问内存的顺序, 在传统的in order处理器上对内存的访问顺序由compiler在编译期间决定, 处理器顺序执行指令流, 阅读全文
posted @ 2020-11-03 03:07 Five100Miles 阅读(1639) 评论(0) 推荐(0) 编辑
摘要: 问题 如下所示有两个cxx源文件, 分别定义与使用一个const变量. 将其一起编译时报错: undefined reference of 'meow::miao'. [01:06:44] hansy@hansy:~/testcase$ cat 1.cc namespace meow { const 阅读全文
posted @ 2020-10-11 04:16 Five100Miles 阅读(275) 评论(0) 推荐(0) 编辑
摘要: 趁着放假把之前记得笔记整理下, 顺带看下是否有新的理解, 首先从ADT与Support目录开始. LLVM扩展了运行时类型识别能力, 提供一组自定义接口用于安全的动态判断与类型转换(isa<>, dyn_cast<>, .etc), 熟悉LLVM代码的开发者应该比较熟悉其使用方法了, 对于不熟悉的开 阅读全文
posted @ 2020-10-03 21:26 Five100Miles 阅读(1847) 评论(0) 推荐(0) 编辑
摘要: semihosting背景介绍 semihosting是ARM提出的一种新的调试机制, 它允许运行在目标ARM架构上的代码与主机通信并借用主机侧的IO功能, 一般用于仿真环境/调试环境. 更多信息见ARM官方文档. 有意思的是, RISCV在今年也推出了基于自身架构的semihosting标准, 其 阅读全文
posted @ 2020-10-01 23:46 Five100Miles 阅读(1702) 评论(0) 推荐(0) 编辑
摘要: 今天看到一个浮点运算的问题, 觉得很有代表性, 就记录一下. 有同事问下面这段代码运行结果是什么, 还很贴心的给了4个选项: 30500 (0.000061 * 500 * 1000000) 与A同量级的近似值 具体值不知道, 但肯定是小于A量级某个浮点数 1024.0 (精确值) #include 阅读全文
posted @ 2020-06-22 01:48 Five100Miles 阅读(1298) 评论(0) 推荐(0) 编辑
摘要: 今天定位了一个const引入的优化问题, 问题本身挺简单的, 但是自己太菜, 写代码时竟然没注意, 所以记录一下, 引起警戒. 问题背景与定位 测试团队反馈修改newlib系统调用以后跑coremark报错bad alloc, 于是就看了了下sbrk()的修改. 因为之前在修改newlib时需要通过 阅读全文
posted @ 2020-06-17 22:27 Five100Miles 阅读(320) 评论(0) 推荐(0) 编辑
摘要: 最近在适配newlib代码时遇到一个关于弱声明的问题, 研究了一下才发现自己对weak属性与链接时符号选择理解有误. 问题背景 在一个库(liba.a)中重新定义了一个weak属性的函数(func_a), 在同一库中调用该函数时链接了弱声明的函数版本, 但是当通过另一个库(libb.a)的库函数(f 阅读全文
posted @ 2020-06-13 22:28 Five100Miles 阅读(596) 评论(0) 推荐(0) 编辑
摘要: 平时工作常常遇到一些有趣的问题, 可惜因为时间原因没能及时总结. 最近下定决心把这些问题收集起来做个记录, 以供以后有空时候回顾自己当时定位问题的思路与盲区, 总结经验与教训, 如果有空还可以补充拓展相关背景, 补齐自己的知识短板. 问题现象 这个问题是两年前刚接触编译器开发时遇到的问题, 回头来看 阅读全文
posted @ 2020-05-31 15:01 Five100Miles 阅读(1152) 评论(0) 推荐(1) 编辑
摘要: 本节主要介绍指令选择的具体步骤(select). select是将基于ISD SDNode的DAG替换成基于机器指令节点的DAG的过程. select基本流程 在完成combine与legalize之后SelectionDAGISel::CodeGenAndEmitDAG()会调用Selection 阅读全文
posted @ 2020-05-24 21:53 Five100Miles 阅读(6951) 评论(0) 推荐(5) 编辑
摘要: 本节介绍指令选择中legalize的概念, 为中端IR精确匹配机器指令需要同时检查操作符与操作数, 在正式指令选择前对不合法的操作符或操作数作出转换的过程即legalize. 通常情况下给定一个后端架构其支持的指令集: 1. 不一定能支持表达所有中端IR的操作. 一个显而易见的例子是在一个不支持浮点 阅读全文
posted @ 2020-05-14 02:01 Five100Miles 阅读(5600) 评论(0) 推荐(1) 编辑
摘要: 本节将要介绍指令选择中combine优化的概念, combine的目的是简化DAG, 合并/消除冗余节点, 为生成更优的指令做准备. 大部分combine是与架构无关的优化, 但LLVM也提供了修改combine的custom接口. 尽管本节介绍的是combine的流程, 但combine与lega 阅读全文
posted @ 2020-05-08 00:51 Five100Miles 阅读(5473) 评论(0) 推荐(3) 编辑
摘要: 本节主要介绍SelectionDAG的构成与lowering的过程. SelectionDAG是LLVM指令选择的基础框架, 不论是O0编译时使用的FastISel还是O2编译时使用的SelectionDAGISel都会使用SelectionDAG来描述输入的程序流. 将输入的IR转换成Select 阅读全文
posted @ 2020-05-05 21:13 Five100Miles 阅读(11520) 评论(3) 推荐(4) 编辑
摘要: 本文最初是基于对新员工培训, 使其快速上手编译器后端代码而写的入门简介. 为方便阅读又根据模块细分为若干章, 内容以分析代码为主, 偶尔也会穿插一些理论扩展. 什么是指令选择 指令选择(instruction selection)是将中间语言转换成汇编或机器代码的过程. 如果仅为单一语言在单一目标上 阅读全文
posted @ 2020-05-03 15:50 Five100Miles 阅读(8657) 评论(1) 推荐(4) 编辑
摘要: 今天打开vimdiff时自动切到后台了, 手动fg还恢复不了, 但是尝试换个帐号登录是正常的, 怀疑是某个配置导致的问题. 于是比较下两者的vimrc, 发现之前为了能使vim识别alias命令开启了interactive shell, 导致vim的diff命令与shell的diff命令冲突了. 在 阅读全文
posted @ 2020-04-19 22:19 Five100Miles 阅读(357) 评论(0) 推荐(0) 编辑
摘要: 之前写tablegen的介绍写到一半放弃了, 最近培训需要再拉出来看看, 顺便做个笔记. 1. 语法介绍 官方文档见 "这里" , 以下是文档的翻译. 1.1. 类型系统 tablegen是强类型语言, 其类型系统同时包含low level(i.e. bit int)与high level(i.e. 阅读全文
posted @ 2020-03-13 01:47 Five100Miles 阅读(2498) 评论(0) 推荐(0) 编辑
摘要: mimalloc是微软去年6月开源的(竟然拖了半年才开始写笔记)新的内存分配器, 其最早由Daan Leijen开发, 为Koka与Lean等语言的runtime system提供内存管理. 根据 "官方文档" 描述, mimalloc在各类benchmark上性能均优于其它主流allocator( 阅读全文
posted @ 2020-01-09 02:23 Five100Miles 阅读(4487) 评论(0) 推荐(3) 编辑
摘要: 1. 什么是指令的side effect 在后端优化中常常见到MI.hasUnmodeledSideEffects()这个接口, 其代表该指令具有无法衡量的副作用. 对于这类指令, 编译器在优化时会保守处理, 比如指令调度会以此为边界(在其之后的指令不会调度到之前). 2. 查看指令的side ef 阅读全文
posted @ 2019-12-23 01:06 Five100Miles 阅读(2528) 评论(1) 推荐(0) 编辑
摘要: 好久没更新博客了, 最近调研安全编译选项(各类sanitizer), 抽空做个笔记. 本来想系统的分析一下compiler rt代码, 但是最近实在太懒了, 所以先介绍最简单的安全栈safestack, 之后有空再补上compiler rt框架以及其它sanitizer工具. 1. 什么是safes 阅读全文
posted @ 2019-12-05 01:11 Five100Miles 阅读(2132) 评论(1) 推荐(2) 编辑
摘要: 1. SMS介绍 SMS(Swing Modulo Scheduling, 摇摆模调度)是一个基于循环的与架构无关的SWP(software pipelining)指令调度框架, 其目的是通过将当前迭代的指令与上一迭代同时发射来提升并行度. 考虑以下伪代码: 不考虑跳转指令, 该循环需要独立发射三条 阅读全文
posted @ 2019-07-22 00:01 Five100Miles 阅读(3191) 评论(0) 推荐(4) 编辑
摘要: 1. 什么是RDF RDF(register data flow)是高通在开发Hexagon时实现的一套寄存器分配后dataflow graph. 由于LLVM框架本身推荐在SSA form下实现各类变换, 因此缺少在寄存器分配后的数据流分析工具. 然而在某些情况下(比如copy propagati 阅读全文
posted @ 2019-06-27 23:52 Five100Miles 阅读(2080) 评论(0) 推荐(1) 编辑
摘要: 1. pass的概念 在LLVM中优化以pass形式实现, 每一个pass代表一种优化. pass分为两类, 一类是分析(analysis)pass, 负责收集信息共其它pass使用, 辅助调试或使程序可视化; 另一类是变换(transform)pass, 改变程序的dataflow / contr 阅读全文
posted @ 2019-06-14 22:05 Five100Miles 阅读(7976) 评论(4) 推荐(1) 编辑
摘要: 1. 什么是IR IR(intermediate representation)是LLVM独创的中间表达式. 经典的compiler架构由前端frontend(读入源代码, 通过词法, 语法与语义分析建立AST), 中端optimizer(优化模块)与backend(通过指令选择, 寄存器分配等阶段 阅读全文
posted @ 2019-04-10 22:44 Five100Miles 阅读(4295) 评论(0) 推荐(2) 编辑
摘要: 1. 什么是tablegen tablegen是llvm用于开发和维护编译器中公共特性的条目(e.g. 指令描述, 寄存器描述)的代码, 使之灵活的描述与构造的自动化工具. 其本质是一个parser, 将输入的td文件转化为特定的数据结构后再输出为易于阅读的cpp代码. 更多介绍可见http://l 阅读全文
posted @ 2019-04-07 19:23 Five100Miles 阅读(5201) 评论(0) 推荐(1) 编辑
摘要: findfile()类似find命令, 可以快速查找文件. 它接受三个参数: (被搜索的)文件名, 搜索路径(与搜索方式)与匹配次数(-1为不限次数). 返回值是一个包含给定匹配次数的文件列表.例如平时工作时需要在头文件与源文件之间快速切换, 而两者又不在统一目录, 那么可以使用以下代码: 使用fi 阅读全文
posted @ 2018-10-23 00:12 Five100Miles 阅读(1123) 评论(0) 推荐(0) 编辑