[Bug tree-optimization/35226] Induction with multiplication are not vectorized

[alalaw01 at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=35226

alalaw01 at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2015-04-30
                 CC|                            |alalaw01 at gcc dot gnu.org
            Version|4.3.0                       |6.0
            Summary|Reduction and induction     |Induction with
                   |with multiplication are not |multiplication are not
                   |vectorized                  |vectorized
     Ever confirmed|0                           |1

--- Comment #1 from alalaw01 at gcc dot gnu.org ---
Multiplication reductions are supported, certainly in gcc 4.9, I think longer.
However, the following induction does not vectorize on gcc 6 development branch
(x86_64, -O3, with or without -mavx or -msse2):

int a[24];

int
main (int argc, char **argv)
{
  int p = 1;
  for (int i = 0; i < 24; i++, p*=2)
    a[i] *= p;
}

-fdump-tree-vect-details suggests the multiplication is recognized as a
reduction but not as an induction:

test_induc.c:7:3: note: Analyze phi: p_13 = PHI <p_9(4), 1(2)>

test_induc.c:7:3: note: reduction used in loop.
test_induc.c:7:3: note: Unknown def-use cycle pattern.
test_induc.c:7:3: note: === vect_pattern_recog ===
test_induc.c:7:3: note: vect_is_simple_use: operand _5
test_induc.c:7:3: note: def_stmt: _5 = a[i_14];
test_induc.c:7:3: note: type of def: 3.
test_induc.c:7:3: note: vect_is_simple_use: operand p_13
test_induc.c:7:3: note: def_stmt: p_13 = PHI <p_9(4), 1(2)>
test_induc.c:7:3: note: Unsupported pattern.
...
test_induc.c:7:3: note: def_stmt: p_13 = PHI <p_9(4), 1(2)>
test_induc.c:7:3: note: Unsupported pattern.
test_induc.c:7:3: note: not vectorized: unsupported use in stmt.
test_induc.c:7:3: note: unexpected pattern.
test_induc.c:4:1: note: vectorized 0 loops in function.
...

  <bb 3>:
  # p_13 = PHI <p_9(4), 1(2)>
...
  p_9 = p_13 * 2;