Subversion Repositories fwrisc

# See LICENSE for license details.

#*****************************************************************************

# csr.S

#-----------------------------------------------------------------------------

#

# Test CSRRx and CSRRxI instructions.

#

#include "riscv_test.h"

#include "compliance_test.h"

#include "compliance_io.h"

#include "aw_test_macros.h"

RVTEST_RV64S

RVTEST_CODE_BEGIN

#ifdef __MACHINE_MODE

  #define sscratch mscratch

  #define sstatus mstatus

  #define scause mcause

  #define sepc mepc

  #define sret mret

  #define stvec_handler mtvec_handler

  #undef SSTATUS_SPP

  #define SSTATUS_SPP MSTATUS_MPP

#endif

  # For RV64, make sure UXL encodes RV64.  (UXL does not exist for RV32.)

#if __riscv_xlen == 64

  # If running in M mode, use mstatus.MPP to check existence of U mode.

  # Otherwise, if in S mode, then U mode must exist and we don't need to check.

#ifdef __MACHINE_MODE

  li t0, MSTATUS_MPP

  csrc mstatus, t0

  csrr t1, mstatus

  and t0, t0, t1

  bnez t0, 1f

#endif

  # If U mode is present, UXL should be 2 (XLEN = 64-bit)

  TEST_CASE(13, a0, SSTATUS_UXL & (SSTATUS_UXL << 1), csrr a0, sstatus; li a1, SSTATUS_UXL; and a0, a0, a1)

#ifdef __MACHINE_MODE

  j 2f

1:

  # If U mode is not present, UXL should be 0

  TEST_CASE(14, a0, 0, csrr a0, sstatus; li a1, SSTATUS_UXL; and a0, a0, a1)

2:

#endif

#endif

  csrwi sscratch, 3

  TEST_CASE( 2, a0,         3, csrr a0, sscratch);

  TEST_CASE( 3, a1,         3, csrrci a1, sscratch, 1);

  TEST_CASE( 4, a2,         2, csrrsi a2, sscratch, 4);

  TEST_CASE( 5, a3,         6, csrrwi a3, sscratch, 2);

  TEST_CASE( 6, a1,         2, li a0, 0xbad1dea; csrrw a1, sscratch, a0);

  TEST_CASE( 7, a0, 0xbad1dea, li a0, 0x0001dea; csrrc a0, sscratch, a0);

  TEST_CASE( 8, a0, 0xbad0000, li a0, 0x000beef; csrrs a0, sscratch, a0);

  TEST_CASE( 9, a0, 0xbadbeef, csrr a0, sscratch);

#ifdef __MACHINE_MODE

  # Is F extension present?

  csrr a0, misa

  andi a0, a0, (1 << ('F' - 'A'))

  beqz a0, 1f

  # If so, make sure FP stores have no effect when mstatus.FS is off.

  li a1, MSTATUS_FS

  csrs mstatus, a1

#ifdef __riscv_flen

  fmv.s.x f0, x0

  csrc mstatus, a1

  la a1, fsw_data

  TEST_CASE(10, a0, 1, fsw f0, (a1); lw a0, (a1));

#else

  # Fail if this test is compiled without F but executed on a core with F.

  TEST_CASE(10, zero, 1)

#endif

1:

  # Figure out if 'U' is set in misa

  csrr a0, misa   # a0 = csr(misa)

  srli a0, a0, 20 # a0 = a0 >> 20

  andi a0, a0, 1  # a0 = a0 & 1

  beqz a0, finish # if no user mode, skip the rest of these checks

#endif /* __MACHINE_MODE */

  # jump to user land

  li t0, SSTATUS_SPP

  csrc sstatus, t0

  la t0, 1f

  csrw sepc, t0

  sret

  1:

  # Make sure writing the cycle counter causes an exception.

  # Don't run in supervisor, as we don't delegate illegal instruction traps.

#ifdef __MACHINE_MODE

  TEST_CASE(11, a0, 255, li a0, 255; csrrw a0, cycle, x0);

#endif

  # Make sure reading status in user mode causes an exception.

  # Don't run in supervisor, as we don't delegate illegal instruction traps.

#ifdef __MACHINE_MODE

  TEST_CASE(12, a0, 255, li a0, 255; csrr a0, sstatus)

#else

  TEST_CASE(12, x0, 0, nop)

#endif

finish:

  RVTEST_PASS

  # We should only fall through to this if scall failed.

  TEST_PASSFAIL

  .align 2

  .global stvec_handler

stvec_handler:

  # Trapping on tests 10-12 is good news.

  # Note that since the test didn't complete, TESTNUM is smaller by 1.

  li t0, 9

  bltu TESTNUM, t0, 1f

  li t0, 11

  bleu TESTNUM, t0, privileged

1:

  # catch RVTEST_PASS and kick it up to M-mode

  csrr t0, scause

  li t1, CAUSE_USER_ECALL

  bne t0, t1, fail

  RVTEST_PASS

privileged:

  # Make sure scause indicates a lack of privilege.

  csrr t0, scause

  li t1, CAUSE_ILLEGAL_INSTRUCTION

  bne t0, t1, fail

  # Return to user mode, but skip the trapping instruction.

  csrr t0, sepc

  addi t0, t0, 4

  csrw sepc, t0

  sret

RVTEST_CODE_END

  .data

fsw_data: .word 1

RV_COMPLIANCE_DATA_BEGIN

test_res:

    .fill 40, 4, -1

RV_COMPLIANCE_DATA_END