llvm libLLVMCore源码分析 07 - Unary & Binary Operators

已于 2022-02-28 11:59:36 修改
阅读量769 收藏 1
点赞数
文章标签： llvm
于 2022-02-26 18:25:38 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/weixin_42654107/article/details/123147536
版权

源码路径

llvm\include\llvm\IR\Instruction.h

llvm\include\llvm\IR\Instruction.def

llvm\include\llvm\IR\Instructions.h

llvm\include\llvm\IR\InstrTypes.h

Unary Operators

所有的Unary Operators在llvm中均使用类UnaryOperator实现，没有单独的子类。

fneg

fneg指令用于返回操作数的负值。

语法

<result> = fneg [fast-math flags]* <ty> <op1>   ; yields ty:result

参数说明：

ty：必须是浮点类型或者浮点类型矢量（Vector）。

语义

该指令复制操作数的值，并将标志位翻转。该指令可以使用fast-math flags，使能不安全的浮点数优化。

示例

<result> = fneg float %val          ; yields float:result = -%var

Binary Operators

所有的Binary Operators在llvm中均使用类BinaryOperator实现，没有单独的子类。

add

add指令返回两个操作数的和。

语法

<result> = add <ty> <op1>, <op2>          ; yields ty:result
<result> = add nuw <ty> <op1>, <op2>      ; yields ty:result
<result> = add nsw <ty> <op1>, <op2>      ; yields ty:result
<result> = add nuw nsw <ty> <op1>, <op2>  ; yields ty:result

参数说明：

ty：两个操作数的类型相同，必须是整型或者整形类型矢量。

语义

add指令返回两个操作数的和。如果result为无符号数且溢出，则result = result % 2n，其中n为result的位宽。因为LLVM整形使用二进制补码的形式，所以add指令可以同时用于有符号和无符号数。

nuw表示“No Unsigned Wrap”，如果设置了该关键字，则无符号数加法溢出得到的result为Poison Value。

nsw表示"No signed Wrap"，如果设置了该关键字，则有符号数加法溢出得到的result为Poison Value。

示例

<result> = add i32 4, %var          ; yields i32:result = 4 + %var

fadd

fadd指令返回两个操作数的和。

语法

<result> = fadd [fast-math flags]* <ty> <op1>, <op2>   ; yields ty:result

参数说明：

ty：两个操作数的类型相同，必须是浮点类型或者浮点类型矢量。

语义

fadd指令返回两个操作数的和。该指令可以使用fast-math flags，使能不安全的浮点数优化。

示例

<result> = fadd float 4.0, %var          ; yields float:result = 4.0 + %var

sub

sub指令返回两个操作数的差。

语法

<result> = sub <ty> <op1>, <op2>          ; yields ty:result
<result> = sub nuw <ty> <op1>, <op2>      ; yields ty:result
<result> = sub nsw <ty> <op1>, <op2>      ; yields ty:result
<result> = sub nuw nsw <ty> <op1>, <op2>  ; yields ty:result

参数说明：

ty：两个操作数的类型相同，必须是整型或者整形类型矢量。

语义

sub指令返回两个操作数的差。如果result为无符号数且溢出，则result = result % 2n，其中n为result的位宽。因为LLVM整形使用二进制补码的形式，所以sub指令可以同时用于有符号和无符号数。

nuw表示“No Unsigned Wrap”，如果设置了该关键字，则无符号数减法溢出得到的result为Poison Value。

nsw表示"No signed Wrap"，如果设置了该关键字，则有符号数减法溢出得到的result为Poison Value。

示例

<result> = sub i32 4, %var          ; yields i32:result = 4 - %var
<result> = sub i32 0, %val          ; yields i32:result = -%var

fsub

fsub指令返回两个操作数的差。

语法

<result> = fsub [fast-math flags]* <ty> <op1>, <op2>   ; yields ty:result

参数说明：

ty：两个操作数的类型相同，必须是浮点类型或者浮点类型矢量。

语义

fsub指令返回两个操作数的差。该指令可以使用fast-math flags，使能不安全的浮点数优化。

