Skip to content

Commit f72f6fc

Browse files
committed
Add tests for mem* functions
Signed-off-by: Joe Richey <[email protected]>
1 parent de4ed28 commit f72f6fc

File tree

1 file changed

+106
-0
lines changed

1 file changed

+106
-0
lines changed

testcrate/tests/mem.rs

+106
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,106 @@
1+
extern crate compiler_builtins;
2+
use compiler_builtins::mem::{memcmp, memcpy, memmove, memset};
3+
4+
#[test]
5+
fn memcpy3() {
6+
let mut arr: [u8; 12] = [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11];
7+
unsafe {
8+
let src = arr.as_ptr().offset(9);
9+
let dst = arr.as_mut_ptr().offset(1);
10+
assert_eq!(memcpy(dst, src, 3), dst);
11+
assert_eq!(arr, [0, 9, 10, 11, 4, 5, 6, 7, 8, 9, 10, 11]);
12+
}
13+
arr = [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11];
14+
unsafe {
15+
let src = arr.as_ptr().offset(1);
16+
let dst = arr.as_mut_ptr().offset(9);
17+
assert_eq!(memcpy(dst, src, 3), dst);
18+
assert_eq!(arr, [0, 1, 2, 3, 4, 5, 6, 7, 8, 1, 2, 3]);
19+
}
20+
}
21+
22+
#[test]
23+
fn memcpy10() {
24+
let arr: [u8; 18] = [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17];
25+
let mut dst: [u8; 12] = [0; 12];
26+
unsafe {
27+
let src = arr.as_ptr().offset(1);
28+
assert_eq!(memcpy(dst.as_mut_ptr(), src, 10), dst.as_mut_ptr());
29+
assert_eq!(dst, [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 0, 0]);
30+
}
31+
unsafe {
32+
let src = arr.as_ptr().offset(8);
33+
assert_eq!(memcpy(dst.as_mut_ptr(), src, 10), dst.as_mut_ptr());
34+
assert_eq!(dst, [8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 0, 0]);
35+
}
36+
}
37+
38+
#[test]
39+
fn memmove_forward() {
40+
let mut arr: [u8; 12] = [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11];
41+
unsafe {
42+
let src = arr.as_ptr().offset(6);
43+
let dst = arr.as_mut_ptr().offset(3);
44+
assert_eq!(memmove(dst, src, 5), dst);
45+
assert_eq!(arr, [0, 1, 2, 6, 7, 8, 9, 10, 8, 9, 10, 11]);
46+
}
47+
}
48+
49+
#[test]
50+
fn memmove_backward() {
51+
let mut arr: [u8; 12] = [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11];
52+
unsafe {
53+
let src = arr.as_ptr().offset(3);
54+
let dst = arr.as_mut_ptr().offset(6);
55+
assert_eq!(memmove(dst, src, 5), dst);
56+
assert_eq!(arr, [0, 1, 2, 3, 4, 5, 3, 4, 5, 6, 7, 11]);
57+
}
58+
}
59+
60+
#[test]
61+
fn memset_zero() {
62+
let mut arr: [u8; 8] = [0, 1, 2, 3, 4, 5, 6, 7];
63+
unsafe {
64+
let ptr = arr.as_mut_ptr().offset(5);
65+
assert_eq!(memset(ptr, 0, 2), ptr);
66+
assert_eq!(arr, [0, 1, 2, 3, 4, 0, 0, 7]);
67+
68+
// Only the LSB matters for a memset
69+
assert_eq!(memset(arr.as_mut_ptr(), 0x2000, 8), arr.as_mut_ptr());
70+
assert_eq!(arr, [0, 0, 0, 0, 0, 0, 0, 0]);
71+
}
72+
}
73+
74+
#[test]
75+
fn memset_nonzero() {
76+
let mut arr: [u8; 8] = [0, 1, 2, 3, 4, 5, 6, 7];
77+
unsafe {
78+
let ptr = arr.as_mut_ptr().offset(2);
79+
assert_eq!(memset(ptr, 22, 3), ptr);
80+
assert_eq!(arr, [0, 1, 22, 22, 22, 5, 6, 7]);
81+
82+
// Only the LSB matters for a memset
83+
assert_eq!(memset(arr.as_mut_ptr(), 0x2009, 8), arr.as_mut_ptr());
84+
assert_eq!(arr, [9, 9, 9, 9, 9, 9, 9, 9]);
85+
}
86+
}
87+
88+
#[test]
89+
fn memcmp_eq() {
90+
let arr1: [u8; 8] = [0, 1, 2, 3, 4, 5, 6, 7];
91+
let arr2: [u8; 8] = [0, 1, 2, 3, 4, 5, 6, 7];
92+
unsafe {
93+
assert_eq!(memcmp(arr1.as_ptr(), arr2.as_ptr(), 8), 0);
94+
assert_eq!(memcmp(arr1.as_ptr(), arr2.as_ptr(), 3), 0);
95+
}
96+
}
97+
98+
#[test]
99+
fn memcmp_ne() {
100+
let arr1: [u8; 8] = [0, 1, 2, 3, 4, 5, 6, 7];
101+
let arr2: [u8; 8] = [0, 1, 2, 3, 4, 5, 7, 7];
102+
unsafe {
103+
assert!(memcmp(arr1.as_ptr(), arr2.as_ptr(), 8) < 0);
104+
assert!(memcmp(arr2.as_ptr(), arr1.as_ptr(), 8) > 0);
105+
}
106+
}

0 commit comments

Comments
 (0)