Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to content

Commit 5e3eda4

Browse files
bmomjianbmomjian
committed
> Here is an extension of the regression test suite for Digital Unix
(Alpha). > > Andreas Kardos
1 parent 27b3f7c commit 5e3eda4

File tree

1 file changed

+246
-0
lines changed

1 file changed

+246
-0
lines changed

‎src/test/regress/expected/float8-fp-exception.out

Lines changed: 246 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,246 @@
1+
--
2+
-- FLOAT8
3+
--
4+
CREATE TABLE FLOAT8_TBL(f1 float8);
5+
INSERT INTO FLOAT8_TBL(f1) VALUES ('0.0');
6+
INSERT INTO FLOAT8_TBL(f1) VALUES ('1004.30');
7+
INSERT INTO FLOAT8_TBL(f1) VALUES ('-34.84');
8+
INSERT INTO FLOAT8_TBL(f1) VALUES ('1.2345678901234e+200');
9+
INSERT INTO FLOAT8_TBL(f1) VALUES ('1.2345678901234e-200');
10+
SELECT '' AS five, FLOAT8_TBL.*;
11+
five | f1
12+
------+----------------------
13+
| 0
14+
| 1004.3
15+
| -34.84
16+
| 1.2345678901234e+200
17+
| 1.2345678901234e-200
18+
(5 rows)
19+
20+
SELECT '' AS four, f.* FROM FLOAT8_TBL f WHERE f.f1 <> '1004.3';
21+
four | f1
22+
------+----------------------
23+
| 0
24+
| -34.84
25+
| 1.2345678901234e+200
26+
| 1.2345678901234e-200
27+
(4 rows)
28+
29+
SELECT '' AS one, f.* FROM FLOAT8_TBL f WHERE f.f1 = '1004.3';
30+
one | f1
31+
-----+--------
32+
| 1004.3
33+
(1 row)
34+
35+
SELECT '' AS three, f.* FROM FLOAT8_TBL f WHERE '1004.3' > f.f1;
36+
three | f1
37+
-------+----------------------
38+
| 0
39+
| -34.84
40+
| 1.2345678901234e-200
41+
(3 rows)
42+
43+
SELECT '' AS three, f.* FROM FLOAT8_TBL f WHERE f.f1 < '1004.3';
44+
three | f1
45+
-------+----------------------
46+
| 0
47+
| -34.84
48+
| 1.2345678901234e-200
49+
(3 rows)
50+
51+
SELECT '' AS four, f.* FROM FLOAT8_TBL f WHERE '1004.3' >= f.f1;
52+
four | f1
53+
------+----------------------
54+
| 0
55+
| 1004.3
56+
| -34.84
57+
| 1.2345678901234e-200
58+
(4 rows)
59+
60+
SELECT '' AS four, f.* FROM FLOAT8_TBL f WHERE f.f1 <= '1004.3';
61+
four | f1
62+
------+----------------------
63+
| 0
64+
| 1004.3
65+
| -34.84
66+
| 1.2345678901234e-200
67+
(4 rows)
68+
69+
SELECT '' AS three, f.f1, f.f1 * '-10' AS x
70+
FROM FLOAT8_TBL f
71+
WHERE f.f1 > '0.0';
72+
three | f1 | x
73+
-------+----------------------+-----------------------
74+
| 1004.3 | -10043
75+
| 1.2345678901234e+200 | -1.2345678901234e+201
76+
| 1.2345678901234e-200 | -1.2345678901234e-199
77+
(3 rows)
78+
79+
SELECT '' AS three, f.f1, f.f1 + '-10' AS x
80+
FROM FLOAT8_TBL f
81+
WHERE f.f1 > '0.0';
82+
three | f1 | x
83+
-------+----------------------+----------------------
84+
| 1004.3 | 994.3
85+
| 1.2345678901234e+200 | 1.2345678901234e+200
86+
| 1.2345678901234e-200 | -10
87+
(3 rows)
88+
89+
SELECT '' AS three, f.f1, f.f1 / '-10' AS x
90+
FROM FLOAT8_TBL f
91+
WHERE f.f1 > '0.0';
92+
three | f1 | x
93+
-------+----------------------+-----------------------
94+
| 1004.3 | -100.43
95+
| 1.2345678901234e+200 | -1.2345678901234e+199
96+
| 1.2345678901234e-200 | -1.2345678901234e-201
97+
(3 rows)
98+
99+
SELECT '' AS three, f.f1, f.f1 - '-10' AS x
100+
FROM FLOAT8_TBL f
101+
WHERE f.f1 > '0.0';
102+
three | f1 | x
103+
-------+----------------------+----------------------
104+
| 1004.3 | 1014.3
105+
| 1.2345678901234e+200 | 1.2345678901234e+200
106+
| 1.2345678901234e-200 | 10
107+
(3 rows)
108+
109+
SELECT '' AS one, f.f1 ^ '2.0' AS square_f1
110+
FROM FLOAT8_TBL f where f.f1 = '1004.3';
111+
one | square_f1
112+
-----+------------
113+
| 1008618.49
114+
(1 row)
115+
116+
-- absolute value
117+
SELECT '' AS five, f.f1, @f.f1 AS abs_f1
118+
FROM FLOAT8_TBL f;
119+
five | f1 | abs_f1
120+
------+----------------------+----------------------
121+
| 0 | 0
122+
| 1004.3 | 1004.3
123+
| -34.84 | 34.84
124+
| 1.2345678901234e+200 | 1.2345678901234e+200
125+
| 1.2345678901234e-200 | 1.2345678901234e-200
126+
(5 rows)
127+
128+
-- truncate
129+
SELECT '' AS five, f.f1, %f.f1 AS trunc_f1
130+
FROM FLOAT8_TBL f;
131+
five | f1 | trunc_f1
132+
------+----------------------+----------------------
133+
| 0 | 0
134+
| 1004.3 | 1004
135+
| -34.84 | -34
136+
| 1.2345678901234e+200 | 1.2345678901234e+200
137+
| 1.2345678901234e-200 | 0
138+
(5 rows)
139+
140+
-- round
141+
SELECT '' AS five, f.f1, f.f1 % AS round_f1
142+
FROM FLOAT8_TBL f;
143+
five | f1 | round_f1
144+
------+----------------------+----------------------
145+
| 0 | 0
146+
| 1004.3 | 1004
147+
| -34.84 | -35
148+
| 1.2345678901234e+200 | 1.2345678901234e+200
149+
| 1.2345678901234e-200 | 0
150+
(5 rows)
151+
152+
-- square root
153+
SELECT '' AS three, f.f1, |/f.f1 AS sqrt_f1
154+
FROM FLOAT8_TBL f
155+
WHERE f.f1 > '0.0';
156+
three | f1 | sqrt_f1
157+
-------+----------------------+-----------------------
158+
| 1004.3 | 31.6906926399535
159+
| 1.2345678901234e+200 | 1.11111110611109e+100
160+
| 1.2345678901234e-200 | 1.11111110611109e-100
161+
(3 rows)
162+
163+
-- take exp of ln(f.f1)
164+
SELECT '' AS three, f.f1, : ( ; f.f1) AS exp_ln_f1
165+
FROM FLOAT8_TBL f
166+
WHERE f.f1 > '0.0';
167+
three | f1 | exp_ln_f1
168+
-------+----------------------+-----------------------
169+
| 1004.3 | 1004.3
170+
| 1.2345678901234e+200 | 1.23456789012338e+200
171+
| 1.2345678901234e-200 | 1.23456789012339e-200
172+
(3 rows)
173+
174+
-- cube root
175+
SELECT '' AS five, f.f1, ||/f.f1 AS cbrt_f1 FROM FLOAT8_TBL f;
176+
five | f1 | cbrt_f1
177+
------+----------------------+----------------------
178+
| 0 | 0
179+
| 1004.3 | 10.014312837827
180+
| -34.84 | -3.26607421344208
181+
| 1.2345678901234e+200 | 4.97933859234765e+66
182+
| 1.2345678901234e-200 | 2.3112042409018e-67
183+
(5 rows)
184+
185+
SELECT '' AS five, FLOAT8_TBL.*;
186+
five | f1
187+
------+----------------------
188+
| 0
189+
| 1004.3
190+
| -34.84
191+
| 1.2345678901234e+200
192+
| 1.2345678901234e-200
193+
(5 rows)
194+
195+
UPDATE FLOAT8_TBL
196+
SET f1 = FLOAT8_TBL.f1 * '-1'
197+
WHERE FLOAT8_TBL.f1 > '0.0';
198+
SELECT '' AS bad, f.f1 * '1e200' from FLOAT8_TBL f;
199+
ERROR: floating point exception! The last floating point operation either exceeded legal ranges or was a divide by zero
200+
SELECT '' AS bad, f.f1 ^ '1e200' from FLOAT8_TBL f;
201+
ERROR: pow() result is out of range
202+
SELECT '' AS bad, (; (f.f1)) from FLOAT8_TBL f where f.f1 = '0.0' ;
203+
ERROR: can't take log of zero
204+
SELECT '' AS bad, (; (f.f1)) from FLOAT8_TBL f where f.f1 < '0.0' ;
205+
ERROR: can't take log of a negative number
206+
SELECT '' AS bad, : (f.f1) from FLOAT8_TBL f;
207+
ERROR: exp() result is out of range
208+
SELECT '' AS bad, f.f1 / '0.0' from FLOAT8_TBL f;
209+
ERROR: float8div: divide by zero error
210+
SELECT '' AS five, FLOAT8_TBL.*;
211+
five | f1
212+
------+-----------------------
213+
| 0
214+
| -34.84
215+
| -1004.3
216+
| -1.2345678901234e+200
217+
| -1.2345678901234e-200
218+
(5 rows)
219+
220+
-- test for over and under flow
221+
INSERT INTO FLOAT8_TBL(f1) VALUES ('10e400');
222+
ERROR: Input '10e400' is out of range for float8
223+
INSERT INTO FLOAT8_TBL(f1) VALUES ('-10e400');
224+
ERROR: Input '-10e400' is out of range for float8
225+
INSERT INTO FLOAT8_TBL(f1) VALUES ('10e-400');
226+
ERROR: Input '10e-400' is out of range for float8
227+
INSERT INTO FLOAT8_TBL(f1) VALUES ('-10e-400');
228+
ERROR: Input '-10e-400' is out of range for float8
229+
-- maintain external table consistency across platforms
230+
-- delete all values and reinsert well-behaved ones
231+
DELETE FROM FLOAT8_TBL;
232+
INSERT INTO FLOAT8_TBL(f1) VALUES ('0.0');
233+
INSERT INTO FLOAT8_TBL(f1) VALUES ('-34.84');
234+
INSERT INTO FLOAT8_TBL(f1) VALUES ('-1004.30');
235+
INSERT INTO FLOAT8_TBL(f1) VALUES ('-1.2345678901234e+200');
236+
INSERT INTO FLOAT8_TBL(f1) VALUES ('-1.2345678901234e-200');
237+
SELECT '' AS five, FLOAT8_TBL.*;
238+
five | f1
239+
------+-----------------------
240+
| 0
241+
| -34.84
242+
| -1004.3
243+
| -1.2345678901234e+200
244+
| -1.2345678901234e-200
245+
(5 rows)
246+

0 commit comments

Comments
 (0)