]> git.lizzy.rs Git - rust.git/blob - src/test/run-pass/arith-1.rs
Un-revert "Use different syntax for checks that matter to typestate", fixing the...
[rust.git] / src / test / run-pass / arith-1.rs
1 fn main() -> () {
2     let int i32_a = 10;
3     assert (i32_a == 10);
4     assert (i32_a - 10 == 0);
5     assert (i32_a / 10 == 1);
6     assert (i32_a - 20 == -10);
7     assert (i32_a << 10 == 10240);
8     assert (i32_a << 16 == 655360);
9     assert (i32_a * 16 == 160);
10     assert (i32_a * i32_a * i32_a == 1000);
11     assert (i32_a * i32_a * i32_a * i32_a == 10000);
12     assert (((i32_a * i32_a) / i32_a) * i32_a == 100);
13     assert (i32_a * (i32_a - 1) << 2 + i32_a == 368640);
14
15     let int i32_b = 0x10101010;
16     assert (i32_b + 1 - 1 == i32_b);
17     assert (i32_b << 1 == i32_b << 1);
18     assert (i32_b >> 1 == i32_b >> 1);
19     assert ((i32_b & (i32_b << 1)) == 0);
20     log ((i32_b | (i32_b << 1)));
21     assert ((i32_b | (i32_b << 1)) == 0x30303030);
22 }