Merge pull request #197 from AeneasVerif/test-harness3

1 files changed, 27 insertions, 0 deletions

diff --git a/tests/src/bitwise.rs b/tests/src/bitwise.rs
new file mode 100644
index 00000000..9f48cb04
--- /dev/null
+++ b/tests/src/bitwise.rs
@@ -0,0 +1,27 @@
+//! Exercise the bitwise operations
+
+pub fn shift_u32(a: u32) -> u32 {
+    let i: usize = 16;
+    let mut t = a >> i;
+    t <<= i;
+    t
+}
+
+pub fn shift_i32(a: i32) -> i32 {
+    let i: isize = 16;
+    let mut t = a >> i;
+    t <<= i;
+    t
+}
+
+pub fn xor_u32(a: u32, b: u32) -> u32 {
+    a ^ b
+}
+
+pub fn or_u32(a: u32, b: u32) -> u32 {
+    a | b
+}
+
+pub fn and_u32(a: u32, b: u32) -> u32 {
+    a & b
+}