Skip to content

Commit 4f83f78

Browse files
committed
Update tests
1 parent 094127b commit 4f83f78

106 files changed

Lines changed: 1539 additions & 745 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

tests/benchmarks/out/refcount/bst.rs

Lines changed: 10 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -26,25 +26,21 @@ impl ByteRepr for node_t {}
2626
pub fn find_0(node: Ptr<node_t>, value: i32) -> Ptr<node_t> {
2727
let node: Value<Ptr<node_t>> = Rc::new(RefCell::new(node));
2828
let value: Value<i32> = Rc::new(RefCell::new(value));
29-
if {
30-
let _lhs = {
31-
let _lhs = (*value.borrow());
32-
_lhs < (*(*(*node.borrow()).upgrade().deref()).value.borrow())
33-
};
34-
_lhs && (!((*(*(*node.borrow()).upgrade().deref()).left.borrow()).is_null())).clone()
35-
} {
29+
if ({
30+
let _lhs = (*value.borrow());
31+
_lhs < (*(*(*node.borrow()).upgrade().deref()).value.borrow())
32+
}) && (!((*(*(*node.borrow()).upgrade().deref()).left.borrow()).is_null()))
33+
{
3634
return ({
3735
let _node: Ptr<node_t> = (*(*(*node.borrow()).upgrade().deref()).left.borrow()).clone();
3836
let _value: i32 = (*value.borrow());
3937
find_0(_node, _value)
4038
});
41-
} else if {
42-
let _lhs = {
43-
let _lhs = (*value.borrow());
44-
_lhs > (*(*(*node.borrow()).upgrade().deref()).value.borrow())
45-
};
46-
_lhs && (!((*(*(*node.borrow()).upgrade().deref()).right.borrow()).is_null())).clone()
47-
} {
39+
} else if ({
40+
let _lhs = (*value.borrow());
41+
_lhs > (*(*(*node.borrow()).upgrade().deref()).value.borrow())
42+
}) && (!((*(*(*node.borrow()).upgrade().deref()).right.borrow()).is_null()))
43+
{
4844
return ({
4945
let _node: Ptr<node_t> =
5046
(*(*(*node.borrow()).upgrade().deref()).right.borrow()).clone();

tests/benchmarks/out/refcount/fibonacci.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@ use std::os::fd::AsFd;
88
use std::rc::{Rc, Weak};
99
pub fn fib_0(n: u64) -> u64 {
1010
let n: Value<u64> = Rc::new(RefCell::new(n));
11-
return if (((*n.borrow()) == 0_u64) || ((*n.borrow()) == 1_u64)) {
11+
return if ((*n.borrow()) == 0_u64) || ((*n.borrow()) == 1_u64) {
1212
(*n.borrow())
1313
} else {
1414
({

tests/benchmarks/out/refcount/ptr_fibonacci.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@ use std::os::fd::AsFd;
88
use std::rc::{Rc, Weak};
99
pub fn fib_0(n: Ptr<u64>) {
1010
let n: Value<Ptr<u64>> = Rc::new(RefCell::new(n));
11-
if ((((*n.borrow()).read()) == 0_u64) || (((*n.borrow()).read()) == 1_u64)) {
11+
if (((*n.borrow()).read()) == 0_u64) || (((*n.borrow()).read()) == 1_u64) {
1212
return;
1313
}
1414
let n_1: Value<u64> = Rc::new(RefCell::new(((*n.borrow()).read()).wrapping_sub(1_u64)));

tests/benchmarks/out/refcount/ref_fibonacci.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ use std::io::{Read, Seek, Write};
77
use std::os::fd::AsFd;
88
use std::rc::{Rc, Weak};
99
pub fn fib_0(n: Ptr<u64>) {
10-
if (((n.read()) == 0_u64) || ((n.read()) == 1_u64)) {
10+
if ((n.read()) == 0_u64) || ((n.read()) == 1_u64) {
1111
return;
1212
}
1313
let n_1: Value<u64> = Rc::new(RefCell::new((n.read()).wrapping_sub(1_u64)));

tests/benchmarks/out/unsafe/bst.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -14,13 +14,13 @@ pub struct node_t {
1414
pub value: i32,
1515
}
1616
pub unsafe fn find_0(mut node: *mut node_t, mut value: i32) -> *mut node_t {
17-
if (((value) < ((*node).value)) && (!(((*node).left).is_null()))) {
17+
if ((value) < ((*node).value)) && (!(((*node).left).is_null())) {
1818
return (unsafe {
1919
let _node: *mut node_t = (*node).left;
2020
let _value: i32 = value;
2121
find_0(_node, _value)
2222
});
23-
} else if (((value) > ((*node).value)) && (!(((*node).right).is_null()))) {
23+
} else if ((value) > ((*node).value)) && (!(((*node).right).is_null())) {
2424
return (unsafe {
2525
let _node: *mut node_t = (*node).right;
2626
let _value: i32 = value;

tests/benchmarks/out/unsafe/fibonacci.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ use std::io::{Read, Seek, Write};
77
use std::os::fd::{AsFd, FromRawFd, IntoRawFd};
88
use std::rc::Rc;
99
pub unsafe fn fib_0(mut n: u64) -> u64 {
10-
return if (((n) == (0_u64)) || ((n) == (1_u64))) {
10+
return if ((n) == (0_u64)) || ((n) == (1_u64)) {
1111
n
1212
} else {
1313
(unsafe {

tests/benchmarks/out/unsafe/ptr_fibonacci.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ use std::io::{Read, Seek, Write};
77
use std::os::fd::{AsFd, FromRawFd, IntoRawFd};
88
use std::rc::Rc;
99
pub unsafe fn fib_0(mut n: *mut u64) {
10-
if (((*n) == (0_u64)) || ((*n) == (1_u64))) {
10+
if ((*n) == (0_u64)) || ((*n) == (1_u64)) {
1111
return;
1212
}
1313
let mut n_1: u64 = (*n).wrapping_sub(1_u64);

tests/benchmarks/out/unsafe/ref_fibonacci.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ use std::io::{Read, Seek, Write};
77
use std::os::fd::{AsFd, FromRawFd, IntoRawFd};
88
use std::rc::Rc;
99
pub unsafe fn fib_0(n: *mut u64) {
10-
if (((*n) == (0_u64)) || ((*n) == (1_u64))) {
10+
if ((*n) == (0_u64)) || ((*n) == (1_u64)) {
1111
return;
1212
}
1313
let mut n_1: u64 = (*n).wrapping_sub(1_u64);

tests/ub/out/refcount/ub6.rs

Lines changed: 3 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -48,13 +48,11 @@ pub fn any_2(arr: Ptr<Option<Value<Box<[Ptr<i32>]>>>>, n1: Ptr<i32>) -> bool {
4848
let _lhs = (*i.borrow());
4949
_lhs < (n1.read())
5050
} {
51-
let __rhs = {
52-
let _lhs = (*out.borrow());
53-
_lhs || (((*arr.upgrade().deref()).as_ref().unwrap().borrow()
51+
let __rhs = (*out.borrow())
52+
|| (((*arr.upgrade().deref()).as_ref().unwrap().borrow()
5453
[((*i.borrow()) as u64) as usize]
5554
.read())
56-
== 0)
57-
};
55+
== 0);
5856
(*out.borrow_mut()) = __rhs;
5957
(*i.borrow_mut()).prefix_inc();
6058
}

tests/ub/out/unsafe/ub6.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -29,7 +29,7 @@ pub unsafe fn any_2(arr: *mut Option<Box<[*mut i32]>>, n1: *mut i32) -> bool {
2929
let mut out: bool = false;
3030
let mut i: i32 = 0;
3131
'loop_: while ((i) < (*n1)) {
32-
out = ((out) || ((*(*arr).as_mut().unwrap()[(i as u64) as usize]) == (0)));
32+
out = (out) || ((*(*arr).as_mut().unwrap()[(i as u64) as usize]) == (0));
3333
i.prefix_inc();
3434
}
3535
return out;

0 commit comments

Comments
 (0)