static inline make_EHelper(mul) {
  rtl_mul_lo(s, ddest, dsrc1, dsrc2);
  print_asm_template3(mul);
}

static inline make_EHelper(mulh) {
  rtl_imul_hi(s, ddest, dsrc1, dsrc2);
  print_asm_template3(mulh);
}

static inline make_EHelper(mulhu) {
  rtl_mul_hi(s, ddest, dsrc1, dsrc2);
  print_asm_template3(mulhu);
}

static inline make_EHelper(mulhsu) {
  // Algorithm:
  // We want to obtain ans = mulhsu(a, b).
  // Consider mulhu(a, b).
  // If a >= 0, then ans = mulhu(a, b);
  // If a = -x < 0, then a = 2^64 - x in two's complement
  // Then
  //   mulhu(a, b) = mulhu(2^64 -x , b) = ((2^64 - x)b) >> 64
  //               = ((2^64b) >> 64) + ((-xb) >> 64)
  //               = b + mulhsu(a, b) = b + ans
  // Therefore, ans = mulhu(a, b) - b
  //
  // In the end, ans = (a < 0 ? mulhu(a, b) - b : mulhu(a, b))
  //                 = mulhu(a, b) - (a < 0 ? b : 0)

  rtl_sari(s, s0, dsrc1, 63);
  rtl_and(s, s0, dsrc2, s0); // s0 = (id_src1->val < 0 ? id_src2->val : 0)
  rtl_mul_hi(s, s1, dsrc1, dsrc2);
  rtl_sub(s, ddest, s1, s0);

  print_asm_template3(mulhsu);
}

static inline make_EHelper(div) {
  if (*dsrc2 == 0) {
    rtl_li(s, ddest, ~0lu);
  } else if (*dsrc1 == 0x8000000000000000LL && *dsrc2 == -1) {
    rtl_mv(s, ddest, dsrc1);
  } else {
    rtl_idiv_q(s, ddest, dsrc1, dsrc2);
  }

  print_asm_template3(div);
}

static inline make_EHelper(divu) {
  if (*dsrc2 == 0) {
    rtl_li(s, ddest, ~0lu);
  } else {
    rtl_div_q(s, ddest, dsrc1, dsrc2);
  }

  print_asm_template3(divu);
}

static inline make_EHelper(rem) {
  if (*dsrc2 == 0) {
    rtl_mv(s, ddest, dsrc1);
  } else if (*dsrc1 == 0x8000000000000000LL && *dsrc2 == -1) {
    rtl_mv(s, ddest, rz);
  } else {
    rtl_idiv_r(s, ddest, dsrc1, dsrc2);
  }

  print_asm_template3(rem);
}

static inline make_EHelper(remu) {
  if (*dsrc2 == 0) {
    rtl_mv(s, ddest, dsrc1);
  } else {
    rtl_div_r(s, ddest, dsrc1, dsrc2);
  }

  print_asm_template3(remu);
}

static inline make_EHelper(mulw) {
  rtl_mul_lo(s, s0, dsrc1, dsrc2);
  rtl_sext(s, ddest, s0, 4);
  print_asm_template3(mulw);
}

static inline make_EHelper(divw) {
  rtl_sext(s, s0, dsrc1, 4);
  rtl_sext(s, s1, dsrc2, 4);
  if (*s1 == 0) {
    rtl_li(s, s0, ~0lu);
  } else if (*s0 == 0x80000000 && *s1 == -1) {
    //rtl_mv(s, s0, s0);
  } else {
    rtl_idiv_q(s, s0, s0, s1);
  }
  rtl_sext(s, ddest, s0, 4);

  print_asm_template3(divw);
}

static inline make_EHelper(remw) {
  rtl_sext(s, s0, dsrc1, 4);
  rtl_sext(s, s1, dsrc2, 4);
  if (*s1 == 0) {
    //rtl_mv(s, s0, s0);
  } else if (*s0 == 0x80000000 && *s1 == -1) {
    rtl_mv(s, s0, rz);
  } else {
    rtl_idiv_r(s, s0, s0, s1);
  }
  rtl_sext(s, ddest, s0, 4);

  print_asm_template3(remw);
}

static inline make_EHelper(divuw) {
  rtl_zext(s, s0, dsrc1, 4);
  rtl_zext(s, s1, dsrc2, 4);
  if (*s1 == 0) {
    rtl_li(s, s0, ~0lu);
  } else {
    rtl_div_q(s, s0, s0, s1);
  }
  rtl_sext(s, ddest, s0, 4);

  print_asm_template3(divuw);
}

static inline make_EHelper(remuw) {
  rtl_zext(s, s0, dsrc1, 4);
  rtl_zext(s, s1, dsrc2, 4);
  if (*s1 == 0) {
    //rtl_mv(s, s0, s0);
  } else {
    rtl_div_r(s, s0, s0, s1);
  }
  rtl_sext(s, ddest, s0, 4);

  print_asm_template3(remuw);
}