https://gcc.gnu.org/bugzilla/show_bug.cgi?id=41244
--- Comment #8 from Andrew Pinski <pinskia at gcc dot gnu.org> --- _14 = _13 * 32; _15 = (long int) _14; _2 = _15 /[ex] 32; I think this will work .... (simplify (exact_div (nop_convert (mult @0 INTEGER_CST@1)) INTEGER_CST@2) (if (!TYPE_UNSIGNED (@0) && wi::to_wide (@1) == wi::to_wide (@2)) (convert @0)))