关于MIPS上手应知应会-如何把C语言改写为MIPS!

2023-12-31 12:04

本文主要是介绍关于MIPS上手应知应会-如何把C语言改写为MIPS!,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

文章目录

  • 寄存器
  • 指令
  • 使用技巧
    • 翻译C/C++
      • if/else语句
      • switch语句
      • for循环
      • while 循环
      • do...while循环
      • 一维数组定义与使用
      • 二维数组定义与使用
      • 例 :哈密顿回路
  • 注意
    • 立即数被符号位扩展
  • 参考链接

寄存器

NameReg. NumUsage
z e r o zero zero0constant value =0(恒为0)
a t at at1reserved for assembler(为汇编程序保留)
v 0 – v 1 v0 – v1 v0–v12 – 3values for results(过程调用返回值)
a 0 – a 3 a0 – a3 a0–a34 – 7Arguments(过程调用参数)
t 0 – t 7 t0 – t7 t0–t78 – 15Temporaries(临时变量)
s 0 – s 7 s0 – s7 s0–s716 – 23Saved(保存)
t 8 – t 9 t8 – t9 t8–t924 – 25more temporaries(其他临时变量)
k 0 – k 1 k0 – k1 k0–k126 – 27reserved for kernel(为OS保留)
g p gp gp28global pointer(全局指针)
s p sp sp29stack pointer (栈指针)
f p fp fp30frame pointer (帧指针)
r a ra ra31return address (过程调用返回地址)

指令

第一页

第二页

使用技巧

翻译C/C++

if/else语句

if(a >= b) //Do something...
else if(a < c+b) //Do something...
else //Do something...
# $s0 = a, $s1 = b, $s2 = c
if_begin:
bgt $s1, $s0, if_else1# Do something
if_else1:
add $t0, $s1, $s2
bngt $t0, $s0, if_else2# Do something
if_else2:# Do something
if_end:

switch语句

switch(a) {case 2:// Do somethingbreak;case 4:// Do somethingbreak;default:// Do something
}
# $s0 = a
switch_begin:case_2:bne $s0, 2, case_4# Do somethingj switch_endcase_4:bne $s0, 4, default# Do somethingj switch_enddefault:# Do something
switch_end:

for循环

for(int i = 0; i < n; i++) // Do something
# $s0 = n
li $t0, 0
for_begin:
bne $t0, $s0, end_for # Do something
addi $t0, $t0, 1
j for_begin
end_for:

while 循环

int i = a;
while(i < n) {// Do something...i++;
}
# $s0 = n, $s1 = a, $t0 = i
move $t0, $s1
while_begin:
bne $t0, $s0, end_while# Do somethingaddi $t0, $t0, 1
j while_begin
end_while:

do…while循环

do {i++;//Do something
} while(i < n);
# $t0 = i, $s0 = n
li $t0, 1
dowhile:addi $t0, $t0, 1# Do something
beq $s0, $t0, end_dowhile
j dowhile
end_dowhile:

一维数组定义与使用

int arr[100];
for(int i = 0; i < 100; i++) arr[i] = i;
.dataarr: .space 400				#长度100的int型数组,总共使用400字节
.text# $t0 = ili $t0, 0;for_begin:beq $t0, 100, end_formove $t1, $t0sll $t1, $t1, 2			# i*4得到偏移的字节数,MIPS按照字节寻址,地址从x00000000, 0x00000004...以此类推# 此外MIPS还是小端地址,如果输入0x12345678,那么0x00000002存的是0x56sw $t0, arr($t1)		# 这跟直接访问还挺像的# 实际上,arr是指一系列空间的首地址,加上偏移量$t1,得到arr[i]的地址addiu $t0, $t0, 1j for_beginend_for:li $v0, 10						# 类似于C/C++中的return 0
syscall

二维数组定义与使用

#include <iostream>
using namespace std;
int arr[64][64];int main() {int m, n;cin >> n >> m;for(int i = 0; i < n; i++)for(int j = 0; j < m; j++) cin >> arr[i][j];for(int i = n-1; i >= 0; i--)for(int j = m-1; j >= 0; j--) cout << i << ' ' << j << ' ' << arr[i][j] << endl; return 0;
}
.dataarr: .space 16384# 下面两个宏定义与数组大小密切相关,64*64大小的数组是这么做的
# 我们约定$t7, $t8, $t9只在宏定义中使用
.macro setarr(%d, %i, %j)		# 把arr[i][j]设置为dsll $t8, $t8, 6add $t9, $t8, %jsll $t9, $t9, 2sw %d, arr($t9)
.end_macro
.macro getarr(%d, %i, %j)		# 把d赋值为arr[i][j]sll $t8, $t8, 6add $t9, $t8, %jsll $t9, $t9, 2lw %d, arr($t9)
.end_macro.text# $s0 = n, $s1 = mli $v0, 1syscallmove $s0, $v0li $v0, 1syscallmove $s0, $v0# $t0 = i, $t1 = jli $t0, 0li $t1, 0for_in_i:beq $t0, $s0, end_for_in_ifor_in_j:beq $t1, $s1, end_for_in_jli $v0, 1syscallsetarr($v0, $t0, $t1)addi $t1, $t1, 1j for_in_jend_for_in_j:addi $t0, $t0, 1j for_in_iend_for_in_i:# $t0 = i, $t1 = jsubi $t0, $s0, 1 subi $t1, $s1, 1for_out_i:blt $t0, 0, end_for_out_ifor_out_j:blt $t1, 0, end_for_out_jgetarr($t3, $t0, $t1)# 输出$t0, $t1, $t2这里省略了subi $t1, $t1, 1j for_out_jend_for_out_j:subi $t0, $t0, 1j for_out_iend_for_out_j:li $v0, 10						# 类似于C/C++中的return 0
syscall

