
#include "model_test.h"
#include "arch_test.h"
RVTEST_ISA("RV32IK")

.section .text.init
.globl rvtest_entry_point
rvtest_entry_point:
RVMODEL_BOOT
RVTEST_CODE_BEGIN

#ifdef TEST_CASE_1

RVTEST_CASE(0,"//check ISA:=regex(.*32.*);check ISA:=regex(.*RV32.*I.*K.*);def TEST_CASE_1=True;",sha256sig0)

RVTEST_CASE(1,"//check ISA:=regex(.*32.*);check ISA:=regex(.*RV32.*I.*ZKn.*);def TEST_CASE_1=True;",sha256sig0)

RVTEST_SIGBASE( x31,signature_x31_1)

la x1, rvtest_data

inst_0:
// Checking load-to-use hazard!
// opcode: sha256sig0; op1:x2; dest1:x3;
lw x2, 0(x1);
sha256sig0 x3, x2;
RVTEST_SIGUPD(x31,x2,0);
RVTEST_SIGUPD(x31,x3,4);

inst_1:
// Checking load-to-use hazard!
// opcode: sha256sig0; op1:x3; dest1:x4;
lw x3, 4(x1);
sha256sig0 x4, x3;
RVTEST_SIGUPD(x31,x3,8);
RVTEST_SIGUPD(x31,x4,12);

inst_2:
// Checking load-to-use hazard!
// opcode: sha256sig0; op1:x4; dest1:x5;
lw x4, 8(x1);
sha256sig0 x5, x4;
RVTEST_SIGUPD(x31,x4,16);
RVTEST_SIGUPD(x31,x5,20);

inst_3:
// Checking load-to-use hazard!
// opcode: sha256sig0; op1:x5; dest1:x6;
lw x5, 12(x1);
sha256sig0 x6, x5;
RVTEST_SIGUPD(x31,x5,24);
RVTEST_SIGUPD(x31,x6,28);

inst_4:
// Checking load-to-use hazard!
// opcode: sha256sig0; op1:x6; dest1:x7;
lw x6, 16(x1);
sha256sig0 x7, x6;
RVTEST_SIGUPD(x31,x6,32);
RVTEST_SIGUPD(x31,x7,36);

inst_5:
// Checking load-to-use hazard!
// opcode: sha256sig0; op1:x7; dest1:x8;
lw x7, 20(x1);
sha256sig0 x8, x7;
RVTEST_SIGUPD(x31,x7,40);
RVTEST_SIGUPD(x31,x8,44);

inst_6:
// Checking load-to-use hazard!
// opcode: sha256sig0; op1:x8; dest1:x9;
lw x8, 24(x1);
sha256sig0 x9, x8;
RVTEST_SIGUPD(x31,x8,48);
RVTEST_SIGUPD(x31,x9,52);

inst_7:
// Checking load-to-use hazard!
// opcode: sha256sig0; op1:x9; dest1:x10;
lw x9, 28(x1);
sha256sig0 x10, x9;
RVTEST_SIGUPD(x31,x9,56);
RVTEST_SIGUPD(x31,x10,60);

inst_8:
// Checking load-to-use hazard!
// opcode: sha256sig0; op1:x10; dest1:x11;
lw x10, 32(x1);
sha256sig0 x11, x10;
RVTEST_SIGUPD(x31,x10,64);
RVTEST_SIGUPD(x31,x11,68);

inst_9:
// Checking load-to-use hazard!
// opcode: sha256sig0; op1:x11; dest1:x12;
lw x11, 36(x1);
sha256sig0 x12, x11;
RVTEST_SIGUPD(x31,x11,72);
RVTEST_SIGUPD(x31,x12,76);

inst_10:
// Checking load-to-use hazard!
// opcode: sha256sig0; op1:x12; dest1:x13;
lw x12, 40(x1);
sha256sig0 x13, x12;
RVTEST_SIGUPD(x31,x12,80);
RVTEST_SIGUPD(x31,x13,84);

inst_11:
// Checking load-to-use hazard!
// opcode: sha256sig0; op1:x13; dest1:x14;
lw x13, 44(x1);
sha256sig0 x14, x13;
RVTEST_SIGUPD(x31,x13,88);
RVTEST_SIGUPD(x31,x14,92);

inst_12:
// Checking load-to-use hazard!
// opcode: sha256sig0; op1:x14; dest1:x15;
lw x14, 48(x1);
sha256sig0 x15, x14;
RVTEST_SIGUPD(x31,x14,96);
RVTEST_SIGUPD(x31,x15,100);

inst_13:
// Checking load-to-use hazard!
// opcode: sha256sig0; op1:x15; dest1:x16;
lw x15, 52(x1);
sha256sig0 x16, x15;
RVTEST_SIGUPD(x31,x15,104);
RVTEST_SIGUPD(x31,x16,108);

inst_14:
// Checking load-to-use hazard!
// opcode: sha256sig0; op1:x16; dest1:x17;
lw x16, 56(x1);
sha256sig0 x17, x16;
RVTEST_SIGUPD(x31,x16,112);
RVTEST_SIGUPD(x31,x17,116);

