| /* { dg-do compile } */ |
| /* { dg-options "-Ofast -fdump-tree-ifcvt-stats-blocks-details" } */ |
| /* { dg-require-visibility "" } */ |
| |
| int a[1024] = {0.0}; |
| int b[1024] = {0.0}; |
| int c[1024] = {0.0}; |
| int foo (float *x) |
| { |
| int i = 0; |
| |
| for (i = 0; i < 1024; i++) |
| { |
| c[i] = (x[i] > 0.0) ? a[i] : b[i]; |
| } |
| |
| return 0; |
| } |
| |
| /* { dg-final { scan-tree-dump-times "Applying if-conversion" 1 "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" } } */ |
