Initial Commit

1 files changed, 439 insertions, 0 deletions

diff --git a/VexRiscv/src/test/resources/asm/rv32uf-p-fmadd.dump b/VexRiscv/src/test/resources/asm/rv32uf-p-fmadd.dump
new file mode 100644
index 0000000..bfec06c
--- /dev/null
+++ b/VexRiscv/src/test/resources/asm/rv32uf-p-fmadd.dump
@@ -0,0 +1,439 @@
+
+rv32uf-p-fmadd:     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:	5391e193          	ori	gp,gp,1337
+
+80000040 <write_tohost>:
+80000040:	00001f17          	auipc	t5,0x1
+80000044:	fc3f2023          	sw	gp,-64(t5) # 80001000 <tohost>
+80000048:	ff9ff06f          	j	80000040 <write_tohost>
+
+8000004c <reset_vector>:
+8000004c:	00000093          	li	ra,0
+80000050:	00000113          	li	sp,0
+80000054:	00000193          	li	gp,0
+80000058:	00000213          	li	tp,0
+8000005c:	00000293          	li	t0,0
+80000060:	00000313          	li	t1,0
+80000064:	00000393          	li	t2,0
+80000068:	00000413          	li	s0,0
+8000006c:	00000493          	li	s1,0
+80000070:	00000513          	li	a0,0
+80000074:	00000593          	li	a1,0
+80000078:	00000613          	li	a2,0
+8000007c:	00000693          	li	a3,0
+80000080:	00000713          	li	a4,0
+80000084:	00000793          	li	a5,0
+80000088:	00000813          	li	a6,0
+8000008c:	00000893          	li	a7,0
+80000090:	00000913          	li	s2,0
+80000094:	00000993          	li	s3,0
+80000098:	00000a13          	li	s4,0
+8000009c:	00000a93          	li	s5,0
+800000a0:	00000b13          	li	s6,0
+800000a4:	00000b93          	li	s7,0
+800000a8:	00000c13          	li	s8,0
+800000ac:	00000c93          	li	s9,0
+800000b0:	00000d13          	li	s10,0
+800000b4:	00000d93          	li	s11,0
+800000b8:	00000e13          	li	t3,0
+800000bc:	00000e93          	li	t4,0
+800000c0:	00000f13          	li	t5,0
+800000c4:	00000f93          	li	t6,0
+800000c8:	f1402573          	csrr	a0,mhartid
+800000cc:	00051063          	bnez	a0,800000cc <reset_vector+0x80>
+800000d0:	00000297          	auipc	t0,0x0
+800000d4:	01028293          	addi	t0,t0,16 # 800000e0 <reset_vector+0x94>
+800000d8:	30529073          	csrw	mtvec,t0
+800000dc:	18005073          	csrwi	satp,0
+800000e0:	00000297          	auipc	t0,0x0
+800000e4:	02028293          	addi	t0,t0,32 # 80000100 <reset_vector+0xb4>
+800000e8:	30529073          	csrw	mtvec,t0
+800000ec:	800002b7          	lui	t0,0x80000
+800000f0:	fff28293          	addi	t0,t0,-1 # 7fffffff <_end+0xffffdf3f>
+800000f4:	3b029073          	csrw	pmpaddr0,t0
+800000f8:	01f00293          	li	t0,31
+800000fc:	3a029073          	csrw	pmpcfg0,t0
+80000100:	30405073          	csrwi	mie,0
+80000104:	00000297          	auipc	t0,0x0
+80000108:	01428293          	addi	t0,t0,20 # 80000118 <reset_vector+0xcc>
+8000010c:	30529073          	csrw	mtvec,t0
+80000110:	30205073          	csrwi	medeleg,0
+80000114:	30305073          	csrwi	mideleg,0
+80000118:	00000193          	li	gp,0
+8000011c:	00000297          	auipc	t0,0x0
+80000120:	ee828293          	addi	t0,t0,-280 # 80000004 <trap_vector>
+80000124:	30529073          	csrw	mtvec,t0
+80000128:	00100513          	li	a0,1
+8000012c:	01f51513          	slli	a0,a0,0x1f
+80000130:	00054c63          	bltz	a0,80000148 <reset_vector+0xfc>
+80000134:	0ff0000f          	fence
+80000138:	00100193          	li	gp,1
+8000013c:	05d00893          	li	a7,93
+80000140:	00000513          	li	a0,0
+80000144:	00000073          	ecall
+80000148:	80000297          	auipc	t0,0x80000
+8000014c:	eb828293          	addi	t0,t0,-328 # 0 <_start-0x80000000>
+80000150:	00028a63          	beqz	t0,80000164 <reset_vector+0x118>
+80000154:	10529073          	csrw	stvec,t0
+80000158:	0000b2b7          	lui	t0,0xb
+8000015c:	10928293          	addi	t0,t0,265 # b109 <_start-0x7fff4ef7>
+80000160:	30229073          	csrw	medeleg,t0
+80000164:	30005073          	csrwi	mstatus,0
+80000168:	00002537          	lui	a0,0x2
+8000016c:	30052073          	csrs	mstatus,a0
+80000170:	00305073          	csrwi	fcsr,0
+80000174:	00000297          	auipc	t0,0x0
+80000178:	01428293          	addi	t0,t0,20 # 80000188 <test_2>
+8000017c:	34129073          	csrw	mepc,t0
+80000180:	f1402573          	csrr	a0,mhartid
+80000184:	30200073          	mret
+
+80000188 <test_2>:
+80000188:	00200193          	li	gp,2
+8000018c:	00002517          	auipc	a0,0x2
+80000190:	e7450513          	addi	a0,a0,-396 # 80002000 <test_2_data>
+80000194:	00052007          	flw	ft0,0(a0)
+80000198:	00452087          	flw	ft1,4(a0)
+8000019c:	00852107          	flw	ft2,8(a0)
+800001a0:	00c52683          	lw	a3,12(a0)
+800001a4:	101071c3          	fmadd.s	ft3,ft0,ft1,ft2
+800001a8:	e0018553          	fmv.x.w	a0,ft3
+800001ac:	001015f3          	fsflags	a1,zero
+800001b0:	00000613          	li	a2,0
+800001b4:	24d51463          	bne	a0,a3,800003fc <fail>
+800001b8:	24c59263          	bne	a1,a2,800003fc <fail>
+
+800001bc <test_3>:
+800001bc:	00300193          	li	gp,3
+800001c0:	00002517          	auipc	a0,0x2
+800001c4:	e5050513          	addi	a0,a0,-432 # 80002010 <test_3_data>
+800001c8:	00052007          	flw	ft0,0(a0)
+800001cc:	00452087          	flw	ft1,4(a0)
+800001d0:	00852107          	flw	ft2,8(a0)
+800001d4:	00c52683          	lw	a3,12(a0)
+800001d8:	101071c3          	fmadd.s	ft3,ft0,ft1,ft2
+800001dc:	e0018553          	fmv.x.w	a0,ft3
+800001e0:	001015f3          	fsflags	a1,zero
+800001e4:	00100613          	li	a2,1
+800001e8:	20d51a63          	bne	a0,a3,800003fc <fail>
+800001ec:	20c59863          	bne	a1,a2,800003fc <fail>
+
+800001f0 <test_4>:
+800001f0:	00400193          	li	gp,4
+800001f4:	00002517          	auipc	a0,0x2
+800001f8:	e2c50513          	addi	a0,a0,-468 # 80002020 <test_4_data>
+800001fc:	00052007          	flw	ft0,0(a0)
+80000200:	00452087          	flw	ft1,4(a0)
+80000204:	00852107          	flw	ft2,8(a0)
+80000208:	00c52683          	lw	a3,12(a0)
+8000020c:	101071c3          	fmadd.s	ft3,ft0,ft1,ft2
+80000210:	e0018553          	fmv.x.w	a0,ft3
+80000214:	001015f3          	fsflags	a1,zero
+80000218:	00000613          	li	a2,0
+8000021c:	1ed51063          	bne	a0,a3,800003fc <fail>
+80000220:	1cc59e63          	bne	a1,a2,800003fc <fail>
+
+80000224 <test_5>:
+80000224:	00500193          	li	gp,5
+80000228:	00002517          	auipc	a0,0x2
+8000022c:	e0850513          	addi	a0,a0,-504 # 80002030 <test_5_data>
+80000230:	00052007          	flw	ft0,0(a0)
+80000234:	00452087          	flw	ft1,4(a0)
+80000238:	00852107          	flw	ft2,8(a0)
+8000023c:	00c52683          	lw	a3,12(a0)
+80000240:	101071cf          	fnmadd.s	ft3,ft0,ft1,ft2
+80000244:	e0018553          	fmv.x.w	a0,ft3
+80000248:	001015f3          	fsflags	a1,zero
+8000024c:	00000613          	li	a2,0
+80000250:	1ad51663          	bne	a0,a3,800003fc <fail>
+80000254:	1ac59463          	bne	a1,a2,800003fc <fail>
+
+80000258 <test_6>:
+80000258:	00600193          	li	gp,6
+8000025c:	00002517          	auipc	a0,0x2
+80000260:	de450513          	addi	a0,a0,-540 # 80002040 <test_6_data>
+80000264:	00052007          	flw	ft0,0(a0)
+80000268:	00452087          	flw	ft1,4(a0)
+8000026c:	00852107          	flw	ft2,8(a0)
+80000270:	00c52683          	lw	a3,12(a0)
+80000274:	101071cf          	fnmadd.s	ft3,ft0,ft1,ft2
+80000278:	e0018553          	fmv.x.w	a0,ft3
+8000027c:	001015f3          	fsflags	a1,zero
+80000280:	00100613          	li	a2,1
+80000284:	16d51c63          	bne	a0,a3,800003fc <fail>
+80000288:	16c59a63          	bne	a1,a2,800003fc <fail>
+
+8000028c <test_7>:
+8000028c:	00700193          	li	gp,7
+80000290:	00002517          	auipc	a0,0x2
+80000294:	dc050513          	addi	a0,a0,-576 # 80002050 <test_7_data>
+80000298:	00052007          	flw	ft0,0(a0)
+8000029c:	00452087          	flw	ft1,4(a0)
+800002a0:	00852107          	flw	ft2,8(a0)
+800002a4:	00c52683          	lw	a3,12(a0)
+800002a8:	101071cf          	fnmadd.s	ft3,ft0,ft1,ft2
+800002ac:	e0018553          	fmv.x.w	a0,ft3
+800002b0:	001015f3          	fsflags	a1,zero
+800002b4:	00000613          	li	a2,0
+800002b8:	14d51263          	bne	a0,a3,800003fc <fail>
+800002bc:	14c59063          	bne	a1,a2,800003fc <fail>
+
+800002c0 <test_8>:
+800002c0:	00800193          	li	gp,8
+800002c4:	00002517          	auipc	a0,0x2
+800002c8:	d9c50513          	addi	a0,a0,-612 # 80002060 <test_8_data>
+800002cc:	00052007          	flw	ft0,0(a0)
+800002d0:	00452087          	flw	ft1,4(a0)
+800002d4:	00852107          	flw	ft2,8(a0)
+800002d8:	00c52683          	lw	a3,12(a0)
+800002dc:	101071c7          	fmsub.s	ft3,ft0,ft1,ft2
+800002e0:	e0018553          	fmv.x.w	a0,ft3
+800002e4:	001015f3          	fsflags	a1,zero
+800002e8:	00000613          	li	a2,0
+800002ec:	10d51863          	bne	a0,a3,800003fc <fail>
+800002f0:	10c59663          	bne	a1,a2,800003fc <fail>
+
+800002f4 <test_9>:
+800002f4:	00900193          	li	gp,9
+800002f8:	00002517          	auipc	a0,0x2
+800002fc:	d7850513          	addi	a0,a0,-648 # 80002070 <test_9_data>
+80000300:	00052007          	flw	ft0,0(a0)
+80000304:	00452087          	flw	ft1,4(a0)
+80000308:	00852107          	flw	ft2,8(a0)
+8000030c:	00c52683          	lw	a3,12(a0)
+80000310:	101071c7          	fmsub.s	ft3,ft0,ft1,ft2
+80000314:	e0018553          	fmv.x.w	a0,ft3
+80000318:	001015f3          	fsflags	a1,zero
+8000031c:	00100613          	li	a2,1
+80000320:	0cd51e63          	bne	a0,a3,800003fc <fail>
+80000324:	0cc59c63          	bne	a1,a2,800003fc <fail>
+
+80000328 <test_10>:
+80000328:	00a00193          	li	gp,10
+8000032c:	00002517          	auipc	a0,0x2
+80000330:	d5450513          	addi	a0,a0,-684 # 80002080 <test_10_data>
+80000334:	00052007          	flw	ft0,0(a0)
+80000338:	00452087          	flw	ft1,4(a0)
+8000033c:	00852107          	flw	ft2,8(a0)
+80000340:	00c52683          	lw	a3,12(a0)
+80000344:	101071c7          	fmsub.s	ft3,ft0,ft1,ft2
+80000348:	e0018553          	fmv.x.w	a0,ft3
+8000034c:	001015f3          	fsflags	a1,zero
+80000350:	00000613          	li	a2,0
+80000354:	0ad51463          	bne	a0,a3,800003fc <fail>
+80000358:	0ac59263          	bne	a1,a2,800003fc <fail>
+
+8000035c <test_11>:
+8000035c:	00b00193          	li	gp,11
+80000360:	00002517          	auipc	a0,0x2
+80000364:	d3050513          	addi	a0,a0,-720 # 80002090 <test_11_data>
+80000368:	00052007          	flw	ft0,0(a0)
+8000036c:	00452087          	flw	ft1,4(a0)
+80000370:	00852107          	flw	ft2,8(a0)
+80000374:	00c52683          	lw	a3,12(a0)
+80000378:	101071cb          	fnmsub.s	ft3,ft0,ft1,ft2
+8000037c:	e0018553          	fmv.x.w	a0,ft3
+80000380:	001015f3          	fsflags	a1,zero
+80000384:	00000613          	li	a2,0
+80000388:	06d51a63          	bne	a0,a3,800003fc <fail>
+8000038c:	06c59863          	bne	a1,a2,800003fc <fail>
+
+80000390 <test_12>:
+80000390:	00c00193          	li	gp,12
+80000394:	00002517          	auipc	a0,0x2
+80000398:	d0c50513          	addi	a0,a0,-756 # 800020a0 <test_12_data>
+8000039c:	00052007          	flw	ft0,0(a0)
+800003a0:	00452087          	flw	ft1,4(a0)
+800003a4:	00852107          	flw	ft2,8(a0)
+800003a8:	00c52683          	lw	a3,12(a0)
+800003ac:	101071cb          	fnmsub.s	ft3,ft0,ft1,ft2
+800003b0:	e0018553          	fmv.x.w	a0,ft3
+800003b4:	001015f3          	fsflags	a1,zero
+800003b8:	00100613          	li	a2,1
+800003bc:	04d51063          	bne	a0,a3,800003fc <fail>
+800003c0:	02c59e63          	bne	a1,a2,800003fc <fail>
+
+800003c4 <test_13>:
+800003c4:	00d00193          	li	gp,13
+800003c8:	00002517          	auipc	a0,0x2
+800003cc:	ce850513          	addi	a0,a0,-792 # 800020b0 <test_13_data>
+800003d0:	00052007          	flw	ft0,0(a0)
+800003d4:	00452087          	flw	ft1,4(a0)
+800003d8:	00852107          	flw	ft2,8(a0)
+800003dc:	00c52683          	lw	a3,12(a0)
+800003e0:	101071cb          	fnmsub.s	ft3,ft0,ft1,ft2
+800003e4:	e0018553          	fmv.x.w	a0,ft3
+800003e8:	001015f3          	fsflags	a1,zero
+800003ec:	00000613          	li	a2,0
+800003f0:	00d51663          	bne	a0,a3,800003fc <fail>
+800003f4:	00c59463          	bne	a1,a2,800003fc <fail>
+800003f8:	02301063          	bne	zero,gp,80000418 <pass>
+
+800003fc <fail>:
+800003fc:	0ff0000f          	fence
+80000400:	00018063          	beqz	gp,80000400 <fail+0x4>
+80000404:	00119193          	slli	gp,gp,0x1
+80000408:	0011e193          	ori	gp,gp,1
+8000040c:	05d00893          	li	a7,93
+80000410:	00018513          	mv	a0,gp
+80000414:	00000073          	ecall
+
+80000418 <pass>:
+80000418:	0ff0000f          	fence
+8000041c:	00100193          	li	gp,1
+80000420:	05d00893          	li	a7,93
+80000424:	00000513          	li	a0,0
+80000428:	00000073          	ecall
+8000042c:	c0001073          	unimp
+80000430:	0000                	unimp
+80000432:	0000                	unimp
+80000434:	0000                	unimp
+80000436:	0000                	unimp
+80000438:	0000                	unimp
+8000043a:	0000                	unimp
+8000043c:	0000                	unimp
+8000043e:	0000                	unimp
+80000440:	0000                	unimp
+80000442:	0000                	unimp
+
+Disassembly of section .data:
+
+80002000 <test_2_data>:
+80002000:	0000                	unimp
+80002002:	3f80                	fld	fs0,56(a5)
+80002004:	0000                	unimp
+80002006:	4020                	lw	s0,64(s0)
+80002008:	0000                	unimp
+8000200a:	3f80                	fld	fs0,56(a5)
+8000200c:	0000                	unimp
+8000200e:	4060                	lw	s0,68(s0)
+
+80002010 <test_3_data>:
+80002010:	0000                	unimp
+80002012:	bf80                	fsd	fs0,56(a5)
+80002014:	c49a6333          	0xc49a6333
+80002018:	cccd                	beqz	s1,800020d2 <_end+0x12>
+8000201a:	3f8c                	fld	fa1,56(a5)
+8000201c:	8666                	mv	a2,s9
+8000201e:	449a                	lw	s1,132(sp)
+
+80002020 <test_4_data>:
+80002020:	0000                	unimp
+80002022:	4000                	lw	s0,0(s0)
+80002024:	0000                	unimp
+80002026:	c0a0                	sw	s0,64(s1)
+80002028:	0000                	unimp
+8000202a:	c000                	sw	s0,0(s0)
+8000202c:	0000                	unimp
+8000202e:	c140                	sw	s0,4(a0)
+
+80002030 <test_5_data>:
+80002030:	0000                	unimp
+80002032:	3f80                	fld	fs0,56(a5)
+80002034:	0000                	unimp
+80002036:	4020                	lw	s0,64(s0)
+80002038:	0000                	unimp
+8000203a:	3f80                	fld	fs0,56(a5)
+8000203c:	0000                	unimp
+8000203e:	c060                	sw	s0,68(s0)
+
+80002040 <test_6_data>:
+80002040:	0000                	unimp
+80002042:	bf80                	fsd	fs0,56(a5)
+80002044:	c49a6333          	0xc49a6333
+80002048:	cccd                	beqz	s1,80002102 <_end+0x42>
+8000204a:	3f8c                	fld	fa1,56(a5)
+8000204c:	8666                	mv	a2,s9
+8000204e:	c49a                	sw	t1,72(sp)
+
+80002050 <test_7_data>:
+80002050:	0000                	unimp
+80002052:	4000                	lw	s0,0(s0)
+80002054:	0000                	unimp
+80002056:	c0a0                	sw	s0,64(s1)
+80002058:	0000                	unimp
+8000205a:	c000                	sw	s0,0(s0)
+8000205c:	0000                	unimp
+8000205e:	4140                	lw	s0,4(a0)
+
+80002060 <test_8_data>:
+80002060:	0000                	unimp
+80002062:	3f80                	fld	fs0,56(a5)
+80002064:	0000                	unimp
+80002066:	4020                	lw	s0,64(s0)
+80002068:	0000                	unimp
+8000206a:	3f80                	fld	fs0,56(a5)
+8000206c:	0000                	unimp
+8000206e:	3fc0                	fld	fs0,184(a5)
+
+80002070 <test_9_data>:
+80002070:	0000                	unimp
+80002072:	bf80                	fsd	fs0,56(a5)
+80002074:	c49a6333          	0xc49a6333
+80002078:	cccd                	beqz	s1,80002132 <_end+0x72>
+8000207a:	3f8c                	fld	fa1,56(a5)
+8000207c:	4000                	lw	s0,0(s0)
+8000207e:	449a                	lw	s1,132(sp)
+
+80002080 <test_10_data>:
+80002080:	0000                	unimp
+80002082:	4000                	lw	s0,0(s0)
+80002084:	0000                	unimp
+80002086:	c0a0                	sw	s0,64(s1)
+80002088:	0000                	unimp
+8000208a:	c000                	sw	s0,0(s0)
+8000208c:	0000                	unimp
+8000208e:	c100                	sw	s0,0(a0)
+
+80002090 <test_11_data>:
+80002090:	0000                	unimp
+80002092:	3f80                	fld	fs0,56(a5)
+80002094:	0000                	unimp
+80002096:	4020                	lw	s0,64(s0)
+80002098:	0000                	unimp
+8000209a:	3f80                	fld	fs0,56(a5)
+8000209c:	0000                	unimp
+8000209e:	bfc0                	fsd	fs0,184(a5)
+
+800020a0 <test_12_data>:
+800020a0:	0000                	unimp
+800020a2:	bf80                	fsd	fs0,56(a5)
+800020a4:	c49a6333          	0xc49a6333
+800020a8:	cccd                	beqz	s1,80002162 <_end+0xa2>
+800020aa:	3f8c                	fld	fa1,56(a5)
+800020ac:	4000                	lw	s0,0(s0)
+800020ae:	c49a                	sw	t1,72(sp)
+
+800020b0 <test_13_data>:
+800020b0:	0000                	unimp
+800020b2:	4000                	lw	s0,0(s0)
+800020b4:	0000                	unimp
+800020b6:	c0a0                	sw	s0,64(s1)
+800020b8:	0000                	unimp
+800020ba:	c000                	sw	s0,0(s0)
+800020bc:	0000                	unimp
+800020be:	4100                	lw	s0,0(a0)