北大计算构造与组成课件MIPS.pptVIP

MIPS 代码生成;MIPS 代码是一种汇编代码 主要汇编信息： .text //代码段（指令段） .data //数据段 .globl //全局符号声明 .align 0 //关闭所有的自动对齐 .asciiz //字符串（带终止符） ;MIPS的寄存器约定;MIPS指令;MIPS指令;更多细节见：/homes/hosking/352/spim/raw.html 《体系结构》课程的相关资料;堆栈操作;对出现在子例程中的所有TEMP：? ?如果它从来不活跃，例如(只写未读或未写未读)，该TEMP只可能是MOVE或HLOAD目标，可以转化该语句为nop。 ??如果它的活性区间跨调用(出现在至少一个CALL语句的LiveOut中)，分配s寄存器，或溢出。?? 如果它的活性区间不跨调用，优先分配t寄存器，其次s寄存器，或溢出。 可以用v0和v1存取溢出的TEMP。;MAIN [0][0][2] MOVE t0 HALLOCATE 4 MOVE t1 HALLOCATE 4 MOVE t2 Fac_ComputeFac HSTORE t0 0 t2 HSTORE t1 0 t0 MOVE t0 t1 HLOAD t1 t0 0 HLOAD t2 t1 0 MOVE t1 10 MOVE a0 t0 MOVE a1 t1 CALL t2 MOVE t3 v0 PRINT t3 END;Fac_ComputeFac [2][3][2] ASTORE SPILLEDARG 0 s0 ASTORE SPILLEDARG 1 s1 ASTORE SPILLEDARG 2 s2 MOVE s0 a0 MOVE s1 a1 MOVE t0 1 MOVE t1 LT s1 t0 CJUMP t1 L2 MOVE s2 1 JUMP L3 L2 NOOP MOVE t0 s0 HLOAD t1 t0 0 HLOAD t2 t1 0 MOVE t1 1 MOVE t3 MINUS s1 t1 MOVE a0 t0 MOVE a1 t3 CALL t2 MOVE t1 v0 MOVE t0 TIMES s1 t1 MOVE s2 t0 L3 NOOP MOVE v0 s2 ALOAD s0 SPILLEDARG 0 ALOAD s1 SPILLEDARG 1 ALOAD s2 SPILLEDARG 2 END; .text .globl _halloc _halloc: li $v0, 9 syscall j $ra .text .globl _print _print: li $v0, 1 syscall la $a0, newl li $v0, 4 syscall j $ra ? .data .align 0 newl: .asciiz \n .data .align 0 str_er: .asciiz ERROR: abnormal termination\n ;内存分配基本约定 指令段：0数据段：0运行栈：0x7fffffff ;;运行目标码;MIPS运行模拟器：SPIM;寄存器;SPIM 与 simplescalar;本阶段任务;“我的编译器我做主” 在保证运行结果正确的前提下 实现上有充分的自由 例如：运行栈中 每帧的内容可以自己确定 不一定完全按照例子的模式 “高效”与“易维” 每个人有不同的体会 最后都可以写到《实习报告》;1）彻底理解MIPS指