例 :哈密顿回路

#include <iostream>
using namespace std;const int MAXN = 10;int G[MAXN][MAXN];
bool vis[MAXN];
int n, m;
int ans;int dfs(int i, int start) {bool flag = false;vis[i] = true;cout << i;for(int j = 1; j <= n; j++) if(!vis[j] && G[i][j]) {dfs(j, start);}for(int j = 1; j <= n; j++) if(!vis[j]) {flag = true;break;}if(G[i][start] && !flag) ans = 1;vis[i] = false;return 0;
}int main() {cin >> n >> m;for(int i = 0; i < m; i++) {int u, v;scanf("%d%d", &u, &v);G[u][v] = G[v][u] = 1;}for(int i = 1; i <= n; i++) {dfs(i, i);if(ans == 1) {cout << 1 << endl;return 0;}}cout << 0 << endl;return 0;
}
.datagraph: .space 1024vis: .space 512endl: .word '\n'.macro setGraph(%data, %i, %j)sll $t8, %i, 4add $t8, $t8, %jsll $t8, $t8, 2sw %data, graph($t8)
.end_macro
.macro getGraph(%ans, %i, %j)sll $t8, %i, 4add $t8, $t8, %jsll $t8, $t8, 2lw %ans, graph($t8)
.end_macro.text
main:# $s0 = nli $v0, 5syscallmove $s0, $v0# $s1 = mli $v0, 5syscallmove $s1, $v0move $t0, $zerofor_input:# for(i = 0; i != m; i++)beq $t0, $s1, end_for_inputli $v0, 5syscallmove $t1, $v0li $v0, 5syscallmove $t2, $v0li $t3, 1setGraph($t3, $t1, $t2)setGraph($t3, $t2, $t1)addi $t0, $t0, 1j for_inputend_for_input:li $t0, 1for_iter:# for(i = 1; i <= n; i++)bgt $t0, $s0, end_for_itermove $a0, $t0	# $a0 = pmove $a1, $t0	# $a1 = startjal dfsbeq $s3, 1, print_ansaddi $t0, $t0, 1j for_iterend_for_iter:print_ans:	li $v0, 1move $a0, $s3syscall
li $v0, 10
syscalldfs:	# $a0 = p, $a1 = start
addi $sp, $sp, -24
sw $ra, 20($sp)
sw $t0, 16($sp)
sw $t1, 12($sp)
sw $t2, 8($sp)
sw $t3, 4($sp)
sw $t4, 0($sp)sll $t0, $a0, 2li $t1, 1sw $t1, vis($t0)li $t0, 1for_nextpoint:# for(i = 1; i <= n; i++) if(graph[p][i] == 1 && !vis[i])bgt $t0, $s0, end_for_nextpointgetGraph($t1, $a0, $t0)bne $t1, 1, nextpoint_continuesll $t2, $t0, 2lw $t3, vis($t2)bne $t3, $zero, nextpoint_continuemove $t4, $a0move $a0, $t0jal dfsmove $a0, $t4nextpoint_continue:addi $t0, $t0, 1j for_nextpointend_for_nextpoint:li $t0, 1	for_check:bgt $t0, $s0, end_for_checksll $t1, $t0, 2lw $t2, vis($t1)beq $t2, $zero, end_functionaddi $t0, $t0, 1j for_checkend_for_check:getGraph($t0, $a0, $a1)bne $t0, 1, end_functionli $s3, 1end_function:sll $t0, $a0, 2sw $zero, vis($t0)
lw $ra, 20($sp)
lw $t0, 16($sp)
lw $t1, 12($sp)
lw $t2, 8($sp)
lw $t3, 4($sp)
lw $t4, 0($sp)
addi $sp, $sp, 24
jr $ra

注意

立即数被符号位扩展

  • 算术指令 :add addi sub 总是将立即数做符号位扩展即便指令是无符号的;
    乘 、 除 指令 任何情况下都不进行扩展,总是当成 unsigned
  • 逻辑指令:(andi, ori通常处理无符号数)不对立即 数做符号位扩展
  • load / store指令: 地址计算时总是扩展立即数

