| /* { dg-do compile } */ |
| /* { dg-options "-O2 -ftree-vectorize" } */ |
| |
| #include <stdint.h> |
| |
| #define NUM_ELEMS(TYPE) (320 / sizeof (TYPE)) |
| |
| #define DEF_LOOP(TYPE, CONST) \ |
| void __attribute__ ((noipa)) \ |
| test_##CONST##_##TYPE (TYPE *restrict r, TYPE *restrict a, \ |
| TYPE *restrict b) \ |
| { \ |
| for (int i = 0; i < NUM_ELEMS (TYPE); ++i) \ |
| r[i] = a[i] > 20 ? b[i] & CONST : a[i]; \ |
| } |
| |
| #define TEST_ALL(T) \ |
| T (uint16_t, 0xff) \ |
| \ |
| T (uint32_t, 0xff) \ |
| T (uint32_t, 0xffff) \ |
| \ |
| T (uint64_t, 0xff) \ |
| T (uint64_t, 0xffff) \ |
| T (uint64_t, 0xffffffff) |
| |
| TEST_ALL (DEF_LOOP) |
| |
| /* { dg-final { scan-assembler {\tld1h\t(z[0-9]+\.h), p[0-7]/z, \[x1,[^L]*\tld1h\t(z[0-9]+\.h), p[0-7]/z, \[x2,[^L]*\tuxtb\t\1, p[0-7]/m, \2\n} } } */ |
| |
| /* { dg-final { scan-assembler {\tld1w\t(z[0-9]+\.s), p[0-7]/z, \[x1,[^L]*\tld1w\t(z[0-9]+\.s), p[0-7]/z, \[x2,[^L]*\tuxtb\t\1, p[0-7]/m, \2\n} } } */ |
| /* { dg-final { scan-assembler {\tld1w\t(z[0-9]+\.s), p[0-7]/z, \[x1,[^L]*\tld1w\t(z[0-9]+\.s), p[0-7]/z, \[x2,[^L]*\tuxth\t\1, p[0-7]/m, \2\n} } } */ |
| |
| /* { dg-final { scan-assembler {\tld1d\t(z[0-9]+\.d), p[0-7]/z, \[x1,[^L]*\tld1d\t(z[0-9]+\.d), p[0-7]/z, \[x2,[^L]*\tuxtb\t\1, p[0-7]/m, \2\n} } } */ |
| /* { dg-final { scan-assembler {\tld1d\t(z[0-9]+\.d), p[0-7]/z, \[x1,[^L]*\tld1d\t(z[0-9]+\.d), p[0-7]/z, \[x2,[^L]*\tuxth\t\1, p[0-7]/m, \2\n} } } */ |
| /* { dg-final { scan-assembler {\tld1d\t(z[0-9]+\.d), p[0-7]/z, \[x1,[^L]*\tld1d\t(z[0-9]+\.d), p[0-7]/z, \[x2,[^L]*\tuxtw\t\1, p[0-7]/m, \2\n} } } */ |
| |
| /* { dg-final { scan-assembler-not {\tmov\tz} } } */ |
| /* { dg-final { scan-assembler-not {\tmovprfx\t} } } */ |
| /* { dg-final { scan-assembler-not {\tsel\t} } } */ |
