1、实验三 DLX 处理器程序设计1. 实验目的学习简单编译优化方法，观察采用编译优化方法所带来的性能的提高。2. 实验原理采用静态调度方法重排指令序列，减少相关，优化程序。3、实验内容和要求 自编一段汇编代码，完成一维向量加法运算，并输出结果。观察程序中出现的数据/ 控制 /结构相关。 （注：使用一维数组表示一维向量。 ） 4 1 向量加法代码清单及注释说明 1、向量加法设计源代码 .data VectorLength: .word 16 Vector1: .word 1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16 Vector2: .word 1,2,3,4,5,
2、6,7,8,9,10,11,12,13,14,15,16 ；声明向量长度 以及声明向量 1、2Printf1: .asciiz “Vector =“ Printf2: .asciiz “ %f“ .align 2 PrintPrompt: .word Printf1 PrintPar: .word Printf2 Result: .space 4 ；存放打印数据的空间申请.text main: addi r14,r0,PrintPrompt trap 5 lw r20,VectorLength addi r2,r0,0 Loop: ld f10,Vector1(r2) ld f12,Vecto
3、r2(r2) ；循环体中读入向量 cvti2d f0,f10 cvti2d f2,f12 addd f4,f2,f0 ；加法运算Finish:;* Finish,write result into stdout sd Result,f4 addi r14,r0,PrintPar trap 5 ；系统中断，输出结果addi r2,r2,4 subi r20,r20,1 bnez r20,Loop ;* End trap 0 2、运行结果 5 1 程序相关性分析结果 （1） 观察程序中出现的数据/控制/结构相关。指出程序中出现上述现象的指令组合。产生 34.12%的数据相关。当对当前指令的操作数寄
4、存器进行操作的时候，前几条指令的运算结果还未写回结果寄存器，由此产生数据相关。没有产生结构相关。产生 3.94%的控制相关。系统按照预测成功来执行指令，执行一条指令后马上将其下一条指令 trap 读进来。（2）考察增加浮点运算部件对性能的影响。1 个浮点运算部件 3 个浮点运算部件同一段代码执行相同步，但是经过对比发现浮点运算部件的多少对于程序执行效率并没有什么影响，浮点运算部件的多少对统计结果都不造成影响，可能是由于该程序不存在争用浮点运算部件资源的情况（3 ） 考察增加forward 部件对性能的影响。不使用 forward 部件 使用 forward 部件使用forward部件之后执行相
5、同的代码用的时钟周期比不使用forward部件少了大约100个时钟周期，由于没有结构相关，所以使用forward部件主要使得RAW相关明显减少了，占总的时钟周期比例也减少了，对控制相关没有什么影响。总之，使用 forward 部件后，总的时钟周期减少，数据相关减少，流水线的性能得到很大的改善。（4 ） 观察转移指令在转移成功和转移不成功时候的流水线开销。在本次实验中转移成功的几率比较大，进行 16 次转移只有一次转移不成功的，因为系统按照预测成功来执行指令，当判断转移不成功时，系统对 trap 指令进行的操作被全部作废，转而去执行跳转到的指令。4 2 双精度浮点加法求和代码清单及注释说明 1、
6、双精度浮点加法求和源代码 .data ;初始化两个用于相加的一维向量（双精度浮点数） ，向量长度为 20 a: .double 1.9, 2.1, 3.7, 4.6, 5.5, 6.4, 7.3, 8.2, 9.1, 10.1, 11.2,12.3,13.4,14.5,15.6,16.7,17.8,18.9,19.0,20.2 b: .double 1.1, 2.2, 3.3, 4.4, 5.5, 6.6, 7.7, 8.8, 9.8, 10.9, 11.8,12.7,13.6,14.5,15.4,16.3,17.2,18.1,19.9,20.8 PrintfFormat:.asciiz “T
7、he result is nn%ft%ft%ft%ft%ft%ft%ft%ft%ft%ft%ft%ft%ft%ft%ft%ft%ft%ft%ft%ftnn“ .align 2 PrintfPar: .word PrintfFormat r: .space 200 ;r 为保存相加结果的向量空间 .text .global main main: addi r1,r0,0 ;r1 计数相加的次数 addui r4,r0,8 ;r4 为常数 8 loop: ;循环计算向量相加结果 subi r2,r1,20 ;r1=20 时，跳转到 finish beqz r2,finish multu r3,r1
8、,r4;r3 为当前分量相对于向量基址的偏移 (每个分量占 8B) ld f0,a(r3) ;取 a 中第 r1 个分量 ld f2,b(r3) ;取 b 中第 r1 个分量 addd f4,f0,f2 ;相加结果放在 f4 中 sd r(r3),f4 ;将相加结果放入结果向量 r 中 addi r1,r1,1 ;下一分量 j loop finish: ;输出向量相加的结果 addi r14,r0,PrintfPar trap 5 2、运行结果：5 2 程序相关性分析结果（1）观察程序中出现的数据/控制/结构相关。指出程序中出现上述现象的指令组合。产生了 53.78%的数据相关。当对当前指令的
9、操作数寄存器进行操作的时候，前几条指令的运算结果还未写回结果寄存器，由此产生数据相关。产生数据相关的指令主要有：1) addi r1,r0,0 subi r2,r1,20 2) subi r2,r1,20 beqz r2,finish 3) multu r3,r1,r4 ld f0,a(r3) 4) ld f2,b(r3) addd f4,f0,f2 无结构相关产生了 4.29%的控制相关。系统按照预测成功来执行指令，执行一条指令后马上将其下一条指令 trap 读进来。和 4.1 代码类似。（2） 考察增加浮点运算部件对性能的影响。1 个浮点运算部件 3 个浮点运算部件 同一段代码执行相同步，
10、但是经过对比发现浮点运算部件的多少对于程序执行效率并没有什么影响，浮点运算部件的多少对统计结果都不造成影响，可能是由于该程序函数中没有连续的浮点运算指令。 （3） 考察增加forward 部件对性能的影响。没有 forward 部件 有 forward 部件 使用forward部件之后执行相同的代码用的时钟周期比不使用forward部件少了大约122个时钟周期，使用forward部件使得RAW相关明显减少了，流水线的性能得到很大的改善。（4 ） 观察转移指令在转移成功和转移不成功时候的流水线开销。该转移指令不成功的情况较多，21 次预测中只有 1 次转移成功，所以预测顺序取对流水线的性能是有利
11、的。 6、实验总结本次实验主要是向量求和运算，在本次实验我设计了两个部分，首先是整数向量的加法，整数向量加法的实验进行成功后才在之前实验的基础上略作修改，进行了的双精度浮点加法求和的实验。本次实验没有输入，是直接对固定在代码中的数据进行运算，运算完毕后直接输出结果。编程中遇到的一些问题：在由整形改为双精度浮点运算的时候对双精度运算指令不知道怎么来标识，后来查到所有涉及到 double 型数据的运算指令，指令代码都要加上 d 来说明，否则编译是不通过的。通过本次自己编写汇编程序对浮点数的操作有了更深入的了解，也学会了WINDLX 中浮点寄存器和浮点状态寄存器的设置和使用。熟悉了双精度浮点运算的流水线操作过程，以及数据相关，结构相关，控制相关，forward 部件对于双精度浮点运算流水线的影响。
