xref: /linux/tools/testing/vma/tests/vma.c (revision eeccf287a2a517954b57cf9d733b3cf5d47afa34)
16aacab30SLorenzo Stoakes // SPDX-License-Identifier: GPL-2.0-or-later
26aacab30SLorenzo Stoakes 
compare_legacy_flags(vm_flags_t legacy_flags,vma_flags_t flags)3*f615cc92SLorenzo Stoakes static bool compare_legacy_flags(vm_flags_t legacy_flags, vma_flags_t flags)
4*f615cc92SLorenzo Stoakes {
5*f615cc92SLorenzo Stoakes 	const unsigned long legacy_val = legacy_flags;
6*f615cc92SLorenzo Stoakes 	/* The lower word should contain the precise same value. */
7*f615cc92SLorenzo Stoakes 	const unsigned long flags_lower = flags.__vma_flags[0];
8*f615cc92SLorenzo Stoakes #if NUM_VMA_FLAGS > BITS_PER_LONG
9*f615cc92SLorenzo Stoakes 	int i;
10*f615cc92SLorenzo Stoakes 
11*f615cc92SLorenzo Stoakes 	/* All bits in higher flag values should be zero. */
12*f615cc92SLorenzo Stoakes 	for (i = 1; i < NUM_VMA_FLAGS / BITS_PER_LONG; i++) {
13*f615cc92SLorenzo Stoakes 		if (flags.__vma_flags[i] != 0)
14*f615cc92SLorenzo Stoakes 			return false;
15*f615cc92SLorenzo Stoakes 	}
16*f615cc92SLorenzo Stoakes #endif
17*f615cc92SLorenzo Stoakes 
18*f615cc92SLorenzo Stoakes 	static_assert(sizeof(legacy_flags) == sizeof(unsigned long));
19*f615cc92SLorenzo Stoakes 
20*f615cc92SLorenzo Stoakes 	return legacy_val == flags_lower;
21*f615cc92SLorenzo Stoakes }
22*f615cc92SLorenzo Stoakes 
test_copy_vma(void)236aacab30SLorenzo Stoakes static bool test_copy_vma(void)
246aacab30SLorenzo Stoakes {
256aacab30SLorenzo Stoakes 	vm_flags_t vm_flags = VM_READ | VM_WRITE | VM_MAYREAD | VM_MAYWRITE;
266aacab30SLorenzo Stoakes 	struct mm_struct mm = {};
276aacab30SLorenzo Stoakes 	bool need_locks = false;
286aacab30SLorenzo Stoakes 	VMA_ITERATOR(vmi, &mm, 0);
296aacab30SLorenzo Stoakes 	struct vm_area_struct *vma, *vma_new, *vma_next;
306aacab30SLorenzo Stoakes 
316aacab30SLorenzo Stoakes 	/* Move backwards and do not merge. */
326aacab30SLorenzo Stoakes 
336aacab30SLorenzo Stoakes 	vma = alloc_and_link_vma(&mm, 0x3000, 0x5000, 3, vm_flags);
346aacab30SLorenzo Stoakes 	vma_new = copy_vma(&vma, 0, 0x2000, 0, &need_locks);
356aacab30SLorenzo Stoakes 	ASSERT_NE(vma_new, vma);
366aacab30SLorenzo Stoakes 	ASSERT_EQ(vma_new->vm_start, 0);
376aacab30SLorenzo Stoakes 	ASSERT_EQ(vma_new->vm_end, 0x2000);
386aacab30SLorenzo Stoakes 	ASSERT_EQ(vma_new->vm_pgoff, 0);
396aacab30SLorenzo Stoakes 	vma_assert_attached(vma_new);
406aacab30SLorenzo Stoakes 
416aacab30SLorenzo Stoakes 	cleanup_mm(&mm, &vmi);
426aacab30SLorenzo Stoakes 
436aacab30SLorenzo Stoakes 	/* Move a VMA into position next to another and merge the two. */
446aacab30SLorenzo Stoakes 
456aacab30SLorenzo Stoakes 	vma = alloc_and_link_vma(&mm, 0, 0x2000, 0, vm_flags);
466aacab30SLorenzo Stoakes 	vma_next = alloc_and_link_vma(&mm, 0x6000, 0x8000, 6, vm_flags);
476aacab30SLorenzo Stoakes 	vma_new = copy_vma(&vma, 0x4000, 0x2000, 4, &need_locks);
486aacab30SLorenzo Stoakes 	vma_assert_attached(vma_new);
496aacab30SLorenzo Stoakes 
506aacab30SLorenzo Stoakes 	ASSERT_EQ(vma_new, vma_next);
516aacab30SLorenzo Stoakes 
526aacab30SLorenzo Stoakes 	cleanup_mm(&mm, &vmi);
536aacab30SLorenzo Stoakes 	return true;
546aacab30SLorenzo Stoakes }
556aacab30SLorenzo Stoakes 
test_vma_flags_unchanged(void)56*f615cc92SLorenzo Stoakes static bool test_vma_flags_unchanged(void)
57*f615cc92SLorenzo Stoakes {
58*f615cc92SLorenzo Stoakes 	vma_flags_t flags = EMPTY_VMA_FLAGS;
59*f615cc92SLorenzo Stoakes 	vm_flags_t legacy_flags = 0;
60*f615cc92SLorenzo Stoakes 	int bit;
61*f615cc92SLorenzo Stoakes 	struct vm_area_struct vma;
62*f615cc92SLorenzo Stoakes 	struct vm_area_desc desc;
63*f615cc92SLorenzo Stoakes 
64*f615cc92SLorenzo Stoakes 
65*f615cc92SLorenzo Stoakes 	vma.flags = EMPTY_VMA_FLAGS;
66*f615cc92SLorenzo Stoakes 	desc.vma_flags = EMPTY_VMA_FLAGS;
67*f615cc92SLorenzo Stoakes 
68*f615cc92SLorenzo Stoakes 	for (bit = 0; bit < BITS_PER_LONG; bit++) {
69*f615cc92SLorenzo Stoakes 		vma_flags_t mask = mk_vma_flags(bit);
70*f615cc92SLorenzo Stoakes 
71*f615cc92SLorenzo Stoakes 		legacy_flags |= (1UL << bit);
72*f615cc92SLorenzo Stoakes 
73*f615cc92SLorenzo Stoakes 		/* Individual flags. */
74*f615cc92SLorenzo Stoakes 		vma_flags_set(&flags, bit);
75*f615cc92SLorenzo Stoakes 		ASSERT_TRUE(compare_legacy_flags(legacy_flags, flags));
76*f615cc92SLorenzo Stoakes 
77*f615cc92SLorenzo Stoakes 		/* Via mask. */
78*f615cc92SLorenzo Stoakes 		vma_flags_set_mask(&flags, mask);
79*f615cc92SLorenzo Stoakes 		ASSERT_TRUE(compare_legacy_flags(legacy_flags, flags));
80*f615cc92SLorenzo Stoakes 
81*f615cc92SLorenzo Stoakes 		/* Same for VMA. */
82*f615cc92SLorenzo Stoakes 		vma_set_flags(&vma, bit);
83*f615cc92SLorenzo Stoakes 		ASSERT_TRUE(compare_legacy_flags(legacy_flags, vma.flags));
84*f615cc92SLorenzo Stoakes 		vma_set_flags_mask(&vma, mask);
85*f615cc92SLorenzo Stoakes 		ASSERT_TRUE(compare_legacy_flags(legacy_flags, vma.flags));
86*f615cc92SLorenzo Stoakes 
87*f615cc92SLorenzo Stoakes 		/* Same for VMA descriptor. */
88*f615cc92SLorenzo Stoakes 		vma_desc_set_flags(&desc, bit);
89*f615cc92SLorenzo Stoakes 		ASSERT_TRUE(compare_legacy_flags(legacy_flags, desc.vma_flags));
90*f615cc92SLorenzo Stoakes 		vma_desc_set_flags_mask(&desc, mask);
91*f615cc92SLorenzo Stoakes 		ASSERT_TRUE(compare_legacy_flags(legacy_flags, desc.vma_flags));
92*f615cc92SLorenzo Stoakes 	}
93*f615cc92SLorenzo Stoakes 
94*f615cc92SLorenzo Stoakes 	return true;
95*f615cc92SLorenzo Stoakes }
96*f615cc92SLorenzo Stoakes 
test_vma_flags_cleared(void)97*f615cc92SLorenzo Stoakes static bool test_vma_flags_cleared(void)
98*f615cc92SLorenzo Stoakes {
99*f615cc92SLorenzo Stoakes 	const vma_flags_t empty = EMPTY_VMA_FLAGS;
100*f615cc92SLorenzo Stoakes 	vma_flags_t flags;
101*f615cc92SLorenzo Stoakes 	int i;
102*f615cc92SLorenzo Stoakes 
103*f615cc92SLorenzo Stoakes 	/* Set all bits high. */
104*f615cc92SLorenzo Stoakes 	memset(&flags, 1, sizeof(flags));
105*f615cc92SLorenzo Stoakes 	/* Try to clear. */
106*f615cc92SLorenzo Stoakes 	vma_flags_clear_all(&flags);
107*f615cc92SLorenzo Stoakes 	/* Equal to EMPTY_VMA_FLAGS? */
108*f615cc92SLorenzo Stoakes 	ASSERT_EQ(memcmp(&empty, &flags, sizeof(flags)), 0);
109*f615cc92SLorenzo Stoakes 	/* Make sure every unsigned long entry in bitmap array zero. */
110*f615cc92SLorenzo Stoakes 	for (i = 0; i < sizeof(flags) / BITS_PER_LONG; i++) {
111*f615cc92SLorenzo Stoakes 		const unsigned long val = flags.__vma_flags[i];
112*f615cc92SLorenzo Stoakes 
113*f615cc92SLorenzo Stoakes 		ASSERT_EQ(val, 0);
114*f615cc92SLorenzo Stoakes 	}
115*f615cc92SLorenzo Stoakes 
116*f615cc92SLorenzo Stoakes 	return true;
117*f615cc92SLorenzo Stoakes }
118*f615cc92SLorenzo Stoakes 
119*f615cc92SLorenzo Stoakes /*
120*f615cc92SLorenzo Stoakes  * Assert that VMA flag functions that operate at the system word level function
121*f615cc92SLorenzo Stoakes  * correctly.
122*f615cc92SLorenzo Stoakes  */
test_vma_flags_word(void)123*f615cc92SLorenzo Stoakes static bool test_vma_flags_word(void)
124*f615cc92SLorenzo Stoakes {
125*f615cc92SLorenzo Stoakes 	vma_flags_t flags = EMPTY_VMA_FLAGS;
126*f615cc92SLorenzo Stoakes 	const vma_flags_t comparison =
127*f615cc92SLorenzo Stoakes 		mk_vma_flags(VMA_READ_BIT, VMA_WRITE_BIT, 64, 65);
128*f615cc92SLorenzo Stoakes 
129*f615cc92SLorenzo Stoakes 	/* Set some custom high flags. */
130*f615cc92SLorenzo Stoakes 	vma_flags_set(&flags, 64, 65);
131*f615cc92SLorenzo Stoakes 	/* Now overwrite the first word. */
132*f615cc92SLorenzo Stoakes 	vma_flags_overwrite_word(&flags, VM_READ | VM_WRITE);
133*f615cc92SLorenzo Stoakes 	/* Ensure they are equal. */
134*f615cc92SLorenzo Stoakes 	ASSERT_EQ(memcmp(&flags, &comparison, sizeof(flags)), 0);
135*f615cc92SLorenzo Stoakes 
136*f615cc92SLorenzo Stoakes 	flags = EMPTY_VMA_FLAGS;
137*f615cc92SLorenzo Stoakes 	vma_flags_set(&flags, 64, 65);
138*f615cc92SLorenzo Stoakes 
139*f615cc92SLorenzo Stoakes 	/* Do the same with the _once() equivalent. */
140*f615cc92SLorenzo Stoakes 	vma_flags_overwrite_word_once(&flags, VM_READ | VM_WRITE);
141*f615cc92SLorenzo Stoakes 	ASSERT_EQ(memcmp(&flags, &comparison, sizeof(flags)), 0);
142*f615cc92SLorenzo Stoakes 
143*f615cc92SLorenzo Stoakes 	flags = EMPTY_VMA_FLAGS;
144*f615cc92SLorenzo Stoakes 	vma_flags_set(&flags, 64, 65);
145*f615cc92SLorenzo Stoakes 
146*f615cc92SLorenzo Stoakes 	/* Make sure we can set a word without disturbing other bits. */
147*f615cc92SLorenzo Stoakes 	vma_flags_set(&flags, VMA_WRITE_BIT);
148*f615cc92SLorenzo Stoakes 	vma_flags_set_word(&flags, VM_READ);
149*f615cc92SLorenzo Stoakes 	ASSERT_EQ(memcmp(&flags, &comparison, sizeof(flags)), 0);
150*f615cc92SLorenzo Stoakes 
151*f615cc92SLorenzo Stoakes 	flags = EMPTY_VMA_FLAGS;
152*f615cc92SLorenzo Stoakes 	vma_flags_set(&flags, 64, 65);
153*f615cc92SLorenzo Stoakes 
154*f615cc92SLorenzo Stoakes 	/* Make sure we can clear a word without disturbing other bits. */
155*f615cc92SLorenzo Stoakes 	vma_flags_set(&flags, VMA_READ_BIT, VMA_WRITE_BIT, VMA_EXEC_BIT);
156*f615cc92SLorenzo Stoakes 	vma_flags_clear_word(&flags, VM_EXEC);
157*f615cc92SLorenzo Stoakes 	ASSERT_EQ(memcmp(&flags, &comparison, sizeof(flags)), 0);
158*f615cc92SLorenzo Stoakes 
159*f615cc92SLorenzo Stoakes 	return true;
160*f615cc92SLorenzo Stoakes }
161*f615cc92SLorenzo Stoakes 
162*f615cc92SLorenzo Stoakes /* Ensure that vma_flags_test() and friends works correctly. */
test_vma_flags_test(void)163*f615cc92SLorenzo Stoakes static bool test_vma_flags_test(void)
164*f615cc92SLorenzo Stoakes {
165*f615cc92SLorenzo Stoakes 	const vma_flags_t flags = mk_vma_flags(VMA_READ_BIT, VMA_WRITE_BIT,
166*f615cc92SLorenzo Stoakes 					       VMA_EXEC_BIT, 64, 65);
167*f615cc92SLorenzo Stoakes 	struct vm_area_struct vma;
168*f615cc92SLorenzo Stoakes 	struct vm_area_desc desc;
169*f615cc92SLorenzo Stoakes 
170*f615cc92SLorenzo Stoakes 	vma.flags = flags;
171*f615cc92SLorenzo Stoakes 	desc.vma_flags = flags;
172*f615cc92SLorenzo Stoakes 
173*f615cc92SLorenzo Stoakes #define do_test(...)						\
174*f615cc92SLorenzo Stoakes 	ASSERT_TRUE(vma_flags_test(&flags, __VA_ARGS__));	\
175*f615cc92SLorenzo Stoakes 	ASSERT_TRUE(vma_desc_test_flags(&desc, __VA_ARGS__))
176*f615cc92SLorenzo Stoakes 
177*f615cc92SLorenzo Stoakes #define do_test_all_true(...)					\
178*f615cc92SLorenzo Stoakes 	ASSERT_TRUE(vma_flags_test_all(&flags, __VA_ARGS__));	\
179*f615cc92SLorenzo Stoakes 	ASSERT_TRUE(vma_test_all_flags(&vma, __VA_ARGS__))
180*f615cc92SLorenzo Stoakes 
181*f615cc92SLorenzo Stoakes #define do_test_all_false(...)					\
182*f615cc92SLorenzo Stoakes 	ASSERT_FALSE(vma_flags_test_all(&flags, __VA_ARGS__));	\
183*f615cc92SLorenzo Stoakes 	ASSERT_FALSE(vma_test_all_flags(&vma, __VA_ARGS__))
184*f615cc92SLorenzo Stoakes 
185*f615cc92SLorenzo Stoakes 	/*
186*f615cc92SLorenzo Stoakes 	 * Testing for some flags that are present, some that are not - should
187*f615cc92SLorenzo Stoakes 	 * pass. ANY flags matching should work.
188*f615cc92SLorenzo Stoakes 	 */
189*f615cc92SLorenzo Stoakes 	do_test(VMA_READ_BIT, VMA_MAYREAD_BIT, VMA_SEQ_READ_BIT);
190*f615cc92SLorenzo Stoakes 	/* However, the ...test_all() variant should NOT pass. */
191*f615cc92SLorenzo Stoakes 	do_test_all_false(VMA_READ_BIT, VMA_MAYREAD_BIT, VMA_SEQ_READ_BIT);
192*f615cc92SLorenzo Stoakes 	/* But should pass for flags present. */
193*f615cc92SLorenzo Stoakes 	do_test_all_true(VMA_READ_BIT, VMA_WRITE_BIT, VMA_EXEC_BIT, 64, 65);
194*f615cc92SLorenzo Stoakes 	/* Also subsets... */
195*f615cc92SLorenzo Stoakes 	do_test_all_true(VMA_READ_BIT, VMA_WRITE_BIT, VMA_EXEC_BIT, 64);
196*f615cc92SLorenzo Stoakes 	do_test_all_true(VMA_READ_BIT, VMA_WRITE_BIT, VMA_EXEC_BIT);
197*f615cc92SLorenzo Stoakes 	do_test_all_true(VMA_READ_BIT, VMA_WRITE_BIT);
198*f615cc92SLorenzo Stoakes 	do_test_all_true(VMA_READ_BIT);
199*f615cc92SLorenzo Stoakes 	/*
200*f615cc92SLorenzo Stoakes 	 * Check _mask variant. We don't need to test extensively as macro
201*f615cc92SLorenzo Stoakes 	 * helper is the equivalent.
202*f615cc92SLorenzo Stoakes 	 */
203*f615cc92SLorenzo Stoakes 	ASSERT_TRUE(vma_flags_test_mask(&flags, flags));
204*f615cc92SLorenzo Stoakes 	ASSERT_TRUE(vma_flags_test_all_mask(&flags, flags));
205*f615cc92SLorenzo Stoakes 
206*f615cc92SLorenzo Stoakes 	/* Single bits. */
207*f615cc92SLorenzo Stoakes 	do_test(VMA_READ_BIT);
208*f615cc92SLorenzo Stoakes 	do_test(VMA_WRITE_BIT);
209*f615cc92SLorenzo Stoakes 	do_test(VMA_EXEC_BIT);
210*f615cc92SLorenzo Stoakes #if NUM_VMA_FLAG_BITS > 64
211*f615cc92SLorenzo Stoakes 	do_test(64);
212*f615cc92SLorenzo Stoakes 	do_test(65);
213*f615cc92SLorenzo Stoakes #endif
214*f615cc92SLorenzo Stoakes 
215*f615cc92SLorenzo Stoakes 	/* Two bits. */
216*f615cc92SLorenzo Stoakes 	do_test(VMA_READ_BIT, VMA_WRITE_BIT);
217*f615cc92SLorenzo Stoakes 	do_test(VMA_READ_BIT, VMA_EXEC_BIT);
218*f615cc92SLorenzo Stoakes 	do_test(VMA_WRITE_BIT, VMA_EXEC_BIT);
219*f615cc92SLorenzo Stoakes 	/* Ordering shouldn't matter. */
220*f615cc92SLorenzo Stoakes 	do_test(VMA_WRITE_BIT, VMA_READ_BIT);
221*f615cc92SLorenzo Stoakes 	do_test(VMA_EXEC_BIT, VMA_READ_BIT);
222*f615cc92SLorenzo Stoakes 	do_test(VMA_EXEC_BIT, VMA_WRITE_BIT);
223*f615cc92SLorenzo Stoakes #if NUM_VMA_FLAG_BITS > 64
224*f615cc92SLorenzo Stoakes 	do_test(VMA_READ_BIT, 64);
225*f615cc92SLorenzo Stoakes 	do_test(VMA_WRITE_BIT, 64);
226*f615cc92SLorenzo Stoakes 	do_test(64, VMA_READ_BIT);
227*f615cc92SLorenzo Stoakes 	do_test(64, VMA_WRITE_BIT);
228*f615cc92SLorenzo Stoakes 	do_test(VMA_READ_BIT, 65);
229*f615cc92SLorenzo Stoakes 	do_test(VMA_WRITE_BIT, 65);
230*f615cc92SLorenzo Stoakes 	do_test(65, VMA_READ_BIT);
231*f615cc92SLorenzo Stoakes 	do_test(65, VMA_WRITE_BIT);
232*f615cc92SLorenzo Stoakes #endif
233*f615cc92SLorenzo Stoakes 	/* Three bits. */
234*f615cc92SLorenzo Stoakes 	do_test(VMA_READ_BIT, VMA_WRITE_BIT, VMA_EXEC_BIT);
235*f615cc92SLorenzo Stoakes #if NUM_VMA_FLAG_BITS > 64
236*f615cc92SLorenzo Stoakes 	/* No need to consider every single permutation. */
237*f615cc92SLorenzo Stoakes 	do_test(VMA_READ_BIT, VMA_WRITE_BIT, 64);
238*f615cc92SLorenzo Stoakes 	do_test(VMA_READ_BIT, VMA_WRITE_BIT, 65);
239*f615cc92SLorenzo Stoakes 
240*f615cc92SLorenzo Stoakes 	/* Four bits. */
241*f615cc92SLorenzo Stoakes 	do_test(VMA_READ_BIT, VMA_WRITE_BIT, VMA_EXEC_BIT, 64);
242*f615cc92SLorenzo Stoakes 	do_test(VMA_READ_BIT, VMA_WRITE_BIT, VMA_EXEC_BIT, 65);
243*f615cc92SLorenzo Stoakes 
244*f615cc92SLorenzo Stoakes 	/* Five bits. */
245*f615cc92SLorenzo Stoakes 	do_test(VMA_READ_BIT, VMA_WRITE_BIT, VMA_EXEC_BIT, 64, 65);
246*f615cc92SLorenzo Stoakes #endif
247*f615cc92SLorenzo Stoakes 
248*f615cc92SLorenzo Stoakes #undef do_test
249*f615cc92SLorenzo Stoakes #undef do_test_all_true
250*f615cc92SLorenzo Stoakes #undef do_test_all_false
251*f615cc92SLorenzo Stoakes 
252*f615cc92SLorenzo Stoakes 	return true;
253*f615cc92SLorenzo Stoakes }
254*f615cc92SLorenzo Stoakes 
255*f615cc92SLorenzo Stoakes /* Ensure that vma_flags_clear() and friends works correctly. */
test_vma_flags_clear(void)256*f615cc92SLorenzo Stoakes static bool test_vma_flags_clear(void)
257*f615cc92SLorenzo Stoakes {
258*f615cc92SLorenzo Stoakes 	vma_flags_t flags = mk_vma_flags(VMA_READ_BIT, VMA_WRITE_BIT,
259*f615cc92SLorenzo Stoakes 					 VMA_EXEC_BIT, 64, 65);
260*f615cc92SLorenzo Stoakes 	vma_flags_t mask = mk_vma_flags(VMA_EXEC_BIT, 64);
261*f615cc92SLorenzo Stoakes 	struct vm_area_struct vma;
262*f615cc92SLorenzo Stoakes 	struct vm_area_desc desc;
263*f615cc92SLorenzo Stoakes 
264*f615cc92SLorenzo Stoakes 	vma.flags = flags;
265*f615cc92SLorenzo Stoakes 	desc.vma_flags = flags;
266*f615cc92SLorenzo Stoakes 
267*f615cc92SLorenzo Stoakes 	/* Cursory check of _mask() variant, as the helper macros imply. */
268*f615cc92SLorenzo Stoakes 	vma_flags_clear_mask(&flags, mask);
269*f615cc92SLorenzo Stoakes 	vma_flags_clear_mask(&vma.flags, mask);
270*f615cc92SLorenzo Stoakes 	vma_desc_clear_flags_mask(&desc, mask);
271*f615cc92SLorenzo Stoakes 	ASSERT_FALSE(vma_flags_test(&flags, VMA_EXEC_BIT, 64));
272*f615cc92SLorenzo Stoakes 	ASSERT_FALSE(vma_flags_test(&vma.flags, VMA_EXEC_BIT, 64));
273*f615cc92SLorenzo Stoakes 	ASSERT_FALSE(vma_desc_test_flags(&desc, VMA_EXEC_BIT, 64));
274*f615cc92SLorenzo Stoakes 	/* Reset. */
275*f615cc92SLorenzo Stoakes 	vma_flags_set(&flags, VMA_EXEC_BIT, 64);
276*f615cc92SLorenzo Stoakes 	vma_set_flags(&vma, VMA_EXEC_BIT, 64);
277*f615cc92SLorenzo Stoakes 	vma_desc_set_flags(&desc, VMA_EXEC_BIT, 64);
278*f615cc92SLorenzo Stoakes 
279*f615cc92SLorenzo Stoakes 	/*
280*f615cc92SLorenzo Stoakes 	 * Clear the flags and assert clear worked, then reset flags back to
281*f615cc92SLorenzo Stoakes 	 * include specified flags.
282*f615cc92SLorenzo Stoakes 	 */
283*f615cc92SLorenzo Stoakes #define do_test_and_reset(...)					\
284*f615cc92SLorenzo Stoakes 	vma_flags_clear(&flags, __VA_ARGS__);			\
285*f615cc92SLorenzo Stoakes 	vma_flags_clear(&vma.flags, __VA_ARGS__);		\
286*f615cc92SLorenzo Stoakes 	vma_desc_clear_flags(&desc, __VA_ARGS__);		\
287*f615cc92SLorenzo Stoakes 	ASSERT_FALSE(vma_flags_test(&flags, __VA_ARGS__));	\
288*f615cc92SLorenzo Stoakes 	ASSERT_FALSE(vma_flags_test(&vma.flags, __VA_ARGS__));	\
289*f615cc92SLorenzo Stoakes 	ASSERT_FALSE(vma_desc_test_flags(&desc, __VA_ARGS__));	\
290*f615cc92SLorenzo Stoakes 	vma_flags_set(&flags, __VA_ARGS__);			\
291*f615cc92SLorenzo Stoakes 	vma_set_flags(&vma, __VA_ARGS__);			\
292*f615cc92SLorenzo Stoakes 	vma_desc_set_flags(&desc, __VA_ARGS__)
293*f615cc92SLorenzo Stoakes 
294*f615cc92SLorenzo Stoakes 	/* Single flags. */
295*f615cc92SLorenzo Stoakes 	do_test_and_reset(VMA_READ_BIT);
296*f615cc92SLorenzo Stoakes 	do_test_and_reset(VMA_WRITE_BIT);
297*f615cc92SLorenzo Stoakes 	do_test_and_reset(VMA_EXEC_BIT);
298*f615cc92SLorenzo Stoakes 	do_test_and_reset(64);
299*f615cc92SLorenzo Stoakes 	do_test_and_reset(65);
300*f615cc92SLorenzo Stoakes 
301*f615cc92SLorenzo Stoakes 	/* Two flags, in different orders. */
302*f615cc92SLorenzo Stoakes 	do_test_and_reset(VMA_READ_BIT, VMA_WRITE_BIT);
303*f615cc92SLorenzo Stoakes 	do_test_and_reset(VMA_READ_BIT, VMA_EXEC_BIT);
304*f615cc92SLorenzo Stoakes 	do_test_and_reset(VMA_READ_BIT, 64);
305*f615cc92SLorenzo Stoakes 	do_test_and_reset(VMA_READ_BIT, 65);
306*f615cc92SLorenzo Stoakes 	do_test_and_reset(VMA_WRITE_BIT, VMA_READ_BIT);
307*f615cc92SLorenzo Stoakes 	do_test_and_reset(VMA_WRITE_BIT, VMA_EXEC_BIT);
308*f615cc92SLorenzo Stoakes 	do_test_and_reset(VMA_WRITE_BIT, 64);
309*f615cc92SLorenzo Stoakes 	do_test_and_reset(VMA_WRITE_BIT, 65);
310*f615cc92SLorenzo Stoakes 	do_test_and_reset(VMA_EXEC_BIT, VMA_READ_BIT);
311*f615cc92SLorenzo Stoakes 	do_test_and_reset(VMA_EXEC_BIT, VMA_WRITE_BIT);
312*f615cc92SLorenzo Stoakes 	do_test_and_reset(VMA_EXEC_BIT, 64);
313*f615cc92SLorenzo Stoakes 	do_test_and_reset(VMA_EXEC_BIT, 65);
314*f615cc92SLorenzo Stoakes 	do_test_and_reset(64, VMA_READ_BIT);
315*f615cc92SLorenzo Stoakes 	do_test_and_reset(64, VMA_WRITE_BIT);
316*f615cc92SLorenzo Stoakes 	do_test_and_reset(64, VMA_EXEC_BIT);
317*f615cc92SLorenzo Stoakes 	do_test_and_reset(64, 65);
318*f615cc92SLorenzo Stoakes 	do_test_and_reset(65, VMA_READ_BIT);
319*f615cc92SLorenzo Stoakes 	do_test_and_reset(65, VMA_WRITE_BIT);
320*f615cc92SLorenzo Stoakes 	do_test_and_reset(65, VMA_EXEC_BIT);
321*f615cc92SLorenzo Stoakes 	do_test_and_reset(65, 64);
322*f615cc92SLorenzo Stoakes 
323*f615cc92SLorenzo Stoakes 	/* Three flags. */
324*f615cc92SLorenzo Stoakes 
325*f615cc92SLorenzo Stoakes #undef do_test_some_missing
326*f615cc92SLorenzo Stoakes #undef do_test_and_reset
327*f615cc92SLorenzo Stoakes 
328*f615cc92SLorenzo Stoakes 	return true;
329*f615cc92SLorenzo Stoakes }
330*f615cc92SLorenzo Stoakes 
run_vma_tests(int * num_tests,int * num_fail)3316aacab30SLorenzo Stoakes static void run_vma_tests(int *num_tests, int *num_fail)
3326aacab30SLorenzo Stoakes {
3336aacab30SLorenzo Stoakes 	TEST(copy_vma);
334*f615cc92SLorenzo Stoakes 	TEST(vma_flags_unchanged);
335*f615cc92SLorenzo Stoakes 	TEST(vma_flags_cleared);
336*f615cc92SLorenzo Stoakes 	TEST(vma_flags_word);
337*f615cc92SLorenzo Stoakes 	TEST(vma_flags_test);
338*f615cc92SLorenzo Stoakes 	TEST(vma_flags_clear);
3396aacab30SLorenzo Stoakes }
340