1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -fdump-ipa-icf-optimized"  } */
       3  
       4  #include <stdio.h>
       5  
       6  __attribute__ ((noinline))
       7  int fce1(int a, int b)
       8  {
       9    int swap;
      10  
      11    if(a < b)
      12      {
      13        swap = a;
      14        a = b;
      15        b = swap;
      16      }
      17  
      18    return a / b;
      19  }
      20  
      21  __attribute__ ((noinline))
      22  int fce2(int x, int y)
      23  {
      24    int tmp;
      25  
      26    if(x < y)
      27      {
      28        tmp = x;
      29        x = y;
      30        y = tmp;
      31      }
      32  
      33    return x / y;
      34  }
      35  
      36  
      37  int main(int argc, char **argv)
      38  {
      39    printf("fce1: %d\n", fce1(argc, argc + 2));
      40    printf("fce2: %d\n", fce2(argc, 2 * argc));
      41  }
      42  
      43  /* { dg-final { scan-ipa-dump "Semantic equality hit:fce1/\[0-9+\]+->fce2/\[0-9+\]+" "icf"  } } */
      44  /* { dg-final { scan-ipa-dump "Equal symbols: 1" "icf"  } } */