OpenCores
URL https://opencores.org/ocsvn/openrisc/openrisc/trunk

Subversion Repositories openrisc

[/] [openrisc/] [trunk/] [gnu-stable/] [gcc-4.5.1/] [gcc/] [testsuite/] [gcc.dg/] [fold-compare-3.c] - Blame information for rev 826

Details | Compare with Previous | View Log

Line No. Rev Author Line
1 298 jeremybenn
/* { dg-do compile } */
2
/* { dg-options "-O2 -fdump-tree-cfg" } */
3
 
4
#include <limits.h>
5
 
6
void this_comparison_is_false (void);
7
void this_comparison_is_true (void);
8
void this_comparison_is_not_decidable (void);
9
 
10
void bla1eq (int var)
11
{
12
  if (var + 10 == INT_MIN + 9)
13
    this_comparison_is_false ();
14
}
15
 
16
void bla2eq (int var)
17
{
18
  if (var + 10 == INT_MIN + 10)
19
    this_comparison_is_not_decidable ();
20
}
21
 
22
void bla3eq (int var)
23
{
24
  if (var - 10 == INT_MAX - 9)
25
    this_comparison_is_false ();
26
}
27
 
28
void bla4eq (int var)
29
{
30
  if (var - 10 == INT_MAX - 10)
31
    this_comparison_is_not_decidable ();
32
}
33
 
34
void bla1ne (int var)
35
{
36
  if (var + 10 != INT_MIN + 9)
37
    this_comparison_is_true ();
38
}
39
 
40
void bla2ne (int var)
41
{
42
  if (var + 10 != INT_MIN + 10)
43
    this_comparison_is_not_decidable ();
44
}
45
 
46
void bla3ne (int var)
47
{
48
  if (var - 10 != INT_MAX - 9)
49
    this_comparison_is_true ();
50
}
51
 
52
void bla4ne (int var)
53
{
54
  if (var - 10 != INT_MAX - 10)
55
    this_comparison_is_not_decidable ();
56
}
57
 
58
void bla1lt (int var)
59
{
60
  if (var + 10 < INT_MIN + 10)
61
    this_comparison_is_false ();
62
}
63
 
64
void bla2lt (int var)
65
{
66
  if (var + 10 < INT_MIN + 11)
67
    this_comparison_is_not_decidable ();
68
}
69
 
70
void bla3lt (int var)
71
{
72
  if (var - 10 < INT_MAX - 9)
73
    this_comparison_is_true ();
74
}
75
 
76
void bla4lt (int var)
77
{
78
  if (var - 10 < INT_MAX - 10)
79
    this_comparison_is_not_decidable ();
80
}
81
 
82
void bla1le (int var)
83
{
84
  if (var + 10 <= INT_MIN + 9)
85
    this_comparison_is_false ();
86
}
87
 
88
void bla2le (int var)
89
{
90
  if (var + 10 <= INT_MIN + 10)
91
    this_comparison_is_not_decidable ();
92
}
93
 
94
void bla3le (int var)
95
{
96
  if (var - 10 <= INT_MAX - 10)
97
    this_comparison_is_true ();
98
}
99
 
100
void bla4le (int var)
101
{
102
  if (var - 10 <= INT_MAX - 11)
103
    this_comparison_is_not_decidable ();
104
}
105
 
106
void bla1gt (int var)
107
{
108
  if (var + 10 > INT_MIN + 9)
109
    this_comparison_is_true ();
110
}
111
 
112
void bla2gt (int var)
113
{
114
  if (var + 10 > INT_MIN + 10)
115
    this_comparison_is_not_decidable ();
116
}
117
 
118
void bla3gt (int var)
119
{
120
  if (var - 10 > INT_MAX - 10)
121
    this_comparison_is_false ();
122
}
123
 
124
void bla4gt (int var)
125
{
126
  if (var - 10 > INT_MAX - 11)
127
    this_comparison_is_not_decidable ();
128
}
129
 
130
void bla1ge (int var)
131
{
132
  if (var + 10 >= INT_MIN + 10)
133
    this_comparison_is_true ();
134
}
135
 
136
void bla2ge (int var)
137
{
138
  if (var + 10 >= INT_MIN + 11)
139
    this_comparison_is_not_decidable ();
140
}
141
 
142
void bla3ge (int var)
143
{
144
  if (var - 11 >= INT_MAX - 10)
145
    this_comparison_is_false ();
146
}
147
 
148
void bla4ge (int var)
149
{
150
  if (var - 10 >= INT_MAX - 10)
151
    this_comparison_is_not_decidable ();
152
}
153
 
154
/* { dg-final { scan-tree-dump-times "this_comparison_is_false" 0 "cfg" } } */
155
/* { dg-final { scan-tree-dump-times "this_comparison_is_true" 6 "cfg" } } */
156
/* { dg-final { scan-tree-dump-times "this_comparison_is_not_decidable" 12 "cfg" } } */
157
/* { dg-final { scan-tree-dump-times "if " 12 "cfg" } } */
158
 
159
/* { dg-final { cleanup-tree-dump "cfg" } } */

powered by: WebSVN 2.1.0

© copyright 1999-2024 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.