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 = "x86_64-amd64-freebsd" First Class Types 第一类型
Single Value Types 单值类型
只在寄存器里头有效 Integer Type 整数类型 iN ;N为比特数 (通用描述) i1 一个比特整数
i32 32为整数 Floating-Point Types 浮点类型 half - 16位浮点值
float - 32位浮点值
double - 64位浮点值
fp128 - 128位浮点值
x86_fp80 - 80位浮点值
ppc_fp128 - 128位浮点值 模块结构
程序由模块组成,每个模块都是输入程序的翻译单元。
Hello, world 模块 ; 定义字符串常量作为全局常量
@.str = private unnamed_addr constant [13 x i8] c"hello world\0A\00" ; 外部声明的 puts 函数
declare i32 @puts(i8* nocapture) nounwind ; main 函数的定义
define i32 @main() { ; i32()*
; [13 x i8] 转换到 i8...
%cast210 = getelementptr [13 x i8], [13 x i8]* @.str, i64 0, i64 0 ; 调用 puts 函数,将字符串写入 stdout
call i32 @puts(i8* %cast210)
ret i32 0
} ; 命名元信息
!0 = !{i32 42, null, !"string"}
!foo = !{!0} 指令参考
========= Terminator Instructions
指示当前块完成后,执行哪个块。
终结指令典型的产生一个 void 值:他们影响控制流,而不是值。(invoke指令是一个例外) ret 返回
br 二元条件分支/无条件转移
switch 多条件分支
indirectbr
invoke 普通/带异常调用
resume 抛出异常?
catchswitch 捕获异常
catchret
cleanupret
unreachable 不可到达(无语义) Binary Operations add 加
fadd 浮点加
sub 减
fsub 浮点减
mul 乘
fmul 浮点乘
udiv 无符号整数除
sdib 带符号整数除
fdiv 浮点除
urem 无符号整数求余
srem 带符号整数求余
frem 浮点数求余 运算\类型 无符号整数 带符号整数 浮点数
+ add fadd
- sub fsub
* mul fmul
/ udiv sdiv fdiv
% urem srem frem Bitwise Binary Operations shl 左移
lshr 逻辑右移
ashr 算数右移
and 与
or 或
xor 异或 Vector Operations extractelement 取出元素
insertelement 插入元素
shufflevector Aggregate Operations extractvalue 取出值
insertvalue 插入值 Memory Access and Addressing Operations alloca 分配内存
load 从内存加载
store 储存到内存
fence
cmpxchg
atomicrmw 自动修改内存
getelementptr 获取 aggregate(集合) 数据结构的子成员地址 Coversion Operations 这个类型为转换指令(强制类型转换|铸造casting)
都取一个单一运算对象和一个类型。
对运算对象提供一系列位转换。 trunc .. to 截断转换
zext .. to 零扩展转换
sext .. to 符号位扩展转换
fptrunc .. to 浮点截断转换
fpext .. to 浮点扩展
fptoui .. to 浮点转无符号整数
fptosi .. to 浮点转带符号整数
uitofp .. to 无符号整数转浮点
sitofp .. to 带符号整数转浮点
ptrtoint .. to 指针转整数
inttoptr .. to 整数转指针
bitcast .. to 位模式转换(重新解释,不改变任何二进制位)
addrepacecast .. to 地址空间转换 Other Operations icmp 整数比较
fcmp 浮点数比较
phi φ 节点
select 条件值选择
call 简单函数调用
va_arg 可变参数
landingpad
catchpad
cleanuppad
LLVM 中间代码归纳的更多相关文章
- WebAssembly学习(一):认识WebAssembly
WebAssembly作为一门新兴起的技术,在 JavaScript 圈非常的火!人们都在谈论它多么多么快,怎样怎样改变 Web 开发领域,被各大巨头所推广,这篇文章对其做一个简单的了解认识,本文非原 ...
- [转帖]几张图让你看懂WebAssembly
几张图让你看懂WebAssembly https://www.jianshu.com/p/bff8aa23fe4d (图片来源:giphy.com) 编者按:本文由明非在众成翻译平台上翻译. ...
- [OC] 理解Bitcode:一种中间代码
Tip:参考资料 理解Bitcode:一种中间代码 (内容从该博客摘录的.本随笔摘录些简要内容.) App Distribution Guide – App Thinning (iOS, watchO ...
- LLVM和GCC的区别
最近在Mac OS X Mountain Lion下用Xcode进行开发,发现在编译选项里有如下所示的这两种编译器:一个是Apple LLVM compiler 4.2,另外一个是LLVM GCC 4 ...
- 理解Bitcode:一种中间代码
原文网址: http://www.cocoachina.com/ios/20150818/13078.html 今天试着用Xcode 7 beta 3在真机(iOS 8.3)上运行一下我们的工程,结果 ...
- 编译器:gcc, clang, llvm
clang Clang是LLVM的前端,可以用来编译C,C++,ObjectiveC等语言.传统的编译器通常分为三个部分,前端(frontEnd),优化器(Optimizer)和后端(backEnd) ...
- RenderScript on LLVM笔记
Android 为何引入 Render Script: 3D 可移植 ( 直接用 opengl 也能够移植呀?) 性能 易用性 ( 让 opengl 难入门的人,用 Render Script ?) ...
- LLVM和GCC的区别(LLVM提供了模块化的编译模块,非常有利于重用,以前的编译器都没有做到这一点)
最近在Mac OS X Mountain Lion下用Xcode进行开发,发现在编译选项里有如下所示的这两种编译器:一个是Apple LLVM compiler 4.2,另外一个是LLVM GCC 4 ...
- iOS开发系列-LLVM、Clang
LLVM LLVM计划启动于2000年,最初由University of Illinois at Urbana-Champaign的Chris Lattner主持开展. 我们可以认为LLVM是一个完整 ...
随机推荐
- IE浏览器弹出的文件下载工具条实现自动另存为
IE浏览器中如果有一个文件可以下载,用鼠标点击一下文件的超链接,会在IE浏览器下方出现一个工具条,工具条上主要有“打开” “保存”两个按钮. 如果点击“保存”按钮,会把附件保存到系统的“下载”或“Do ...
- linux下java调用C
linux下java调用C 分类: linux2012-05-22 09:12 1529人阅读 评论(0) 收藏 举报 javalinuxmakefilegccclasscommand 下面是在ubu ...
- Create Access Point on Archlinux
Create Access Point on Archlinux */--> Create Access Point on Archlinux 1 Solution Download creat ...
- SpringBoot常见面试题
什么是SpringBootSpringBoot的作用SpringBoot的优点SpringBoot的核心配置文件是什么,有何区别?SpringBoot的配置文件有几种格式,区别是什么?SpringBo ...
- nginx负载均衡如何实现
什么是nginx?Nginx("engine x")是一款是由俄罗斯的程序设计师Igor Sysoev所开发高性能的Web和反向代理服务器,也是一个 IMAP/POP3/SMTP ...
- 林轩田机器学习基石笔记4—Feasibility of Learning
上节课介绍了机器学习可以分为不同的类型.其中,监督式学习中的二元分类和回归分析是最常见的也是最重要的机器学习问题.本节课,我们将介绍机器学习的可行性,讨论问题是否可以使用机器学习来解决. 一.Lear ...
- leaflet加载各种地图
Leaflet调用各种地图的功能十分复杂,幸好有leaflet.ChineseTmsProviders这个插件,这四种地图直接就可以加载进来,十分方便. 下面是我做的例子: <!DOCTYPE ...
- cs231n spring 2017 lecture11 Detection and Segmentation
1. Semantic Segmentation 把每个像素分类到某个语义. 为了减少运算量,会先降采样再升采样.降采样一般用池化层,升采样有各种“Unpooling”.“Transpose Conv ...
- ajax异步的加深理解
过去印象中的ajax的异步操作,一直还居然在$.ajax函数内部的异步,真是大错特错,实际的异步操作,是针对整个js文件来的. 今天总算意识到了,实际情况如下: $(function(){ //[弹框 ...
- SpringBoot webjars 映射
添加静态资源映射 @Override protected void addResourceHandlers(ResourceHandlerRegistry registry) { registry.a ...