6539                                   binop(Iop_Mul32,  in disDSPInstr_MIPS_WRK()
6580                                   binop(Iop_Mul32,  in disDSPInstr_MIPS_WRK()
6712                                             binop(Iop_Mul32,  in disDSPInstr_MIPS_WRK()
6747                                             binop(Iop_Mul32,  in disDSPInstr_MIPS_WRK()
10102                             binop(Iop_Mul32,  in disDSPInstr_MIPS_WRK()
10126                             binop(Iop_Mul32,  in disDSPInstr_MIPS_WRK()
10167                            binop(Iop_Mul32,  in disDSPInstr_MIPS_WRK()
10204                      assign(t2, binop(Iop_Mul32,  in disDSPInstr_MIPS_WRK()
10400                                  binop(Iop_Mul32,  in disDSPInstr_MIPS_WRK()
10407                                  binop(Iop_Mul32,  in disDSPInstr_MIPS_WRK()
10429                                  binop(Iop_Mul32,  in disDSPInstr_MIPS_WRK()
10436                                  binop(Iop_Mul32,  in disDSPInstr_MIPS_WRK()
10458                      assign(t0, binop(Iop_Mul32,  in disDSPInstr_MIPS_WRK()
10463                      assign(t1, binop(Iop_Mul32,  in disDSPInstr_MIPS_WRK()
10483                             binop(Iop_Mul32,  in disDSPInstr_MIPS_WRK()
10491                             binop(Iop_Mul32,  in disDSPInstr_MIPS_WRK()
10745                                              binop(Iop_Mul32,  in disDSPInstr_MIPS_WRK()
10784                                              binop(Iop_Mul32,  in disDSPInstr_MIPS_WRK()
10808                             binop(Iop_Mul32,  in disDSPInstr_MIPS_WRK()
10816                             binop(Iop_Mul32,  in disDSPInstr_MIPS_WRK()
10838                                  binop(Iop_Mul32,  in disDSPInstr_MIPS_WRK()
10845                                  binop(Iop_Mul32,  in disDSPInstr_MIPS_WRK()
10867                                  binop(Iop_Mul32,  in disDSPInstr_MIPS_WRK()
10874                                  binop(Iop_Mul32,  in disDSPInstr_MIPS_WRK()
10896                             binop(Iop_Mul32,  in disDSPInstr_MIPS_WRK()
10904                             binop(Iop_Mul32,  in disDSPInstr_MIPS_WRK()
11125                             binop(Iop_Mul32,  in disDSPInstr_MIPS_WRK()
11133                             binop(Iop_Mul32,  in disDSPInstr_MIPS_WRK()
11162                                            binop(Iop_Mul32,  in disDSPInstr_MIPS_WRK()
11252                                            binop(Iop_Mul32,  in disDSPInstr_MIPS_WRK()
11647                                            binop(Iop_Mul32,  in disDSPInstr_MIPS_WRK()
11695                                            binop(Iop_Mul32,  in disDSPInstr_MIPS_WRK()
11813                                            binop(Iop_Mul32,  in disDSPInstr_MIPS_WRK()
11861                                            binop(Iop_Mul32,  in disDSPInstr_MIPS_WRK()
13794                                       narrowTo(Ity_I8, binop(Iop_Mul32,  in disInstr_MIPS_WRK()
13826                                       narrowTo(Ity_I8, binop(Iop_Mul32,  in disInstr_MIPS_WRK()
14445                assign(tmpRes, binop(Iop_Mul32,  in disInstr_MIPS_WRK()
14449                putIReg(rd, binop(Iop_Mul32, getIReg(rs), getIReg(rt)));  in disInstr_MIPS_WRK()
15833          assign(t5, binop(Iop_Mul32, mkexpr(tmpRt32), mkU32(-1)));  in disInstr_MIPS_WRK()