Merge branch 'main' into afromher/recursive_projectors

1 files changed, 28 insertions, 0 deletions

diff --git a/tests/src/bitwise.rs b/tests/src/bitwise.rs
new file mode 100644
index 00000000..15962047
--- /dev/null
+++ b/tests/src/bitwise.rs
@@ -0,0 +1,28 @@
+//@ aeneas-args=-test-trans-units
+//! 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
+}