Re-import tests from sail repo.

1 files changed, 580 insertions, 0 deletions

diff --git a/test/tests/rv64ui-p-sll.dump b/test/tests/rv64ui-p-sll.dump
new file mode 100644
index 0000000..c2ac48f
--- /dev/null
+++ b/test/tests/rv64ui-p-sll.dump
@@ -0,0 +1,580 @@
+
+rv64ui-p-sll:     file format elf64-littleriscv
+
+
+Disassembly of section .text.init:
+
+0000000080000000 <_start>:
+    80000000:	04c0006f          	j	8000004c <reset_vector>
+
+0000000080000004 <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>
+
+000000008000003c <handle_exception>:
+    8000003c:	5391e193          	ori	gp,gp,1337
+
+0000000080000040 <write_tohost>:
+    80000040:	00001f17          	auipc	t5,0x1
+    80000044:	fc3f2023          	sw	gp,-64(t5) # 80001000 <tohost>
+    80000048:	ff9ff06f          	j	80000040 <write_tohost>
+
+000000008000004c <reset_vector>:
+    8000004c:	f1402573          	csrr	a0,mhartid
+    80000050:	00051063          	bnez	a0,80000050 <reset_vector+0x4>
+    80000054:	00000297          	auipc	t0,0x0
+    80000058:	01028293          	addi	t0,t0,16 # 80000064 <reset_vector+0x18>
+    8000005c:	30529073          	csrw	mtvec,t0
+    80000060:	18005073          	csrwi	satp,0
+    80000064:	00000297          	auipc	t0,0x0
+    80000068:	01c28293          	addi	t0,t0,28 # 80000080 <reset_vector+0x34>
+    8000006c:	30529073          	csrw	mtvec,t0
+    80000070:	fff00293          	li	t0,-1
+    80000074:	3b029073          	csrw	pmpaddr0,t0
+    80000078:	01f00293          	li	t0,31
+    8000007c:	3a029073          	csrw	pmpcfg0,t0
+    80000080:	00000297          	auipc	t0,0x0
+    80000084:	01828293          	addi	t0,t0,24 # 80000098 <reset_vector+0x4c>
+    80000088:	30529073          	csrw	mtvec,t0
+    8000008c:	30205073          	csrwi	medeleg,0
+    80000090:	30305073          	csrwi	mideleg,0
+    80000094:	30405073          	csrwi	mie,0
+    80000098:	00000193          	li	gp,0
+    8000009c:	00000297          	auipc	t0,0x0
+    800000a0:	f6828293          	addi	t0,t0,-152 # 80000004 <trap_vector>
+    800000a4:	30529073          	csrw	mtvec,t0
+    800000a8:	00100513          	li	a0,1
+    800000ac:	01f51513          	slli	a0,a0,0x1f
+    800000b0:	00055863          	bgez	a0,800000c0 <reset_vector+0x74>
+    800000b4:	0ff0000f          	fence
+    800000b8:	00100193          	li	gp,1
+    800000bc:	00000073          	ecall
+    800000c0:	80000297          	auipc	t0,0x80000
+    800000c4:	f4028293          	addi	t0,t0,-192 # 0 <_start-0x80000000>
+    800000c8:	00028e63          	beqz	t0,800000e4 <reset_vector+0x98>
+    800000cc:	10529073          	csrw	stvec,t0
+    800000d0:	0000b2b7          	lui	t0,0xb
+    800000d4:	1092829b          	addiw	t0,t0,265
+    800000d8:	30229073          	csrw	medeleg,t0
+    800000dc:	30202373          	csrr	t1,medeleg
+    800000e0:	f4629ee3          	bne	t0,t1,8000003c <handle_exception>
+    800000e4:	30005073          	csrwi	mstatus,0
+    800000e8:	00000297          	auipc	t0,0x0
+    800000ec:	01428293          	addi	t0,t0,20 # 800000fc <test_2>
+    800000f0:	34129073          	csrw	mepc,t0
+    800000f4:	f1402573          	csrr	a0,mhartid
+    800000f8:	30200073          	mret
+
+00000000800000fc <test_2>:
+    800000fc:	00100093          	li	ra,1
+    80000100:	00000113          	li	sp,0
+    80000104:	00209f33          	sll	t5,ra,sp
+    80000108:	00100e93          	li	t4,1
+    8000010c:	00200193          	li	gp,2
+    80000110:	5fdf1c63          	bne	t5,t4,80000708 <fail>
+
+0000000080000114 <test_3>:
+    80000114:	00100093          	li	ra,1
+    80000118:	00100113          	li	sp,1
+    8000011c:	00209f33          	sll	t5,ra,sp
+    80000120:	00200e93          	li	t4,2
+    80000124:	00300193          	li	gp,3
+    80000128:	5fdf1063          	bne	t5,t4,80000708 <fail>
+
+000000008000012c <test_4>:
+    8000012c:	00100093          	li	ra,1
+    80000130:	00700113          	li	sp,7
+    80000134:	00209f33          	sll	t5,ra,sp
+    80000138:	08000e93          	li	t4,128
+    8000013c:	00400193          	li	gp,4
+    80000140:	5ddf1463          	bne	t5,t4,80000708 <fail>
+
+0000000080000144 <test_5>:
+    80000144:	00100093          	li	ra,1
+    80000148:	00e00113          	li	sp,14
+    8000014c:	00209f33          	sll	t5,ra,sp
+    80000150:	00004eb7          	lui	t4,0x4
+    80000154:	00500193          	li	gp,5
+    80000158:	5bdf1863          	bne	t5,t4,80000708 <fail>
+
+000000008000015c <test_6>:
+    8000015c:	00100093          	li	ra,1
+    80000160:	01f00113          	li	sp,31
+    80000164:	00209f33          	sll	t5,ra,sp
+    80000168:	00100e9b          	addiw	t4,zero,1
+    8000016c:	01fe9e93          	slli	t4,t4,0x1f
+    80000170:	00600193          	li	gp,6
+    80000174:	59df1a63          	bne	t5,t4,80000708 <fail>
+
+0000000080000178 <test_7>:
+    80000178:	fff00093          	li	ra,-1
+    8000017c:	00000113          	li	sp,0
+    80000180:	00209f33          	sll	t5,ra,sp
+    80000184:	fff00e93          	li	t4,-1
+    80000188:	00700193          	li	gp,7
+    8000018c:	57df1e63          	bne	t5,t4,80000708 <fail>
+
+0000000080000190 <test_8>:
+    80000190:	fff00093          	li	ra,-1
+    80000194:	00100113          	li	sp,1
+    80000198:	00209f33          	sll	t5,ra,sp
+    8000019c:	ffe00e93          	li	t4,-2
+    800001a0:	00800193          	li	gp,8
+    800001a4:	57df1263          	bne	t5,t4,80000708 <fail>
+
+00000000800001a8 <test_9>:
+    800001a8:	fff00093          	li	ra,-1
+    800001ac:	00700113          	li	sp,7
+    800001b0:	00209f33          	sll	t5,ra,sp
+    800001b4:	f8000e93          	li	t4,-128
+    800001b8:	00900193          	li	gp,9
+    800001bc:	55df1663          	bne	t5,t4,80000708 <fail>
+
+00000000800001c0 <test_10>:
+    800001c0:	fff00093          	li	ra,-1
+    800001c4:	00e00113          	li	sp,14
+    800001c8:	00209f33          	sll	t5,ra,sp
+    800001cc:	ffffceb7          	lui	t4,0xffffc
+    800001d0:	00a00193          	li	gp,10
+    800001d4:	53df1a63          	bne	t5,t4,80000708 <fail>
+
+00000000800001d8 <test_11>:
+    800001d8:	fff00093          	li	ra,-1
+    800001dc:	01f00113          	li	sp,31
+    800001e0:	00209f33          	sll	t5,ra,sp
+    800001e4:	80000eb7          	lui	t4,0x80000
+    800001e8:	00b00193          	li	gp,11
+    800001ec:	51df1e63          	bne	t5,t4,80000708 <fail>
+
+00000000800001f0 <test_12>:
+    800001f0:	212120b7          	lui	ra,0x21212
+    800001f4:	1210809b          	addiw	ra,ra,289
+    800001f8:	00000113          	li	sp,0
+    800001fc:	00209f33          	sll	t5,ra,sp
+    80000200:	21212eb7          	lui	t4,0x21212
+    80000204:	121e8e9b          	addiw	t4,t4,289
+    80000208:	00c00193          	li	gp,12
+    8000020c:	4fdf1e63          	bne	t5,t4,80000708 <fail>
+
+0000000080000210 <test_13>:
+    80000210:	212120b7          	lui	ra,0x21212
+    80000214:	1210809b          	addiw	ra,ra,289
+    80000218:	00100113          	li	sp,1
+    8000021c:	00209f33          	sll	t5,ra,sp
+    80000220:	42424eb7          	lui	t4,0x42424
+    80000224:	242e8e9b          	addiw	t4,t4,578
+    80000228:	00d00193          	li	gp,13
+    8000022c:	4ddf1e63          	bne	t5,t4,80000708 <fail>
+
+0000000080000230 <test_14>:
+    80000230:	212120b7          	lui	ra,0x21212
+    80000234:	1210809b          	addiw	ra,ra,289
+    80000238:	00700113          	li	sp,7
+    8000023c:	00209f33          	sll	t5,ra,sp
+    80000240:	01091eb7          	lui	t4,0x1091
+    80000244:	909e8e9b          	addiw	t4,t4,-1783
+    80000248:	00ce9e93          	slli	t4,t4,0xc
+    8000024c:	080e8e93          	addi	t4,t4,128 # 1091080 <_start-0x7ef6ef80>
+    80000250:	00e00193          	li	gp,14
+    80000254:	4bdf1a63          	bne	t5,t4,80000708 <fail>
+
+0000000080000258 <test_15>:
+    80000258:	212120b7          	lui	ra,0x21212
+    8000025c:	1210809b          	addiw	ra,ra,289
+    80000260:	00e00113          	li	sp,14
+    80000264:	00209f33          	sll	t5,ra,sp
+    80000268:	21212eb7          	lui	t4,0x21212
+    8000026c:	121e8e9b          	addiw	t4,t4,289
+    80000270:	00ee9e93          	slli	t4,t4,0xe
+    80000274:	00f00193          	li	gp,15
+    80000278:	49df1863          	bne	t5,t4,80000708 <fail>
+
+000000008000027c <test_16>:
+    8000027c:	212120b7          	lui	ra,0x21212
+    80000280:	1210809b          	addiw	ra,ra,289
+    80000284:	01f00113          	li	sp,31
+    80000288:	00209f33          	sll	t5,ra,sp
+    8000028c:	21212eb7          	lui	t4,0x21212
+    80000290:	121e8e9b          	addiw	t4,t4,289
+    80000294:	01fe9e93          	slli	t4,t4,0x1f
+    80000298:	01000193          	li	gp,16
+    8000029c:	47df1663          	bne	t5,t4,80000708 <fail>
+
+00000000800002a0 <test_17>:
+    800002a0:	212120b7          	lui	ra,0x21212
+    800002a4:	1210809b          	addiw	ra,ra,289
+    800002a8:	fc000113          	li	sp,-64
+    800002ac:	00209f33          	sll	t5,ra,sp
+    800002b0:	21212eb7          	lui	t4,0x21212
+    800002b4:	121e8e9b          	addiw	t4,t4,289
+    800002b8:	01100193          	li	gp,17
+    800002bc:	45df1663          	bne	t5,t4,80000708 <fail>
+
+00000000800002c0 <test_18>:
+    800002c0:	212120b7          	lui	ra,0x21212
+    800002c4:	1210809b          	addiw	ra,ra,289
+    800002c8:	fc100113          	li	sp,-63
+    800002cc:	00209f33          	sll	t5,ra,sp
+    800002d0:	42424eb7          	lui	t4,0x42424
+    800002d4:	242e8e9b          	addiw	t4,t4,578
+    800002d8:	01200193          	li	gp,18
+    800002dc:	43df1663          	bne	t5,t4,80000708 <fail>
+
+00000000800002e0 <test_19>:
+    800002e0:	212120b7          	lui	ra,0x21212
+    800002e4:	1210809b          	addiw	ra,ra,289
+    800002e8:	fc700113          	li	sp,-57
+    800002ec:	00209f33          	sll	t5,ra,sp
+    800002f0:	01091eb7          	lui	t4,0x1091
+    800002f4:	909e8e9b          	addiw	t4,t4,-1783
+    800002f8:	00ce9e93          	slli	t4,t4,0xc
+    800002fc:	080e8e93          	addi	t4,t4,128 # 1091080 <_start-0x7ef6ef80>
+    80000300:	01300193          	li	gp,19
+    80000304:	41df1263          	bne	t5,t4,80000708 <fail>
+
+0000000080000308 <test_20>:
+    80000308:	212120b7          	lui	ra,0x21212
+    8000030c:	1210809b          	addiw	ra,ra,289
+    80000310:	fce00113          	li	sp,-50
+    80000314:	00209f33          	sll	t5,ra,sp
+    80000318:	21212eb7          	lui	t4,0x21212
+    8000031c:	121e8e9b          	addiw	t4,t4,289
+    80000320:	00ee9e93          	slli	t4,t4,0xe
+    80000324:	01400193          	li	gp,20
+    80000328:	3fdf1063          	bne	t5,t4,80000708 <fail>
+
+000000008000032c <test_21>:
+    8000032c:	212120b7          	lui	ra,0x21212
+    80000330:	1210809b          	addiw	ra,ra,289
+    80000334:	fff00113          	li	sp,-1
+    80000338:	00209f33          	sll	t5,ra,sp
+    8000033c:	fff00e9b          	addiw	t4,zero,-1
+    80000340:	03fe9e93          	slli	t4,t4,0x3f
+    80000344:	01500193          	li	gp,21
+    80000348:	3ddf1063          	bne	t5,t4,80000708 <fail>
+
+000000008000034c <test_50>:
+    8000034c:	00100093          	li	ra,1
+    80000350:	03f00113          	li	sp,63
+    80000354:	00209f33          	sll	t5,ra,sp
+    80000358:	fff00e9b          	addiw	t4,zero,-1
+    8000035c:	03fe9e93          	slli	t4,t4,0x3f
+    80000360:	03200193          	li	gp,50
+    80000364:	3bdf1263          	bne	t5,t4,80000708 <fail>
+
+0000000080000368 <test_51>:
+    80000368:	fff00093          	li	ra,-1
+    8000036c:	02700113          	li	sp,39
+    80000370:	00209f33          	sll	t5,ra,sp
+    80000374:	fff00e9b          	addiw	t4,zero,-1
+    80000378:	027e9e93          	slli	t4,t4,0x27
+    8000037c:	03300193          	li	gp,51
+    80000380:	39df1463          	bne	t5,t4,80000708 <fail>
+
+0000000080000384 <test_52>:
+    80000384:	212120b7          	lui	ra,0x21212
+    80000388:	1210809b          	addiw	ra,ra,289
+    8000038c:	02b00113          	li	sp,43
+    80000390:	00209f33          	sll	t5,ra,sp
+    80000394:	00012eb7          	lui	t4,0x12
+    80000398:	121e8e9b          	addiw	t4,t4,289
+    8000039c:	02be9e93          	slli	t4,t4,0x2b
+    800003a0:	03400193          	li	gp,52
+    800003a4:	37df1263          	bne	t5,t4,80000708 <fail>
+
+00000000800003a8 <test_22>:
+    800003a8:	00100093          	li	ra,1
+    800003ac:	00700113          	li	sp,7
+    800003b0:	002090b3          	sll	ra,ra,sp
+    800003b4:	08000e93          	li	t4,128
+    800003b8:	01600193          	li	gp,22
+    800003bc:	35d09663          	bne	ra,t4,80000708 <fail>
+
+00000000800003c0 <test_23>:
+    800003c0:	00100093          	li	ra,1
+    800003c4:	00e00113          	li	sp,14
+    800003c8:	00209133          	sll	sp,ra,sp
+    800003cc:	00004eb7          	lui	t4,0x4
+    800003d0:	01700193          	li	gp,23
+    800003d4:	33d11a63          	bne	sp,t4,80000708 <fail>
+
+00000000800003d8 <test_24>:
+    800003d8:	00300093          	li	ra,3
+    800003dc:	001090b3          	sll	ra,ra,ra
+    800003e0:	01800e93          	li	t4,24
+    800003e4:	01800193          	li	gp,24
+    800003e8:	33d09063          	bne	ra,t4,80000708 <fail>
+
+00000000800003ec <test_25>:
+    800003ec:	00000213          	li	tp,0
+    800003f0:	00100093          	li	ra,1
+    800003f4:	00700113          	li	sp,7
+    800003f8:	00209f33          	sll	t5,ra,sp
+    800003fc:	000f0313          	mv	t1,t5
+    80000400:	00120213          	addi	tp,tp,1 # 1 <_start-0x7fffffff>
+    80000404:	00200293          	li	t0,2
+    80000408:	fe5214e3          	bne	tp,t0,800003f0 <test_25+0x4>
+    8000040c:	08000e93          	li	t4,128
+    80000410:	01900193          	li	gp,25
+    80000414:	2fd31a63          	bne	t1,t4,80000708 <fail>
+
+0000000080000418 <test_26>:
+    80000418:	00000213          	li	tp,0
+    8000041c:	00100093          	li	ra,1
+    80000420:	00e00113          	li	sp,14
+    80000424:	00209f33          	sll	t5,ra,sp
+    80000428:	00000013          	nop
+    8000042c:	000f0313          	mv	t1,t5
+    80000430:	00120213          	addi	tp,tp,1 # 1 <_start-0x7fffffff>
+    80000434:	00200293          	li	t0,2
+    80000438:	fe5212e3          	bne	tp,t0,8000041c <test_26+0x4>
+    8000043c:	00004eb7          	lui	t4,0x4
+    80000440:	01a00193          	li	gp,26
+    80000444:	2dd31263          	bne	t1,t4,80000708 <fail>
+
+0000000080000448 <test_27>:
+    80000448:	00000213          	li	tp,0
+    8000044c:	00100093          	li	ra,1
+    80000450:	01f00113          	li	sp,31
+    80000454:	00209f33          	sll	t5,ra,sp
+    80000458:	00000013          	nop
+    8000045c:	00000013          	nop
+    80000460:	000f0313          	mv	t1,t5
+    80000464:	00120213          	addi	tp,tp,1 # 1 <_start-0x7fffffff>
+    80000468:	00200293          	li	t0,2
+    8000046c:	fe5210e3          	bne	tp,t0,8000044c <test_27+0x4>
+    80000470:	00100e9b          	addiw	t4,zero,1
+    80000474:	01fe9e93          	slli	t4,t4,0x1f
+    80000478:	01b00193          	li	gp,27
+    8000047c:	29d31663          	bne	t1,t4,80000708 <fail>
+
+0000000080000480 <test_28>:
+    80000480:	00000213          	li	tp,0
+    80000484:	00100093          	li	ra,1
+    80000488:	00700113          	li	sp,7
+    8000048c:	00209f33          	sll	t5,ra,sp
+    80000490:	00120213          	addi	tp,tp,1 # 1 <_start-0x7fffffff>
+    80000494:	00200293          	li	t0,2
+    80000498:	fe5216e3          	bne	tp,t0,80000484 <test_28+0x4>
+    8000049c:	08000e93          	li	t4,128
+    800004a0:	01c00193          	li	gp,28
+    800004a4:	27df1263          	bne	t5,t4,80000708 <fail>
+
+00000000800004a8 <test_29>:
+    800004a8:	00000213          	li	tp,0
+    800004ac:	00100093          	li	ra,1
+    800004b0:	00e00113          	li	sp,14
+    800004b4:	00000013          	nop
+    800004b8:	00209f33          	sll	t5,ra,sp
+    800004bc:	00120213          	addi	tp,tp,1 # 1 <_start-0x7fffffff>
+    800004c0:	00200293          	li	t0,2
+    800004c4:	fe5214e3          	bne	tp,t0,800004ac <test_29+0x4>
+    800004c8:	00004eb7          	lui	t4,0x4
+    800004cc:	01d00193          	li	gp,29
+    800004d0:	23df1c63          	bne	t5,t4,80000708 <fail>
+
+00000000800004d4 <test_30>:
+    800004d4:	00000213          	li	tp,0
+    800004d8:	00100093          	li	ra,1
+    800004dc:	01f00113          	li	sp,31
+    800004e0:	00000013          	nop
+    800004e4:	00000013          	nop
+    800004e8:	00209f33          	sll	t5,ra,sp
+    800004ec:	00120213          	addi	tp,tp,1 # 1 <_start-0x7fffffff>
+    800004f0:	00200293          	li	t0,2
+    800004f4:	fe5212e3          	bne	tp,t0,800004d8 <test_30+0x4>
+    800004f8:	00100e9b          	addiw	t4,zero,1
+    800004fc:	01fe9e93          	slli	t4,t4,0x1f
+    80000500:	01e00193          	li	gp,30
+    80000504:	21df1263          	bne	t5,t4,80000708 <fail>
+
+0000000080000508 <test_31>:
+    80000508:	00000213          	li	tp,0
+    8000050c:	00100093          	li	ra,1
+    80000510:	00000013          	nop
+    80000514:	00700113          	li	sp,7
+    80000518:	00209f33          	sll	t5,ra,sp
+    8000051c:	00120213          	addi	tp,tp,1 # 1 <_start-0x7fffffff>
+    80000520:	00200293          	li	t0,2
+    80000524:	fe5214e3          	bne	tp,t0,8000050c <test_31+0x4>
+    80000528:	08000e93          	li	t4,128
+    8000052c:	01f00193          	li	gp,31
+    80000530:	1ddf1c63          	bne	t5,t4,80000708 <fail>
+
+0000000080000534 <test_32>:
+    80000534:	00000213          	li	tp,0
+    80000538:	00100093          	li	ra,1
+    8000053c:	00000013          	nop
+    80000540:	00e00113          	li	sp,14
+    80000544:	00000013          	nop
+    80000548:	00209f33          	sll	t5,ra,sp
+    8000054c:	00120213          	addi	tp,tp,1 # 1 <_start-0x7fffffff>
+    80000550:	00200293          	li	t0,2
+    80000554:	fe5212e3          	bne	tp,t0,80000538 <test_32+0x4>
+    80000558:	00004eb7          	lui	t4,0x4
+    8000055c:	02000193          	li	gp,32
+    80000560:	1bdf1463          	bne	t5,t4,80000708 <fail>
+
+0000000080000564 <test_33>:
+    80000564:	00000213          	li	tp,0
+    80000568:	00100093          	li	ra,1
+    8000056c:	00000013          	nop
+    80000570:	00000013          	nop
+    80000574:	01f00113          	li	sp,31
+    80000578:	00209f33          	sll	t5,ra,sp
+    8000057c:	00120213          	addi	tp,tp,1 # 1 <_start-0x7fffffff>
+    80000580:	00200293          	li	t0,2
+    80000584:	fe5212e3          	bne	tp,t0,80000568 <test_33+0x4>
+    80000588:	00100e9b          	addiw	t4,zero,1
+    8000058c:	01fe9e93          	slli	t4,t4,0x1f
+    80000590:	02100193          	li	gp,33
+    80000594:	17df1a63          	bne	t5,t4,80000708 <fail>
+
+0000000080000598 <test_34>:
+    80000598:	00000213          	li	tp,0
+    8000059c:	00700113          	li	sp,7
+    800005a0:	00100093          	li	ra,1
+    800005a4:	00209f33          	sll	t5,ra,sp
+    800005a8:	00120213          	addi	tp,tp,1 # 1 <_start-0x7fffffff>
+    800005ac:	00200293          	li	t0,2
+    800005b0:	fe5216e3          	bne	tp,t0,8000059c <test_34+0x4>
+    800005b4:	08000e93          	li	t4,128
+    800005b8:	02200193          	li	gp,34
+    800005bc:	15df1663          	bne	t5,t4,80000708 <fail>
+
+00000000800005c0 <test_35>:
+    800005c0:	00000213          	li	tp,0
+    800005c4:	00e00113          	li	sp,14
+    800005c8:	00100093          	li	ra,1
+    800005cc:	00000013          	nop
+    800005d0:	00209f33          	sll	t5,ra,sp
+    800005d4:	00120213          	addi	tp,tp,1 # 1 <_start-0x7fffffff>
+    800005d8:	00200293          	li	t0,2
+    800005dc:	fe5214e3          	bne	tp,t0,800005c4 <test_35+0x4>
+    800005e0:	00004eb7          	lui	t4,0x4
+    800005e4:	02300193          	li	gp,35
+    800005e8:	13df1063          	bne	t5,t4,80000708 <fail>
+
+00000000800005ec <test_36>:
+    800005ec:	00000213          	li	tp,0
+    800005f0:	01f00113          	li	sp,31
+    800005f4:	00100093          	li	ra,1
+    800005f8:	00000013          	nop
+    800005fc:	00000013          	nop
+    80000600:	00209f33          	sll	t5,ra,sp
+    80000604:	00120213          	addi	tp,tp,1 # 1 <_start-0x7fffffff>
+    80000608:	00200293          	li	t0,2
+    8000060c:	fe5212e3          	bne	tp,t0,800005f0 <test_36+0x4>
+    80000610:	00100e9b          	addiw	t4,zero,1
+    80000614:	01fe9e93          	slli	t4,t4,0x1f
+    80000618:	02400193          	li	gp,36
+    8000061c:	0fdf1663          	bne	t5,t4,80000708 <fail>
+
+0000000080000620 <test_37>:
+    80000620:	00000213          	li	tp,0
+    80000624:	00700113          	li	sp,7
+    80000628:	00000013          	nop
+    8000062c:	00100093          	li	ra,1
+    80000630:	00209f33          	sll	t5,ra,sp
+    80000634:	00120213          	addi	tp,tp,1 # 1 <_start-0x7fffffff>
+    80000638:	00200293          	li	t0,2
+    8000063c:	fe5214e3          	bne	tp,t0,80000624 <test_37+0x4>
+    80000640:	08000e93          	li	t4,128
+    80000644:	02500193          	li	gp,37
+    80000648:	0ddf1063          	bne	t5,t4,80000708 <fail>
+
+000000008000064c <test_38>:
+    8000064c:	00000213          	li	tp,0
+    80000650:	00e00113          	li	sp,14
+    80000654:	00000013          	nop
+    80000658:	00100093          	li	ra,1
+    8000065c:	00000013          	nop
+    80000660:	00209f33          	sll	t5,ra,sp
+    80000664:	00120213          	addi	tp,tp,1 # 1 <_start-0x7fffffff>
+    80000668:	00200293          	li	t0,2
+    8000066c:	fe5212e3          	bne	tp,t0,80000650 <test_38+0x4>
+    80000670:	00004eb7          	lui	t4,0x4
+    80000674:	02600193          	li	gp,38
+    80000678:	09df1863          	bne	t5,t4,80000708 <fail>
+
+000000008000067c <test_39>:
+    8000067c:	00000213          	li	tp,0
+    80000680:	01f00113          	li	sp,31
+    80000684:	00000013          	nop
+    80000688:	00000013          	nop
+    8000068c:	00100093          	li	ra,1
+    80000690:	00209f33          	sll	t5,ra,sp
+    80000694:	00120213          	addi	tp,tp,1 # 1 <_start-0x7fffffff>
+    80000698:	00200293          	li	t0,2
+    8000069c:	fe5212e3          	bne	tp,t0,80000680 <test_39+0x4>
+    800006a0:	00100e9b          	addiw	t4,zero,1
+    800006a4:	01fe9e93          	slli	t4,t4,0x1f
+    800006a8:	02700193          	li	gp,39
+    800006ac:	05df1e63          	bne	t5,t4,80000708 <fail>
+
+00000000800006b0 <test_40>:
+    800006b0:	00f00093          	li	ra,15
+    800006b4:	00101133          	sll	sp,zero,ra
+    800006b8:	00000e93          	li	t4,0
+    800006bc:	02800193          	li	gp,40
+    800006c0:	05d11463          	bne	sp,t4,80000708 <fail>
+
+00000000800006c4 <test_41>:
+    800006c4:	02000093          	li	ra,32
+    800006c8:	00009133          	sll	sp,ra,zero
+    800006cc:	02000e93          	li	t4,32
+    800006d0:	02900193          	li	gp,41
+    800006d4:	03d11a63          	bne	sp,t4,80000708 <fail>
+
+00000000800006d8 <test_42>:
+    800006d8:	000010b3          	sll	ra,zero,zero
+    800006dc:	00000e93          	li	t4,0
+    800006e0:	02a00193          	li	gp,42
+    800006e4:	03d09263          	bne	ra,t4,80000708 <fail>
+
+00000000800006e8 <test_43>:
+    800006e8:	40000093          	li	ra,1024
+    800006ec:	00001137          	lui	sp,0x1
+    800006f0:	8001011b          	addiw	sp,sp,-2048
+    800006f4:	00209033          	sll	zero,ra,sp
+    800006f8:	00000e93          	li	t4,0
+    800006fc:	02b00193          	li	gp,43
+    80000700:	01d01463          	bne	zero,t4,80000708 <fail>
+    80000704:	00301c63          	bne	zero,gp,8000071c <pass>
+
+0000000080000708 <fail>:
+    80000708:	0ff0000f          	fence
+    8000070c:	00018063          	beqz	gp,8000070c <fail+0x4>
+    80000710:	00119193          	slli	gp,gp,0x1
+    80000714:	0011e193          	ori	gp,gp,1
+    80000718:	00000073          	ecall
+
+000000008000071c <pass>:
+    8000071c:	0ff0000f          	fence
+    80000720:	00100193          	li	gp,1
+    80000724:	00000073          	ecall
+    80000728:	c0001073          	unimp
+    8000072c:	0000                	unimp
+    8000072e:	0000                	unimp
+    80000730:	0000                	unimp
+    80000732:	0000                	unimp
+    80000734:	0000                	unimp
+    80000736:	0000                	unimp
+    80000738:	0000                	unimp
+    8000073a:	0000                	unimp
+    8000073c:	0000                	unimp
+    8000073e:	0000                	unimp
+    80000740:	0000                	unimp
+    80000742:	0000                	unimp