深入设计电子计算器(一)——CPU框架及指令集设计
版权申明:本文为博主窗户(Colin Cai)原创,欢迎转帖。如要转贴,必须注明原文网址 http://www.cnblogs.com/Colin-Cai/p/8278418.html 作者:窗户 QQ:6679072 E-mail:6679072@qq.com
前几天写了一篇《如何设计一个电子计算器》,一个朋友看了之后说实在太low,好吧,依照他的意思,那我就采用文中FPGA设计的方式,然后自己从指令集设计、cpu设计、汇编器设计、汇编程序设计一路设计过去,完全从零开始设计,再多写个几篇水文,组一个系列,取名就叫《深入设计电子计算器》。基本的计算器原理方面,还是先看一下《如何设计一个电子计算器》。
- CPU整体结构
我设计的第一步,是设计CPU整体的框架。我打算采用哈佛结构,即指令存储和数据存储分离,两套总线。
虽然这是一个简单的演示处理器,当然也是要引入中断机制,外部接两个中断信号,应该是足够的,一个用于定时器用,一个用于外部中断。另外,考虑到中断的方式以及中断嵌套、排队等关系,使用一个中断控制器会比较方便。
另外,CPU最终目的用来控制IO,得有一个IO控制器来做所有通用IO的管理。
为了方便的控制定时器、中断控制器、IO控制器,可以把这三者都接到数据总线上,简单便利。有的处理器的数据总线只访问RAM,其他硬件的访问再开一套通信借口,这可能是基于历史的原因,这使得在不嵌入汇编或者引入库的情况下无法用C语言完成所有的操作。我这里设计的虽然不是完全按RISC来,但也还是使用RISC的逻辑,不会为设备独立开一套通信机制。
总而言之,整个CPU架构如下:
- CPU核的考虑
CPU核是CPU的关键所在。想起09年时想在chinaunix的CPU与编译器版召集大家一起来设计一个32位处理器来学习学习,并移植gcc或者llvm来编译C语言,当时考虑做一个RISC,采用三条流水线,最终移植编译器有人而一起设计CPU没人,所以不得不作罢,想来也有些可惜。当然,本系列只是一个抛砖引玉,我并不打算用较深的原理来设计这个例子CPU,那会花费很多的时间与精力,而是以此作为一个例子。
但虽为例子,也是应该可以完好的运行才行,这里可以采取早年的单片机思路。早年的单片机并非流水线架构,每条指令的执行过程取指令、译码、取操作数、执行等是顺序关系,虽然效率低,但对于单片机的很多应用来说足够了。
另外一点,RISC的等长指令是很值得考虑的,否则取指令的过程都是一个包含译码在内的状态机,所以等长指令还是很吸引人的。
于是,考虑到这里,我打算设计此CPU为16位处理器,CPU核中有8个通用寄存器,为r0~r7,都为16位寄存器。当然,指令存储和数据存储分开,采用哈佛结构,两套总线,这个之前已经提过。另外,指令为等长指令,每个指令2个字节,也就是16bits。有个2字节的PC代表当前指令的ROM地址/2。
另外,所有通用寄存器上复位之后初始值全为0。
- 中断向量
指令ROM上提供三个地址,分别用于复位、定时器中断、外部中断起始运行指令地址。
这三个地址分别是:
| 复位 | 0X00000000 |
| 定时器中断 | 0X00000006 |
| 外部中断 | 0X0000000C |
之所以我设计此处,每两个中断之间差6个字节,是因为可以足够写上三条指令,从而跳转到任意指令地址。
- 标志
共有Z、G、L、I四个标志。
指令集中,所有的赋值指令、算术指令、逻辑指令都会影响ZGL三个标志,相关的会根据结果设置,不相关的会清零。所有的赋值指令、算术指令(mul/unul/div/udiv除外)、逻辑指令计算得到零的,都会设置Z标志。sub/subi/cmp/ucmp/cmpi/ucmpi同时也与GL两个标志关联,G意味着大于,L意味着小于,sub/subi的GL标志设置是由无符号来判断的。
所有的条件跳转指令(bz/bnz/bg/bl/bgz/blz)如果跳转成功,则ZGL都被清零,否则不变。
b/br/call/callr/ret会清零ZGL。
I标志在中断时被设置,reti调用之后恢复中断前压栈的所有寄存器、标志(见后,不排除存在中断嵌套的情况,使得reti之后紧接着依然是I标志被设置)。
- 栈
r7为栈指针。
压栈是指将指定的值传入r7*2所指向的数据RAM,然后r7自加1。
退栈是指r7先自减1,然后r7*2所指向的数据RAM传出到指定的寄存器。
中断的压栈比较特殊,因为中断之后要恢复之前所有一切不包括RAM在内的CPU状态,包括所有通用寄存器、标志、PC,reti之后也会把这些退栈恢复。
- 指令集
指令集的设计基于以下两个原则:
(1)指令完备
要涵盖赋值、计算、跳转以及RAM和寄存器之间的互传,还要考虑如何支持中断处理以及对过程调用(C语言函数)的支持。
(2)指令等长
每条指令2个字节,也就是16bits,每条指令尽量可以表达更多的信息,也就是尽量用满这16bits。我们的指令数范围大约16~31,于是操作用5bits编码,通用寄存器有8个,所以指定寄存器用3bits编码。
设置以下指令:(rn、rm这里,n、m为寄存器数字编号;i为立即数,但不同指令范围有区别;=>代表将左边的值赋值给右边;[rn]在这里代表rn*2地址的数据RAM里的数据)
赋值指令:
| mov rn,rm,i | rm+i=>rn | 此处i为立即数,范围-16~15 |
| movi rn,i | i=>rn | 此处i为立即数,范围0~255 |
| movli rn,i | i=>rn[7:0] | 此处i为立即数,范围0~255 |
| movhi rn,i | i=>rn[15:8] | 此处i为立即数,范围0~255 |
| movtr rn,rm | rm=>[rn] | |
| movfr rn,rm | [rm]=>rn | |
| movitr rn,rm | ROM[rm]=>rn | 将rm*2地址的指令ROM内容取出放进rn寄存器,主要为了兼容C语言 |
算术指令:
很多单片机未必有乘法和除法指令,我考虑了一下还是加上这两类指令。而对于很多CPU都有的除零错误,我这里决定不给出。
| add rn, rm,i | rn+rm+i=>rn | 此处i为立即数,范围-16~15 |
| sub rn,rm,i | rn-rm-i=>rn | 此处i为立即数,范围-16~15 |
| addi rn,i | rn+i=>rn | 此处i为立即数,范围0~255 |
| subi rn,i | rn-i=>rn | 此处i为立即数,范围0~255 |
| mul rn,rm | rnXrm=>r2:r3 | 此为有符号整数乘法,结果中r2为高16位,r3为低16位 |
| umul rn,rm | rnXrm=>r2:r3 | 此为无符号整数乘法,结果中r2为高16位,r3为低16位 |
| div rn,rm,rq | r2:r3/rn=>rm,rq | 有符号除法,rn为除数,rm为商,rq为余数 |
| udiv rn,rm,rq | rnXrm=>r2:r3 | 无符号除法,rn为除数,rm为商,rq为余数 |
| cmp rn,rm | 有符号比较,并设置ZGL标志 | 不影响通用寄存器的值,具体语意见后面 |
| ucmp rn,rm | 无符号比较,并设置ZGL标志 | 不影响通用寄存器的值,具体语意见后面 |
| cmpi rn,i | 有符号比较,并设置ZGL标志 | 不影响通用寄存器的值,i范围-128~127 |
| ucmpi rn,i | 无符号比较,并设置ZGL标志 | 不影响通用寄存器的值,i范围0~255 |
逻辑指令:
| and rn, rm, rq | rm&rq=>rn | |
| or rn, rm, rq | rm|rq=>rn | |
| xor rn, rm, rq | rm^rq=>rn | |
| not rn, rm | ~rm=>rn | |
| sl rn,rm,i | rm<<i=>rn | i为立即数,范围0~15 |
| sr rn,rm,i | rm>>i=>rn | i为立即数,范围0~15 |
| slr rn,rm,rq | rm<<rq[3:0]=>rn | |
| srr rn,rm,rq | rm>>rq[3:0]=>rn | |
| testb rn,i | 用寄存器rn的第i位取反的值设置Z标志 | 本指令不影响通用寄存器,i范围为0~15 |
| testbr rn,rm | 用寄存器rn的第rm[3:0]位取反的值设置Z标志 | 本指令不影响通用寄存器,i范围为0~15 |
栈指令:
| pushi i | 将i压栈 | 压栈的意义见说明,i的范围为0~2047 |
| push rn | 将rn的值压栈 | 压栈的意义见说明 |
| pop rn | 退栈,值赋给rn | 退栈的意义见说明 |
跳转指令:
这里的跳转指令考虑了我两周,主要是希望C语言的兼容,以及指令的完备。从而涉及到一些标志问题,从而要返到前面去考虑前面指令的意图,另外又在前面添加了cmp指令和testb指令。
| b i | 无条件跳转到当前指令地址+i*2 | 此处i范围为-1024~1023 |
| br rn | 无条件跳转到rn*2的指令地址 | 此处i范围为-1024~1023 |
| bz i | 如果Z标志被置起则跳转到当前指令地址+i*2 | 此处i范围为-1024~1023 |
| bnz i | 如果Z标志未置起则跳转到当前指令地址+i*2 | 此处i范围为-1024~1023 |
| bg i | 如果G标志被置起则跳转到当前指令地址+i*2 | 此处i范围为-1024~1023 |
| bl i | 如果L标志被置起则跳转到当前指令地址+i*2 | 此处i范围为-1024~1023 |
| bgz i | 如果G标志或Z标志被置起则跳转到当前指令地址+i*2 | 此处i范围为-1024~1023 |
| blz i | 如果L标志或Z标志被置起则跳转到当前指令地址+i*2 | 此处i范围为-1024~1023 |
| call i | 把下一条指令地址压栈,并跳转到当前指令地址+i*2的指令地址 | 此处i范围为-128~127 |
| callr rn | 把下一条指令地址压栈,并跳转到rn*2的指令地址 | |
| ret | 出栈两个字节,然后跳转到这2个字节的值*2的指令地址 | |
| reti | 中断例程返回 | 具体语意见“栈”、“标志” |
这些指令对于CPU基本是完备了。
- 机器码指令
每个指令编码2个字节,如下所示,op就是编码的2个字节16bits,其中没有被编的bit,填0即可。
| mov rn,rm,i | 0=>op[4:0],n=>op[7:5],m=>op[10:8],i=>op[15:11] |
| movi rn,i | 1=>op[4:0],n=>op[7:5],i=>op[15:8] |
| movli rn,i | 2=>op[4:0],n=>op[7:5],i=>op[15:8] |
| movhi rn,i | 3=>op[4:0],n=>op[7:5],i=>op[15:8] |
| movtr rn,rm | 4=>op[4:0],n=>op[7:5],m=>op[10:8],0=>op[15:14] |
| movfr rn,rm | 4=>op[4:0],n=>op[7:5],m=>op[10:8],1=>op[15:14] |
| movitr rn,rm | 4=>op[4:0],n=>op[7:5],m=>op[10:8],2=>op[15:14] |
| add rn, rm,i | 5=>op[4:0],n=>op[7:5],m=>op[10:8],i=>op[15:11] |
| sub rn,rm,i | 6=>op[4:0],n=>op[7:5],m=>op[10:8],i=>op[15:11] |
| addi rn,i | 7=>op[4:0],n=>op[7:5],i=>op[15:8] |
| subi rn,i | 8=>op[4:0],n=>op[7:5],i=>op[15:8] |
| mul rn,rm | 9=>op[4:0],n=>op[7:5],m=>op[10:8],0=>op[15:14] |
| umul rn,rm | 9=>op[4:0],n=>op[7:5],m=>op[10:8],1=>op[15:14] |
| div rn,rm,rq | 9=>op[4:0],n=>op[7:5],m=>op[10:8],q=>op[13:11],2=>op[15:14] |
| udiv rn,rm,rq | 9=>op[4:0],n=>op[7:5],m=>op[10:8],q=>op[13:11],3=>op[15:14] |
| cmp rn,rm | 10=>op[4:0],n=>op[7:5],m=>op[10:8],0=>op[15] |
| ucmp rn,rm | 10=>op[4:0],n=>op[7:5],m=>op[10:8],1=>op[15] |
| cmpi rn,i | 11=>op[4:0],n=>op[7:5],i=>op[15:8] |
| ucmpi rn,i | 12=>op[4:0],n=>op[7:5],i=>op[15:8] |
| and rn, rm, rq | 13=>op[4:0],n=>op[7:5],m=>op[10:8],q=>op[13:11],0=>op[15:14] |
| or rn, rm, rq | 13=>op[4:0],n=>op[7:5],m=>op[10:8],q=>op[13:11],1=>op[15:14] |
| xor rn, rm, rq | 13=>op[4:0],n=>op[7:5],m=>op[10:8],q=>op[13:11],2=>op[15:14] |
| not rn, rm | 13=>op[4:0],n=>op[7:5],m=>op[10:8],3=>op[15:14] |
| sl rn,rm,i | 14=>op[4:0],n=>op[7:5],m=>op[10:8],i=>op[14:11],0=>op[15] |
| sr rn,rm,i | 14=>op[4:0],n=>op[7:5],m=>op[10:8],i=>op[14:11],1=>op[15] |
| slr rn,rm,rq | 15=>op[4:0],n=>op[7:5],m=>op[10:8],q=>op[13:11],0=>op[15] |
| srr rn,rm,rq | 15=>op[4:0],n=>op[7:5],m=>op[10:8],q=>op[13:11],1=>op[15] |
| testb rn,i | 16=>op[4:0],n=>op[7:5],i=>op[11:8],0=>op[15] |
| testbr rn,rm | 16=>op[4:0],n=>op[7:5],m=>op[10:8],1=>op[15] |
| pushi i | 17=>op[4:0],i=>op[15:5] |
| push rn | 18=>op[4:0],n=>op[7:5],0=>op[15] |
| pop rn | 18=>op[4:0],n=>op[7:5],1=>op[15] |
| b i | 19=>op[4:0],i=>op[15:5] |
| br rn | 20=>op[4:0],n=>op[7:5] |
| bz i | 21=>op[4:0],i=>op[15:5] |
| bnz i | 22=>op[4:0],i=>op[15:5] |
| bg i | 23=>op[4:0],i=>op[15:5] |
| bl i | 24=>op[4:0],i=>op[15:5] |
| bgz i | 25=>op[4:0],i=>op[15:5] |
| blz i | 26=>op[4:0],i=>op[15:5] |
| call i | 27=>op[4:0],i=>op[15:5] |
| callr rn | 28=>op[4:0],n=>op[7:5] |
| ret | 29=>op[4:0],0=>op[15] |
| reti | 29=>op[4:0],1=>op[15] |
还有30/31两个指令类型没有使用,将来有必要还可以扩展一下。其实testb/testbr可以和cmp/ucmp合用,这样就又可以多出来一个,不过看在两者有点区别的份上,就算了。
以上为本系列的第一篇,花了我一定的精力,我也尽力尽快补上接下来的几篇,过程中错误难免,希望大家给予指正。
《深入设计电子计算器》
深入设计电子计算器(一)——CPU框架及指令集设计的更多相关文章
- 深入设计电子计算器(一)——CPU指令集设计
版权申明:本文为博主窗户(Colin Cai)原创,欢迎转帖.如要转贴,必须注明原文网址 http://www.cnblogs.com/Colin-Cai/p/8254096.html 作者:窗户 Q ...
- 设计 REST 风格的 MVC 框架
http://www.ibm.com/developerworks/cn/java/j-lo-restmvc/ 传统的 JavaEE MVC 框架如 Struts 等都是基于 Action 设计的后缀 ...
- 使用logisim搭建单周期CPU与添加指令
使用logisim搭建单周期CPU与添加指令 搭建 总设计 借用高老板的图,我们只需要分别做出PC.NPC.IM.RF.EXT.ALU.DM.Controller模块即可,再按图连线,最后进行控制信号 ...
- 聊聊CPU的LOCK指令
本文转载自聊聊CPU的LOCK指令 导语 在多线程操作中,可能最经常被提起的就是数据的可见性.原子性.有序性.不管是硬件方面.软件方面都在这三方面做了很足的工作,才能保证程序的正常运行. 之前发表过一 ...
- java课程设计(计算器)
JAVA课程 设 计 报 告 1206401-18 瞿杰 一.设计时间 2013年6月 24日-----6月28日 二.设计地点 湖南城市学院实验楼计算机506机房 三.设计目的 1.巩固学习VB ...
- [连载]《C#通讯(串口和网络)框架的设计与实现》-2.框架的总体设计
目 录 C#通讯(串口和网络)框架的设计与实现... 1 (SuperIO)- 框架的总体设计... 1 第二章 框架总体的设计... 2 2.1 ...
- 设计一个较好的框架的难点之一--API兼容性的设计
设计一个好的框架和设计一个好的软件一样,需要考虑的方面很多,比如扩展性.性能.用户体验.稳健性等等,视不同的场景,每个点都可能导致成败,但他们通常并不是老板们关心的,因为在大部分情况下,他们通常都没有 ...
- UI设计实战篇——利用Bootstrap框架制作查询页面的界面
Bootstrap框架是一个前端UI设计的框架,它提供了统一的UI界面,简化了设计界面UI的过程(缺点是定制了界面,调整的余地不是太大).尤其是现在的响应时布局(我的理解是页面根据不同的分辨率,采用不 ...
- .NET框架设计—常被忽视的框架设计技巧
阅读目录: 1.开篇介绍 2.元数据缓存池模式(在运行时构造元数据缓存池) 2.1.元数据设计模式(抽象出对数据的描述数据) 2.2.借助Dynamic来改变IOC.AOP动态绑定的问题 2.3.元数 ...
随机推荐
- Jrebel简单的热部署一个web工程
前言:博主最近在做Hybris开发,漫长的启动时间大大的拖累了项目的进度,而Jrebel的出现就是为了减少项目重启的时间或者说修改了代码后直接不用重启就可以看到修改的结果,但是Hybris的部署一直没 ...
- Windows编程之进程遍历(C++实现)
Windows编程之进程遍历 PS: 主要扣代码使用,直接滑动到最下面使用. 遍历进程需要几个API,和一个结构体 1.创建进程快照 2.遍历首次进程 3.继续下次遍历 4.进程信息结构体 API 分 ...
- php date函数
PHP星期几获取代码: 1 date("l"); 2 //data就可以获取英文的星期比如Sunday 3 date("w"); 4 //这个可以获取数字星期比 ...
- JS画几何图形之二【圆】
半径为r的圆上的点p(x,y)与圆心O(x0,y0)的关系: x = x0+rcosA; y = y0+rsinA ,A为弧度 样例:http://www.zhaojz.com.cn/demo/dr ...
- class_copyIvarList方法获取实例变量问题引发的思考
在runtime.h中,你可以通过其中的一个方法来获取实例变量,那就是class_copyIvarList方法,具体的实现如下: - (NSArray *)ivarArray:(Class)cls { ...
- LAMP第二部分apache配置
课程大纲:1. 下载discuz! mkdir /data/wwwcd /data/wwwwget http://download.comsenz.com/DiscuzX/3.2/Discuz_X3 ...
- 基于zepto的移动端日期和时间选择控件
前段时间给大家分享过一个基于jQuery Mobile的移动端日期时间拾取器,大家反应其由于加载过大的插件导致影响调用速度.那么今天我把从网络上搜集到的两个适合移动端应用的日期和时间选择插件分享给大家 ...
- HyperV下安装Centos 7全屏显示方法
Hyper-v一般模式的分辨率很小,所以我们在电脑上显示的时候往往不能全屏,即使全屏了也只是轮廓全部工作区并没有全屏显示.导致这个问题的原因是:我们在装系统时,没有选择合适的屏幕分辨率,所以这里只要在 ...
- Head First设计模式之策略模式
这是学习的第一个设计模式,而书中写的实例相对比较复杂,参考了网上的文章进行总结 一.定义 策略模式(strategy pattern): 定义了算法族, 分别封闭起来, 让它们之间可以互相替换, 此模 ...
- OpenCascade Ruled Surface
OpenCascade Ruled Surface eryar@163.com Abstract. A ruled surface is formed by moving a line connect ...