1 /* { dg-do compile } */
2 /* { dg-options "-O2 -ftree-vectorize -fdump-tree-ifcvt-stats-blocks-details" { target *-*-* } } */
3
foo(int a[],int b[])4 void foo (int a[], int b[])
5 {
6 int i;
7 for (i = 0; i < 100; i++)
8 {
9 if (a[i] == 0)
10 a[i] = b[i]*4;
11 else
12 a[i] = b[i]*3;
13 }
14 }
15
16 /* { dg-final { scan-tree-dump-times "Applying if-conversion" 1 "ifcvt" } } */
17
18 /* We insert into code
19 if (LOOP_VECTORIZED (...))
20 which is folded by vectorizer. Both outgoing edges must have probability
21 100% so the resulting profile match after folding. */
22 /* { dg-final { scan-tree-dump-times "Invalid sum of outgoing probabilities 200.0" 1 "ifcvt" } } */
23 /* { dg-final { scan-tree-dump-times "Invalid sum of incoming counts" 1 "ifcvt" } } */
24