blob: cfcb158a990aac37f1fbdacc316a1484276e7433 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
|
// Binop corner cases
extern mod std;
use cast::reinterpret_cast;
fn test_nil() {
assert (() == ());
assert (!(() != ()));
assert (!(() < ()));
assert (() <= ());
assert (!(() > ()));
assert (() >= ());
}
fn test_bool() {
assert (!(true < false));
assert (!(true <= false));
assert (true > false);
assert (true >= false);
assert (false < true);
assert (false <= true);
assert (!(false > true));
assert (!(false >= true));
// Bools support bitwise binops
assert (false & false == false);
assert (true & false == false);
assert (true & true == true);
assert (false | false == false);
assert (true | false == true);
assert (true | true == true);
assert (false ^ false == false);
assert (true ^ false == true);
assert (true ^ true == false);
}
fn test_char() {
let ch10 = 10 as char;
let ch4 = 4 as char;
let ch2 = 2 as char;
assert (ch10 + ch4 == 14 as char);
assert (ch10 - ch4 == 6 as char);
assert (ch10 * ch4 == 40 as char);
assert (ch10 / ch4 == ch2);
assert (ch10 % ch4 == ch2);
assert (ch10 >> ch2 == ch2);
assert (ch10 << ch4 == 160 as char);
assert (ch10 | ch4 == 14 as char);
assert (ch10 & ch2 == ch2);
assert (ch10 ^ ch2 == 8 as char);
}
fn test_box() {
assert (@10 == @10);
}
fn test_ptr() unsafe {
let p1: *u8 = cast::reinterpret_cast(&0);
let p2: *u8 = cast::reinterpret_cast(&0);
let p3: *u8 = cast::reinterpret_cast(&1);
assert p1 == p2;
assert p1 != p3;
assert p1 < p3;
assert p1 <= p3;
assert p3 > p1;
assert p3 >= p3;
assert p1 <= p2;
assert p1 >= p2;
}
#[abi = "cdecl"]
#[nolink]
extern mod test {
#[legacy_exports];
fn rust_get_sched_id() -> libc::intptr_t;
fn get_task_id() -> libc::intptr_t;
}
struct p {
mut x: int,
mut y: int,
}
fn p(x: int, y: int) -> p {
p {
x: x,
y: y
}
}
impl p : cmp::Eq {
pure fn eq(other: &p) -> bool {
self.x == (*other).x && self.y == (*other).y
}
pure fn ne(other: &p) -> bool { !self.eq(other) }
}
fn test_class() {
let q = p(1, 2);
let r = p(1, 2);
unsafe {
error!("q = %x, r = %x",
(cast::reinterpret_cast::<*p, uint>(&ptr::addr_of(&q))),
(cast::reinterpret_cast::<*p, uint>(&ptr::addr_of(&r))));
}
assert(q == r);
r.y = 17;
assert(r.y != q.y);
assert(r.y == 17);
assert(q != r);
}
fn main() {
test_nil();
test_bool();
test_char();
test_box();
test_ptr();
test_class();
}
|
