This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Might a -native-semantics switch, forcing native target optimization semantics, be reasonable?
- From: Paul Schlie <schlie at comcast dot net>
- To: GCC Development <gcc at gcc dot gnu dot org>
- Date: Sat, 31 Dec 2005 13:51:07 -0500
- Subject: Might a -native-semantics switch, forcing native target optimization semantics, be reasonable?
As although C/C++ define some expressions as having undefined semantics;
it would seem desirable to be able to conveniently force GCC to presume
a target's true native semantics in lieu of presuming their being undefined.
Thereby more conveniently and optimally enabling use of GCC as a high-level,
native behavior preserving, optimizing high-level language compiler for an
arbitrary target machine, without having to otherwise sub-optimally enable
and/or disable some collection of optimization presumptions target by target
basis otherwise?
(i.e. Enable a target to define it's native overflow, null-dereference, etc.
semantics, which may be optionally utilized as the basis of optimization.)