Update tests

Author: lucic71

tests/unit/goto_aggregate_default.c

@@ -1,22 +1,31 @@
 #include <assert.h>
-#include <string.h>
+#include <stdio.h>
+
+struct Point {
+  int x;
+  int y;
+};
 
 static int agg(int n) {
-  char buf[40];
+  char buf40[40];
+  unsigned char buf256[256];
+  int arr64[64];
+  long longs[33];
+  struct Point p;
+  int *ptr;
+  int (*fp)(int);
+  FILE *file;
   int total = 0;
   if (n < 0) {
     goto out;
   }
-  memset(buf, 1, sizeof(buf));
-  for (int i = 0; i < 40; i++) {
-    total += buf[i];
-  }
+  total = 1;
 out:
   return total;
 }
 
 int main(void) {
   assert(agg(-1) == 0);
-  assert(agg(2) == 40);
+  assert(agg(1) == 1);
   return 0;
 }

tests/unit/goto_forward_skip.c

@@ -1,25 +1,22 @@
 #include <assert.h>
 
-static int loopctl(int n) {
-  int total = 0;
-  for (int i = 0; i < n; i++) {
-    if (i == 2) {
+static int loopctl(void) {
+  int sum = 0;
+  for (int i = 0; i < 5; i++) {
+    if (i == 1) {
       continue;
     }
-    if (i == 5) {
+    if (i == 4) {
       break;
     }
-    if (i % 2 == 0) {
-      goto even;
-    }
-    total += 1;
-  even:
-    total += 10;
+    goto add;
+  add:
+    sum += 1;
   }
-  return total;
+  return sum;
 }
 
 int main(void) {
-  assert(loopctl(10) == 42);
+  assert(loopctl() == 3);
   return 0;
 }

tests/unit/goto_loop_control.c

@@ -6,29 +6,49 @@ use std::io::prelude::*;
 use std::io::{Read, Seek, Write};
 use std::os::fd::AsFd;
 use std::rc::{Rc, Weak};
+#[derive(Default)]
+pub struct Point {
+    pub x: Value<i32>,
+    pub y: Value<i32>,
+}
+impl ByteRepr for Point {
+    fn to_bytes(&self, buf: &mut [u8]) {
+        (*self.x.borrow()).to_bytes(&mut buf[0..4]);
+        (*self.y.borrow()).to_bytes(&mut buf[4..8]);
+    }
+    fn from_bytes(buf: &[u8]) -> Self {
+        Self {
+            x: Rc::new(RefCell::new(<i32>::from_bytes(&buf[0..4]))),
+            y: Rc::new(RefCell::new(<i32>::from_bytes(&buf[4..8]))),
+        }
+    }
+}
 pub fn agg_0(n: i32) -> i32 {
     let n: Value<i32> = Rc::new(RefCell::new(n));
-    let mut buf: Value<Box<[u8]>> = Rc::new(RefCell::new(
+    let mut buf40: Value<Box<[u8]>> = Rc::new(RefCell::new(
         (0..40).map(|_| <u8>::default()).collect::<Box<[u8]>>(),
     ));
+    let mut buf256: Value<Box<[u8]>> = Rc::new(RefCell::new(
+        (0..256).map(|_| <u8>::default()).collect::<Box<[u8]>>(),
+    ));
+    let mut arr64: Value<Box<[i32]>> = Rc::new(RefCell::new(
+        (0..64).map(|_| <i32>::default()).collect::<Box<[i32]>>(),
+    ));
+    let mut longs: Value<Box<[i64]>> = Rc::new(RefCell::new(
+        (0..33).map(|_| <i64>::default()).collect::<Box<[i64]>>(),
+    ));
+    let mut p: Value<Point> = <Value<Point>>::default();
+    let mut ptr: Value<Ptr<i32>> = Rc::new(RefCell::new(Ptr::<i32>::null()));
+    let mut fp: Value<FnPtr<fn(i32) -> i32>> = Rc::new(RefCell::new(FnPtr::null()));
+    let mut file: Value<Ptr<::std::fs::File>> = Rc::new(RefCell::new(Ptr::null()));
     let mut total: Value<i32> = <Value<i32>>::default();
     goto_block!({
         '__entry: {
             total = Rc::new(RefCell::new(0));
             if ((((*n.borrow()) < 0) as i32) != 0) {
                 goto!('out);
             }
-            {
-                ((buf.as_pointer() as Ptr<u8>) as Ptr<u8>)
-                    .to_any()
-                    .memset((1) as u8, ::std::mem::size_of::<[u8; 40]>() as u64 as usize);
-                ((buf.as_pointer() as Ptr<u8>) as Ptr<u8>).to_any().clone()
-            };
-            let i: Value<i32> = Rc::new(RefCell::new(0));
-            'loop_: while ((((*i.borrow()) < 40) as i32) != 0) {
-                (*total.borrow_mut()) += ((*buf.borrow())[(*i.borrow()) as usize] as i32);
-                (*i.borrow_mut()).postfix_inc();
-            }
+            (*total.borrow_mut()) = 1;
         }
         'out: {
             return (*total.borrow());
@@ -49,9 +69,9 @@ fn main_0() -> i32 {
     );
     assert!(
         (((({
-            let _n: i32 = 2;
+            let _n: i32 = 1;
             agg_0(_n)
-        }) == 40) as i32)
+        }) == 1) as i32)
             != 0)
     );
     return 0;

tests/unit/goto_switch_exit.c

@@ -6,43 +6,33 @@ use std::io::prelude::*;
 use std::io::{Read, Seek, Write};
 use std::os::fd::AsFd;
 use std::rc::{Rc, Weak};
-pub fn loopctl_0(n: i32) -> i32 {
-    let n: Value<i32> = Rc::new(RefCell::new(n));
-    let total: Value<i32> = Rc::new(RefCell::new(0));
+pub fn loopctl_0() -> i32 {
+    let sum: Value<i32> = Rc::new(RefCell::new(0));
     let i: Value<i32> = Rc::new(RefCell::new(0));
-    'loop_: while ((((*i.borrow()) < (*n.borrow())) as i32) != 0) {
+    'loop_: while ((((*i.borrow()) < 5) as i32) != 0) {
         goto_block!({
             '__entry: {
-                if ((((*i.borrow()) == 2) as i32) != 0) {
+                if ((((*i.borrow()) == 1) as i32) != 0) {
                     (*i.borrow_mut()).postfix_inc();
                     continue 'loop_;
                 }
-                if ((((*i.borrow()) == 5) as i32) != 0) {
+                if ((((*i.borrow()) == 4) as i32) != 0) {
                     break;
                 }
-                if (((((*i.borrow()) % 2) == 0) as i32) != 0) {
-                    goto!('even);
-                }
-                (*total.borrow_mut()) += 1;
+                goto!('add);
             }
-            'even: {
-                (*total.borrow_mut()) += 10;
+            'add: {
+                (*sum.borrow_mut()) += 1;
             }
         });
         (*i.borrow_mut()).postfix_inc();
     }
-    return (*total.borrow());
+    return (*sum.borrow());
 }
 pub fn main() {
     std::process::exit(main_0());
 }
 fn main_0() -> i32 {
-    assert!(
-        (((({
-            let _n: i32 = 10;
-            loopctl_0(_n)
-        }) == 42) as i32)
-            != 0)
-    );
+    assert!((((({ loopctl_0() }) == 3) as i32) != 0));
     return 0;
 }