7d890b4074
Signed-off-by: Max Filippov <jcmvbkbc@gmail.com> Signed-off-by: Blue Swirl <blauwirbel@gmail.com>
319 lines
6.0 KiB
ArmAsm
319 lines
6.0 KiB
ArmAsm
.include "macros.inc"
|
|
|
|
test_suite mmu
|
|
|
|
.purgem test
|
|
|
|
.macro test name
|
|
movi a2, 0x00000004
|
|
idtlb a2
|
|
movi a2, 0x00100004
|
|
idtlb a2
|
|
movi a2, 0x00200004
|
|
idtlb a2
|
|
movi a2, 0x00300004
|
|
idtlb a2
|
|
movi a2, 0x00000007
|
|
idtlb a2
|
|
.endm
|
|
|
|
test tlb_group
|
|
movi a2, 0x04000002 /* PPN */
|
|
movi a3, 0x01200004 /* VPN */
|
|
wdtlb a2, a3
|
|
witlb a2, a3
|
|
movi a3, 0x00200004
|
|
rdtlb0 a1, a3
|
|
ritlb0 a2, a3
|
|
movi a3, 0x01000001
|
|
assert eq, a1, a3
|
|
assert eq, a2, a3
|
|
movi a3, 0x00200004
|
|
rdtlb1 a1, a3
|
|
ritlb1 a2, a3
|
|
movi a3, 0x04000002
|
|
assert eq, a1, a3
|
|
assert eq, a2, a3
|
|
movi a3, 0x01234567
|
|
pdtlb a1, a3
|
|
pitlb a2, a3
|
|
movi a3, 0x01234014
|
|
assert eq, a1, a3
|
|
movi a3, 0x0123400c
|
|
assert eq, a2, a3
|
|
movi a3, 0x00200004
|
|
idtlb a3
|
|
iitlb a3
|
|
movi a3, 0x01234567
|
|
pdtlb a1, a3
|
|
pitlb a2, a3
|
|
movi a3, 0x00000010
|
|
and a1, a1, a3
|
|
assert eqi, a1, 0
|
|
movi a3, 0x00000008
|
|
and a2, a2, a3
|
|
assert eqi, a2, 0
|
|
test_end
|
|
|
|
test itlb_miss
|
|
set_vector kernel, 1f
|
|
|
|
movi a3, 0x00100000
|
|
jx a3
|
|
test_fail
|
|
1:
|
|
rsr a2, excvaddr
|
|
assert eq, a2, a3
|
|
rsr a2, exccause
|
|
movi a3, 16
|
|
assert eq, a2, a3
|
|
test_end
|
|
|
|
test dtlb_miss
|
|
set_vector kernel, 1f
|
|
|
|
movi a3, 0x00100000
|
|
l8ui a2, a3, 0
|
|
test_fail
|
|
1:
|
|
rsr a2, excvaddr
|
|
assert eq, a2, a3
|
|
rsr a2, exccause
|
|
movi a3, 24
|
|
assert eq, a2, a3
|
|
test_end
|
|
|
|
test itlb_multi_hit
|
|
set_vector kernel, 1f
|
|
|
|
movi a2, 0x04000002 /* PPN */
|
|
movi a3, 0xf0000004 /* VPN */
|
|
witlb a2, a3
|
|
movi a3, 0xf0000000
|
|
pitlb a2, a3
|
|
test_fail
|
|
1:
|
|
rsr a2, exccause
|
|
movi a3, 17
|
|
assert eq, a2, a3
|
|
test_end
|
|
|
|
test dtlb_multi_hit
|
|
set_vector kernel, 1f
|
|
|
|
movi a2, 0x04000002 /* PPN */
|
|
movi a3, 0x01200004 /* VPN */
|
|
wdtlb a2, a3
|
|
movi a3, 0x01200007 /* VPN */
|
|
wdtlb a2, a3
|
|
movi a3, 0x01200000
|
|
pdtlb a2, a3
|
|
test_fail
|
|
1:
|
|
rsr a2, exccause
|
|
movi a3, 25
|
|
assert eq, a2, a3
|
|
test_end
|
|
|
|
test inst_fetch_privilege
|
|
set_vector kernel, 3f
|
|
|
|
movi a2, 0x4004f
|
|
wsr a2, ps
|
|
1:
|
|
isync
|
|
nop
|
|
2:
|
|
test_fail
|
|
3:
|
|
movi a1, 1b
|
|
rsr a2, excvaddr
|
|
rsr a3, epc1
|
|
assert ge, a2, a1
|
|
assert ge, a3, a1
|
|
movi a1, 2b
|
|
assert lt, a2, a1
|
|
assert lt, a3, a1
|
|
rsr a2, exccause
|
|
movi a3, 18
|
|
assert eq, a2, a3
|
|
rsr a2, ps
|
|
movi a3, 0x4005f
|
|
assert eq, a2, a3
|
|
test_end
|
|
|
|
test load_store_privilege
|
|
set_vector kernel, 2f
|
|
|
|
movi a3, 10f
|
|
pitlb a3, a3
|
|
ritlb1 a2, a3
|
|
movi a1, 0x10
|
|
or a2, a2, a1
|
|
movi a1, 0x000ff000
|
|
and a3, a3, a1
|
|
movi a1, 4
|
|
or a3, a3, a1
|
|
witlb a2, a3
|
|
movi a3, 10f
|
|
movi a1, 0x000fffff
|
|
and a1, a3, a1
|
|
|
|
movi a2, 0x04000003 /* PPN */
|
|
movi a3, 0x01200004 /* VPN */
|
|
wdtlb a2, a3
|
|
movi a3, 0x01200001
|
|
movi a2, 0x4004f
|
|
jx a1
|
|
10:
|
|
wsr a2, ps
|
|
isync
|
|
1:
|
|
l8ui a2, a3, 0
|
|
test_fail
|
|
2:
|
|
rsr a2, excvaddr
|
|
assert eq, a2, a3
|
|
rsr a2, epc1
|
|
movi a3, 1b
|
|
movi a1, 0x000fffff
|
|
and a3, a3, a1
|
|
assert eq, a2, a3
|
|
rsr a2, exccause
|
|
movi a3, 26
|
|
assert eq, a2, a3
|
|
rsr a2, ps
|
|
movi a3, 0x4005f
|
|
assert eq, a2, a3
|
|
test_end
|
|
|
|
test cring_load_store_privilege
|
|
set_vector kernel, 0
|
|
set_vector double, 2f
|
|
|
|
movi a2, 0x04000003 /* PPN */
|
|
movi a3, 0x01200004 /* VPN */
|
|
wdtlb a2, a3
|
|
movi a3, 0x01200004
|
|
movi a2, 0x4005f /* ring 1 + excm => cring == 0 */
|
|
wsr a2, ps
|
|
isync
|
|
l8ui a2, a3, 0 /* cring used */
|
|
1:
|
|
l32e a2, a3, -4 /* ring used */
|
|
test_fail
|
|
2:
|
|
rsr a2, excvaddr
|
|
addi a2, a2, 4
|
|
assert eq, a2, a3
|
|
rsr a2, depc
|
|
movi a3, 1b
|
|
assert eq, a2, a3
|
|
rsr a2, exccause
|
|
movi a3, 26
|
|
assert eq, a2, a3
|
|
rsr a2, ps
|
|
movi a3, 0x4005f
|
|
assert eq, a2, a3
|
|
test_end
|
|
|
|
test inst_fetch_prohibited
|
|
set_vector kernel, 2f
|
|
|
|
movi a3, 10f
|
|
pitlb a3, a3
|
|
ritlb1 a2, a3
|
|
movi a1, 0xfffff000
|
|
and a2, a2, a1
|
|
movi a1, 0x4
|
|
or a2, a2, a1
|
|
movi a1, 0x000ff000
|
|
and a3, a3, a1
|
|
movi a1, 4
|
|
or a3, a3, a1
|
|
witlb a2, a3
|
|
movi a3, 10f
|
|
movi a1, 0x000fffff
|
|
and a1, a3, a1
|
|
jx a1
|
|
.align 4
|
|
10:
|
|
nop
|
|
test_fail
|
|
2:
|
|
rsr a2, excvaddr
|
|
assert eq, a2, a1
|
|
rsr a2, epc1
|
|
assert eq, a2, a1
|
|
rsr a2, exccause
|
|
movi a3, 20
|
|
assert eq, a2, a3
|
|
test_end
|
|
|
|
test load_prohibited
|
|
set_vector kernel, 2f
|
|
|
|
movi a2, 0x0400000c /* PPN */
|
|
movi a3, 0x01200004 /* VPN */
|
|
wdtlb a2, a3
|
|
movi a3, 0x01200002
|
|
1:
|
|
l8ui a2, a3, 0
|
|
test_fail
|
|
2:
|
|
rsr a2, excvaddr
|
|
assert eq, a2, a3
|
|
rsr a2, epc1
|
|
movi a3, 1b
|
|
assert eq, a2, a3
|
|
rsr a2, exccause
|
|
movi a3, 28
|
|
assert eq, a2, a3
|
|
test_end
|
|
|
|
test store_prohibited
|
|
set_vector kernel, 2f
|
|
|
|
movi a2, 0x04000001 /* PPN */
|
|
movi a3, 0x01200004 /* VPN */
|
|
wdtlb a2, a3
|
|
movi a3, 0x01200003
|
|
l8ui a2, a3, 0
|
|
1:
|
|
s8i a2, a3, 0
|
|
test_fail
|
|
2:
|
|
rsr a2, excvaddr
|
|
assert eq, a2, a3
|
|
rsr a2, epc1
|
|
movi a3, 1b
|
|
assert eq, a2, a3
|
|
rsr a2, exccause
|
|
movi a3, 29
|
|
assert eq, a2, a3
|
|
test_end
|
|
|
|
test dtlb_autoload
|
|
set_vector kernel, 0
|
|
|
|
movi a2, 0xd4000000
|
|
wsr a2, ptevaddr
|
|
movi a3, 0x00001013
|
|
s32i a3, a2, 4
|
|
pdtlb a2, a3
|
|
movi a1, 0x10
|
|
and a1, a1, a2
|
|
assert eqi, a1, 0
|
|
l8ui a1, a3, 0
|
|
pdtlb a2, a3
|
|
movi a1, 0xfffff010
|
|
and a1, a1, a2
|
|
movi a3, 0x00001010
|
|
assert eq, a1, a3
|
|
movi a1, 0xf
|
|
and a1, a1, a2
|
|
assert lti, a1, 4
|
|
test_end
|
|
|
|
test_suite_end
|