eliminated bitv.test, which now lives in test/run-pass
This commit is contained in:
parent
dbe27199b8
commit
6421c13157
1 changed files with 0 additions and 283 deletions
283
src/lib/bitv.rs
283
src/lib/bitv.rs
|
@ -168,289 +168,6 @@ fn eq_vec(&t v0, &vec[uint] v1) -> bool {
|
|||
ret true;
|
||||
}
|
||||
|
||||
fn test() {
|
||||
auto act;
|
||||
auto exp;
|
||||
|
||||
// -----------------------------------------------------------------------
|
||||
// Tests of 0-element bit-vectors.
|
||||
|
||||
act = create(0u, false);
|
||||
exp = _vec.init_elt[uint](0u, 0u);
|
||||
// FIXME: why can't I write vec[uint]()?
|
||||
check (eq_vec(act, exp));
|
||||
|
||||
// -----------------------------------------------------------------------
|
||||
// Tests of 1-element bit-vectors.
|
||||
|
||||
act = create(1u, false);
|
||||
check (eq_vec(act, vec(0u)));
|
||||
|
||||
act = create(1u, true);
|
||||
check (eq_vec(act, vec(1u)));
|
||||
|
||||
// -----------------------------------------------------------------------
|
||||
// Tests of 10-element bit-vectors.
|
||||
|
||||
// all 0
|
||||
act = create(10u, false);
|
||||
check (eq_vec(act, vec(0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u)));
|
||||
|
||||
// all 1
|
||||
act = create(10u, true);
|
||||
check (eq_vec(act, vec(1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u)));
|
||||
|
||||
// mixed
|
||||
act = create(10u, false);
|
||||
set(act, 0u, true);
|
||||
set(act, 1u, true);
|
||||
set(act, 2u, true);
|
||||
set(act, 3u, true);
|
||||
set(act, 4u, true);
|
||||
check (eq_vec(act, vec(1u, 1u, 1u, 1u, 1u, 0u, 0u, 0u, 0u, 0u)));
|
||||
|
||||
// mixed
|
||||
act = create(10u, false);
|
||||
set(act, 5u, true);
|
||||
set(act, 6u, true);
|
||||
set(act, 7u, true);
|
||||
set(act, 8u, true);
|
||||
set(act, 9u, true);
|
||||
check (eq_vec(act, vec(0u, 0u, 0u, 0u, 0u, 1u, 1u, 1u, 1u, 1u)));
|
||||
|
||||
// mixed
|
||||
act = create(10u, false);
|
||||
set(act, 0u, true);
|
||||
set(act, 3u, true);
|
||||
set(act, 6u, true);
|
||||
set(act, 9u, true);
|
||||
check (eq_vec(act, vec(1u, 0u, 0u, 1u, 0u, 0u, 1u, 0u, 0u, 1u)));
|
||||
|
||||
// -----------------------------------------------------------------------
|
||||
// Tests of 31-element bit-vectors.
|
||||
|
||||
// all 0
|
||||
act = create(31u, false);
|
||||
check (eq_vec(act, vec(0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
|
||||
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
|
||||
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
|
||||
0u, 0u, 0u, 0u, 0u, 0u, 0u)));
|
||||
|
||||
// all 1
|
||||
act = create(31u, true);
|
||||
check (eq_vec(act, vec(1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u,
|
||||
1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u,
|
||||
1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u,
|
||||
1u, 1u, 1u, 1u, 1u, 1u, 1u)));
|
||||
|
||||
// mixed
|
||||
act = create(31u, false);
|
||||
set(act, 0u, true);
|
||||
set(act, 1u, true);
|
||||
set(act, 2u, true);
|
||||
set(act, 3u, true);
|
||||
set(act, 4u, true);
|
||||
set(act, 5u, true);
|
||||
set(act, 6u, true);
|
||||
set(act, 7u, true);
|
||||
check (eq_vec(act, vec(1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u,
|
||||
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
|
||||
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
|
||||
0u, 0u, 0u, 0u, 0u, 0u, 0u)));
|
||||
|
||||
// mixed
|
||||
act = create(31u, false);
|
||||
set(act, 16u, true);
|
||||
set(act, 17u, true);
|
||||
set(act, 18u, true);
|
||||
set(act, 19u, true);
|
||||
set(act, 20u, true);
|
||||
set(act, 21u, true);
|
||||
set(act, 22u, true);
|
||||
set(act, 23u, true);
|
||||
check (eq_vec(act, vec(0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
|
||||
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
|
||||
1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u,
|
||||
0u, 0u, 0u, 0u, 0u, 0u, 0u)));
|
||||
|
||||
// mixed
|
||||
act = create(31u, false);
|
||||
set(act, 24u, true);
|
||||
set(act, 25u, true);
|
||||
set(act, 26u, true);
|
||||
set(act, 27u, true);
|
||||
set(act, 28u, true);
|
||||
set(act, 29u, true);
|
||||
set(act, 30u, true);
|
||||
check (eq_vec(act, vec(0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
|
||||
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
|
||||
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
|
||||
1u, 1u, 1u, 1u, 1u, 1u, 1u)));
|
||||
|
||||
// mixed
|
||||
act = create(31u, false);
|
||||
set(act, 3u, true);
|
||||
set(act, 17u, true);
|
||||
set(act, 30u, true);
|
||||
check (eq_vec(act, vec(0u, 0u, 0u, 1u, 0u, 0u, 0u, 0u,
|
||||
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
|
||||
0u, 1u, 0u, 0u, 0u, 0u, 0u, 0u,
|
||||
0u, 0u, 0u, 0u, 0u, 0u, 1u)));
|
||||
|
||||
// -----------------------------------------------------------------------
|
||||
// Tests of 32-element bit-vectors.
|
||||
|
||||
// all 0
|
||||
act = create(32u, false);
|
||||
check (eq_vec(act, vec(0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
|
||||
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
|
||||
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
|
||||
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u)));
|
||||
|
||||
// all 1
|
||||
act = create(32u, true);
|
||||
check (eq_vec(act, vec(1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u,
|
||||
1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u,
|
||||
1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u,
|
||||
1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u)));
|
||||
|
||||
// mixed
|
||||
act = create(32u, false);
|
||||
set(act, 0u, true);
|
||||
set(act, 1u, true);
|
||||
set(act, 2u, true);
|
||||
set(act, 3u, true);
|
||||
set(act, 4u, true);
|
||||
set(act, 5u, true);
|
||||
set(act, 6u, true);
|
||||
set(act, 7u, true);
|
||||
check (eq_vec(act, vec(1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u,
|
||||
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
|
||||
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
|
||||
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u)));
|
||||
|
||||
// mixed
|
||||
act = create(32u, false);
|
||||
set(act, 16u, true);
|
||||
set(act, 17u, true);
|
||||
set(act, 18u, true);
|
||||
set(act, 19u, true);
|
||||
set(act, 20u, true);
|
||||
set(act, 21u, true);
|
||||
set(act, 22u, true);
|
||||
set(act, 23u, true);
|
||||
check (eq_vec(act, vec(0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
|
||||
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
|
||||
1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u,
|
||||
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u)));
|
||||
|
||||
// mixed
|
||||
act = create(32u, false);
|
||||
set(act, 24u, true);
|
||||
set(act, 25u, true);
|
||||
set(act, 26u, true);
|
||||
set(act, 27u, true);
|
||||
set(act, 28u, true);
|
||||
set(act, 29u, true);
|
||||
set(act, 30u, true);
|
||||
set(act, 31u, true);
|
||||
check (eq_vec(act, vec(0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
|
||||
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
|
||||
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
|
||||
1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u)));
|
||||
|
||||
// mixed
|
||||
act = create(32u, false);
|
||||
set(act, 3u, true);
|
||||
set(act, 17u, true);
|
||||
set(act, 30u, true);
|
||||
set(act, 31u, true);
|
||||
check (eq_vec(act, vec(0u, 0u, 0u, 1u, 0u, 0u, 0u, 0u,
|
||||
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
|
||||
0u, 1u, 0u, 0u, 0u, 0u, 0u, 0u,
|
||||
0u, 0u, 0u, 0u, 0u, 0u, 1u, 1u)));
|
||||
|
||||
// -----------------------------------------------------------------------
|
||||
// Tests of 33-element bit-vectors.
|
||||
|
||||
// all 0
|
||||
act = create(33u, false);
|
||||
check (eq_vec(act, vec(0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
|
||||
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
|
||||
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
|
||||
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
|
||||
0u)));
|
||||
|
||||
// all 1
|
||||
act = create(33u, true);
|
||||
check (eq_vec(act, vec(1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u,
|
||||
1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u,
|
||||
1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u,
|
||||
1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u,
|
||||
1u)));
|
||||
|
||||
// mixed
|
||||
act = create(33u, false);
|
||||
set(act, 0u, true);
|
||||
set(act, 1u, true);
|
||||
set(act, 2u, true);
|
||||
set(act, 3u, true);
|
||||
set(act, 4u, true);
|
||||
set(act, 5u, true);
|
||||
set(act, 6u, true);
|
||||
set(act, 7u, true);
|
||||
check (eq_vec(act, vec(1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u,
|
||||
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
|
||||
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
|
||||
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
|
||||
0u)));
|
||||
|
||||
// mixed
|
||||
act = create(33u, false);
|
||||
set(act, 16u, true);
|
||||
set(act, 17u, true);
|
||||
set(act, 18u, true);
|
||||
set(act, 19u, true);
|
||||
set(act, 20u, true);
|
||||
set(act, 21u, true);
|
||||
set(act, 22u, true);
|
||||
set(act, 23u, true);
|
||||
check (eq_vec(act, vec(0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
|
||||
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
|
||||
1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u,
|
||||
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
|
||||
0u)));
|
||||
|
||||
// mixed
|
||||
act = create(33u, false);
|
||||
set(act, 24u, true);
|
||||
set(act, 25u, true);
|
||||
set(act, 26u, true);
|
||||
set(act, 27u, true);
|
||||
set(act, 28u, true);
|
||||
set(act, 29u, true);
|
||||
set(act, 30u, true);
|
||||
set(act, 31u, true);
|
||||
check (eq_vec(act, vec(0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
|
||||
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
|
||||
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
|
||||
1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u,
|
||||
0u)));
|
||||
|
||||
// mixed
|
||||
act = create(33u, false);
|
||||
set(act, 3u, true);
|
||||
set(act, 17u, true);
|
||||
set(act, 30u, true);
|
||||
set(act, 31u, true);
|
||||
set(act, 32u, true);
|
||||
check (eq_vec(act, vec(0u, 0u, 0u, 1u, 0u, 0u, 0u, 0u,
|
||||
0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
|
||||
0u, 1u, 0u, 0u, 0u, 0u, 0u, 0u,
|
||||
0u, 0u, 0u, 0u, 0u, 0u, 1u, 1u,
|
||||
1u)));
|
||||
}
|
||||
|
||||
//
|
||||
// Local Variables:
|
||||
// mode: rust
|
||||
|
|
Loading…
Reference in a new issue