xref: /haiku/src/system/libroot/posix/glibc/include/arch/ppc/bp-asm.h (revision cbe0a0c436162d78cc3f92a305b64918c839d079)
1 /* Bounded-pointer definitions for PowerPC assembler.
2    Copyright (C) 2000 Free Software Foundation, Inc.
3    Contributed by Greg McGary <greg@mcgary.org>
4    This file is part of the GNU C Library.  Its master source is NOT part of
5    the C library, however.  The master source lives in the GNU MP Library.
6 
7    The GNU C Library is free software; you can redistribute it and/or
8    modify it under the terms of the GNU Lesser General Public
9    License as published by the Free Software Foundation; either
10    version 2.1 of the License, or (at your option) any later version.
11 
12    The GNU C Library is distributed in the hope that it will be useful,
13    but WITHOUT ANY WARRANTY; without even the implied warranty of
14    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
15    Lesser General Public License for more details.
16 
17    You should have received a copy of the GNU Lesser General Public
18    License along with the GNU C Library; if not, write to the Free
19    Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
20    02111-1307 USA.  */
21 
22 #if __BOUNDED_POINTERS__
23 
24 /* Byte offsets of BP components.  */
25 # define oVALUE	0
26 # define oLOW	4
27 # define oHIGH	8
28 
29 /* Don't check bounds, just convert the BP register to its simple
30    pointer value.  */
31 
32 # define DISCARD_BOUNDS(rBP)			\
33 	lwz	rBP, oVALUE(rBP)
34 
35 /* Check low bound, with the side effect that the BP register is converted
36    its simple pointer value.  Move the high bound into a register for
37    later use.  */
38 
39 # define CHECK_BOUNDS_LOW(rBP, rLOW, rHIGH)	\
40 	lwz	rHIGH, oHIGH(rBP);		\
41 	lwz	rLOW, oLOW(rBP);		\
42 	lwz	rBP, oVALUE(rBP);		\
43 	twllt	rBP, rLOW
44 
45 /* Check the high bound, which is in a register, using the given
46    conditional trap instruction.  */
47 
48 # define CHECK_BOUNDS_HIGH(rVALUE, rHIGH, TWLcc) \
49 	TWLcc	rVALUE, rHIGH
50 
51 /* Check the high bound, which is stored at the return-value's high
52    bound slot, using the given conditional trap instruction.  */
53 
54 # define CHECK_BOUNDS_HIGH_RTN(rVALUE, rHIGH, TWLcc)	\
55 	lwz	rHIGH, oHIGH(rRTN);			\
56 	TWLcc	rVALUE, rHIGH
57 
58 /* Check both bounds, with the side effect that the BP register is
59    converted to its simple pointer value.  */
60 
61 # define CHECK_BOUNDS_BOTH(rBP, rLOW, rHIGH)	\
62 	CHECK_BOUNDS_LOW(rBP, rLOW, rHIGH);	\
63 	twlge	rBP, rHIGH
64 
65 /* Check bounds on a memory region of given length, with the side
66    effect that the BP register is converted to its simple pointer
67    value.  */
68 
69 # define CHECK_BOUNDS_BOTH_WIDE(rBP, rLOW, rHIGH, rLENGTH)	\
70 	CHECK_BOUNDS_LOW (rBP, rLOW, rHIGH);			\
71 	sub	rHIGH, rHIGH, rLENGTH;				\
72 	twlgt	rBP, rHIGH
73 
74 # define CHECK_BOUNDS_BOTH_WIDE_LIT(rBP, rLOW, rHIGH, LENGTH)	\
75 	CHECK_BOUNDS_LOW (rBP, rLOW, rHIGH);			\
76 	subi	rHIGH, rHIGH, LENGTH;				\
77 	twlgt	rBP, rHIGH
78 
79 /* Store a pointer value register into the return-value's pointer
80    value slot.  */
81 
82 # define STORE_RETURN_VALUE(rVALUE)		\
83 	stw	rVALUE, oVALUE(rRTN)
84 
85 /* Store a low and high bounds into the return-value's pointer bounds
86    slots.  */
87 
88 # define STORE_RETURN_BOUNDS(rLOW, rHIGH)	\
89 	stw	rLOW, oLOW(rRTN);		\
90 	stw	rHIGH, oHIGH(rRTN)
91 
92 /* Stuff zero value/low/high into the BP addressed by rRTN.  */
93 
94 # define RETURN_NULL_BOUNDED_POINTER		\
95 	li	r4, 0;				\
96 	STORE_RETURN_VALUE (r4);		\
97 	STORE_RETURN_BOUNDS (r4, r4)
98 
99 #else
100 
101 # define DISCARD_BOUNDS(rBP)
102 # define CHECK_BOUNDS_LOW(rBP, rLOW, rHIGH)
103 # define CHECK_BOUNDS_HIGH(rVALUE, rHIGH, TWLcc)
104 # define CHECK_BOUNDS_HIGH_RTN(rVALUE, rHIGH, TWLcc)
105 # define CHECK_BOUNDS_BOTH(rBP, rLOW, rHIGH)
106 # define CHECK_BOUNDS_BOTH_WIDE(rBP, rLOW, rHIGH, rLENGTH)
107 # define CHECK_BOUNDS_BOTH_WIDE_LIT(rBP, rLOW, rHIGH, LENGTH)
108 # define STORE_RETURN_VALUE(rVALUE)
109 # define STORE_RETURN_BOUNDS(rLOW, rHIGH)
110 
111 # define RETURN_NULL_BOUNDED_POINTER li rRTN, 0
112 
113 #endif
114 
115