C++ PATCH for c++/66501 (wrong code with array move assignment)

2015-06-23 Thread Jason Merrill
build_vec_init was assuming that if a class has a trivial copy assignment, then an array assignment is trivial. But overload resolution might not choose the copy assignment operator. So this patch changes build_vec_init to check for any non-trivial assignment operator. Tested x86_64-pc-linux

[PATCH] Make muser-mode the default for LEON3

2015-06-23 Thread Daniel Cederman
The muser-mode flag causes the CASA instruction for LEON3 to use the user mode ASI. This is the correct behavior for almost all LEON3 targets. For this reason it makes sense to make user mode the default. gcc/ChangeLog: 2015-06-23 Daniel Cederman * config/sparc/sparc.opt: Rename mask

Re: [PATCH] Make muser-mode the default for LEON3

2015-06-23 Thread Daniel Cederman
On 2015-06-23 14:58, Jakub Jelinek wrote: On Tue, Jun 23, 2015 at 02:48:45PM +0200, Daniel Cederman wrote: How does one check if the bit has been explicitly set? It was not obvious to if (TARGET_USER_MODE_P (target_flags_explicit)) me, which is why I took a similar approach to a patch I fo

C++ PATCH for c++/66542 (missing error with deleted dtor and static variable)

2015-06-23 Thread Jason Merrill
In expand_static_init we were diagnosing a deleted dtor if there was also no initializer, but not if there was, and nothing later on was diagnosing it either. Fixed thus. Tested x86_64-pc-linux-gnu, applying to trunk. commit 78593d02fb6af72a8f97e52cbfbbe9f49b29e9db Author: Jason Merrill Date:

Fwd: [PATCH] Add CFI entries for ARM Linux idiv0 / ldiv0

2015-06-23 Thread James Lemke
Ping.. Forwarded Message Subject: [PATCH] Add CFI entries for ARM Linux idiv0 / ldiv0 Date: Tue, 16 Jun 2015 17:25:49 -0400 From: James Lemke To: gcc-patches@gcc.gnu.org A divide by zero exception was not giving a proper traceback for LINUX ARM_EABI. The attached patch fixes

C++ PATCH for c++/65879 (error on member function of nested class of anonymous class)

2015-06-23 Thread Jason Merrill
It doesn't make sense to complain about a function using its own enclosing class. There were two problems here: 1) The function should have been marked as internal because its class is internal. 2) We shouldn't bother looking at 'this' for no-linkage types. Tested x86_64-pc-linux-gnu, applyi

[PATCH] Fix PR66636

2015-06-23 Thread Richard Biener
The following fixes an ICE with 188.ammp and AVX2. Bootstrapped and tested on x86_64-unknown-linux-gnu, applied to trunk. Richard. 2015-06-23 Richard Biener PR tree-optimization/66636 * tree-vect-stmts.c (vectorizable_store): Properly compute the def type for further

Re: RFA: Add support for -fstack-usage to various ports

2015-06-23 Thread Jeff Law
On 06/23/2015 06:56 AM, Nick Clifton wrote: Hi Guys, The patch below adds support for the -fstack-usage option to the BFIN, FT32, H8300, IQ2000 and M32C ports. It also adjusts the expected output in the gcc.dg/stack-usage-1.c test for the V850 and MN10300 to match the actual results

Re: RFA: FT32: Fix building gcc.

2015-06-23 Thread Jeff Law
On 06/23/2015 06:10 AM, Nicholas Clifton wrote: Hi Guys, It seems that the FT32 port of GCC does not have a maintainer at the moment. Nevertheless I have a patch to fix a couple of build time problems compiling gcc for the FT32. Is this OK to apply ? Cheers Nick gcc/ChangeLog 201

Re: [AArch64] Implement -fpic for -mcmodel=small

2015-06-23 Thread Marcus Shawcroft
On 23 June 2015 at 14:02, Jiong Wang wrote: > > Marcus Shawcroft writes: > >> On 20 May 2015 at 11:21, Jiong Wang wrote: >> >>> gcc/ >>> * config/aarch64/aarch64.md: (ldr_got_small_): Support new GOT >>> relocation >>> modifiers. >>> (ldr_got_small_sidi): Ditto. >>> * config/aarch64/iter

Re: [c-family PATCH] Fix for -Wlogical-op

