Roman, Andrey, Sorry for the delayed response.
It would indeed be good to have SMS apply to more loop patterns, still within the realm of *countable* loops. SMS was originally designed to handle doloops, with a specific pattern controlling the loop, easily identified and separable from the loop's body. The newly proposed change to support new loop patterns is pretty invasive and sizable, taking place entirely within modulo-sched.c. The main issue I've been considering, is whether it would be possible instead to transform the new loop patterns we want SMS to handle, into doloops (potentially introducing additional induction variables to feed other uses), and then feed the resulting loop into SMS as is? In other words, could you fold it into doloop.c? And if so, will doing so introduce significant overheads? 2012/3/29 Andrey Belevantsev <a...@ispras.ru>: > Hello, > > I'd like to ping again those SMS patches once we're back to Stage 1. > > Ayal, maybe it would remove some burden for you if you'd review the general > SMS functionality of those patches, and we'd ask RTL folks to look at the > pieces related to RTL pattern matching and generation? > It definitely would ... especially in light of the above issue. Thanks (for your patches, patience, pings..), Ayal. > Yours, > Andrey > > > On 10.02.2012 16:15, Roman Zhuykov wrote: >> >> Ping. >> Ayal, please review this patch and these three patches too: >> http://gcc.gnu.org/ml/gcc-patches/2011-12/msg00505.html >> http://gcc.gnu.org/ml/gcc-patches/2011-12/msg00506.html >> http://gcc.gnu.org/ml/gcc-patches/2011-12/msg01800.html >> >> -- >> Roman Zhuykov >> zhr...@ispras.ru