参考链接

  1. 谈一谈 MIPS 汇编 Challenge 题:找哈密顿回路:(https://flyinglandlord.github.io/2021/09/30/BUAA-CO-2021/Pre/%E8%B0%88%E4%B8%80%E8%B0%88MIPS%E6%B1%87%E7%BC%96Challenge%E9%A2%98/)

  2. 流水线 MIPS 处理器的设计:https://zobinhuang.github.io/sec_learning/Tech_Computer_Architerture/Architecture_6_MIPS_Pipeline/#1_intro_1

  3. 《初学计算机组成原理之MIPS指令集及汇编》: https://blog.csdn.net/weixin_51599896/article/details/123865620

  4. MIPS指令详解:https://blog.csdn.net/weixin_46308081/article/details/115798605

这篇关于关于MIPS上手应知应会-如何把C语言改写为MIPS!的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/555973

相关文章

基于Go语言开发一个 IP 归属地查询接口工具

《基于Go语言开发一个IP归属地查询接口工具》在日常开发中,IP地址归属地查询是一个常见需求,本文将带大家使用Go语言快速开发一个IP归属地查询接口服务,有需要的小伙伴可以了解下... 目录功能目标技术栈项目结构核心代码(main.go)使用方法扩展功能总结在日常开发中,IP 地址归属地查询是一个常见需求:

GO语言短变量声明的实现示例

《GO语言短变量声明的实现示例》在Go语言中,短变量声明是一种简洁的变量声明方式,使用:=运算符,可以自动推断变量类型,下面就来具体介绍一下如何使用,感兴趣的可以了解一下... 目录基本语法功能特点与var的区别适用场景注意事项基本语法variableName := value功能特点1、自动类型推

GO语言中函数命名返回值的使用

《GO语言中函数命名返回值的使用》在Go语言中,函数可以为其返回值指定名称,这被称为命名返回值或命名返回参数,这种特性可以使代码更清晰,特别是在返回多个值时,感兴趣的可以了解一下... 目录基本语法函数命名返回特点代码示例命名特点基本语法func functionName(parameters) (nam

Go语言连接MySQL数据库执行基本的增删改查

《Go语言连接MySQL数据库执行基本的增删改查》在后端开发中,MySQL是最常用的关系型数据库之一,本文主要为大家详细介绍了如何使用Go连接MySQL数据库并执行基本的增删改查吧... 目录Go语言连接mysql数据库准备工作安装 MySQL 驱动代码实现运行结果注意事项Go语言执行基本的增删改查准备工作

Go语言使用Gin处理路由参数和查询参数

《Go语言使用Gin处理路由参数和查询参数》在WebAPI开发中,处理路由参数(PathParameter)和查询参数(QueryParameter)是非常常见的需求,下面我们就来看看Go语言... 目录一、路由参数 vs 查询参数二、Gin 获取路由参数和查询参数三、示例代码四、运行与测试1. 测试编程路

Go语言使用net/http构建一个RESTful API的示例代码

《Go语言使用net/http构建一个RESTfulAPI的示例代码》Go的标准库net/http提供了构建Web服务所需的强大功能,虽然众多第三方框架(如Gin、Echo)已经封装了很多功能,但... 目录引言一、什么是 RESTful API?二、实战目标:用户信息管理 API三、代码实现1. 用户数据

Go语言网络故障诊断与调试技巧

《Go语言网络故障诊断与调试技巧》在分布式系统和微服务架构的浪潮中,网络编程成为系统性能和可靠性的核心支柱,从高并发的API服务到实时通信应用,网络的稳定性直接影响用户体验,本文面向熟悉Go基本语法和... 目录1. 引言2. Go 语言网络编程的优势与特色2.1 简洁高效的标准库2.2 强大的并发模型2.

Go语言使用sync.Mutex实现资源加锁

《Go语言使用sync.Mutex实现资源加锁》数据共享是一把双刃剑,Go语言为我们提供了sync.Mutex,一种最基础也是最常用的加锁方式,用于保证在任意时刻只有一个goroutine能访问共享... 目录一、什么是 Mutex二、为什么需要加锁三、实战案例:并发安全的计数器1. 未加锁示例(存在竞态)

C语言自定义类型之联合和枚举解读

《C语言自定义类型之联合和枚举解读》联合体共享内存,大小由最大成员决定,遵循对齐规则;枚举类型列举可能值,提升可读性和类型安全性,两者在C语言中用于优化内存和程序效率... 目录一、联合体1.1 联合体类型的声明1.2 联合体的特点1.2.1 特点11.2.2 特点21.2.3 特点31.3 联合体的大小1

Go语言使用select监听多个channel的示例详解

《Go语言使用select监听多个channel的示例详解》本文将聚焦Go并发中的一个强力工具,select,这篇文章将通过实际案例学习如何优雅地监听多个Channel,实现多任务处理、超时控制和非阻... 目录一、前言:为什么要使用select二、实战目标三、案例代码:监听两个任务结果和超时四、运行示例五