Skip to content

Commit 6f66da4

Browse files
author
Dave Herman
committed
---
yaml --- r: 823 b: refs/heads/master c: 6421c13 h: refs/heads/master i: 821: 19eadc7 819: 22fee94 815: 7cc4543 v: v3
1 parent 953c5e1 commit 6f66da4

File tree

2 files changed

+1
-284
lines changed

2 files changed

+1
-284
lines changed

‎[refs]

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
11
---
2-
refs/heads/master: dbe27199b844aea507de8052da7b1e8f60543e70
2+
refs/heads/master: 6421c13157b387e7605b89caef2a4d1748bbd611

‎trunk/src/lib/bitv.rs

Lines changed: 0 additions & 283 deletions
Original file line numberDiff line numberDiff line change
@@ -168,289 +168,6 @@ fn eq_vec(&t v0, &vec[uint] v1) -> bool {
168168
ret true;
169169
}
170170

171-
fn test() {
172-
auto act;
173-
auto exp;
174-
175-
// -----------------------------------------------------------------------
176-
// Tests of 0-element bit-vectors.
177-
178-
act = create(0u, false);
179-
exp = _vec.init_elt[uint](0u, 0u);
180-
// FIXME: why can't I write vec[uint]()?
181-
check (eq_vec(act, exp));
182-
183-
// -----------------------------------------------------------------------
184-
// Tests of 1-element bit-vectors.
185-
186-
act = create(1u, false);
187-
check (eq_vec(act, vec(0u)));
188-
189-
act = create(1u, true);
190-
check (eq_vec(act, vec(1u)));
191-
192-
// -----------------------------------------------------------------------
193-
// Tests of 10-element bit-vectors.
194-
195-
// all 0
196-
act = create(10u, false);
197-
check (eq_vec(act, vec(0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u)));
198-
199-
// all 1
200-
act = create(10u, true);
201-
check (eq_vec(act, vec(1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u)));
202-
203-
// mixed
204-
act = create(10u, false);
205-
set(act, 0u, true);
206-
set(act, 1u, true);
207-
set(act, 2u, true);
208-
set(act, 3u, true);
209-
set(act, 4u, true);
210-
check (eq_vec(act, vec(1u, 1u, 1u, 1u, 1u, 0u, 0u, 0u, 0u, 0u)));
211-
212-
// mixed
213-
act = create(10u, false);
214-
set(act, 5u, true);
215-
set(act, 6u, true);
216-
set(act, 7u, true);
217-
set(act, 8u, true);
218-
set(act, 9u, true);
219-
check (eq_vec(act, vec(0u, 0u, 0u, 0u, 0u, 1u, 1u, 1u, 1u, 1u)));
220-
221-
// mixed
222-
act = create(10u, false);
223-
set(act, 0u, true);
224-
set(act, 3u, true);
225-
set(act, 6u, true);
226-
set(act, 9u, true);
227-
check (eq_vec(act, vec(1u, 0u, 0u, 1u, 0u, 0u, 1u, 0u, 0u, 1u)));
228-
229-
// -----------------------------------------------------------------------
230-
// Tests of 31-element bit-vectors.
231-
232-
// all 0
233-
act = create(31u, false);
234-
check (eq_vec(act, vec(0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
235-
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
236-
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
237-
0u, 0u, 0u, 0u, 0u, 0u, 0u)));
238-
239-
// all 1
240-
act = create(31u, true);
241-
check (eq_vec(act, vec(1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u,
242-
1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u,
243-
1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u,
244-
1u, 1u, 1u, 1u, 1u, 1u, 1u)));
245-
246-
// mixed
247-
act = create(31u, false);
248-
set(act, 0u, true);
249-
set(act, 1u, true);
250-
set(act, 2u, true);
251-
set(act, 3u, true);
252-
set(act, 4u, true);
253-
set(act, 5u, true);
254-
set(act, 6u, true);
255-
set(act, 7u, true);
256-
check (eq_vec(act, vec(1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u,
257-
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
258-
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
259-
0u, 0u, 0u, 0u, 0u, 0u, 0u)));
260-
261-
// mixed
262-
act = create(31u, false);
263-
set(act, 16u, true);
264-
set(act, 17u, true);
265-
set(act, 18u, true);
266-
set(act, 19u, true);
267-
set(act, 20u, true);
268-
set(act, 21u, true);
269-
set(act, 22u, true);
270-
set(act, 23u, true);
271-
check (eq_vec(act, vec(0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
272-
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
273-
1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u,
274-
0u, 0u, 0u, 0u, 0u, 0u, 0u)));
275-
276-
// mixed
277-
act = create(31u, false);
278-
set(act, 24u, true);
279-
set(act, 25u, true);
280-
set(act, 26u, true);
281-
set(act, 27u, true);
282-
set(act, 28u, true);
283-
set(act, 29u, true);
284-
set(act, 30u, true);
285-
check (eq_vec(act, vec(0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
286-
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
287-
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
288-
1u, 1u, 1u, 1u, 1u, 1u, 1u)));
289-
290-
// mixed
291-
act = create(31u, false);
292-
set(act, 3u, true);
293-
set(act, 17u, true);
294-
set(act, 30u, true);
295-
check (eq_vec(act, vec(0u, 0u, 0u, 1u, 0u, 0u, 0u, 0u,
296-
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
297-
0u, 1u, 0u, 0u, 0u, 0u, 0u, 0u,
298-
0u, 0u, 0u, 0u, 0u, 0u, 1u)));
299-
300-
// -----------------------------------------------------------------------
301-
// Tests of 32-element bit-vectors.
302-
303-
// all 0
304-
act = create(32u, false);
305-
check (eq_vec(act, vec(0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
306-
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
307-
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
308-
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u)));
309-
310-
// all 1
311-
act = create(32u, true);
312-
check (eq_vec(act, vec(1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u,
313-
1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u,
314-
1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u,
315-
1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u)));
316-
317-
// mixed
318-
act = create(32u, false);
319-
set(act, 0u, true);
320-
set(act, 1u, true);
321-
set(act, 2u, true);
322-
set(act, 3u, true);
323-
set(act, 4u, true);
324-
set(act, 5u, true);
325-
set(act, 6u, true);
326-
set(act, 7u, true);
327-
check (eq_vec(act, vec(1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u,
328-
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
329-
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
330-
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u)));
331-
332-
// mixed
333-
act = create(32u, false);
334-
set(act, 16u, true);
335-
set(act, 17u, true);
336-
set(act, 18u, true);
337-
set(act, 19u, true);
338-
set(act, 20u, true);
339-
set(act, 21u, true);
340-
set(act, 22u, true);
341-
set(act, 23u, true);
342-
check (eq_vec(act, vec(0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
343-
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
344-
1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u,
345-
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u)));
346-
347-
// mixed
348-
act = create(32u, false);
349-
set(act, 24u, true);
350-
set(act, 25u, true);
351-
set(act, 26u, true);
352-
set(act, 27u, true);
353-
set(act, 28u, true);
354-
set(act, 29u, true);
355-
set(act, 30u, true);
356-
set(act, 31u, true);
357-
check (eq_vec(act, vec(0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
358-
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
359-
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
360-
1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u)));
361-
362-
// mixed
363-
act = create(32u, false);
364-
set(act, 3u, true);
365-
set(act, 17u, true);
366-
set(act, 30u, true);
367-
set(act, 31u, true);
368-
check (eq_vec(act, vec(0u, 0u, 0u, 1u, 0u, 0u, 0u, 0u,
369-
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
370-
0u, 1u, 0u, 0u, 0u, 0u, 0u, 0u,
371-
0u, 0u, 0u, 0u, 0u, 0u, 1u, 1u)));
372-
373-
// -----------------------------------------------------------------------
374-
// Tests of 33-element bit-vectors.
375-
376-
// all 0
377-
act = create(33u, false);
378-
check (eq_vec(act, vec(0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
379-
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
380-
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
381-
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
382-
0u)));
383-
384-
// all 1
385-
act = create(33u, true);
386-
check (eq_vec(act, vec(1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u,
387-
1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u,
388-
1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u,
389-
1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u,
390-
1u)));
391-
392-
// mixed
393-
act = create(33u, false);
394-
set(act, 0u, true);
395-
set(act, 1u, true);
396-
set(act, 2u, true);
397-
set(act, 3u, true);
398-
set(act, 4u, true);
399-
set(act, 5u, true);
400-
set(act, 6u, true);
401-
set(act, 7u, true);
402-
check (eq_vec(act, vec(1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u,
403-
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
404-
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
405-
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
406-
0u)));
407-
408-
// mixed
409-
act = create(33u, false);
410-
set(act, 16u, true);
411-
set(act, 17u, true);
412-
set(act, 18u, true);
413-
set(act, 19u, true);
414-
set(act, 20u, true);
415-
set(act, 21u, true);
416-
set(act, 22u, true);
417-
set(act, 23u, true);
418-
check (eq_vec(act, vec(0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
419-
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
420-
1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u,
421-
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
422-
0u)));
423-
424-
// mixed
425-
act = create(33u, false);
426-
set(act, 24u, true);
427-
set(act, 25u, true);
428-
set(act, 26u, true);
429-
set(act, 27u, true);
430-
set(act, 28u, true);
431-
set(act, 29u, true);
432-
set(act, 30u, true);
433-
set(act, 31u, true);
434-
check (eq_vec(act, vec(0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
435-
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
436-
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
437-
1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u,
438-
0u)));
439-
440-
// mixed
441-
act = create(33u, false);
442-
set(act, 3u, true);
443-
set(act, 17u, true);
444-
set(act, 30u, true);
445-
set(act, 31u, true);
446-
set(act, 32u, true);
447-
check (eq_vec(act, vec(0u, 0u, 0u, 1u, 0u, 0u, 0u, 0u,
448-
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
449-
0u, 1u, 0u, 0u, 0u, 0u, 0u, 0u,
450-
0u, 0u, 0u, 0u, 0u, 0u, 1u, 1u,
451-
1u)));
452-
}
453-
454171
//
455172
// Local Variables:
456173
// mode: rust

0 commit comments

Comments
 (0)