示例

<result> = fsub float 4.0, %var           ; yields float:result = 4.0 - %var
<result> = fsub float -0.0, %val          ; yields float:result = -%var

mul

mul指令返回两个操作数的乘积。

语法

<result> = mul <ty> <op1>, <op2>          ; yields ty:result
<result> = mul nuw <ty> <op1>, <op2>      ; yields ty:result
<result> = mul nsw <ty> <op1>, <op2>      ; yields ty:result
<result> = mul nuw nsw <ty> <op1>, <op2>  ; yields ty:result

参数说明：

ty：两个操作数的类型相同，必须是整型或者整形类型矢量。

语义

mul指令返回两个操作数的乘积。如果result为无符号数且溢出，则result = result % 2n，其中n为result的位宽。因为LLVM整形使用二进制补码的形式，所以mul指令可以同时用于有符号和无符号数。

nuw表示“No Unsigned Wrap”，如果设置了该关键字，则无符号数乘法溢出得到的result为Poison Value。

nsw表示"No signed Wrap"，如果设置了该关键字，则有符号数乘法溢出得到的result为Poison Value。

示例

<result> = mul i32 4, %var          ; yields i32:result = 4 * %var

fmul

fmul指令返回两个操作数的乘积。

语法

<result> = fmul [fast-math flags]* <ty> <op1>, <op2>   ; yields ty:result

参数说明：

ty：两个操作数的类型相同，必须是浮点类型或者浮点类型矢量。

语义

fmul指令返回两个操作数的乘积。该指令可以使用fast-math flags，使能不安全的浮点数优化。

示例

<result> = fmul float 4.0, %var          ; yields float:result = 4.0 * %var

udiv

udiv指令返回两个操作数的商。

语法

<result> = udiv <ty> <op1>, <op2>         ; yields ty:result
<result> = udiv exact <ty> <op1>, <op2>   ; yields ty:result

参数说明：

ty： 两个操作数的类型相同，必须是整型或者整形类型矢量。

语义

udiv指令返回两个无符号数的商，除0的行为是未定义的。如果使用了exact关键字，则如果op1不是op2的整数倍，result是一个Poison Value。

示例

<result> = udiv i32 4, %var          ; yields i32:result = 4 / %var

sdiv

sdiv指令返回两个操作数的商。

语法

<result> = sdiv <ty> <op1>, <op2>         ; yields ty:result
<result> = sdiv exact <ty> <op1>, <op2>   ; yields ty:result

参数说明：

ty： 两个操作数的类型相同，必须是整型或者整形类型矢量。

语义

udiv指令返回两个有符号数的商，除0的行为是未定义的。除法溢出同样会导致未定义行为，比如做32位除法：-2147483648 / -1(2147483648超过了有符号整型的范围)

如果使用了exact关键字，则如果op1不是op2的整数倍，result是一个Poison Value。

示例

<result> = sdiv i32 4, %var          ; yields i32:result = 4 / %var

fdiv

fdiv指令返回两个操作数的商。

语法

<result> = fdiv [fast-math flags]* <ty> <op1>, <op2>   ; yields ty:result

参数说明：

ty： 两个操作数的类型相同，必须是浮点类型或者浮点类型矢量。

语义

fdiv指令返回两个浮点数的商。该指令可以使用fast-math flags，使能不安全的浮点数优化。

示例

<result> = fdiv float 4.0, %var          ; yields float:result = 4.0 / %var

 urem

urem指令返回两个操作数的余数。

语法

<result> = urem <ty> <op1>, <op2>   ; yields ty:result

参数说明：

ty： 两个操作数的类型相同，必须是整型或者整形类型矢量。

语义

urem指令返回两个无符号数的余数，除0的行为是未定义的。

示例

<result> = urem i32 4, %var          ; yields i32:result = 4 % %var

srem

 srem指令返回两个操作数的余数。

语法

<result> = srem <ty> <op1>, <op2>   ; yields ty:result

参数说明：

ty： 两个操作数的类型相同，必须是整型或者整形类型矢量。