inst_15:
// Checking load-to-use hazard!
// opcode: sha256sig0; op1:x17; dest1:x18;
lw x17, 60(x1);
sha256sig0 x18, x17;
RVTEST_SIGUPD(x31,x17,120);
RVTEST_SIGUPD(x31,x18,124);

inst_16:
// Checking load-to-use hazard!
// opcode: sha256sig0; op1:x18; dest1:x19;
lw x18, 64(x1);
sha256sig0 x19, x18;
RVTEST_SIGUPD(x31,x18,128);
RVTEST_SIGUPD(x31,x19,132);

inst_17:
// Checking load-to-use hazard!
// opcode: sha256sig0; op1:x19; dest1:x20;
lw x19, 68(x1);
sha256sig0 x20, x19;
RVTEST_SIGUPD(x31,x19,136);
RVTEST_SIGUPD(x31,x20,140);

inst_18:
// Checking load-to-use hazard!
// opcode: sha256sig0; op1:x20; dest1:x21;
lw x20, 72(x1);
sha256sig0 x21, x20;
RVTEST_SIGUPD(x31,x20,144);
RVTEST_SIGUPD(x31,x21,148);

inst_19:
// Checking load-to-use hazard!
// opcode: sha256sig0; op1:x21; dest1:x22;
lw x21, 76(x1);
sha256sig0 x22, x21;
RVTEST_SIGUPD(x31,x21,152);
RVTEST_SIGUPD(x31,x22,156);

inst_20:
// Checking load-to-use hazard!
// opcode: sha256sig0; op1:x22; dest1:x23;
lw x22, 80(x1);
sha256sig0 x23, x22;
RVTEST_SIGUPD(x31,x22,160);
RVTEST_SIGUPD(x31,x23,164);

inst_21:
// Checking load-to-use hazard!
// opcode: sha256sig0; op1:x23; dest1:x24;
lw x23, 84(x1);
sha256sig0 x24, x23;
RVTEST_SIGUPD(x31,x23,168);
RVTEST_SIGUPD(x31,x24,172);

inst_22:
// Checking load-to-use hazard!
// opcode: sha256sig0; op1:x24; dest1:x25;
lw x24, 88(x1);
sha256sig0 x25, x24;
RVTEST_SIGUPD(x31,x24,176);
RVTEST_SIGUPD(x31,x25,180);

inst_23:
// Checking load-to-use hazard!
// opcode: sha256sig0; op1:x25; dest1:x26;
lw x25, 92(x1);
sha256sig0 x26, x25;
RVTEST_SIGUPD(x31,x25,184);
RVTEST_SIGUPD(x31,x26,188);

inst_24:
// Checking load-to-use hazard!
// opcode: sha256sig0; op1:x26; dest1:x27;
lw x26, 96(x1);
sha256sig0 x27, x26;
RVTEST_SIGUPD(x31,x26,192);
RVTEST_SIGUPD(x31,x27,196);

inst_25:
// Checking load-to-use hazard!
// opcode: sha256sig0; op1:x27; dest1:x28;
lw x27, 100(x1);
sha256sig0 x28, x27;
RVTEST_SIGUPD(x31,x27,200);
RVTEST_SIGUPD(x31,x28,204);

inst_26:
// Checking load-to-use hazard!
// opcode: sha256sig0; op1:x28; dest1:x29;
lw x28, 104(x1);
sha256sig0 x29, x28;
RVTEST_SIGUPD(x31,x28,208);
RVTEST_SIGUPD(x31,x29,212);

inst_27:
// Checking load-to-use hazard!
// opcode: sha256sig0; op1:x29; dest1:x30;
lw x29, 108(x1);
sha256sig0 x30, x29;
RVTEST_SIGUPD(x31,x29,216);
RVTEST_SIGUPD(x31,x30,220);

#endif

RVTEST_CODE_END
RVMODEL_HALT

RVTEST_DATA_BEGIN
.align 4
rvtest_data:
.word 0x924770d3
.word 0x6dcbac50
.word 0x93fdcab8
.word 0x34c2da80
.word 0xd035d259
.word 0xd2d6b877
.word 0x2904cdef
.word 0x854a9657
.word 0x53e8eb43
.word 0xff1e5bef
.word 0x0b680c1c
.word 0xdc338383
.word 0x9a6ab329
.word 0x61b0ee09
.word 0xacca7f0d
.word 0x74f2e2ed
.word 0xaf949e5e
.word 0xa96ec2b3
.word 0x220adb0a
.word 0xfb7f6f5d
.word 0xf829d29f
.word 0x9d02fc90
.word 0x0109c207
.word 0x224c0601
.word 0xe5f0307e
.word 0x8c8a18b2
.word 0x6f9fb997
.word 0x95a4d257
RVTEST_DATA_END

RVMODEL_DATA_BEGIN


signature_x31_1:
    .fill 56*(XLEN/32),4,0xdeadbeef
    
#ifdef rvtest_mtrap_routine

mtrap_sigptr:
    .fill 64*(XLEN/32),4,0xdeadbeef

#endif

#ifdef rvtest_gpr_save

gpr_save:
    .fill 32*(XLEN/32),4,0xdeadbeef

#endif

RVMODEL_DATA_END
