-#include "../../env/encoding.h"
+#include "encoding.h"
-#ifdef __riscv64
+#if XLEN == 64
# define LREG ld
# define SREG sd
# define REGBYTES 8
#undef MCONTROL_TYPE
#undef MCONTROL_DMODE
-#ifdef __riscv64
+#if __riscv_xlen == 64
# define MCONTROL_TYPE (0xf<<(64-4))
# define MCONTROL_DMODE (1<<(64-5))
#else
ret
.data
+ .align 3
data: .word 0x40
.word 0x41
.word 0x42