语义

srem指令返回两个无符号数的余数，余数的符号和被除数一致。除0的行为是未定义的。除法溢出同样会导致未定义行为，比如做32位除法：-2147483648 / -1(2147483648超过了有符号整型的范围)

示例

<result> = frem float 4.0, %var          ; yields float:result = 4.0 % %var

shl

shl指令返回第1个操作数左移第2个操作数指定的bit的结果。

语法

<result> = shl <ty> <op1>, <op2>           ; yields ty:result
<result> = shl nuw <ty> <op1>, <op2>       ; yields ty:result
<result> = shl nsw <ty> <op1>, <op2>       ; yields ty:result
<result> = shl nuw nsw <ty> <op1>, <op2>   ; yields ty:result

参数说明：

ty：两个操作数的类型相同，必须是整型或者整形类型矢量。其中op2会被当作无符号数处理。

语义

result = op1 * 2^op2 mod 2^n

其中n是result的位宽，如果op2等于或者大于op1的位宽，则result为一个Poison Value。

nuw表示“No Unsigned Wrap”，如果设置了该关键字，则无符号数移位溢出得到的result为Poison Value。

nsw表示"No signed Wrap"，如果设置了该关键字，则有符号数移位溢出得到的result为Poison Value。

示例

<result> = shl i32 4, %var   ; yields i32: 4 << %var
<result> = shl i32 4, 2      ; yields i32: 16
<result> = shl i32 1, 10     ; yields i32: 1024
<result> = shl i32 1, 32     ; undefined
<result> = shl <2 x i32> < i32 1, i32 1>, < i32 1, i32 2>   ; yields: result=<2 x i32> < i32 2, i32 4>

lshr

lshr指令返回第1个操作数逻辑右移第2个操作数指定的bit并用0填充MSB的结果。

语法

<result> = lshr <ty> <op1>, <op2>         ; yields ty:result
<result> = lshr exact <ty> <op1>, <op2>   ; yields ty:result

参数说明：

ty：两个操作数的类型相同，必须是整型或者整形类型矢量。其中op2会被当作无符号数处理。

语义

指令实现逻辑右移，既使用0填充移位后的MSB。如果op2等于或大于op1的位宽，则result为Poison Value。如果设置了exact关键字，则如果右移出的bit不为0，result为Poison Value。

示例

<result> = lshr i32 4, 1   ; yields i32:result = 2
<result> = lshr i32 4, 2   ; yields i32:result = 1
<result> = lshr i8  4, 3   ; yields i8:result = 0
<result> = lshr i8 -2, 1   ; yields i8:result = 0x7F
<result> = lshr i32 1, 32  ; undefined
<result> = lshr <2 x i32> < i32 -2, i32 4>, < i32 1, i32 2>   ; yields: result=<2 x i32> < i32 0x7FFFFFFF, i32 1>

ashr

ashr指令返回第1个操作数算术右移第2个操作数指定的bit的结果。

语法

<result> = ashr <ty> <op1>, <op2>         ; yields ty:result
<result> = ashr exact <ty> <op1>, <op2>   ; yields ty:result

参数说明：

ty：两个操作数的类型相同，必须是整型或者整形类型矢量。其中op2会被当作无符号数处理。

语义

指令实现算术右移，既使用op1的符号位填充移位后的MSB。如果op2等于或大于op1的位宽，则result为Poison Value。如果设置了exact关键字，则如果右移出的bit不为0，result为Poison Value。

示例

<result> = ashr i32 4, 1   ; yields i32:result = 2
<result> = ashr i32 4, 2   ; yields i32:result = 1
<result> = ashr i8  4, 3   ; yields i8:result = 0
<result> = ashr i8 -2, 1   ; yields i8:result = -1
<result> = ashr i32 1, 32  ; undefined
<result> = ashr <2 x i32> < i32 -2, i32 4>, < i32 1, i32 3>   ; yields: result=<2 x i32> < i32 -1, i32 0>

and

and指令返回两个操作数的按位逻辑与的结果。

语法

<result> = and <ty> <op1>, <op2>   ; yields ty:result

