2015-11-18 16:44 GMT+03:00 Richard Biener <richard.guent...@gmail.com>: > On Wed, Nov 18, 2015 at 12:34 PM, Ilya Enkovich <enkovich....@gmail.com> > wrote: >> Hi, >> >> When we compute vectypes we skip non-relevant phi nodes. But we process >> non-relevant alive statements and thus may need vectype of non-relevant live >> phi node to compute mask vectype. This patch enables vectype computation >> for live phi nodes. Botostrapped and regtested on x86_64-unknown-linux-gnu. >> OK for trunk? > > Hmm. What breaks if you instead skip all !relevant stmts and not > compute vectype for life but not relevant ones? We won't ever > "vectorize" !relevant ones, that is, we don't need their vector type.
I tried it and got regression in SLP. It expected non-null vectype for non-releveant but live statement. Regression was in gcc/gcc/testsuite/gfortran.fortran-torture/execute/pr43390.f90 Ilya > > Richard. > >> Thanks, >> Ilya
