blob: 6739fad9f6ca1fb314f77788bc0b504d0cf01e94 (
plain)
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
|
/* { dg-do compile } */
/* { dg-options "-O3 -fdump-tree-ifcvt-blocks-details" } */
void foo (long *a)
{
int i;
for (i = 0; i < 100; i+=2)
{
long *p = &a[i+1];
if (a[i] == 0)
{
*p = 2;
a[i] = 3;
}
else
{
*p = 3;
a[i] = 4;
}
}
}
/* { dg-final { scan-tree-dump "Applying if-conversion" "ifcvt" } } */
/* We insert into code
if (LOOP_VECTORIZED (...))
which is folded by vectorizer. Both outgoing edges must have probability
100% so the resulting profile match after folding. */
/* { dg-final { scan-tree-dump-times "Invalid sum of outgoing probabilities 200.0" 1 "ifcvt" } } */
/* { dg-final { scan-tree-dump-times "Invalid sum of incoming counts" 1 "ifcvt" } } */
|