2015-06-23 Thread Jeff Law
On 06/23/2015 07:12 AM, Marek Polacek wrote: While looking at something else I noticed that we're using == for INTEGER_CSTs comparison. That isn't going to work well, so use tree_int_cst_equal instead. Because of that we weren't diagnosing the following test. Bootstrapped/regtested on x86_64-l

Re: [PATCH] Expand PIC calls without PLT with -fno-plt

2015-06-23 Thread Jeff Law
On 06/23/2015 02:29 AM, Ramana Radhakrishnan wrote: If you try disabling the REG_EQUAL note generation [*], you'll probably find a performance regression on arm32 (and probably on aarch64 as well? we only IMHO disabling the REG_EQUAL note generation is the wrong way to go about this. Agreed.

[c-family PATCH] Fix for -Wlogical-op

2015-06-23 Thread Marek Polacek
While looking at something else I noticed that we're using == for INTEGER_CSTs comparison. That isn't going to work well, so use tree_int_cst_equal instead. Because of that we weren't diagnosing the following test. Bootstrapped/regtested on x86_64-linux, ok for trunk? 2015-06-23 Marek Polacek

Re: [AArch64] Implement -fpic for -mcmodel=small

2015-06-23 Thread Jiong Wang
Marcus Shawcroft writes: > On 20 May 2015 at 11:21, Jiong Wang wrote: > >> gcc/ >> * config/aarch64/aarch64.md: (ldr_got_small_): Support new GOT >> relocation >> modifiers. >> (ldr_got_small_sidi): Ditto. >> * config/aarch64/iterators.md (got_modifier): New mode iterator. >> * config

[nvptx] add select

2015-06-23 Thread Nathan Sidwell
I've committed this PTX patch to add support for the selp instruction. It's pretty much a direct implementation of 'r = a ? b : c'. This is sufficient for combine(?) to generate selp instructions such as: selp.u32%r22, %r25, %r26, %r28; selp.u32%r22, %r25, 4, %r27;

Re: [PATCH] Make muser-mode the default for LEON3

2015-06-23 Thread Jakub Jelinek
On Tue, Jun 23, 2015 at 02:48:45PM +0200, Daniel Cederman wrote: > How does one check if the bit has been explicitly set? It was not obvious to if (TARGET_USER_MODE_P (target_flags_explicit)) > me, which is why I took a similar approach to a patch I found for another > CPU target. If it is possib

RFA: Add support for -fstack-usage to various ports

2015-06-23 Thread Nick Clifton
Hi Guys, The patch below adds support for the -fstack-usage option to the BFIN, FT32, H8300, IQ2000 and M32C ports. It also adjusts the expected output in the gcc.dg/stack-usage-1.c test for the V850 and MN10300 to match the actual results generated by these toolchains. Tested with no

Re: [gomp4] Generate sequential loop for OpenACC loop directive inside kernels

2015-06-23 Thread Chung-Lin Tang
On 2015/6/16 05:05 PM, Tom de Vries wrote: > On 16/06/15 10:59, Chung-Lin Tang wrote: >> This patch adjusts omp-low.c:expand_omp_for_generic() to expand to a >> "sequential" >> loop form (without the OMP runtime calls), used for loop directives inside >> OpenACC kernels constructs. Tom mentions th

Re: [PATCH] Make muser-mode the default for LEON3

2015-06-23 Thread Daniel Cederman
On 2015-06-23 14:34, Jakub Jelinek wrote: On Tue, Jun 23, 2015 at 02:22:34PM +0200, Daniel Cederman wrote: The muser-mode flag causes the CASA instruction for LEON3 to use the user mode ASI. This is the correct behavior for almost all LEON3 targets. For this reason it makes sense to make user

[gomp4] Additional testing for deviceptr clause.

2015-06-23 Thread James Norris
Hi! The following patch adds additional testing of the deviceptr clause. Patch applied to gomp-4_0-branch. Thanks! Jim diff --git a/libgomp/testsuite/libgomp.oacc-c-c++-common/deviceptr-1.c b/libgomp/testsuite/libgomp.oacc-c-c++-common/deviceptr-1.c index e271a37..e62c315 100644 --- a/libgomp/t

Re: [PATCH] Make muser-mode the default for LEON3

2015-06-23 Thread Jakub Jelinek
On Tue, Jun 23, 2015 at 02:22:34PM +0200, Daniel Cederman wrote: > The muser-mode flag causes the CASA instruction for LEON3 to use the > user mode ASI. This is the correct behavior for almost all LEON3 targets. > For this reason it makes sense to make user mode the default. This patch > adds a fla

