blob: 59ec52ad199aa7627963aae92de8309abf98386c (
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
46
47
48
49
50
51
52
53
|
/* PR tree-optimization/102232 */
/* { dg-do run } */
/* { dg-options "-O -fdump-tree-optimized" } */
/* { dg-require-effective-target int32plus } */
int __attribute__ ((noipa)) foo (int a, int b)
{
return b * (1 + a / b) - a;
}
int
main (void)
{
// few randomly generated test cases
if (foo (71856034, 238) != 212)
{
__builtin_abort ();
}
if (foo (71856034, 10909) != 1549)
{
__builtin_abort ();
}
if (foo (20350, 1744) != 578)
{
__builtin_abort ();
}
if (foo (444813, 88563) != 86565)
{
__builtin_abort ();
}
if (foo (112237, 63004) != 13771)
{
__builtin_abort ();
}
if (foo (68268386, 787116) != 210706)
{
__builtin_abort ();
}
if (foo (-444813, 88563) != 90561)
{
__builtin_abort ();
}
if (foo (-68268386, 787116) != 1363526)
{
__builtin_abort ();
}
return 0;
}
/* Verify that multiplication and division has been removed. */
/* { dg-final { scan-tree-dump-not " \\* " "optimized" } } */
/* { dg-final { scan-tree-dump-not " / " "optimized" } } */
|
