Initial Commit

1 files changed, 528 insertions, 0 deletions

diff --git a/VexRiscv/src/test/resources/asm/rv32ui-p-srl.dump b/VexRiscv/src/test/resources/asm/rv32ui-p-srl.dump
new file mode 100644
index 0000000..7d72fc7
--- /dev/null
+++ b/VexRiscv/src/test/resources/asm/rv32ui-p-srl.dump
@@ -0,0 +1,528 @@
+
+rv32ui-p-srl:     file format elf32-littleriscv
+
+
+Disassembly of section .text.init:
+
+80000000 <_start>:
+80000000:	04c0006f          	j	8000004c <reset_vector>
+
+80000004 <trap_vector>:
+80000004:	34202f73          	csrr	t5,mcause
+80000008:	00800f93          	li	t6,8
+8000000c:	03ff0a63          	beq	t5,t6,80000040 <write_tohost>
+80000010:	00900f93          	li	t6,9
+80000014:	03ff0663          	beq	t5,t6,80000040 <write_tohost>
+80000018:	00b00f93          	li	t6,11
+8000001c:	03ff0263          	beq	t5,t6,80000040 <write_tohost>
+80000020:	80000f17          	auipc	t5,0x80000
+80000024:	fe0f0f13          	addi	t5,t5,-32 # 0 <_start-0x80000000>
+80000028:	000f0463          	beqz	t5,80000030 <trap_vector+0x2c>
+8000002c:	000f0067          	jr	t5
+80000030:	34202f73          	csrr	t5,mcause
+80000034:	000f5463          	bgez	t5,8000003c <handle_exception>
+80000038:	0040006f          	j	8000003c <handle_exception>
+
+8000003c <handle_exception>:
+8000003c:	539e6e13          	ori	t3,t3,1337
+
+80000040 <write_tohost>:
+80000040:	00001f17          	auipc	t5,0x1
+80000044:	fdcf2023          	sw	t3,-64(t5) # 80001000 <tohost>
+80000048:	ff9ff06f          	j	80000040 <write_tohost>
+
+8000004c <reset_vector>:
+8000004c:	f1402573          	csrr	a0,mhartid
+80000050:	00051063          	bnez	a0,80000050 <reset_vector+0x4>
+80000054:	30102573          	csrr	a0,misa
+80000058:	00055863          	bgez	a0,80000068 <reset_vector+0x1c>
+8000005c:	0ff0000f          	fence
+80000060:	00100e13          	li	t3,1
+80000064:	00000073          	ecall
+80000068:	00000e13          	li	t3,0
+8000006c:	00000297          	auipc	t0,0x0
+80000070:	f9828293          	addi	t0,t0,-104 # 80000004 <trap_vector>
+80000074:	30529073          	csrw	mtvec,t0
+80000078:	30205073          	csrwi	medeleg,0
+8000007c:	30305073          	csrwi	mideleg,0
+80000080:	30405073          	csrwi	mie,0
+80000084:	80000297          	auipc	t0,0x80000
+80000088:	f7c28293          	addi	t0,t0,-132 # 0 <_start-0x80000000>
+8000008c:	00028c63          	beqz	t0,800000a4 <reset_vector+0x58>
+80000090:	10529073          	csrw	stvec,t0
+80000094:	1ab00293          	li	t0,427
+80000098:	30229073          	csrw	medeleg,t0
+8000009c:	30202373          	csrr	t1,medeleg
+800000a0:	f8629ee3          	bne	t0,t1,8000003c <handle_exception>
+800000a4:	30005073          	csrwi	mstatus,0
+800000a8:	00000297          	auipc	t0,0x0
+800000ac:	01428293          	addi	t0,t0,20 # 800000bc <test_2>
+800000b0:	34129073          	csrw	mepc,t0
+800000b4:	f1402573          	csrr	a0,mhartid
+800000b8:	30200073          	mret
+
+800000bc <test_2>:
+800000bc:	800000b7          	lui	ra,0x80000
+800000c0:	00000113          	li	sp,0
+800000c4:	0020d1b3          	srl	gp,ra,sp
+800000c8:	80000eb7          	lui	t4,0x80000
+800000cc:	00200e13          	li	t3,2
+800000d0:	57d19863          	bne	gp,t4,80000640 <fail>
+
+800000d4 <test_3>:
+800000d4:	800000b7          	lui	ra,0x80000
+800000d8:	00100113          	li	sp,1
+800000dc:	0020d1b3          	srl	gp,ra,sp
+800000e0:	40000eb7          	lui	t4,0x40000
+800000e4:	00300e13          	li	t3,3
+800000e8:	55d19c63          	bne	gp,t4,80000640 <fail>
+
+800000ec <test_4>:
+800000ec:	800000b7          	lui	ra,0x80000
+800000f0:	00700113          	li	sp,7
+800000f4:	0020d1b3          	srl	gp,ra,sp
+800000f8:	01000eb7          	lui	t4,0x1000
+800000fc:	00400e13          	li	t3,4
+80000100:	55d19063          	bne	gp,t4,80000640 <fail>
+
+80000104 <test_5>:
+80000104:	800000b7          	lui	ra,0x80000
+80000108:	00e00113          	li	sp,14
+8000010c:	0020d1b3          	srl	gp,ra,sp
+80000110:	00020eb7          	lui	t4,0x20
+80000114:	00500e13          	li	t3,5
+80000118:	53d19463          	bne	gp,t4,80000640 <fail>
+
+8000011c <test_6>:
+8000011c:	800000b7          	lui	ra,0x80000
+80000120:	00108093          	addi	ra,ra,1 # 80000001 <begin_signature+0xffffe001>
+80000124:	01f00113          	li	sp,31
+80000128:	0020d1b3          	srl	gp,ra,sp
+8000012c:	00100e93          	li	t4,1
+80000130:	00600e13          	li	t3,6
+80000134:	51d19663          	bne	gp,t4,80000640 <fail>
+
+80000138 <test_7>:
+80000138:	fff00093          	li	ra,-1
+8000013c:	00000113          	li	sp,0
+80000140:	0020d1b3          	srl	gp,ra,sp
+80000144:	fff00e93          	li	t4,-1
+80000148:	00700e13          	li	t3,7
+8000014c:	4fd19a63          	bne	gp,t4,80000640 <fail>
+
+80000150 <test_8>:
+80000150:	fff00093          	li	ra,-1
+80000154:	00100113          	li	sp,1
+80000158:	0020d1b3          	srl	gp,ra,sp
+8000015c:	80000eb7          	lui	t4,0x80000
+80000160:	fffe8e93          	addi	t4,t4,-1 # 7fffffff <begin_signature+0xffffdfff>
+80000164:	00800e13          	li	t3,8
+80000168:	4dd19c63          	bne	gp,t4,80000640 <fail>
+
+8000016c <test_9>:
+8000016c:	fff00093          	li	ra,-1
+80000170:	00700113          	li	sp,7
+80000174:	0020d1b3          	srl	gp,ra,sp
+80000178:	02000eb7          	lui	t4,0x2000
+8000017c:	fffe8e93          	addi	t4,t4,-1 # 1ffffff <_start-0x7e000001>
+80000180:	00900e13          	li	t3,9
+80000184:	4bd19e63          	bne	gp,t4,80000640 <fail>
+
+80000188 <test_10>:
+80000188:	fff00093          	li	ra,-1
+8000018c:	00e00113          	li	sp,14
+80000190:	0020d1b3          	srl	gp,ra,sp
+80000194:	00040eb7          	lui	t4,0x40
+80000198:	fffe8e93          	addi	t4,t4,-1 # 3ffff <_start-0x7ffc0001>
+8000019c:	00a00e13          	li	t3,10
+800001a0:	4bd19063          	bne	gp,t4,80000640 <fail>
+
+800001a4 <test_11>:
+800001a4:	fff00093          	li	ra,-1
+800001a8:	01f00113          	li	sp,31
+800001ac:	0020d1b3          	srl	gp,ra,sp
+800001b0:	00100e93          	li	t4,1
+800001b4:	00b00e13          	li	t3,11
+800001b8:	49d19463          	bne	gp,t4,80000640 <fail>
+
+800001bc <test_12>:
+800001bc:	212120b7          	lui	ra,0x21212
+800001c0:	12108093          	addi	ra,ra,289 # 21212121 <_start-0x5edededf>
+800001c4:	00000113          	li	sp,0
+800001c8:	0020d1b3          	srl	gp,ra,sp
+800001cc:	21212eb7          	lui	t4,0x21212
+800001d0:	121e8e93          	addi	t4,t4,289 # 21212121 <_start-0x5edededf>
+800001d4:	00c00e13          	li	t3,12
+800001d8:	47d19463          	bne	gp,t4,80000640 <fail>
+
+800001dc <test_13>:
+800001dc:	212120b7          	lui	ra,0x21212
+800001e0:	12108093          	addi	ra,ra,289 # 21212121 <_start-0x5edededf>
+800001e4:	00100113          	li	sp,1
+800001e8:	0020d1b3          	srl	gp,ra,sp
+800001ec:	10909eb7          	lui	t4,0x10909
+800001f0:	090e8e93          	addi	t4,t4,144 # 10909090 <_start-0x6f6f6f70>
+800001f4:	00d00e13          	li	t3,13
+800001f8:	45d19463          	bne	gp,t4,80000640 <fail>
+
+800001fc <test_14>:
+800001fc:	212120b7          	lui	ra,0x21212
+80000200:	12108093          	addi	ra,ra,289 # 21212121 <_start-0x5edededf>
+80000204:	00700113          	li	sp,7
+80000208:	0020d1b3          	srl	gp,ra,sp
+8000020c:	00424eb7          	lui	t4,0x424
+80000210:	242e8e93          	addi	t4,t4,578 # 424242 <_start-0x7fbdbdbe>
+80000214:	00e00e13          	li	t3,14
+80000218:	43d19463          	bne	gp,t4,80000640 <fail>
+
+8000021c <test_15>:
+8000021c:	212120b7          	lui	ra,0x21212
+80000220:	12108093          	addi	ra,ra,289 # 21212121 <_start-0x5edededf>
+80000224:	00e00113          	li	sp,14
+80000228:	0020d1b3          	srl	gp,ra,sp
+8000022c:	00008eb7          	lui	t4,0x8
+80000230:	484e8e93          	addi	t4,t4,1156 # 8484 <_start-0x7fff7b7c>
+80000234:	00f00e13          	li	t3,15
+80000238:	41d19463          	bne	gp,t4,80000640 <fail>
+
+8000023c <test_16>:
+8000023c:	212120b7          	lui	ra,0x21212
+80000240:	12108093          	addi	ra,ra,289 # 21212121 <_start-0x5edededf>
+80000244:	01f00113          	li	sp,31
+80000248:	0020d1b3          	srl	gp,ra,sp
+8000024c:	00000e93          	li	t4,0
+80000250:	01000e13          	li	t3,16
+80000254:	3fd19663          	bne	gp,t4,80000640 <fail>
+
+80000258 <test_17>:
+80000258:	212120b7          	lui	ra,0x21212
+8000025c:	12108093          	addi	ra,ra,289 # 21212121 <_start-0x5edededf>
+80000260:	fc000113          	li	sp,-64
+80000264:	0020d1b3          	srl	gp,ra,sp
+80000268:	21212eb7          	lui	t4,0x21212
+8000026c:	121e8e93          	addi	t4,t4,289 # 21212121 <_start-0x5edededf>
+80000270:	01100e13          	li	t3,17
+80000274:	3dd19663          	bne	gp,t4,80000640 <fail>
+
+80000278 <test_18>:
+80000278:	212120b7          	lui	ra,0x21212
+8000027c:	12108093          	addi	ra,ra,289 # 21212121 <_start-0x5edededf>
+80000280:	fc100113          	li	sp,-63
+80000284:	0020d1b3          	srl	gp,ra,sp
+80000288:	10909eb7          	lui	t4,0x10909
+8000028c:	090e8e93          	addi	t4,t4,144 # 10909090 <_start-0x6f6f6f70>
+80000290:	01200e13          	li	t3,18
+80000294:	3bd19663          	bne	gp,t4,80000640 <fail>
+
+80000298 <test_19>:
+80000298:	212120b7          	lui	ra,0x21212
+8000029c:	12108093          	addi	ra,ra,289 # 21212121 <_start-0x5edededf>
+800002a0:	fc700113          	li	sp,-57
+800002a4:	0020d1b3          	srl	gp,ra,sp
+800002a8:	00424eb7          	lui	t4,0x424
+800002ac:	242e8e93          	addi	t4,t4,578 # 424242 <_start-0x7fbdbdbe>
+800002b0:	01300e13          	li	t3,19
+800002b4:	39d19663          	bne	gp,t4,80000640 <fail>
+
+800002b8 <test_20>:
+800002b8:	212120b7          	lui	ra,0x21212
+800002bc:	12108093          	addi	ra,ra,289 # 21212121 <_start-0x5edededf>
+800002c0:	fce00113          	li	sp,-50
+800002c4:	0020d1b3          	srl	gp,ra,sp
+800002c8:	00008eb7          	lui	t4,0x8
+800002cc:	484e8e93          	addi	t4,t4,1156 # 8484 <_start-0x7fff7b7c>
+800002d0:	01400e13          	li	t3,20
+800002d4:	37d19663          	bne	gp,t4,80000640 <fail>
+
+800002d8 <test_21>:
+800002d8:	212120b7          	lui	ra,0x21212
+800002dc:	12108093          	addi	ra,ra,289 # 21212121 <_start-0x5edededf>
+800002e0:	fff00113          	li	sp,-1
+800002e4:	0020d1b3          	srl	gp,ra,sp
+800002e8:	00000e93          	li	t4,0
+800002ec:	01500e13          	li	t3,21
+800002f0:	35d19863          	bne	gp,t4,80000640 <fail>
+
+800002f4 <test_22>:
+800002f4:	800000b7          	lui	ra,0x80000
+800002f8:	00700113          	li	sp,7
+800002fc:	0020d0b3          	srl	ra,ra,sp
+80000300:	01000eb7          	lui	t4,0x1000
+80000304:	01600e13          	li	t3,22
+80000308:	33d09c63          	bne	ra,t4,80000640 <fail>
+
+8000030c <test_23>:
+8000030c:	800000b7          	lui	ra,0x80000
+80000310:	00e00113          	li	sp,14
+80000314:	0020d133          	srl	sp,ra,sp
+80000318:	00020eb7          	lui	t4,0x20
+8000031c:	01700e13          	li	t3,23
+80000320:	33d11063          	bne	sp,t4,80000640 <fail>
+
+80000324 <test_24>:
+80000324:	00700093          	li	ra,7
+80000328:	0010d0b3          	srl	ra,ra,ra
+8000032c:	00000e93          	li	t4,0
+80000330:	01800e13          	li	t3,24
+80000334:	31d09663          	bne	ra,t4,80000640 <fail>
+
+80000338 <test_25>:
+80000338:	00000213          	li	tp,0
+8000033c:	800000b7          	lui	ra,0x80000
+80000340:	00700113          	li	sp,7
+80000344:	0020d1b3          	srl	gp,ra,sp
+80000348:	00018313          	mv	t1,gp
+8000034c:	00120213          	addi	tp,tp,1 # 1 <_start-0x7fffffff>
+80000350:	00200293          	li	t0,2
+80000354:	fe5214e3          	bne	tp,t0,8000033c <test_25+0x4>
+80000358:	01000eb7          	lui	t4,0x1000
+8000035c:	01900e13          	li	t3,25
+80000360:	2fd31063          	bne	t1,t4,80000640 <fail>
+
+80000364 <test_26>:
+80000364:	00000213          	li	tp,0
+80000368:	800000b7          	lui	ra,0x80000
+8000036c:	00e00113          	li	sp,14
+80000370:	0020d1b3          	srl	gp,ra,sp
+80000374:	00000013          	nop
+80000378:	00018313          	mv	t1,gp
+8000037c:	00120213          	addi	tp,tp,1 # 1 <_start-0x7fffffff>
+80000380:	00200293          	li	t0,2
+80000384:	fe5212e3          	bne	tp,t0,80000368 <test_26+0x4>
+80000388:	00020eb7          	lui	t4,0x20
+8000038c:	01a00e13          	li	t3,26
+80000390:	2bd31863          	bne	t1,t4,80000640 <fail>
+
+80000394 <test_27>:
+80000394:	00000213          	li	tp,0
+80000398:	800000b7          	lui	ra,0x80000
+8000039c:	01f00113          	li	sp,31
+800003a0:	0020d1b3          	srl	gp,ra,sp
+800003a4:	00000013          	nop
+800003a8:	00000013          	nop
+800003ac:	00018313          	mv	t1,gp
+800003b0:	00120213          	addi	tp,tp,1 # 1 <_start-0x7fffffff>
+800003b4:	00200293          	li	t0,2
+800003b8:	fe5210e3          	bne	tp,t0,80000398 <test_27+0x4>
+800003bc:	00100e93          	li	t4,1
+800003c0:	01b00e13          	li	t3,27
+800003c4:	27d31e63          	bne	t1,t4,80000640 <fail>
+
+800003c8 <test_28>:
+800003c8:	00000213          	li	tp,0
+800003cc:	800000b7          	lui	ra,0x80000
+800003d0:	00700113          	li	sp,7
+800003d4:	0020d1b3          	srl	gp,ra,sp
+800003d8:	00120213          	addi	tp,tp,1 # 1 <_start-0x7fffffff>
+800003dc:	00200293          	li	t0,2
+800003e0:	fe5216e3          	bne	tp,t0,800003cc <test_28+0x4>
+800003e4:	01000eb7          	lui	t4,0x1000
+800003e8:	01c00e13          	li	t3,28
+800003ec:	25d19a63          	bne	gp,t4,80000640 <fail>
+
+800003f0 <test_29>:
+800003f0:	00000213          	li	tp,0
+800003f4:	800000b7          	lui	ra,0x80000
+800003f8:	00e00113          	li	sp,14
+800003fc:	00000013          	nop
+80000400:	0020d1b3          	srl	gp,ra,sp
+80000404:	00120213          	addi	tp,tp,1 # 1 <_start-0x7fffffff>
+80000408:	00200293          	li	t0,2
+8000040c:	fe5214e3          	bne	tp,t0,800003f4 <test_29+0x4>
+80000410:	00020eb7          	lui	t4,0x20
+80000414:	01d00e13          	li	t3,29
+80000418:	23d19463          	bne	gp,t4,80000640 <fail>
+
+8000041c <test_30>:
+8000041c:	00000213          	li	tp,0
+80000420:	800000b7          	lui	ra,0x80000
+80000424:	01f00113          	li	sp,31
+80000428:	00000013          	nop
+8000042c:	00000013          	nop
+80000430:	0020d1b3          	srl	gp,ra,sp
+80000434:	00120213          	addi	tp,tp,1 # 1 <_start-0x7fffffff>
+80000438:	00200293          	li	t0,2
+8000043c:	fe5212e3          	bne	tp,t0,80000420 <test_30+0x4>
+80000440:	00100e93          	li	t4,1
+80000444:	01e00e13          	li	t3,30
+80000448:	1fd19c63          	bne	gp,t4,80000640 <fail>
+
+8000044c <test_31>:
+8000044c:	00000213          	li	tp,0
+80000450:	800000b7          	lui	ra,0x80000
+80000454:	00000013          	nop
+80000458:	00700113          	li	sp,7
+8000045c:	0020d1b3          	srl	gp,ra,sp
+80000460:	00120213          	addi	tp,tp,1 # 1 <_start-0x7fffffff>
+80000464:	00200293          	li	t0,2
+80000468:	fe5214e3          	bne	tp,t0,80000450 <test_31+0x4>
+8000046c:	01000eb7          	lui	t4,0x1000
+80000470:	01f00e13          	li	t3,31
+80000474:	1dd19663          	bne	gp,t4,80000640 <fail>
+
+80000478 <test_32>:
+80000478:	00000213          	li	tp,0
+8000047c:	800000b7          	lui	ra,0x80000
+80000480:	00000013          	nop
+80000484:	00e00113          	li	sp,14
+80000488:	00000013          	nop
+8000048c:	0020d1b3          	srl	gp,ra,sp
+80000490:	00120213          	addi	tp,tp,1 # 1 <_start-0x7fffffff>
+80000494:	00200293          	li	t0,2
+80000498:	fe5212e3          	bne	tp,t0,8000047c <test_32+0x4>
+8000049c:	00020eb7          	lui	t4,0x20
+800004a0:	02000e13          	li	t3,32
+800004a4:	19d19e63          	bne	gp,t4,80000640 <fail>
+
+800004a8 <test_33>:
+800004a8:	00000213          	li	tp,0
+800004ac:	800000b7          	lui	ra,0x80000
+800004b0:	00000013          	nop
+800004b4:	00000013          	nop
+800004b8:	01f00113          	li	sp,31
+800004bc:	0020d1b3          	srl	gp,ra,sp
+800004c0:	00120213          	addi	tp,tp,1 # 1 <_start-0x7fffffff>
+800004c4:	00200293          	li	t0,2
+800004c8:	fe5212e3          	bne	tp,t0,800004ac <test_33+0x4>
+800004cc:	00100e93          	li	t4,1
+800004d0:	02100e13          	li	t3,33
+800004d4:	17d19663          	bne	gp,t4,80000640 <fail>
+
+800004d8 <test_34>:
+800004d8:	00000213          	li	tp,0
+800004dc:	00700113          	li	sp,7
+800004e0:	800000b7          	lui	ra,0x80000
+800004e4:	0020d1b3          	srl	gp,ra,sp
+800004e8:	00120213          	addi	tp,tp,1 # 1 <_start-0x7fffffff>
+800004ec:	00200293          	li	t0,2
+800004f0:	fe5216e3          	bne	tp,t0,800004dc <test_34+0x4>
+800004f4:	01000eb7          	lui	t4,0x1000
+800004f8:	02200e13          	li	t3,34
+800004fc:	15d19263          	bne	gp,t4,80000640 <fail>
+
+80000500 <test_35>:
+80000500:	00000213          	li	tp,0
+80000504:	00e00113          	li	sp,14
+80000508:	800000b7          	lui	ra,0x80000
+8000050c:	00000013          	nop
+80000510:	0020d1b3          	srl	gp,ra,sp
+80000514:	00120213          	addi	tp,tp,1 # 1 <_start-0x7fffffff>
+80000518:	00200293          	li	t0,2
+8000051c:	fe5214e3          	bne	tp,t0,80000504 <test_35+0x4>
+80000520:	00020eb7          	lui	t4,0x20
+80000524:	02300e13          	li	t3,35
+80000528:	11d19c63          	bne	gp,t4,80000640 <fail>
+
+8000052c <test_36>:
+8000052c:	00000213          	li	tp,0
+80000530:	01f00113          	li	sp,31
+80000534:	800000b7          	lui	ra,0x80000
+80000538:	00000013          	nop
+8000053c:	00000013          	nop
+80000540:	0020d1b3          	srl	gp,ra,sp
+80000544:	00120213          	addi	tp,tp,1 # 1 <_start-0x7fffffff>
+80000548:	00200293          	li	t0,2
+8000054c:	fe5212e3          	bne	tp,t0,80000530 <test_36+0x4>
+80000550:	00100e93          	li	t4,1
+80000554:	02400e13          	li	t3,36
+80000558:	0fd19463          	bne	gp,t4,80000640 <fail>
+
+8000055c <test_37>:
+8000055c:	00000213          	li	tp,0
+80000560:	00700113          	li	sp,7
+80000564:	00000013          	nop
+80000568:	800000b7          	lui	ra,0x80000
+8000056c:	0020d1b3          	srl	gp,ra,sp
+80000570:	00120213          	addi	tp,tp,1 # 1 <_start-0x7fffffff>
+80000574:	00200293          	li	t0,2
+80000578:	fe5214e3          	bne	tp,t0,80000560 <test_37+0x4>
+8000057c:	01000eb7          	lui	t4,0x1000
+80000580:	02500e13          	li	t3,37
+80000584:	0bd19e63          	bne	gp,t4,80000640 <fail>
+
+80000588 <test_38>:
+80000588:	00000213          	li	tp,0
+8000058c:	00e00113          	li	sp,14
+80000590:	00000013          	nop
+80000594:	800000b7          	lui	ra,0x80000
+80000598:	00000013          	nop
+8000059c:	0020d1b3          	srl	gp,ra,sp
+800005a0:	00120213          	addi	tp,tp,1 # 1 <_start-0x7fffffff>
+800005a4:	00200293          	li	t0,2
+800005a8:	fe5212e3          	bne	tp,t0,8000058c <test_38+0x4>
+800005ac:	00020eb7          	lui	t4,0x20
+800005b0:	02600e13          	li	t3,38
+800005b4:	09d19663          	bne	gp,t4,80000640 <fail>
+
+800005b8 <test_39>:
+800005b8:	00000213          	li	tp,0
+800005bc:	01f00113          	li	sp,31
+800005c0:	00000013          	nop
+800005c4:	00000013          	nop
+800005c8:	800000b7          	lui	ra,0x80000
+800005cc:	0020d1b3          	srl	gp,ra,sp
+800005d0:	00120213          	addi	tp,tp,1 # 1 <_start-0x7fffffff>
+800005d4:	00200293          	li	t0,2
+800005d8:	fe5212e3          	bne	tp,t0,800005bc <test_39+0x4>
+800005dc:	00100e93          	li	t4,1
+800005e0:	02700e13          	li	t3,39
+800005e4:	05d19e63          	bne	gp,t4,80000640 <fail>
+
+800005e8 <test_40>:
+800005e8:	00f00093          	li	ra,15
+800005ec:	00105133          	srl	sp,zero,ra
+800005f0:	00000e93          	li	t4,0
+800005f4:	02800e13          	li	t3,40
+800005f8:	05d11463          	bne	sp,t4,80000640 <fail>
+
+800005fc <test_41>:
+800005fc:	02000093          	li	ra,32
+80000600:	0000d133          	srl	sp,ra,zero
+80000604:	02000e93          	li	t4,32
+80000608:	02900e13          	li	t3,41
+8000060c:	03d11a63          	bne	sp,t4,80000640 <fail>
+
+80000610 <test_42>:
+80000610:	000050b3          	srl	ra,zero,zero
+80000614:	00000e93          	li	t4,0
+80000618:	02a00e13          	li	t3,42
+8000061c:	03d09263          	bne	ra,t4,80000640 <fail>
+
+80000620 <test_43>:
+80000620:	40000093          	li	ra,1024
+80000624:	00001137          	lui	sp,0x1
+80000628:	80010113          	addi	sp,sp,-2048 # 800 <_start-0x7ffff800>
+8000062c:	0020d033          	srl	zero,ra,sp
+80000630:	00000e93          	li	t4,0
+80000634:	02b00e13          	li	t3,43
+80000638:	01d01463          	bne	zero,t4,80000640 <fail>
+8000063c:	01c01c63          	bne	zero,t3,80000654 <pass>
+
+80000640 <fail>:
+80000640:	0ff0000f          	fence
+80000644:	000e0063          	beqz	t3,80000644 <fail+0x4>
+80000648:	001e1e13          	slli	t3,t3,0x1
+8000064c:	001e6e13          	ori	t3,t3,1
+80000650:	00000073          	ecall
+
+80000654 <pass>:
+80000654:	0ff0000f          	fence
+80000658:	00100e13          	li	t3,1
+8000065c:	00000073          	ecall
+80000660:	c0001073          	unimp
+80000664:	0000                	unimp
+80000666:	0000                	unimp
+80000668:	0000                	unimp
+8000066a:	0000                	unimp
+8000066c:	0000                	unimp
+8000066e:	0000                	unimp
+80000670:	0000                	unimp
+80000672:	0000                	unimp
+80000674:	0000                	unimp
+80000676:	0000                	unimp
+80000678:	0000                	unimp
+8000067a:	0000                	unimp
+8000067c:	0000                	unimp
+8000067e:	0000                	unimp
+80000680:	0000                	unimp
+80000682:	0000                	unimp