参数说明：

ty：两个操作数的类型相同，必须是整型或者整形类型矢量。

语义

and指令的真值表：

In0In1Out
000
010
100
111

示例

<result> = and i32 4, %var         ; yields i32:result = 4 & %var
<result> = and i32 15, 40          ; yields i32:result = 8
<result> = and i32 4, 8            ; yields i32:result = 0

or

and指令返回两个操作数的按位逻辑或的结果。

语法

<result> = or <ty> <op1>, <op2>   ; yields ty:result

参数说明：

ty：两个操作数的类型相同，必须是整型或者整形类型矢量。

语义

or指令的真值表：

In0In1Out
000
011
101
111

示例

<result> = or i32 4, %var         ; yields i32:result = 4 | %var
<result> = or i32 15, 40          ; yields i32:result = 47
<result> = or i32 4, 8            ; yields i32:result = 12

xor

and指令返回两个操作数的按位逻辑异或的结果。

语法

<result> = xor <ty> <op1>, <op2>   ; yields ty:result

参数说明：

ty：两个操作数的类型相同，必须是整型或者整形类型矢量。

语义

xor指令的真值表：

In0In1Out
000
011
101
110

示例

<result> = xor i32 4, %var         ; yields i32:result = 4 ^ %var
<result> = xor i32 15, 40          ; yields i32:result = 39
<result> = xor i32 4, 8            ; yields i32:result = 12
<result> = xor i32 %V, -1          ; yields i32:result = ~%V