Re: [PATCH] Make muser-mode the default for LEON3

2015-06-23 Thread Sebastian Huber
Instead of introducing a new option which may conflict with an existing one, is it not possible to simply use -mno-user-mode? On 23/06/15 14:22, Daniel Cederman wrote: The muser-mode flag causes the CASA instruction for LEON3 to use the user mode ASI. This is the correct behavior for almost all

Re: [PATCH][ARM] PR/65711: Don't pass '-dynamic-linker' when '-shared' is used

2015-06-23 Thread Ludovic Courtès
Jakub Jelinek skribis: > On Tue, Jun 23, 2015 at 11:30:25AM +0200, Ludovic Courtès wrote: >> Ramana Radhakrishnan skribis: >> >> > On Thu, Apr 23, 2015 at 9:29 AM, Ludovic Courtès wrote: >> >> As discussed at . >> >> >> >> Patch is for both 4

[PATCH 2/2] Add leon3r0 and leon3r0v7 CPU targets

2015-06-23 Thread Daniel Cederman
Early variants of LEON3, revision 0, do not support the CASA instruction. This patch adds two new targets, leon3r0 and leon3r0v7, that are equivalent to leon3 and leon3v7, except that they do not support CASA. gcc/ChangeLog: 2015-06-22 Daniel Cederman * config.gcc: Add leon3r0[v7] tar

[PATCH] Use leon3 target for native LEON on Linux

2015-06-23 Thread Daniel Cederman
Linux requires LEON version 3 or above with CASA support. gcc/ChangeLog: 2015-06-23 Daniel Cederman * config/sparc/driver-sparc.c: map /proc/cpuinfo with CPU LEON to leon3 --- gcc/config/sparc/driver-sparc.c | 1 + 1 file changed, 1 insertion(+) diff --git a/gcc/config/spa

[PATCH] Make muser-mode the default for LEON3

2015-06-23 Thread Daniel Cederman
The muser-mode flag causes the CASA instruction for LEON3 to use the user mode ASI. This is the correct behavior for almost all LEON3 targets. For this reason it makes sense to make user mode the default. This patch adds a flag for supervisor mode that can be used on the very few LEON3 targets that

[PATCH 1/2] Add mask to specify which LEON3 targets support CASA

2015-06-23 Thread Daniel Cederman
Not all LEON3 support the CASA instruction. This patch provides a mask that can be used to specify which LEON3 targets that support CASA. gcc/ChangeLog: 2015-06-22 Daniel Cederman * config/sparc/sparc.c (sparc_option_override): Mark CPU targets leon3 and leon3v7 as supportin

RFA: FT32: Fix building gcc.

2015-06-23 Thread Nicholas Clifton
Hi Guys, It seems that the FT32 port of GCC does not have a maintainer at the moment. Nevertheless I have a patch to fix a couple of build time problems compiling gcc for the FT32. Is this OK to apply ? Cheers Nick gcc/ChangeLog 2015-06-23 Nick Clifton * config/ft32/ft32.c

Re: [gomp4.1] Add new versions of GOMP_target{,_data,_update} and GOMP_target_enter_exit_data

2015-06-23 Thread Jakub Jelinek
On Tue, Jun 23, 2015 at 02:40:43PM +0300, Ilya Verbin wrote: > On Sat, Jun 20, 2015 at 00:35:14 +0300, Ilya Verbin wrote: > > Given that a mapped variable in 4.1 can have different kinds across nested > > data > > regions, we need to store map-type not only for each var, but also for each > > stru

Re: [gomp4.1] Add new versions of GOMP_target{,_data,_update} and GOMP_target_enter_exit_data

2015-06-23 Thread Ilya Verbin
On Sat, Jun 20, 2015 at 00:35:14 +0300, Ilya Verbin wrote: > Given that a mapped variable in 4.1 can have different kinds across nested > data > regions, we need to store map-type not only for each var, but also for each > structured mapping. Here is my WIP patch, is it sane? :) > Attached testca

Re: [AArch64] Implement -fpic for -mcmodel=small

