diff options
| -rw-r--r-- | memcheck/mc_translate.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/memcheck/mc_translate.c b/memcheck/mc_translate.c index 12303feb..11863602 100644 --- a/memcheck/mc_translate.c +++ b/memcheck/mc_translate.c @@ -3052,11 +3052,13 @@ IRAtom* expr2vbits_Binop ( MCEnv* mce, case Iop_DivS32: case Iop_DivU32: case Iop_DivU32E: + case Iop_DivS32E: return mkLazy2(mce, Ity_I32, vatom1, vatom2); case Iop_DivS64: case Iop_DivU64: case Iop_DivS64E: + case Iop_DivU64E: return mkLazy2(mce, Ity_I64, vatom1, vatom2); case Iop_Add32: |