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
|
/* { dg-do run } */
typedef long int_t;
__attribute__ ((noinline)) int_t
addlfne (double w, double x, int_t y, int_t z)
{
return w != x ? y + z : y;
}
int
main (void)
{
if (addlfne (-1.0, -1.0, 12L, 23L) != 12L)
return 1;
if (addlfne (-1.0, 3.0, 12L, 23L) != 35L)
return 1;
if (addlfne (1.0, 3.0, 12L, 23L) != 35L)
return 1;
if (addlfne (3.0, 3.0, 12L, 23L) != 12L)
return 1;
if (addlfne (5.0, 3.0, 12L, 23L) != 35L)
return 1;
if (addlfne (3.0, -1.0, 12L, 23L) != 35L)
return 1;
if (addlfne (3.0, 1.0, 12L, 23L) != 35L)
return 1;
if (addlfne (3.0, 5.0, 12L, 23L) != 35L)
return 1;
return 0;
}
|
