INSN_FUNCT3
db_printf("%s", INSN_FUNCT3(insn) == AMO_W ? ".w" : ".d");
db_print_riscv_fpround(sep, INSN_FUNCT3(insn));
db_print_riscv_fpround(", ", INSN_FUNCT3(insn));
if (INSN_FUNCT3(insn) != 0) {
f3 = INSN_FUNCT3(insn);