/[gcl]/gcl/ansi-tests/floor.lsp
ViewVC logotype

Diff of /gcl/ansi-tests/floor.lsp

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.1 by pfdietz, Sat Aug 9 18:13:35 2003 UTC revision 1.2 by pfdietz, Mon Aug 18 13:23:59 2003 UTC
# Line 74  Line 74 
74          collect x)          collect x)
75    nil)    nil)
76    
77    (deftest floor.12
78      (let* ((radix (float-radix 1.0s0))
79             (rad (float radix 1.0s0))
80             (rrad (/ 1.0s0 rad)))
81        (loop for i from 1 to 1000
82              for x = (+ i rrad)
83              for (q r) = (multiple-value-list (floor x))
84              unless (and (eql q i)
85                          (eql r rrad))
86              collect (list i x q r)))
87      nil)
88    
89    (deftest floor.13
90      (let* ((radix (float-radix 1.0s0))
91             (rad (float radix 1.0s0))
92             (rrad (/ 1.0s0 rad)))
93        (loop for i from 1 to 1000
94              for x = (- i rrad)
95              for (q r) = (multiple-value-list (floor x))
96              unless (and (eql q (1- i))
97                          (eql r rrad))
98              collect (list i x q r)))
99      nil)
100    
101    (deftest floor.14
102      (let* ((radix (float-radix 1.0f0))
103             (rad (float radix 1.0f0))
104             (rrad (/ 1.0f0 rad)))
105        (loop for i from 1 to 1000
106              for x = (+ i rrad)
107              for (q r) = (multiple-value-list (floor x))
108              unless (and (eql q i)
109                          (eql r rrad))
110              collect (list i x q r)))
111      nil)
112    
113    (deftest floor.15
114      (let* ((radix (float-radix 1.0f0))
115             (rad (float radix 1.0f0))
116             (rrad (/ 1.0f0 rad)))
117        (loop for i from 1 to 1000
118              for x = (- i rrad)
119              for (q r) = (multiple-value-list (floor x))
120              unless (and (eql q (1- i))
121                          (eql r rrad))
122              collect (list i x q r)))
123      nil)
124    
125    (deftest floor.16
126      (let* ((radix (float-radix 1.0d0))
127             (rad (float radix 1.0d0))
128             (rrad (/ 1.0d0 rad)))
129        (loop for i from 1 to 1000
130              for x = (+ i rrad)
131              for (q r) = (multiple-value-list (floor x))
132              unless (and (eql q i)
133                          (eql r rrad))
134              collect (list i x q r)))
135      nil)
136    
137    (deftest floor.17
138      (let* ((radix (float-radix 1.0d0))
139             (rad (float radix 1.0d0))
140             (rrad (/ 1.0d0 rad)))
141        (loop for i from 1 to 1000
142              for x = (- i rrad)
143              for (q r) = (multiple-value-list (floor x))
144              unless (and (eql q (1- i))
145                          (eql r rrad))
146              collect (list i x q r)))
147      nil)
148    
149    (deftest floor.18
150      (let* ((radix (float-radix 1.0l0))
151             (rad (float radix 1.0l0))
152             (rrad (/ 1.0l0 rad)))
153        (loop for i from 1 to 1000
154              for x = (+ i rrad)
155              for (q r) = (multiple-value-list (floor x))
156              unless (and (eql q i)
157                          (eql r rrad))
158              collect (list i x q r)))
159      nil)
160    
161    (deftest floor.19
162      (let* ((radix (float-radix 1.0l0))
163             (rad (float radix 1.0l0))
164             (rrad (/ 1.0l0 rad)))
165        (loop for i from 1 to 1000
166              for x = (- i rrad)
167              for (q r) = (multiple-value-list (floor x))
168              unless (and (eql q (1- i))
169                          (eql r rrad))
170              collect (list i x q r)))
171      nil)
172    
173    ;;; To add: tests that involve adding/subtracting EPSILON constants
174    ;;; (suitably scaled) to floated integers.
175    

Legend:
Removed from v.1.1  
changed lines
  Added in v.1.2

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26