Viewing file:  vect-widen-mult-1.c (1.11 KB) -rw-r--r--
Select action/file-type:
 (+) |  (+) |  (+) | Code (+) | Session (+) |  (+) | SDB (+) |  (+) |  (+) |  (+) |  (+) |  (+) |
/* { dg-require-effective-target vect_int } */
#include "tree-vect.h"
#define N 50
#ifndef SIGNEDNESS_1
#define SIGNEDNESS_1 unsigned
#define SIGNEDNESS_2 signed
#endif
void __attribute__ ((noipa))
f (SIGNEDNESS_1 short *restrict a, SIGNEDNESS_2 char *restrict b,
SIGNEDNESS_2 char *restrict c)
{
for (__INTPTR_TYPE__ i = 0; i < N; ++i)
{
int bv = (SIGNEDNESS_2 char) b[i];
int cv = (SIGNEDNESS_2 char) c[i];
a[i] = bv * cv;
}
}
#define BASE ((SIGNEDNESS_2 int) -1 < 0 ? -126 : 4)
#define OFFSET 20
int
main (void)
{
check_vect ();
SIGNEDNESS_1 short a[N];
SIGNEDNESS_2 char b[N], c[N];
for (int i = 0; i < N; ++i)
{
b[i] = BASE + i * 5;
c[i] = BASE + OFFSET + i * 4;
asm volatile ("" ::: "memory");
}
f (a, b, c);
for (int i = 0; i < N; ++i)
if (a[i] != (SIGNEDNESS_1 short) ((BASE + i * 5)
* (BASE + OFFSET + i * 4)))
__builtin_abort ();
}
/* { dg-final { scan-tree-dump "vect_recog_widen_mult_pattern: detected" "vect" } } */
/* { dg-final { scan-tree-dump-times "vectorized 1 loop" 1 "vect" { target vect_widen_mult_qi_to_hi } } } */
|