2015-06-23 Thread Marcus Shawcroft
On 20 May 2015 at 11:21, Jiong Wang wrote: > gcc/ > * config/aarch64/aarch64.md: (ldr_got_small_): Support new GOT > relocation > modifiers. > (ldr_got_small_sidi): Ditto. > * config/aarch64/iterators.md (got_modifier): New mode iterator. > * config/aarch64/aarch64-otps.h (aarch64_code

Re: [gomp4.1] Handle linear clause on worksharing loop

2015-06-23 Thread Jakub Jelinek
On Tue, Jun 23, 2015 at 02:06:27PM +0300, Ilya Verbin wrote: > On Thu, Jun 18, 2015 at 15:15:21 +0200, Jakub Jelinek wrote: > > This patch adds support for linear clause on OpenMP 4.1 worksharing loops. > > > > 2015-06-18 Jakub Jelinek > > > > * gimplify.c (gimplify_scan_omp_clauses): For

Re: [gomp4.1] Handle linear clause on worksharing loop

2015-06-23 Thread Ilya Verbin
On Thu, Jun 18, 2015 at 15:15:21 +0200, Jakub Jelinek wrote: > This patch adds support for linear clause on OpenMP 4.1 worksharing loops. > > 2015-06-18 Jakub Jelinek > > * gimplify.c (gimplify_scan_omp_clauses): For linear clause > on worksharing loop combined with parallel add sh

Re: [PATCH] Enable two UNSIGNED_FLOAT simplifications in simplify_unary_operation_1

2015-06-23 Thread Renlin Li
Hi Christophe, Yes, we have also noticed this failure. Here I have a simple patch to remove the mfloat-abi option for hard-float toolchain. The default abi is used. For non-hardfloat toolchain, softfp abi is specified. I have checked with arm-none-eabi and arm-none-linux-gnueabihf toolchain,

Re: [PATCH] Expand PIC calls without PLT with -fno-plt

2015-06-23 Thread Alexander Monakov
On Tue, 23 Jun 2015, Ramana Radhakrishnan wrote: > > If you try disabling the REG_EQUAL note generation [*], you'll probably > > find a > > performance regression on arm32 (and probably on aarch64 as well? > > we only > > IMHO disabling the REG_EQUAL note generation is the wrong way to go about

Re: [PATCH] c/66516 - missing diagnostic on taking the address of a builtin function

2015-06-23 Thread Jakub Jelinek
On Tue, Jun 23, 2015 at 12:18:30PM +0200, Marek Polacek wrote: > > Is it intended that programs be able to take the address of > > the builtins that correspond to libc functions and make calls > > to the underlying libc functions via such pointers? (If so, > > the patch will need some tweaking.) >

Re: [PATCH] c/66516 - missing diagnostic on taking the address of a builtin function

2015-06-23 Thread Marek Polacek
On Mon, Jun 22, 2015 at 07:59:20PM -0600, Martin Sebor wrote: > >It seems like this patch regresess pr59630.c testcase; I don't see > >the testcase being addressed in this patch. > > Thanks for the review and for pointing out this regression! > I missed it among all the C test suite failures (I se

Re: match.pd: Three new patterns

2015-06-23 Thread Marek Polacek
On Tue, Jun 23, 2015 at 10:22:35AM +0200, Richard Biener wrote: > Who says you can't do bitwise ops on them? I can't see that being > enforced in the GIMPLE checking in tree-cfg.c. Yes, there is no > such thing as a "saturating" bitwise and but bitwise and should > just work fine. > > You can ch

Re: [PATCH][ARM] PR/65711: Don't pass '-dynamic-linker' when '-shared' is used

2015-06-23 Thread Ludovic Courtès
Richard Biener skribis: > On Mon, May 18, 2015 at 9:09 PM, Ludovic Courtès wrote: >> Ramana Radhakrishnan skribis: >> >>> On Thu, Apr 23, 2015 at 9:29 AM, Ludovic Courtès wrote: As discussed at . Patch is for both 4.8 and 4.9 (

Re: [i386, PATCH, 3/3] IA MCU psABI support: testsuite.

2015-06-23 Thread Kirill Yukhin
Hello, This patch introduces tests for new psABI. gcc/testsuite/ * gcc.target/i386/iamcu/abi-iamcu.exp: New file. * gcc.target/i386/iamcu/args.h: Likewise. * gcc.target/i386/iamcu/asm-support.S: Likewise. * gcc.target/i386/iamcu/defines.h: Likewise. * gcc.ta

Re: [PATCH][ARM] PR/65711: Don't pass '-dynamic-linker' when '-shared' is used

2015-06-23 Thread Jakub Jelinek
On Tue, Jun 23, 2015 at 11:30:25AM +0200, Ludovic Courtès wrote: > Ramana Radhakrishnan skribis: > > > On Thu, Apr 23, 2015 at 9:29 AM, Ludovic Courtès wrote: > >> As discussed at . > >> > >> Patch is for both 4.8 and 4.9 (possibly 5.1 too, I h

Re: [PATCH] Check dominator info in compute_dominance_frontiers

2015-06-23 Thread Richard Biener
On Mon, Jun 22, 2015 at 7:10 PM, Tom de Vries wrote: > On 22/06/15 13:47, Richard Biener wrote: >>> >>> (eventually also for the case where we >>> >>end up only computing the fast-query stuff). >>> > > Like this? > ... > diff --git a/gcc/dominance.c b/gcc/dominance.c > index 9c66ca2..58fc6fd 10064

Re: [PATCH][ARM] PR/65711: Don't pass '-dynamic-linker' when '-shared' is used

2015-06-23 Thread Ludovic Courtès
Ramana Radhakrishnan skribis: > On Thu, Apr 23, 2015 at 9:29 AM, Ludovic Courtès wrote: >> As discussed at . >> >> Patch is for both 4.8 and 4.9 (possibly 5.1 too, I haven’t checked.) >> > > OK for trunk. This is also ok for all release branche

Re: [PATCH][ARM] PR/65711: Don't pass '-dynamic-linker' when '-shared' is used

2015-06-23 Thread Richard Biener
On Mon, May 18, 2015 at 9:09 PM, Ludovic Courtès wrote: > Ramana Radhakrishnan skribis: > >> On Thu, Apr 23, 2015 at 9:29 AM, Ludovic Courtès wrote: >>> As discussed at . >>> >>> Patch is for both 4.8 and 4.9 (possibly 5.1 too, I haven’t checke

Re: [Ping, Patch, fortran, 64674, v3] [OOP] ICE in ASSOCIATE with class array

2015-06-23 Thread Andre Vehreschild
Hi Paul, thanks for the review. Submitted as r224827. Regards, Andre -- Andre Vehreschild * Email: vehre ad gmx dot de Index: gcc/testsuite/gfortran.dg/associate_18.f08 === --- gcc/testsuite/gfortran.dg/associate_18.f08 (Re

[PATCH, i386]; Fix PR 66560, Fails to generate ADDSUBPS

2015-06-23 Thread Uros Bizjak
Hello! Attached patch introduces combiner splitters to handle every possible ADDSUB permutation of vec_merge and vec_select/vec_concat operands. These combiners handle swapped PLUS and MINUS operators, and account for commutative operands of PLUS RTX. As shown in the attached testcases, there are

[PATCH COMMITTED] MAINTAINERS (Write After Approval): Add myself.

2015-06-23 Thread Ludovic Courtès
FYI. Index: ChangeLog === --- ChangeLog (revision 224824) +++ ChangeLog (revision 224825) @@ -1,3 +1,7 @@ +2015-06-23 Ludovic Courtès + + * MAINTAINERS (Write After Approval): Add myself. + 2015-06-22 Andreas Tobler * MAINT

Re: [Patch SRA] Fix PR66119 by calling get_move_ratio in SRA

2015-06-23 Thread Jakub Jelinek
On Tue, Jun 23, 2015 at 09:18:52AM +0100, James Greenhalgh wrote: > This patch fixes the issue by always calling get_move_ratio in the SRA > code, ensuring that an up-to-date value is used. > > Unfortunately, this means we have to use 0 as a sentinel value for > the parameter - indicating no user

[Patch AArch64 2/4] Control the FMA steering pass in tuning structures rather than as core property

2015-06-23 Thread James Greenhalgh
Hi, The FMA steering pass should be enabled through the tuning structures rather than be an intrinsic property of the core. This patch moves the control of the pass to the tuning structures - turning it off for everything other than a Cortex-A57 system (i.e. -mcpu=cortex-a57 or -mcpu=cortex-a57.

[Patch AArch64 1/4] Define candidates for instruction fusion in a .def file

2015-06-23 Thread James Greenhalgh
Hi, This patch moves the instruction fusion pairs from a set of #defines to an enum which we can generate from a .def file. We'll use that .def file again, and the friendly names it introduces shortly. OK? Thanks, James --- 2015-06-23 James Greenhalgh * config/aarch64/aarch64-fusi

[Patch AArch64 3/4] De-const-ify struct tune_params

2015-06-23 Thread James Greenhalgh
Hi, If we want to overwrite parts of this structure, we're going to need it to be more malleable than it is presently. Run through and remove const from each of the members, create a non-const tuning structure we can modify, and set aarch64_tune_params to always point to this new structure. Chan

[Patch AArch64 4/4] Add -moverride tuning command, and wire it up for control of fusion and fma-steering

2015-06-23 Thread James Greenhalgh
Hi, This final patch adds support for the new command line option "-moverride". The purpose of this command line is to allow expert-level users of the compiler, and those comfortable with experimenting with the compiler, *unsupported* full access to the tuning structures used in the AArch64 back-

[Patch AArch64 0/4] Add "-moverride" option for overriding tuning parameters

2015-06-23 Thread James Greenhalgh
Hi, This patch set adds support for a new command line option "-moverride". The purpose of this command line is to allow expert-level users of the compiler, and those comfortable with experimenting with the compiler, *unsupported* full access to the tuning structures used in the AArch64 back-end.

Re: *Ping* patch, fortran] Warn about constant integer divisions

2015-06-23 Thread Janne Blomqvist
On Sun, Jun 21, 2015 at 4:57 PM, Thomas Koenig wrote: > *ping* > > https://gcc.gnu.org/ml/gcc-patches/2015-06/msg00966.html > > >> Hello world, >> >> the attached patch emits a warning for constant integer division. >> While correct according to the standard, I cannot really think >> of a legitima

Re: [PATCH] Expand PIC calls without PLT with -fno-plt

2015-06-23 Thread Ramana Radhakrishnan
On Mon, Jun 22, 2015 at 7:11 PM, Alexander Monakov wrote: > On Mon, 22 Jun 2015, Jiong Wang wrote: >> Have done a quick experiment, -fno-plt doesn't work on AArch64. >> >> it's because although this patch force the function address into register, >> but the combine pass runs later combine it back

Re: match.pd: Three new patterns

2015-06-23 Thread Richard Biener
On Tue, 23 Jun 2015, Marek Polacek wrote: > On Tue, Jun 23, 2015 at 09:56:33AM +0200, Richard Biener wrote: > > > I think you're right about TYPE_SATURATING so I've dropped that and > > > instead > > > replaced it with TYPE_OVERFLOW_TRAPS. That should do the right thing > > > together with TYPE_

[Patch SRA] Fix PR66119 by calling get_move_ratio in SRA

2015-06-23 Thread James Greenhalgh
Hi, The problem in PR66119 is that we assume MOVE_RATIO will be constant for a compilation run, such that we only need to read it once at compiler startup if we want to set up defaults for --param sra-max-scalarization-size-Osize and --param sra-max-scalarization-size-Osize. This assumption is f

[nvptx] gcc/testsuite/gcc.target/nvptx/

2015-06-23 Thread Thomas Schwinge
Hi! Written and internally approved by Bernd nearly a year ago; now committed to trunk in r224822: commit 5b988b24f5e557e19242d50179aa4e3e0c3752d9 Author: tschwinge Date: Tue Jun 23 08:17:23 2015 + [nvptx] gcc/testsuite/gcc.target/nvptx/ We don't claim to support "K&R C" for

Re: match.pd: Three new patterns

2015-06-23 Thread Marek Polacek
On Tue, Jun 23, 2015 at 09:56:33AM +0200, Richard Biener wrote: > > I think you're right about TYPE_SATURATING so I've dropped that and instead > > replaced it with TYPE_OVERFLOW_TRAPS. That should do the right thing > > together with TYPE_OVERFLOW_SANITIZED. > > Are you sure? The point is that

Re: match.pd: Three new patterns

2015-06-23 Thread Richard Biener
On Mon, 22 Jun 2015, Marek Polacek wrote: > On Fri, Jun 19, 2015 at 05:51:53PM +0200, Marc Glisse wrote: > > On Fri, 19 Jun 2015, Marek Polacek wrote: > > > > >+/* x + y - (x | y) -> x & y */ > > >+(simplify > > >+ (minus (plus @0 @1) (bit_ior @0 @1)) > > >+ (if (!TYPE_OVERFLOW_SANITIZED (type) &

<    1   2