Skip to content

Commit 0a4982e

Browse files
tautschnigtautschnig
committed
clang-format tests moved around in this PR
These are whitespace changes only.
1 parent 34c2c39 commit 0a4982e

File tree

10 files changed

+150
-149
lines changed

10 files changed

+150
-149
lines changed

‎regression/cbmc-library/fesetround-04/main.c‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
#ifdef __GNUC__
22

3-
#include <assert.h>
4-
#include <fenv.h>
3+
# include <assert.h>
4+
# include <fenv.h>
55

66
float castWithRounding(int rounding_mode, int value)
77
{
@@ -31,7 +31,7 @@ int main(void)
3131
assert(castWithRounding(FE_TONEAREST, 33554439) == higher);
3232
assert(castWithRounding(FE_TONEAREST, 33554440) == higher);
3333

34-
#ifdef FE_UPWARD
34+
# ifdef FE_UPWARD
3535
assert(castWithRounding(FE_UPWARD, 33554432) == low);
3636
assert(castWithRounding(FE_UPWARD, 33554433) == high);
3737
assert(castWithRounding(FE_UPWARD, 33554434) == high);
@@ -42,9 +42,9 @@ int main(void)
4242
assert(castWithRounding(FE_UPWARD, -33554434) == -low);
4343
assert(castWithRounding(FE_UPWARD, -33554435) == -low);
4444
assert(castWithRounding(FE_UPWARD, -33554436) == -high);
45-
#endif
45+
# endif
4646

47-
#ifdef FE_DOWNWARD
47+
# ifdef FE_DOWNWARD
4848
assert(castWithRounding(FE_DOWNWARD, 33554432) == low);
4949
assert(castWithRounding(FE_DOWNWARD, 33554433) == low);
5050
assert(castWithRounding(FE_DOWNWARD, 33554434) == low);
@@ -55,7 +55,7 @@ int main(void)
5555
assert(castWithRounding(FE_DOWNWARD, -33554434) == -high);
5656
assert(castWithRounding(FE_DOWNWARD, -33554435) == -high);
5757
assert(castWithRounding(FE_DOWNWARD, -33554436) == -high);
58-
#endif
58+
# endif
5959

6060
assert(castWithRounding(FE_TOWARDZERO, 33554432) == low);
6161
assert(castWithRounding(FE_TOWARDZERO, 33554433) == low);

‎regression/cbmc-library/fesetround-05/main.c‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
#ifdef __GNUC__
2-
#include <assert.h>
3-
#include <fenv.h>
2+
# include <assert.h>
3+
# include <fenv.h>
44

55
float nondet_float();
66
int nondet_int();
@@ -34,15 +34,15 @@ int main(void)
3434

3535
assert((castWithRounding(FE_TONEAREST, x) == high) == (x == 33554435));
3636

37-
#ifdef FE_UPWARD
37+
# ifdef FE_UPWARD
3838
assert(castWithRounding(FE_UPWARD, x) == high);
3939
assert(castWithRounding(FE_UPWARD, -x) == -low);
40-
#endif
40+
# endif
4141

42-
#ifdef FE_DOWNWARD
42+
# ifdef FE_DOWNWARD
4343
assert(castWithRounding(FE_DOWNWARD, x) == low);
4444
assert(castWithRounding(FE_DOWNWARD, -x) == -high);
45-
#endif
45+
# endif
4646

4747
assert(castWithRounding(FE_TOWARDZERO, x) == low);
4848
assert(castWithRounding(FE_TOWARDZERO, -x) == -low);

‎regression/cbmc-library/fesetround-06/main.c‎

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -4,16 +4,16 @@
44
#if defined(_MSC_VER) && _MSC_VER < 1800
55
// don't have fenv.h
66
#else
7-
#include <fenv.h>
7+
# include <fenv.h>
88
#endif
99

1010
int main(void)
1111
{
1212
#if defined(_MSC_VER) && _MSC_VER < 1800
1313
#else
1414

15-
#ifdef FE_UPWARD
16-
#ifdef FW_DOWNWARD
15+
# ifdef FE_UPWARD
16+
# ifdef FW_DOWNWARD
1717
float f;
1818
float g;
1919

@@ -35,8 +35,8 @@ int main(void)
3535
float h = f + g;
3636
assert(h >= f);
3737
}
38-
#endif
39-
#endif
38+
# endif
39+
# endif
4040

4141
#endif
4242

‎regression/cbmc-library/fesetround-no-simp1-fix1/main.c‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,9 @@
11
// gcc -Wall -W -lm double-to-float-with-rounding-modes.c -o double-to-float-with-rounding-modes -frounding-math -fsignaling-nans -ffp-contract=off -msse2 -mfpmath=sse
22

33
#ifdef __GNUC__
4-
#include <assert.h>
5-
#include <fenv.h>
6-
#include <math.h>
4+
# include <assert.h>
5+
# include <fenv.h>
6+
# include <math.h>
77

88
float setRoundingModeAndCast(int mode, double d)
99
{

‎regression/cbmc-library/fesetround-no-simp1-fix2/main.c‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,9 @@
11
// gcc -Wall -W -lm double-to-float-with-rounding-modes.c -o double-to-float-with-rounding-modes -frounding-math -fsignaling-nans -ffp-contract=off -msse2 -mfpmath=sse
22

33
#ifdef __GNUC__
4-
#include <assert.h>
5-
#include <fenv.h>
6-
#include <math.h>
4+
# include <assert.h>
5+
# include <fenv.h>
6+
# include <math.h>
77

88
float setRoundingModeAndCast(int mode, double d)
99
{

‎regression/cbmc-library/fesetround-no-simp1/main.c‎

Lines changed: 59 additions & 59 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,9 @@
11
// gcc -Wall -W -lm double-to-float-with-rounding-modes.c -o double-to-float-with-rounding-modes -frounding-math -fsignaling-nans -ffp-contract=off -msse2 -mfpmath=sse
22

33
#ifdef __GNUC__
4-
#include <assert.h>
5-
#include <fenv.h>
6-
#include <math.h>
4+
# include <assert.h>
5+
# include <fenv.h>
6+
# include <math.h>
77

88
float setRoundingModeAndCast(int mode, double d)
99
{
@@ -25,136 +25,136 @@ int main(void)
2525
// 0x1.fffffep+127f is the largest binary32 float so
2626
// these should all be representable as floats...
2727
test(FE_TONEAREST, 0x1.fffffep+127, 0x1.fffffep+127);
28-
#ifdef FE_UPWARD
28+
# ifdef FE_UPWARD
2929
test(FE_UPWARD, 0x1.fffffep+127, 0x1.fffffep+127);
30-
#endif
31-
#ifdef FE_DOWNWARD
30+
# endif
31+
# ifdef FE_DOWNWARD
3232
test(FE_DOWNWARD, 0x1.fffffep+127, 0x1.fffffep+127);
33-
#endif
33+
# endif
3434
test(FE_TOWARDZERO, 0x1.fffffep+127, 0x1.fffffep+127);
3535

3636
// Likewise, this should be an obvious sanity check
3737
test(FE_TONEAREST, +INFINITY, +INFINITY);
38-
#ifdef FE_UPWARD
38+
# ifdef FE_UPWARD
3939
test(FE_UPWARD, +INFINITY, +INFINITY);
40-
#endif
41-
#ifdef FE_DOWNWARD
40+
# endif
41+
# ifdef FE_DOWNWARD
4242
test(FE_DOWNWARD, +INFINITY, +INFINITY);
43-
#endif
43+
# endif
4444
test(FE_TOWARDZERO, +INFINITY, +INFINITY);
4545

4646
// Nearer to 0x1.fffffep+127 than to 0x1.000000p+128
4747
test(FE_TONEAREST, 0x1.fffffe0000001p+127, 0x1.fffffep+127);
48-
#ifdef FE_UPWARD
48+
# ifdef FE_UPWARD
4949
test(FE_UPWARD, 0x1.fffffe0000001p+127, +INFINITY);
50-
#endif
51-
#ifdef FE_DOWNWARD
50+
# endif
51+
# ifdef FE_DOWNWARD
5252
test(FE_DOWNWARD, 0x1.fffffe0000001p+127, 0x1.fffffep+127);
53-
#endif
53+
# endif
5454
test(FE_TOWARDZERO, 0x1.fffffe0000001p+127, 0x1.fffffep+127);
5555

5656
// 0x1.fffffefffffffp+127 is immediately below half way
5757
test(FE_TONEAREST, 0x1.fffffefffffffp+127, 0x1.fffffep+127);
58-
#ifdef FE_UPWARD
58+
# ifdef FE_UPWARD
5959
test(FE_UPWARD, 0x1.fffffefffffffp+127, +INFINITY);
60-
#endif
61-
#ifdef FE_DOWNWARD
60+
# endif
61+
# ifdef FE_DOWNWARD
6262
test(FE_DOWNWARD, 0x1.fffffefffffffp+127, 0x1.fffffep+127);
63-
#endif
63+
# endif
6464
test(FE_TOWARDZERO, 0x1.fffffefffffffp+127, 0x1.fffffep+127);
6565

6666
// Half way
6767
test(FE_TONEAREST, 0x1.ffffffp+127, +INFINITY);
68-
#ifdef FE_UPWARD
68+
# ifdef FE_UPWARD
6969
test(FE_UPWARD, 0x1.ffffffp+127, +INFINITY);
70-
#endif
71-
#ifdef FE_DOWNWARD
70+
# endif
71+
# ifdef FE_DOWNWARD
7272
test(FE_DOWNWARD, 0x1.ffffffp+127, 0x1.fffffep+127);
73-
#endif
73+
# endif
7474
test(FE_TOWARDZERO, 0x1.ffffffp+127, 0x1.fffffep+127);
7575

7676
// Larger
7777
test(FE_TONEAREST, 0x1.0p+128, +INFINITY);
78-
#ifdef FE_UPWARD
78+
# ifdef FE_UPWARD
7979
test(FE_UPWARD, 0x1.0p+128, +INFINITY);
80-
#endif
81-
#ifdef FE_DOWNWARD
80+
# endif
81+
# ifdef FE_DOWNWARD
8282
test(FE_DOWNWARD, 0x1.0p+128, 0x1.fffffep+127);
83-
#endif
83+
# endif
8484
test(FE_TOWARDZERO, 0x1.0p+128, 0x1.fffffep+127);
8585

8686
// Huge
8787
test(FE_TONEAREST, 0x1.fffffffffffffp+1023, +INFINITY);
88-
#ifdef FE_UPWARD
88+
# ifdef FE_UPWARD
8989
test(FE_UPWARD, 0x1.fffffffffffffp+1023, +INFINITY);
90-
#endif
91-
#ifdef FE_DOWNWARD
90+
# endif
91+
# ifdef FE_DOWNWARD
9292
test(FE_DOWNWARD, 0x1.fffffffffffffp+1023, 0x1.fffffep+127);
93-
#endif
93+
# endif
9494
test(FE_TOWARDZERO, 0x1.fffffffffffffp+1023, 0x1.fffffep+127);
9595

9696
// Same again but negative
9797
test(FE_TONEAREST, -0x1.fffffep+127, -0x1.fffffep+127);
98-
#ifdef FE_UPWARD
98+
# ifdef FE_UPWARD
9999
test(FE_UPWARD, -0x1.fffffep+127, -0x1.fffffep+127);
100-
#endif
101-
#ifdef FE_DOWNWARD
100+
# endif
101+
# ifdef FE_DOWNWARD
102102
test(FE_DOWNWARD, -0x1.fffffep+127, -0x1.fffffep+127);
103-
#endif
103+
# endif
104104
test(FE_TOWARDZERO, -0x1.fffffep+127, -0x1.fffffep+127);
105105

106106
test(FE_TONEAREST, -INFINITY, -INFINITY);
107-
#ifdef FE_UPWARD
107+
# ifdef FE_UPWARD
108108
test(FE_UPWARD, -INFINITY, -INFINITY);
109-
#endif
110-
#ifdef FE_DOWNWARD
109+
# endif
110+
# ifdef FE_DOWNWARD
111111
test(FE_DOWNWARD, -INFINITY, -INFINITY);
112-
#endif
112+
# endif
113113
test(FE_TOWARDZERO, -INFINITY, -INFINITY);
114114

115115
test(FE_TONEAREST, -0x1.fffffe0000001p+127, -0x1.fffffep+127);
116-
#ifdef FE_UPWARD
116+
# ifdef FE_UPWARD
117117
test(FE_UPWARD, -0x1.fffffe0000001p+127, -0x1.fffffep+127);
118-
#endif
119-
#ifdef FE_DOWNWARD
118+
# endif
119+
# ifdef FE_DOWNWARD
120120
test(FE_DOWNWARD, -0x1.fffffe0000001p+127, -INFINITY);
121-
#endif
121+
# endif
122122
test(FE_TOWARDZERO, -0x1.fffffe0000001p+127, -0x1.fffffep+127);
123123

124124
test(FE_TONEAREST, -0x1.fffffefffffffp+127, -0x1.fffffep+127);
125-
#ifdef FE_UPWARD
125+
# ifdef FE_UPWARD
126126
test(FE_UPWARD, -0x1.fffffefffffffp+127, -0x1.fffffep+127);
127-
#endif
128-
#ifdef FE_DOWNWARD
127+
# endif
128+
# ifdef FE_DOWNWARD
129129
test(FE_DOWNWARD, -0x1.fffffefffffffp+127, -INFINITY);
130-
#endif
130+
# endif
131131
test(FE_TOWARDZERO, -0x1.fffffefffffffp+127, -0x1.fffffep+127);
132132

133133
test(FE_TONEAREST, -0x1.ffffffp+127, -INFINITY);
134-
#ifdef FE_UPWARD
134+
# ifdef FE_UPWARD
135135
test(FE_UPWARD, -0x1.ffffffp+127, -0x1.fffffep+127);
136-
#endif
137-
#ifdef FE_DOWNWARD
136+
# endif
137+
# ifdef FE_DOWNWARD
138138
test(FE_DOWNWARD, -0x1.ffffffp+127, -INFINITY);
139-
#endif
139+
# endif
140140
test(FE_TOWARDZERO, -0x1.ffffffp+127, -0x1.fffffep+127);
141141

142142
test(FE_TONEAREST, -0x1.0p+128, -INFINITY);
143-
#ifdef FE_UPWARD
143+
# ifdef FE_UPWARD
144144
test(FE_UPWARD, -0x1.0p+128, -0x1.fffffep+127);
145-
#endif
146-
#ifdef FE_DOWNWARD
145+
# endif
146+
# ifdef FE_DOWNWARD
147147
test(FE_DOWNWARD, -0x1.0p+128, -INFINITY);
148-
#endif
148+
# endif
149149
test(FE_TOWARDZERO, -0x1.0p+128, -0x1.fffffep+127);
150150

151151
test(FE_TONEAREST, -0x1.fffffffffffffp+1023, -INFINITY);
152-
#ifdef FE_UPWARD
152+
# ifdef FE_UPWARD
153153
test(FE_UPWARD, -0x1.fffffffffffffp+1023, -0x1.fffffep+127);
154-
#endif
155-
#ifdef FE_DOWNWARD
154+
# endif
155+
# ifdef FE_DOWNWARD
156156
test(FE_DOWNWARD, -0x1.fffffffffffffp+1023, -INFINITY);
157-
#endif
157+
# endif
158158
test(FE_TOWARDZERO, -0x1.fffffffffffffp+1023, -0x1.fffffep+127);
159159
#endif
160160

0 commit comments

Comments
 (0)