vincent&lin
关注
  • 0
    点赞
  • 踩
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
llvm源码 &mdash;&mdash; llvm-8.0.0.src.7z
11-20
llvm源码，绝对完整，可供阅读源码时使用 源码阅读文档可参考我的其他分享资源，Clang 源码我也分享了 GOGOGO
llvm libLLVMCore源码分析 05 - Instruction Class
weixin_42654107的博客
02-25 979
源码路径 llvm\include\llvm\IR\Instruction.h llvm\include\llvm\IR\Instruction.def llvm\include\llvm\IR\Instructions.h llvm\include\llvm\IR\InstrTypes.h Instruction和BasicBlock 在分析代码前，需要先介绍一下llvm IR的组织结构。在llmv中，一个Module中可以有n个Function，Function内可以有n个BasicBloc
程序分析 clang系列学习（一）
qq_44370676的博客
01-29 3874
Clang Static Analyzer的相关背景介绍以及简单使用，暂时不涉及手写Checker
“Clang” CFE Internals Manual---中文版---"Clang"C语言前端内部手册
SHINING的博客
12-13 7883
Clang内部手册，是介绍Clang内部的设计和主要内容的最重要的文档，是hacking Clang所必不可缺少的一个文档。
Implementing a JIT Compiled Language with Haskell and LLVM
SAN_YUN的专栏
03-05 905
原文： http://www.stephendiehl.com/llvm/   Adapted by Stephen Diehl ( @smdiehl ) This is an open source project hosted on Github. Corrections and feedback always welcome. The written text licensed u...
llvm-toolset-7-clang-devel-5.0.1-4.el7.x86_64.rpm
12-27
官方离线安装包，亲测可用。使用rpm -ivh [rpm完整包名] 进行安装
llvm-toolset-7-clang-5.0.1-4.el7.x86_64.rpm
12-27
官方离线安装包，亲测可用。使用rpm -ivh [rpm完整包名] 进行安装
llvm-toolset-7-llvm-devel-5.0.1-8.el7.x86_64.rpm
12-27
官方离线安装包，亲测可用。使用rpm -ivh [rpm完整包名] 进行安装
llvm-toolset-7-clang-libs-4.0.1-1.el7.x86_64.rpm
12-27
官方离线安装包，亲测可用。使用rpm -ivh [rpm完整包名] 进行安装
android手机应用源码Imsdroid语音视频通话源码.rar
05-20
android手机应用源码Imsdroid语音视频通话源码.rar
营销计划汇报PPT，市场品牌 推广渠道 产品 营销策略tbb.pptx
05-20
营销计划汇报PPT，市场品牌 推广渠道 产品 营销策略tbb.pptx
JavaScript_超过100种语言的纯Javascript OCR.zip
05-20
JavaScript
JavaScript_跨平台React UI包.zip
05-20
JavaScript
node-v16.17.0-headers.tar.xz
最新发布
05-20
Node.js，简称Node，是一个开源且跨平台的JavaScript运行时环境，它允许在浏览器外运行JavaScript代码。Node.js于2009年由Ryan Dahl创立，旨在创建高性能的Web服务器和网络应用程序。它基于Google Chrome的V8 JavaScript引擎，可以在Windows、Linux、Unix、Mac OS X等操作系统上运行。 Node.js的特点之一是事件驱动和非阻塞I/O模型，这使得它非常适合处理大量并发连接，从而在构建实时应用程序如在线游戏、聊天应用以及实时通讯服务时表现卓越。此外，Node.js使用了模块化的架构，通过npm（Node package manager，Node包管理器）,社区成员可以共享和复用代码，极大地促进了Node.js生态系统的发展和扩张。 Node.js不仅用于服务器端开发。随着技术的发展，它也被用于构建工具链、开发桌面应用程序、物联网设备等。Node.js能够处理文件系统、操作数据库、处理网络请求等，因此，开发者可以用JavaScript编写全栈应用程序，这一点大大提高了开发效率和便捷性。 在实践中，许多大型企业和组织已经采用Node.js作为其Web应用程序的开发平台，如Netflix、PayPal和Walmart等。它们利用Node.js提高了应用性能，简化了开发流程，并且能更快地响应市场需求。
520表白代码.rar
05-20
520表白html5爱心代码
一个简单的HTML5和CSS代码示例，用于创建一个动态的爱心形状，并在网页上展示一个类似520表白的消息 这个示例使用了CSS的
05-20
520表白html5爱心代码 一个简单的HTML5和CSS代码示例，用于创建一个动态的爱心形状，并在网页上展示一个类似520表白的消息。这个示例使用了CSS的动画效果和HTML的结构。
智慧养老社区方案.pdf
05-20
智慧养老社区方案.pdf
node-v14.11.0-headers.tar.xz
05-20
Node.js，简称Node，是一个开源且跨平台的JavaScript运行时环境，它允许在浏览器外运行JavaScript代码。Node.js于2009年由Ryan Dahl创立，旨在创建高性能的Web服务器和网络应用程序。它基于Google Chrome的V8 JavaScript引擎，可以在Windows、Linux、Unix、Mac OS X等操作系统上运行。 Node.js的特点之一是事件驱动和非阻塞I/O模型，这使得它非常适合处理大量并发连接，从而在构建实时应用程序如在线游戏、聊天应用以及实时通讯服务时表现卓越。此外，Node.js使用了模块化的架构，通过npm（Node package manager，Node包管理器）,社区成员可以共享和复用代码，极大地促进了Node.js生态系统的发展和扩张。 Node.js不仅用于服务器端开发。随着技术的发展，它也被用于构建工具链、开发桌面应用程序、物联网设备等。Node.js能够处理文件系统、操作数据库、处理网络请求等，因此，开发者可以用JavaScript编写全栈应用程序，这一点大大提高了开发效率和便捷性。 在实践中，许多大型企业和组织已经采用Node.js作为其Web应用程序的开发平台，如Netflix、PayPal和Walmart等。它们利用Node.js提高了应用性能，简化了开发流程，并且能更快地响应市场需求。
winlibs-x86_64-posix-seh-gcc-13.2.0-llvm-16.0.6-mingw-w64msvcrt-11.0.1-r1.zi
01-17
winlibs-x86_64-posix-seh-gcc-13.2.0-llvm-16.0.6-mingw-w64msvcrt-11.0.1-r1.zi是一个包含了一组开发工具和库的压缩文件。它针对64位的x86架构系统，提供了POSIX兼容的异常处理机制（SEH）和支持GCC 13.2.0和LLVM ...

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值