isa/rv64mi/illegal.S

   1 # See LICENSE for license details.
   2
   3 #*****************************************************************************
   4 # illegal.S
   5 #-----------------------------------------------------------------------------
   6 #
   7 # Test illegal instruction trap.
   8 #
   9
  10 #include "riscv_test.h"
  11 #include "test_macros.h"
  12
  13 RVTEST_RV64M
  14 RVTEST_CODE_BEGIN
  15
  16   .align 2
  17   .option norvc
  18
  19   li TESTNUM, 2
  20 bad2:
  21   .word 0
  22   j fail
  23
  24   # Skip the rest of the test if S-mode is not present.
  25   li t0, MSTATUS_MPP
  26   csrc mstatus, t0
  27   li t1, (MSTATUS_MPP & -MSTATUS_MPP) * PRV_S
  28   csrs mstatus, t1
  29   csrr t2, mstatus
  30   and t2, t2, t0
  31   bne t1, t2, pass
  32
  33   # Test vectored interrupts if they are supported.
  34 test_vectored_interrupts:
  35   csrwi mip, MIP_SSIP
  36   csrwi mie, MIP_SSIP
  37   la t0, mtvec_handler + 1
  38   csrrw s0, mtvec, t0
  39   csrr t0, mtvec
  40   andi t0, t0, 1
  41   beqz t0, msip
  42   csrsi mstatus, MSTATUS_MIE
  43 1:
  44   j 1b
  45 msip:
  46   csrw mtvec, s0
  47
  48   # Delegate supervisor software interrupts so WFI won't stall.
  49   csrwi mideleg, MIP_SSIP
  50   # Enter supervisor mode.
  51   la t0, 1f
  52   csrw mepc, t0
  53   li t0, MSTATUS_MPP
  54   csrc mstatus, t0
  55   li t1, (MSTATUS_MPP & -MSTATUS_MPP) * PRV_S
  56   csrs mstatus, t1
  57   mret
  58
  59 1:
  60   # Make sure WFI doesn't trap when TW=0.
  61   wfi
  62 bad3:
  63   .word 0
  64   j fail
  65
  66 bad4:
  67   # Make sure WFI does trap when TW=1.
  68   wfi
  69   j fail
  70
  71   # Make sure SFENCE.VMA and sptbr don't trap when TVM=0.
  72   sfence.vma
  73   csrr t0, sptbr
  74 bad5:
  75   .word 0
  76   j fail
  77
  78 bad6:
  79   # Make sure SFENCE.VMA and sptbr do trap when TVM=1.
  80   sfence.vma
  81   j fail
  82 bad7:
  83   csrr t0, sptbr
  84   j fail
  85
  86   # Make sure SRET doesn't trap when TSR=0.
  87   la t0, bad8
  88   csrw sepc, t0
  89   li t0, SSTATUS_SPP
  90   csrs sstatus, t0
  91   li t0, SSTATUS_SPIE
  92   csrc sstatus, t0
  93   sret
  94 bad8:
  95   .word 0
  96   j fail
  97
  98   # Make sure SRET does trap when TSR=1.
  99   la t0, 1f
 100   csrw sepc, t0
 101 bad9:
 102   sret
 103 1:
 104   j fail
 105
 106   TEST_PASSFAIL
 107
 108   .align 8
 109   .global mtvec_handler
 110 mtvec_handler:
 111   j synchronous_exception
 112   j msip
 113   j fail
 114   j fail
 115   j fail
 116   j fail
 117   j fail
 118   j fail
 119   j fail
 120   j fail
 121   j fail
 122   j fail
 123   j fail
 124   j fail
 125   j fail
 126   j fail
 127
 128 synchronous_exception:
 129   li t1, CAUSE_ILLEGAL_INSTRUCTION
 130   csrr t0, mcause
 131   bne t0, t1, fail
 132   csrr t0, mepc
 133   la t1, bad2
 134   beq t0, t1, 2f
 135   la t1, bad3
 136   beq t0, t1, 3f
 137   la t1, bad4
 138   beq t0, t1, 4f
 139   la t1, bad5
 140   beq t0, t1, 5f
 141   la t1, bad6
 142   beq t0, t1, 6f
 143   la t1, bad7
 144   beq t0, t1, 7f
 145   la t1, bad8
 146   beq t0, t1, 8f
 147   la t1, bad9
 148   beq t0, t1, 9f
 149   j fail
 150 2:
 151 4:
 152 6:
 153 7:
 154   addi t0, t0, 8
 155   csrw mepc, t0
 156   mret
 157
 158 3:
 159   li t1, MSTATUS_TW
 160   csrs mstatus, t1
 161   j 2b
 162
 163 5:
 164   li t1, MSTATUS_TVM
 165   csrs mstatus, t1
 166   j 2b
 167
 168 8:
 169   li t1, MSTATUS_TSR
 170   csrs mstatus, t1
 171   j 2b
 172
 173 9:
 174   j 2b
 175
 176 RVTEST_CODE_END
 177
 178   .data
 179 RVTEST_DATA_BEGIN
 180
 181   TEST_DATA
 182
 183 RVTEST_DATA_END