This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [patch] Fix failure of ACATS c45503c at -O2
- From: Joseph Myers <joseph at codesourcery dot com>
- To: Eric Botcazou <ebotcazou at adacore dot com>
- Cc: Jeff Law <law at redhat dot com>, <gcc-patches at gcc dot gnu dot org>
- Date: Tue, 20 Oct 2015 22:30:07 +0000
- Subject: Re: [patch] Fix failure of ACATS c45503c at -O2
- Authentication-results: sourceware.org; auth=none
- References: <1990513 dot tXxA4OvBVE at polaris> <56268F8A dot 1040707 at redhat dot com> <1528671 dot mzKt47kMez at polaris>
On Wed, 21 Oct 2015, Eric Botcazou wrote:
> > Isn't this a function of the language and in some cases isn't it
> > implementation defined (true for C/C++ until C++11)?
>
> I don't think that C/C++ use FLOOR_MOD_EXPR, only Ada does AFAIK. In any
> case, I don't see how this can be implementation-defined given:
And, given that RTL semantics are as well-defined and target-independent
as GENERIC / GIMPLE semantics here, a corollary is that the MMIX option
-mknuthdiv is fundamentally ill-conceived (affecting as it does the
semantics of RTL operations whose semantics are assumed by the rest of the
compiler to be target-independent).
--
Joseph S. Myers
joseph@codesourcery.com