This is the mail archive of the
mailing list for the GCC project.
Re: [PATCH, MPX, 2/X] Pointers Checker [2/25] Builtins
- From: Jeff Law <law at redhat dot com>
- To: Richard Henderson <rth at redhat dot com>, Ilya Enkovich <enkovich dot gnu at gmail dot com>, gcc-patches at gcc dot gnu dot org
- Date: Thu, 24 Oct 2013 12:18:51 -0600
- Subject: Re: [PATCH, MPX, 2/X] Pointers Checker [2/25] Builtins
- Authentication-results: sourceware.org; auth=none
- References: <20131021114918 dot GB37888 at msticlxl57 dot ims dot intel dot com> <5268426E dot 7080102 at redhat dot com> <52684E35 dot 5050401 at redhat dot com>
On 10/23/13 16:31, Richard Henderson wrote:
The primary concern is that while we have some builtins that are
disabled for a subset of targets, I think this is the first significant
class of builtins that are only available on a single target.
On 10/23/2013 02:41 PM, Jeff Law wrote:
Out of curiosity, did you consider and/or discuss with Richard whether or not
to make these target-dependent or target-independent builtins? I realize it's
a bit problematic with Richard being involved during the NDA portion and
someone else during the review/integration portion, but that's unfortunately
where we are.
I suggested that they be target independent.
I suggested that there was nothing in MPX that couldn't be
done generically, if slower, on non-MPX hardware.
It's a bit of a slippery slope as we clearly don't want to move to a
model were we're regularly allowing classes of builtins that are only
implemented for a single target.
What saves the say with this stuff is from what I can gather (and which
you've confirmed), someone ought to be able to build a pointer bounds
checking implementation on top of this w/o using MPX hardware.
Ironically removal of mudflap came up in a different thread yesterday :-)