summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.dg/pr48156.c
blob: 7b4d529c41b4a520fe32e11bea7bc57d96109282 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
/* PR rtl-optimization/48156 */
/* { dg-do run } */
/* { dg-options "-O -fcrossjumping --param min-crossjump-insns=1" } */

extern void abort (void);

static int __attribute__ ((noinline, noclone))
equals (int s1, int s2)
{
  return s1 == s2;
}

static int __attribute__ ((noinline, noclone))
bar (void)
{
  return 1;
}

static void __attribute__ ((noinline, noclone))
baz (int f, int j)
{
  if (f != 4 || j != 2)
    abort ();
}

void
foo (int x)
{
  int i = 0, j = bar ();

  if (x == 1)
    i = 2;

  if (j && equals (i, j))
    baz (8, i);
  else
    baz (4, i);
}

int
main ()
{
  foo (1);
  return 0;
}