#include "test_macros.h"

RVTEST_RV64U
RVTEST_CODE_BEGIN

li x10, 0x2000000
li x11, 0xd000
add x10, x10, x11
ld x12, (x10)
addi x10, x10, 8
ld x12, (x10)
addi x10, x10, 8
ld x12, (x10)
addi x10, x10, 8
ld x12, (x10)
addi x10, x10, 8
ld x12, (x10)

RVTEST_PASS
RVTEST_CODE_END

.align 6; .global tohost; tohost: .dword 0;