CPU-逻辑移位操作与空指令说明

简介: CPU-逻辑移位操作与空指令说明

逻辑、移位操作与空指令说明


     MIPS32指令集架构中定义的逻辑操作指令有8条:and、andi、or、ori、xor、xori、nor、lui。当中ori指令已经实现了,本章要实现其余7条指令。

MIPS32指令集架构中定义的移位操作指令有6条:sll、sllv、sra、srav、srl、srlv。

     MIPS32指令集架构中定义的空指令有2条:nop、ssnop。

当中ssnop是一种特殊类型的空操作。在每一个周期发射多条指令的CPU中,使用ssnop指令能够确保单独占用一个发射周期。OpenMIPS设计为标量处理器,也就是每一个周期发射一条指令,所以ssnop的作用与nop同样。能够依照nop指令的处理方式来处理ssnop指令。

     另外,MIPS32指令集架构中还定义了sync、pref这2条指令,当中sync指令用于保证载入、存储操作的顺序,对于OpenMIPS而言,是严格依照指令顺序运行的,载入、存储操作也是依照顺序进行的,所以能够将sync指令当作nop指令处理,在这里将其归纳为空指令。pref指令用于缓存预取,OpenMIPS没有实现缓存,所以也能够将pref指令当作nop指令处理,此处也将其归纳为空指令。

     以上17条指令依照格式、作用的不用,又可分为几类,分别说明例如以下。

1、and、or、xor、nor


     这4条指令的格式如图5-10所看到的。从图中能够发现这4条指令都是R类型指令。而且指令码都是6'b000000,也就是MIPS32指令集架构中定义的SPECIAL类。此外,第6-10bit都为0,须要根据指令中0-5bit功能码的值进一步推断是哪一种指令。

image.png

当功能码是6'b100100时,表示是and指令。逻辑“与”运算

     指令使用方法为:and rd, rs, rt

     指令作用为:rd <- rs AND rt,将地址为rs的通用寄存器的值。与地址为rt的通用寄存器的值进行逻辑“与”运算。运算结果保存到地址为rd的通用寄存器中。

当功能码是6'b100101时。表示是or指令,逻辑“或”运算

     指令使用方法为:or rd, rs, rt

     指令作用为:rd <- rs OR rt。将地址为rs的通用寄存器的值,与地址为rt的通用寄存器的值进行逻辑“或”运算,运算结果保存到地址为rd的通用寄存器中。

当功能码是6'b100110时,表示是xor指令,异或运算

     指令使用方法为:xor rd, rs, rt

     指令作用为:rd <- rs XOR rt,将地址为rs的通用寄存器的值,与地址为rt的通用寄存器的值进行逻辑“异或”运算,运算结果保存到地址为rd的通用寄存器中。

当功能码是6'b100111时,表示是nor指令。或非运算

     指令使用方法为:nor rd, rs, rt

     指令作用为:rd <- rs NOR rt。将地址为rs的通用寄存器的值。与地址为rt的通用寄存器的值进行逻辑“或非”运算,运算结果保存到地址为rd的通用寄存器中。

2、andi、xori指令


     这2条指令的格式如图5-11所看到的。从图中能够发现这2条指令都是I类型指令,能够根据指令中26-31bit指令码的值推断是哪一种指令。

image.png

当指令码是6'b001100,表示是andi指令,逻辑“与”运算

     指令使用方法为:andi rt, rs, immediate

     指令作用为:rt <- rs AND zero_extended(immediate)。将地址为rs的通用寄存器的值,与指令中马上数进行零扩展后的值进行逻辑“与”运算,运算结果保存到地址为rt的通用寄存器中。

当指令码是6'b001110。表示是xori指令。异或运算

     指令使用方法为:xori rt, rs, immediate

     指令作用为:rt <- rs XOR zero_extended(immediate)。将地址为rs的通用寄存器的值。与指令中马上数进行零扩展后的值进行逻辑“异或”运算,运算结果保存到地址为rt的通用寄存器中。

3、lui指令


     lui指令的格式如图5-12所看到的。

从图中能够发现lui指令是I类型指令,能够根据指令中26-31bit指令码的值是否为6'b001111。从而推断是否是lui指令。

image.png

 指令使用方法为:lui rt, immediate

     指令作用为:rt <- immediate || 016,将指令中的16bit马上数保存到地址为rt的通用寄存器的高16位。另外。地址为rt的通用寄存器的低16位使用0填充。

4、sll、sllv、sra、srav、srl、srlv指令


     这6条指令的格式如图5-13所看到的,从图中能够发现这6条指令都是R类型指令。而且指令码都是6'b000000。也就是都是SPECIAL类,须要根据指令中0-5bit功能码的值进一步推断是哪一种指令。

image.png

当功能码是6'b000000,表示是sll指令,逻辑左移

     指令使用方法为:sll rd, rt, sa

     指令作用为:rd <- rt << sa (logic),将地址为rt的通用寄存器的值,向左移sa位。空出来的位置使用0填充。结果保存到地址为rd的通用寄存器中。

