Peter, Why can't you place the tests into the final condition of the pattern so that the pattern fails and the normal GCC fallback machinery is used instead of manually implementing the fallback emulation?
The GPR iterator only defines DI for TARGET_POWERPC64, so how does GCC get into the muldi3 pattern, for example, and also satisfy both (define_mode_iterator GPR [SI (DI "TARGET_POWERPC64")]) <MODE>mode == DImode && !TARGET_POWERPC64 This seems contradictory. Thanks, David
