Viewing file: vect-live-slp-1.c (1.65 KB) -rw-r--r-- Select action/file-type: (+) | (+) | (+) | Code (+) | Session (+) | (+) | SDB (+) | (+) | (+) | (+) | (+) | (+) |
/* Disabling epilogues until we find a better way to deal with scans. */ /* { dg-additional-options "--param vect-epilogues-nomask=0" } */ /* { dg-require-effective-target vect_int } */ /* { dg-additional-options "-fno-tree-scev-cprop" } */
#include "tree-vect.h"
/* Statement in SLP vectorization used outside the loop. NOTE: SCEV disabled to ensure the live operation is not removed before vectorization. */ #define LIVELOOP(RET) \ __attribute__ ((noinline)) int \ liveloop##RET (int n, int *x, int *y) \ { \ int n0, n1, n2, n3, j; \ for (j = 0; j < n; ++j) \ { \ n0 = x[(j*4)]; \ n1 = x[(j*4)+1]; \ n2 = x[(j*4)+2]; \ n3 = x[(j*4)+3]; \ y[(j*4)] = n0 + 1; \ y[(j*4)+1] = n1 + 2; \ y[(j*4)+2] = n2 + 3; \ y[(j*4)+3] = n3 + 4; \ } \ return n##RET; \ }
LIVELOOP (0) LIVELOOP (1) LIVELOOP (2) LIVELOOP (3) typedef int (*FP)(int n, int *x, int *y); const FP llf[]= {&liveloop0, &liveloop1, &liveloop2, &liveloop3};
#define MAX 113
int main (void) { int a[MAX*4]; int b[MAX*4]; int i;
check_vect ();
for (i=0; i<MAX*4; i++) { __asm__ volatile (""); a[i] = i; }
for (i=0; i<4; i++) { __asm__ volatile ("");
int ret = llf[i] (MAX, a, b);
if (ret != (MAX * 4) - 4 + i) abort ();
for (i=0; i<MAX*4; i++) { __asm__ volatile (""); if (b[i] != i + (i%4) + 1) abort (); } } }
/* { dg-final { scan-tree-dump-times "vectorized 1 loops" 4 "vect" } } */ /* { dg-final { scan-tree-dump-times "vectorizing stmts using SLP" 4 "vect" } } */ /* { dg-final { scan-tree-dump-times "vec_stmt_relevant_p: stmt live but not relevant" 4 "vect" } } */
|