mirror of
https://sourceware.org/git/glibc.git
synced 2024-12-25 20:21:07 +00:00
116 lines
3.7 KiB
C
116 lines
3.7 KiB
C
|
/* Bounded-pointer definitions for PowerPC64 assembler.
|
||
|
Copyright (C) 2000, 2002 Free Software Foundation, Inc.
|
||
|
Contributed by Greg McGary <greg@mcgary.org>
|
||
|
|
||
|
This file is part of the GNU C Library. Its master source is NOT part of
|
||
|
the C library, however. The master source lives in the GNU MP Library.
|
||
|
|
||
|
The GNU C Library is free software; you can redistribute it and/or
|
||
|
modify it under the terms of the GNU Library General Public License as
|
||
|
published by the Free Software Foundation; either version 2 of the
|
||
|
License, or (at your option) any later version.
|
||
|
|
||
|
The GNU C Library is distributed in the hope that it will be useful,
|
||
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
||
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
||
|
Library General Public License for more details.
|
||
|
|
||
|
You should have received a copy of the GNU Library General Public
|
||
|
License along with the GNU C Library; see the file COPYING.LIB. If not,
|
||
|
write to the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
|
||
|
Boston, MA 02111-1307, USA. */
|
||
|
|
||
|
#if __BOUNDED_POINTERS__
|
||
|
|
||
|
/* Byte offsets of BP components. */
|
||
|
# define oVALUE 0
|
||
|
# define oLOW 4
|
||
|
# define oHIGH 8
|
||
|
|
||
|
/* Don't check bounds, just convert the BP register to its simple
|
||
|
pointer value. */
|
||
|
|
||
|
# define DISCARD_BOUNDS(rBP) \
|
||
|
ld rBP, oVALUE(rBP)
|
||
|
|
||
|
/* Check low bound, with the side effect that the BP register is converted
|
||
|
its simple pointer value. Move the high bound into a register for
|
||
|
later use. */
|
||
|
|
||
|
# define CHECK_BOUNDS_LOW(rBP, rLOW, rHIGH) \
|
||
|
ld rHIGH, oHIGH(rBP); \
|
||
|
ld rLOW, oLOW(rBP); \
|
||
|
ld rBP, oVALUE(rBP); \
|
||
|
tdllt rBP, rLOW
|
||
|
|
||
|
/* Check the high bound, which is in a register, using the given
|
||
|
conditional trap instruction. */
|
||
|
|
||
|
# define CHECK_BOUNDS_HIGH(rVALUE, rHIGH, TWLcc) \
|
||
|
TWLcc rVALUE, rHIGH
|
||
|
|
||
|
/* Check the high bound, which is stored at the return-value's high
|
||
|
bound slot, using the given conditional trap instruction. */
|
||
|
|
||
|
# define CHECK_BOUNDS_HIGH_RTN(rVALUE, rHIGH, TWLcc) \
|
||
|
ld rHIGH, oHIGH(rRTN); \
|
||
|
TWLcc rVALUE, rHIGH
|
||
|
|
||
|
/* Check both bounds, with the side effect that the BP register is
|
||
|
converted to its simple pointer value. */
|
||
|
|
||
|
# define CHECK_BOUNDS_BOTH(rBP, rLOW, rHIGH) \
|
||
|
CHECK_BOUNDS_LOW(rBP, rLOW, rHIGH); \
|
||
|
tdlge rBP, rHIGH
|
||
|
|
||
|
/* Check bounds on a memory region of given length, with the side
|
||
|
effect that the BP register is converted to its simple pointer
|
||
|
value. */
|
||
|
|
||
|
# define CHECK_BOUNDS_BOTH_WIDE(rBP, rLOW, rHIGH, rLENGTH) \
|
||
|
CHECK_BOUNDS_LOW (rBP, rLOW, rHIGH); \
|
||
|
sub rHIGH, rHIGH, rLENGTH; \
|
||
|
tdlgt rBP, rHIGH
|
||
|
|
||
|
# define CHECK_BOUNDS_BOTH_WIDE_LIT(rBP, rLOW, rHIGH, LENGTH) \
|
||
|
CHECK_BOUNDS_LOW (rBP, rLOW, rHIGH); \
|
||
|
subi rHIGH, rHIGH, LENGTH; \
|
||
|
tdlgt rBP, rHIGH
|
||
|
|
||
|
/* Store a pointer value register into the return-value's pointer
|
||
|
value slot. */
|
||
|
|
||
|
# define STORE_RETURN_VALUE(rVALUE) \
|
||
|
std rVALUE, oVALUE(rRTN)
|
||
|
|
||
|
/* Store a low and high bounds into the return-value's pointer bounds
|
||
|
slots. */
|
||
|
|
||
|
# define STORE_RETURN_BOUNDS(rLOW, rHIGH) \
|
||
|
std rLOW, oLOW(rRTN); \
|
||
|
std rHIGH, oHIGH(rRTN)
|
||
|
|
||
|
/* Stuff zero value/low/high into the BP addressed by rRTN. */
|
||
|
|
||
|
# define RETURN_NULL_BOUNDED_POINTER \
|
||
|
li r4, 0; \
|
||
|
STORE_RETURN_VALUE (r4); \
|
||
|
STORE_RETURN_BOUNDS (r4, r4)
|
||
|
|
||
|
#else
|
||
|
|
||
|
# define DISCARD_BOUNDS(rBP)
|
||
|
# define CHECK_BOUNDS_LOW(rBP, rLOW, rHIGH)
|
||
|
# define CHECK_BOUNDS_HIGH(rVALUE, rHIGH, TWLcc)
|
||
|
# define CHECK_BOUNDS_HIGH_RTN(rVALUE, rHIGH, TWLcc)
|
||
|
# define CHECK_BOUNDS_BOTH(rBP, rLOW, rHIGH)
|
||
|
# define CHECK_BOUNDS_BOTH_WIDE(rBP, rLOW, rHIGH, rLENGTH)
|
||
|
# define CHECK_BOUNDS_BOTH_WIDE_LIT(rBP, rLOW, rHIGH, LENGTH)
|
||
|
# define STORE_RETURN_VALUE(rVALUE)
|
||
|
# define STORE_RETURN_BOUNDS(rLOW, rHIGH)
|
||
|
|
||
|
# define RETURN_NULL_BOUNDED_POINTER li rRTN, 0
|
||
|
|
||
|
#endif
|
||
|
|