https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83926
--- Comment #7 from Segher Boessenkool <segher at gcc dot gnu.org> --- It is first V2DI in the RTL, which exists just fine (but there is no such divide insn); then when it is split to two DImode divides, it just generates div:DI etc., which does not exist for -m32. So we either should do what is done for a DImode divides during expand there, or not allow this builtin.