New "collatz" test

Author: IntegralPilot

src/lower1/control_flow/rvalue.rs

@@ -45,6 +45,11 @@ pub fn handle_rvalue<'a>(
                     op1: oomir_op1,
                     op2: oomir_op2,
                 }),
+                BinOp::Div => instructions.push(oomir::Instruction::Div {
+                    dest,
+                    op1: oomir_op1,
+                    op2: oomir_op2,
+                }),
                 BinOp::Eq => instructions.push(oomir::Instruction::Eq {
                     dest,
                     op1: oomir_op1,

tests/binary/collatz/.cargo/config.toml

@@ -0,0 +1 @@
+../../../../config.toml

tests/binary/collatz/Cargo.lock

@@ -0,0 +1,6 @@
+[package]
+name = "collatz"
+version = "0.1.0"
+edition = "2024"
+
+[dependencies]

tests/binary/collatz/Cargo.toml

@@ -0,0 +1,29 @@
+fn collatz(n: u32) -> u32 {
+    if n == 1 {
+        1
+    } else if n % 2 == 0 {
+        collatz(n / 2)
+    } else {
+        collatz(3 * n + 1)
+    }
+}
+
+fn check_up_to(current: u32, limit: u32) {
+    if current > limit {
+        return;
+    } else {
+        let result = collatz(current);
+        if result != 1 {
+            panic!("The collatz conjecture broke? This shouldn't happen.");
+        }
+        check_up_to(current + 1, limit);
+    }
+}
+
+fn main() {
+    // test check_up_to a few times
+    check_up_to(1, 10);
+    check_up_to(70, 100);
+    check_up_to(1000, 1010);
+    check_up_to(10000, 10010);
+}