1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fdump-ipa-icf"  } */
3 
4 #include <stdio.h>
5 
6 __attribute__ ((noinline))
fce1(int a,int b)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))
fce2(int x,int y)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 
main(int argc,char ** argv)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->fce2" "icf"  } } */
44 /* { dg-final { scan-ipa-dump "Equal symbols: 1" "icf"  } } */
45