DECLARE_INSN(ut_fcvt_s_wu, 0x78000053, 0xfff0007f)
DECLARE_INSN(ut_fcvt_d_l, 0x62000053, 0xfff0007f)
DECLARE_INSN(ut_lh, 0x1003, 0x707f)
-DECLARE_INSN(ut_frsr, 0xe8000053, 0xfffff07f)
DECLARE_INSN(ut_fcvt_d_w, 0x72000053, 0xfff0007f)
DECLARE_INSN(ut_lw, 0x2003, 0x707f)
DECLARE_INSN(ut_add, 0x33, 0xfe00707f)
DECLARE_INSN(ut_fsgnj_d, 0x2a000053, 0xfe00707f)
DECLARE_INSN(ut_mulhu, 0x2003033, 0xfe00707f)
DECLARE_INSN(ut_fcvt_l_d, 0x42000053, 0xfff0007f)
-DECLARE_INSN(ut_fssr, 0xf8000053, 0xfff0707f)
DECLARE_INSN(ut_fcvt_lu_s, 0x48000053, 0xfff0007f)
DECLARE_INSN(ut_fcvt_s_l, 0x60000053, 0xfff0007f)
DECLARE_INSN(ut_auipc, 0x17, 0x7f)