当功能码是6'b000010,表示是srl指令。逻辑右移

     指令使用方法为:srl rd, rt, sa

     指令作用为:rd <- rt >> sa (logic),将地址为rt的通用寄存器的值,向右移sa位,空出来的位置使用0填充,结果保存到地址为rd的通用寄存器中。

当功能码是6'b000011。表示是sra指令,算术右移

     指令使用方法为:sra rd, rt, sa

     指令作用为:rd <- rt >> sa (arithmetic),将地址为rt的通用寄存器的值,向右移sa位。空出来的位置使用rt[31]的值填充,结果保存到地址为rd的通用寄存器中。

当功能码是6'b000100。表示是sllv指令,逻辑左移

     指令使用方法为:sllv rd, rt, rs

     指令作用为:rd <- rt << rs[4:0](logic)。将地址为rt的通用寄存器的值。向左移位,空出来的位置使用0填充,结果保存到地址为rd的通用寄存器中。移位位数由地址为rs的寄存器值的0-4bit确定。

当功能码是6'b000110,表示是srlv指令。逻辑右移

     指令使用方法为:srlv rd, rt, rs

     指令作用为:rd <- rt >> rs[4:0](logic),将地址为rt的通用寄存器的值,向右移位,空出来的位置使用0填充。结果保存到地址为rd的通用寄存器中。

移位位数由地址为rs的寄存器值的0-4bit确定。

当功能码是6'b000111,表示是srav指令,算术右移

     指令使用方法为:srav rd, rt, rs

     指令作用为:rd <- rt >> rs[4:0](arithmetic),将地址为rt的通用寄存器的值,向右移位。空出来的位置使用rt[31]填充,结果保存到地址为rd的通用寄存器中。

移位位数由地址为rs的寄存器值的0-4bit确定。

     总结来说。这六条移位操作指令能够分为两种情况:sllv、srav、srlv这3条指令的助记符最后有“v”。表示移位位数是通过寄存器的值确定的,sll、sra、srl这3条指令的助记符最后没有“v”,表示移位位数就是指令中6-10bit的sa的值。

5、nop、ssnop、sync、pref指令


     这4条指令的格式如图5-14所看到的。从图中能够发现nop、ssnop、sync这3条指令都是R类型指令,而且指令码都是6'b000000。也就是都是SPECIAL类。

image.png

更进一步,能够发现nop、ssnop两条指令的功能码都是6'b000000,与之前介绍的逻辑左移指令sll的功能码同样。这样在译码的时候会不会有冲突:nop指令的二进制码与sll $0,$0,0的二进制码一样,处理器怎样译码?ssnop指令的二进制码与sll $0,$0,1的二进制码一样,处理器怎样译码?

nop      =     sll $0,$0,0

ssnop    =     sll $0,$0,1

     事实上两者是等价的。sll指令向$0寄存器保存移位结果,实际不会有不论什么效果,由于不管向$0写不论什么数,其值始终为0,所以效果等同于什么都不做,这也正是空指令nop、ssnop的效果。所以nop、ssnop指令不用特意实现,全然能够当作特殊的逻辑左移指令sll。

目录
相关文章
|
存储
面试官:谈谈 CPU Cache 工作原理,Cache 一致性?我懵了。。(3)
面试官:谈谈 CPU Cache 工作原理,Cache 一致性?我懵了。。(3)
490 0
面试官:谈谈 CPU Cache 工作原理,Cache 一致性?我懵了。。(3)
|
算法 异构计算 索引
|
消息中间件 关系型数据库 Kafka
深入理解数仓开发(二)数据技术篇之数据同步
深入理解数仓开发(二)数据技术篇之数据同步
|
缓存 监控 Linux
掌握Linux性能分析:深入探索perf工具
【10月更文挑战第26天】
1028 1
|
Ubuntu
ubuntu源码安装flex和bison
ubuntu源码安装flex和bison
1479 0
|
人工智能 前端开发 编译器
【AI系统】LLVM 架构设计和原理
本文介绍了LLVM的诞生背景及其与GCC的区别,重点阐述了LLVM的架构特点,包括其组件独立性、中间表示(IR)的优势及整体架构。通过Clang+LLVM的实际编译案例,展示了从C代码到可执行文件的全过程,突显了LLVM在编译器领域的创新与优势。
1006 3
|
计算机视觉
Mediapipe三维实时人体关键点检测与追踪(二)
Mediapipe三维实时人体关键点检测与追踪(二)
3296 0
|
Web App开发 网络协议 网络架构
|
缓存 资源调度 前端开发
微前端-qiankun:vue3-vite 接入 vue3、nuxt3、vue2、nuxt2等子应用
微前端-qiankun:vue3-vite 接入 vue3、nuxt3、vue2、nuxt2等子应用
3077 0

热门文章

最新文章