1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -ftree-vectorize -fdump-tree-ifcvt-stats-blocks-details" { target *-*-* } } */
       3  
       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" } } */