(3)llvm ir转换过程

2024-02-23 06:28
文章标签 转换 过程 ir llvm

本文主要是介绍(3)llvm ir转换过程,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

(1)DAG Lowering

        输入的IR转换成SelectionDAG的过程被称作lowering

就是把llvm ir转成这种

(2)DAG legalization

        "DAG legalization"(有向无环图合法化)是编译器后端,特别是在LLVM中处理SelectionDAG的一个阶段。它主要发生在将中间表示(IR)转换为具体机器指令之前的指令选择过程中。DAG合法化的目标是确保SelectionDAG中的所有节点都能直接映射到目标硬件平台支持的操作上,即保证DAG中的每个操作都是“合法”的,能够被硬件直接执行。

  (3)  指令选择

(4)Scheduling and Formation

重排指令

(5)SSA-based Machine Code Optimization

基于SSA的优化

(6)寄存器分配

寄存器分配的输入是一个SSA(Static Single Assignment)形式的中间表示(IR),这种表示确保每个变量只被赋值一次。此外,输入的IR已经经过了指令选择阶段,这意味着高级IR指令已经转换为更接近目标机器指令的形式,但这些指令目前还关联到虚拟寄存器,而不是实际的物理寄存器。

(7)post-allocation passes

(8)Prologue/Epilogue Code Insertion

在LLVM后端中,Prologue/Epilogue Code Insertion(序言/尾声代码插入)是指在函数的入口和出口处插入一些额外的代码,用于进行函数调用的准备和清理工作。这些代码用于保存和恢复寄存器、设置栈帧、处理参数传递等。

(9)peephole optimization

在LLVM后端中,Peephole Optimization(孔眼优化)是一种局部优化技术,它通过识别和替换一系列连续的指令序列,来改进代码的效率和质量。

(10)assembly printing

在LLVM后端中,Assembly Printing(汇编代码打印)是指将LLVM中间表示(IR)转换为目标机器的汇编代码的过程。

LLVM中的汇编代码是目标机器特定的低级指令序列,用于直接在目标机器上执行。通过汇编代码打印,LLVM后端可以将LLVM IR转换为目标机器的汇编代码,并将其输出为文本形式,以便查看和调试。

SSA形式的llvm ir可以用控制流图表示

然后控制流图里面的每一个部分可以用DAG表示

这篇关于(3)llvm ir转换过程的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/737775

相关文章

Redis中Hash从使用过程到原理说明

《Redis中Hash从使用过程到原理说明》RedisHash结构用于存储字段-值对,适合对象数据,支持HSET、HGET等命令,采用ziplist或hashtable编码,通过渐进式rehash优化... 目录一、开篇:Hash就像超市的货架二、Hash的基本使用1. 常用命令示例2. Java操作示例三

Redis中Set结构使用过程与原理说明

《Redis中Set结构使用过程与原理说明》本文解析了RedisSet数据结构,涵盖其基本操作(如添加、查找)、集合运算(交并差)、底层实现(intset与hashtable自动切换机制)、典型应用场... 目录开篇:从购物车到Redis Set一、Redis Set的基本操作1.1 编程常用命令1.2 集

Linux下利用select实现串口数据读取过程

《Linux下利用select实现串口数据读取过程》文章介绍Linux中使用select、poll或epoll实现串口数据读取,通过I/O多路复用机制在数据到达时触发读取,避免持续轮询,示例代码展示设... 目录示例代码(使用select实现)代码解释总结在 linux 系统里,我们可以借助 select、

k8s中实现mysql主备过程详解

《k8s中实现mysql主备过程详解》文章讲解了在K8s中使用StatefulSet部署MySQL主备架构,包含NFS安装、storageClass配置、MySQL部署及同步检查步骤,确保主备数据一致... 目录一、k8s中实现mysql主备1.1 环境信息1.2 部署nfs-provisioner1.2.

Java轻松实现PDF转换为PDF/A的示例代码

《Java轻松实现PDF转换为PDF/A的示例代码》本文将深入探讨Java环境下,如何利用专业工具将PDF转换为PDF/A格式,为数字文档的永续保存提供可靠方案,文中的示例代码讲解详细,感兴趣的小伙伴... 目录为什么需要将PDF转换为PDF/A使用Spire.PDF for Java进行转换前的准备通过

MyBatis/MyBatis-Plus同事务循环调用存储过程获取主键重复问题分析及解决

《MyBatis/MyBatis-Plus同事务循环调用存储过程获取主键重复问题分析及解决》MyBatis默认开启一级缓存,同一事务中循环调用查询方法时会重复使用缓存数据,导致获取的序列主键值均为1,... 目录问题原因解决办法如果是存储过程总结问题myBATis有如下代码获取序列作为主键IdMappe

linux部署NFS和autofs自动挂载实现过程

《linux部署NFS和autofs自动挂载实现过程》文章介绍了NFS(网络文件系统)和Autofs的原理与配置,NFS通过RPC实现跨系统文件共享,需配置/etc/exports和nfs.conf,... 目录(一)NFS1. 什么是NFS2.NFS守护进程3.RPC服务4. 原理5. 部署5.1安装NF

MySQL使用EXISTS检查记录是否存在的详细过程

《MySQL使用EXISTS检查记录是否存在的详细过程》EXISTS是SQL中用于检查子查询是否返回至少一条记录的运算符,它通常用于测试是否存在满足特定条件的记录,从而在主查询中进行相应操作,本文给大... 目录基本语法示例数据库和表结构1. 使用 EXISTS 在 SELECT 语句中2. 使用 EXIS

oracle 11g导入\导出(expdp impdp)之导入过程

《oracle11g导入导出(expdpimpdp)之导入过程》导出需使用SEC.DMP格式,无分号;建立expdir目录(E:/exp)并确保存在;导入在cmd下执行,需sys用户权限;若需修... 目录准备文件导入(impdp)1、建立directory2、导入语句 3、更改密码总结上一个环节,我们讲了

使用Python批量将.ncm格式的音频文件转换为.mp3格式的实战详解

《使用Python批量将.ncm格式的音频文件转换为.mp3格式的实战详解》本文详细介绍了如何使用Python通过ncmdump工具批量将.ncm音频转换为.mp3的步骤,包括安装、配置ffmpeg环... 目录1. 前言2. 安装 ncmdump3. 实现 .ncm 转 .mp34. 执行过程5. 执行结