1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
/* { dg-additional-options "-mavx512f --param vect-partial-vector-usage=2" { target avx512f_runtime } } */
#include "tree-vect.h"
typedef __UINT64_TYPE__ BITBOARD;
BITBOARD KingPressureMask1[64], KingSafetyMask1[64];
void __attribute__((noinline))
foo()
{
for (int i = 0; i < 64; i++)
{
if ((i & 7) == 0)
KingPressureMask1[i] = KingSafetyMask1[i + 1];
else if ((i & 7) == 7)
KingPressureMask1[i] = KingSafetyMask1[i - 1];
else
KingPressureMask1[i] = KingSafetyMask1[i];
}
}
BITBOARD verify[64]
= {1, 1, 2, 3, 4, 5, 6, 6, 9, 9, 10, 11, 12, 13, 14, 14, 17, 17, 18, 19,
20, 21, 22, 22, 25, 25, 26, 27, 28, 29, 30, 30, 33, 33, 34, 35, 36, 37, 38,
38, 41, 41, 42, 43, 44, 45, 46, 46, 49, 49, 50, 51, 52, 53, 54, 54, 57, 57,
58, 59, 60, 61, 62, 62};
int main()
{
check_vect ();
#pragma GCC novector
for (int i = 0; i < 64; ++i)
KingSafetyMask1[i] = i;
foo ();
#pragma GCC novector
for (int i = 0; i < 64; ++i)
if (KingPressureMask1[i] != verify[i])
__builtin_abort ();
return 0;
}
|
