tests « riscv « test - sail - Formal specification language for ISAs

Mode	Name	Size
-rw-r--r--	README	1534	log plain
d---------	disabled	91	log plain
-rw-r--r--	rv64ua-p-amoadd_d.dump	6681	log plain
-rwxr-xr-x	rv64ua-p-amoadd_d.elf	9504	log plain
-rw-r--r--	rv64ua-p-amoadd_w.dump	5419	log plain
-rwxr-xr-x	rv64ua-p-amoadd_w.elf	9504	log plain
-rw-r--r--	rv64ua-p-amoand_d.dump	5420	log plain
-rwxr-xr-x	rv64ua-p-amoand_d.elf	9504	log plain
-rw-r--r--	rv64ua-p-amoand_w.dump	5452	log plain
-rwxr-xr-x	rv64ua-p-amoand_w.elf	9504	log plain
-rw-r--r--	rv64ua-p-amomax_d.dump	5425	log plain
-rwxr-xr-x	rv64ua-p-amomax_d.elf	9504	log plain
-rw-r--r--	rv64ua-p-amomax_w.dump	5425	log plain
-rwxr-xr-x	rv64ua-p-amomax_w.elf	9504	log plain
-rw-r--r--	rv64ua-p-amomaxu_d.dump	5430	log plain
-rwxr-xr-x	rv64ua-p-amomaxu_d.elf	9504	log plain
-rw-r--r--	rv64ua-p-amomaxu_w.dump	5430	log plain
-rwxr-xr-x	rv64ua-p-amomaxu_w.elf	9504	log plain
-rw-r--r--	rv64ua-p-amomin_d.dump	5430	log plain
-rwxr-xr-x	rv64ua-p-amomin_d.elf	9504	log plain
-rw-r--r--	rv64ua-p-amomin_w.dump	5430	log plain
-rwxr-xr-x	rv64ua-p-amomin_w.elf	9504	log plain
-rw-r--r--	rv64ua-p-amominu_d.dump	5432	log plain
-rwxr-xr-x	rv64ua-p-amominu_d.elf	9504	log plain
-rw-r--r--	rv64ua-p-amominu_w.dump	5432	log plain
-rwxr-xr-x	rv64ua-p-amominu_w.elf	9504	log plain
-rw-r--r--	rv64ua-p-amoor_d.dump	5465	log plain
-rwxr-xr-x	rv64ua-p-amoor_d.elf	9504	log plain
-rw-r--r--	rv64ua-p-amoor_w.dump	5465	log plain
-rwxr-xr-x	rv64ua-p-amoor_w.elf	9504	log plain
-rw-r--r--	rv64ua-p-amoswap_d.dump	5417	log plain
-rwxr-xr-x	rv64ua-p-amoswap_d.elf	9504	log plain
-rw-r--r--	rv64ua-p-amoswap_w.dump	5449	log plain
-rwxr-xr-x	rv64ua-p-amoswap_w.elf	9504	log plain
-rw-r--r--	rv64ua-p-amoxor_d.dump	6696	log plain
-rwxr-xr-x	rv64ua-p-amoxor_d.elf	9504	log plain
-rw-r--r--	rv64ua-p-amoxor_w.dump	6635	log plain
-rwxr-xr-x	rv64ua-p-amoxor_w.elf	9504	log plain
-rw-r--r--	rv64uc-p-rvc.dump	196885	log plain
-rwxr-xr-x	rv64uc-p-rvc.elf	18392	log plain
-rw-r--r--	rv64ui-p-add.dump	21086	log plain
-rwxr-xr-x	rv64ui-p-add.elf	10432	log plain
-rw-r--r--	rv64ui-p-addi.dump	13273	log plain
-rwxr-xr-x	rv64ui-p-addi.elf	10016	log plain
-rw-r--r--	rv64ui-p-addiw.dump	13096	log plain
-rwxr-xr-x	rv64ui-p-addiw.elf	10016	log plain
-rw-r--r--	rv64ui-p-addw.dump	19958	log plain
-rwxr-xr-x	rv64ui-p-addw.elf	10432	log plain
-rw-r--r--	rv64ui-p-and.dump	22189	log plain
-rwxr-xr-x	rv64ui-p-and.elf	10080	log plain
-rw-r--r--	rv64ui-p-andi.dump	11633	log plain
-rwxr-xr-x	rv64ui-p-andi.elf	9664	log plain
-rw-r--r--	rv64ui-p-auipc.dump	5548	log plain
-rwxr-xr-x	rv64ui-p-auipc.elf	9320	log plain
-rw-r--r--	rv64ui-p-beq.dump	14215	log plain
-rwxr-xr-x	rv64ui-p-beq.elf	9888	log plain
-rw-r--r--	rv64ui-p-bge.dump	14979	log plain
-rwxr-xr-x	rv64ui-p-bge.elf	9984	log plain
-rw-r--r--	rv64ui-p-bgeu.dump	18761	log plain
-rwxr-xr-x	rv64ui-p-bgeu.elf	9984	log plain
-rw-r--r--	rv64ui-p-blt.dump	14216	log plain
-rwxr-xr-x	rv64ui-p-blt.elf	9888	log plain
-rw-r--r--	rv64ui-p-bltu.dump	16802	log plain
-rwxr-xr-x	rv64ui-p-bltu.elf	9888	log plain
-rw-r--r--	rv64ui-p-bne.dump	14175	log plain
-rwxr-xr-x	rv64ui-p-bne.elf	9888	log plain
-rw-r--r--	rv64ui-p-fence_i.dump	8115	log plain
-rwxr-xr-x	rv64ui-p-fence_i.elf	13480	log plain
-rw-r--r--	rv64ui-p-jal.dump	5511	log plain
-rwxr-xr-x	rv64ui-p-jal.elf	9384	log plain
-rw-r--r--	rv64ui-p-jalr.dump	7277	log plain
-rwxr-xr-x	rv64ui-p-jalr.elf	9480	log plain
-rw-r--r--	rv64ui-p-lb.dump	13080	log plain
-rwxr-xr-x	rv64ui-p-lb.elf	14104	log plain
-rw-r--r--	rv64ui-p-lbu.dump	13102	log plain
-rwxr-xr-x	rv64ui-p-lbu.elf	14104	log plain
-rw-r--r--	rv64ui-p-ld.dump	18665	log plain
-rwxr-xr-x	rv64ui-p-ld.elf	14120	log plain
-rw-r--r--	rv64ui-p-lh.dump	14049	log plain
-rwxr-xr-x	rv64ui-p-lh.elf	14104	log plain
-rw-r--r--	rv64ui-p-lhu.dump	13897	log plain
-rwxr-xr-x	rv64ui-p-lhu.elf	14104	log plain
-rw-r--r--	rv64ui-p-lui.dump	5429	log plain
-rwxr-xr-x	rv64ui-p-lui.elf	9408	log plain
-rw-r--r--	rv64ui-p-lw.dump	13852	log plain
-rwxr-xr-x	rv64ui-p-lw.elf	14104	log plain
-rw-r--r--	rv64ui-p-lwu.dump	14801	log plain
-rwxr-xr-x	rv64ui-p-lwu.elf	14104	log plain
-rw-r--r--	rv64ui-p-or.dump	24103	log plain
-rwxr-xr-x	rv64ui-p-or.elf	10080	log plain
-rw-r--r--	rv64ui-p-ori.dump	11636	log plain
-rwxr-xr-x	rv64ui-p-ori.elf	9664	log plain
-rw-r--r--	rv64ui-p-sb.dump	19328	log plain
-rwxr-xr-x	rv64ui-p-sb.elf	14416	log plain
-rw-r--r--	rv64ui-p-sd.dump	27731	log plain
-rwxr-xr-x	rv64ui-p-sd.elf	14480	log plain
-rw-r--r--	rv64ui-p-sh.dump	21151	log plain
-rwxr-xr-x	rv64ui-p-sh.elf	14432	log plain
-rw-r--r--	rv64ui-p-simple.dump	4922	log plain
-rwxr-xr-x	rv64ui-p-simple.elf	9200	log plain
-rw-r--r--	rv64ui-p-sll.dump	24229	log plain
-rwxr-xr-x	rv64ui-p-sll.elf	10688	log plain
-rw-r--r--	rv64ui-p-slli.dump	14786	log plain
-rwxr-xr-x	rv64ui-p-slli.elf	10112	log plain
-rw-r--r--	rv64ui-p-slliw.dump	13164	log plain
-rwxr-xr-x	rv64ui-p-slliw.elf	10016	log plain
-rw-r--r--	rv64ui-p-sllw.dump	22856	log plain
-rwxr-xr-x	rv64ui-p-sllw.elf	10592	log plain
-rw-r--r--	rv64ui-p-slt.dump	20019	log plain
-rwxr-xr-x	rv64ui-p-slt.elf	10432	log plain
-rw-r--r--	rv64ui-p-slti.dump	13166	log plain
-rwxr-xr-x	rv64ui-p-slti.elf	10016	log plain
-rw-r--r--	rv64ui-p-sltiu.dump	13185	log plain
-rwxr-xr-x	rv64ui-p-sltiu.elf	10016	log plain
-rw-r--r--	rv64ui-p-sltu.dump	20891	log plain
-rwxr-xr-x	rv64ui-p-sltu.elf	10432	log plain
-rw-r--r--	rv64ui-p-sra.dump	22625	log plain
-rwxr-xr-x	rv64ui-p-sra.elf	10592	log plain
-rw-r--r--	rv64ui-p-srai.dump	14085	log plain
-rwxr-xr-x	rv64ui-p-srai.elf	10016	log plain
-rw-r--r--	rv64ui-p-sraiw.dump	15147	log plain
-rwxr-xr-x	rv64ui-p-sraiw.elf	10080	log plain
-rw-r--r--	rv64ui-p-sraw.dump	22668	log plain
-rwxr-xr-x	rv64ui-p-sraw.elf	10592	log plain
-rw-r--r--	rv64ui-p-srl.dump	24360	log plain
-rwxr-xr-x	rv64ui-p-srl.elf	10592	log plain
-rw-r--r--	rv64ui-p-srli.dump	14944	log plain
-rwxr-xr-x	rv64ui-p-srli.elf	10016	log plain
-rw-r--r--	rv64ui-p-srliw.dump	13007	log plain
-rwxr-xr-x	rv64ui-p-srliw.elf	10016	log plain
-rw-r--r--	rv64ui-p-srlw.dump	22788	log plain
-rwxr-xr-x	rv64ui-p-srlw.elf	10592	log plain
-rw-r--r--	rv64ui-p-sub.dump	20067	log plain
-rwxr-xr-x	rv64ui-p-sub.elf	10400	log plain
-rw-r--r--	rv64ui-p-subw.dump	20174	log plain
-rwxr-xr-x	rv64ui-p-subw.elf	10400	log plain
-rw-r--r--	rv64ui-p-sw.dump	21164	log plain
-rwxr-xr-x	rv64ui-p-sw.elf	14448	log plain
-rw-r--r--	rv64ui-p-xor.dump	24257	log plain
-rwxr-xr-x	rv64ui-p-xor.elf	10080	log plain
-rw-r--r--	rv64ui-p-xori.dump	10363	log plain
-rwxr-xr-x	rv64ui-p-xori.elf	9664	log plain
-rw-r--r--	rv64um-p-div.dump	8150	log plain
-rwxr-xr-x	rv64um-p-div.elf	9536	log plain
-rw-r--r--	rv64um-p-divu.dump	7989	log plain
-rwxr-xr-x	rv64um-p-divu.elf	9536	log plain
-rw-r--r--	rv64um-p-divuw.dump	8231	log plain
-rwxr-xr-x	rv64um-p-divuw.elf	9536	log plain
-rw-r--r--	rv64um-p-divw.dump	7003	log plain
-rwxr-xr-x	rv64um-p-divw.elf	9536	log plain
-rw-r--r--	rv64um-p-mul.dump	20190	log plain
-rwxr-xr-x	rv64um-p-mul.elf	10272	log plain
-rw-r--r--	rv64um-p-mulh.dump	19699	log plain
-rwxr-xr-x	rv64um-p-mulh.elf	10144	log plain
-rw-r--r--	rv64um-p-mulhsu.dump	19764	log plain
-rwxr-xr-x	rv64um-p-mulhsu.elf	10144	log plain
-rw-r--r--	rv64um-p-mulhu.dump	21443	log plain
-rwxr-xr-x	rv64um-p-mulhu.elf	10208	log plain
-rw-r--r--	rv64um-p-mulw.dump	16746	log plain
-rwxr-xr-x	rv64um-p-mulw.elf	10144	log plain
-rw-r--r--	rv64um-p-rem.dump	8171	log plain
-rwxr-xr-x	rv64um-p-rem.elf	9536	log plain
-rw-r--r--	rv64um-p-remu.dump	8158	log plain
-rwxr-xr-x	rv64um-p-remu.elf	9536	log plain
-rw-r--r--	rv64um-p-remuw.dump	7011	log plain
-rwxr-xr-x	rv64um-p-remuw.elf	9536	log plain
-rw-r--r--	rv64um-p-remw.dump	8121	log plain
-rwxr-xr-x	rv64um-p-remw.elf	9568	log plain