[Ada] Use new middle-end support for overflow checking
Eric Botcazou
ebotcazou@adacore.com
Sat Jun 11 12:08:00 GMT 2016
This replaces the manual implementation of overflow checking in gigi by the
use of new middle-end support, at least in the generic case of two values not
known at compile time. This will generate better code than the current
implementation, provided that the back-end implements the associated support.
Tested on x86_64-suse-linux, applied on the mainline.
2016-06-11 Eric Botcazou <ebotcazou@adacore.com>
* gcc-interface/trans.c (build_binary_op_trapv): If no operand is a
constant, use the generic implementation of the middle-end; otherwise
turn the dynamic conditions into static conditions and simplify.
--
Eric Botcazou
-------------- next part --------------
A non-text attachment was scrubbed...
Name: p.diff
Type: text/x-patch
Size: 10588 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20160611/717c9813/attachment.bin>
More information about the Gcc-patches
mailing list