Hi Robin, The patch 2/2 tries to address your concern on unsigned wrap. Please have a check.
Patch 1/2 is the original patch that we already had to detect the predicated induction. Please note that the testcases are currently only for x86 targets. We will generalize it later. Raghesh Aloor (2): Recognize predicated-index PHI during vectorization analysis Require no-wrap proof for predicated-index PHI detection .../gcc.dg/vect/vect-predicated-index-1.c | 23 ++ .../gcc.dg/vect/vect-predicated-index-2.c | 25 ++ .../gcc.dg/vect/vect-predicated-index-3.c | 20 ++ .../gcc.dg/vect/vect-predicated-index-4.c | 20 ++ gcc/tree-vect-loop.cc | 326 ++++++++++++++++++ gcc/tree-vect-stmts.cc | 12 + gcc/tree-vectorizer.h | 8 + 7 files changed, 434 insertions(+) create mode 100644 gcc/testsuite/gcc.dg/vect/vect-predicated-index-1.c create mode 100644 gcc/testsuite/gcc.dg/vect/vect-predicated-index-2.c create mode 100644 gcc/testsuite/gcc.dg/vect/vect-predicated-index-3.c create mode 100644 gcc/testsuite/gcc.dg/vect/vect-predicated-index-4.c -- 2.53.0
