out of bounds access in insn-automata.c

2016-03-22 Thread Aldy Hernandez
Howdy! I'm working on enhancements to our out-of-bounds warnings in VRP, such that we can warn and isolate conditionally out-of-bound accesses (similar to what we do in gimple-ssa-isolate-paths.c for NULL accesses). With my WIP I have found the following out of bounds in the array access at

Re: Mysterious decision in combine

2016-03-22 Thread Segher Boessenkool
On Mon, Mar 21, 2016 at 02:31:51PM +0100, Dominik Vogt wrote: > On Thu, Mar 17, 2016 at 01:22:04PM -0700, Richard Henderson wrote: > > On 03/16/2016 11:35 PM, Dominik Vogt wrote: > Now combine tries to combine > > (parallel [ > (set (reg:SI 64) > (and:SI (mem:SI (reg:DI 2 %r2

gcc-5-20160322 is now available

2016-03-22 Thread gccadmin
Snapshot gcc-5-20160322 is now available on ftp://gcc.gnu.org/pub/gcc/snapshots/5-20160322/ and on various mirrors, see http://gcc.gnu.org/mirrors.html for details. This snapshot has been generated from the GCC 5 SVN branch with the following options: svn://gcc.gnu.org/svn/gcc/branches/gcc-5

Re: Mysterious decision in combine

2016-03-22 Thread Richard Henderson
On 03/21/2016 06:31 AM, Dominik Vogt wrote: > Why does it drop the "parallel" and "clobber" in the combination; > is there a way to force combine to keep that? > > Trying 6 -> 7: > Failed to match this instruction: > (set (reg:DI 65) > (and:DI (subreg:DI (mem:SI (reg:DI 2 %r2 [ a ]) [1

Re: [gimplefe] [gsoc16] Gimple Front End Project

2016-03-22 Thread Richard Biener
On Tue, Mar 22, 2016 at 2:45 PM, Prathamesh Kulkarni wrote: > On 22 March 2016 at 16:26, Richard Biener wrote: >> On Tue, Mar 22, 2016 at 12:08 AM, Prasad Ghangal >> wrote: >>> Hi! >>> >>> How exactly can we achieve start stop compilation on specific pass (ie >>> run single pass on input)? >>> >

Re: [gimplefe] [gsoc16] Gimple Front End Project

2016-03-22 Thread Prathamesh Kulkarni
On 22 March 2016 at 16:26, Richard Biener wrote: > On Tue, Mar 22, 2016 at 12:08 AM, Prasad Ghangal > wrote: >> Hi! >> >> How exactly can we achieve start stop compilation on specific pass (ie >> run single pass on input)? >> >> eg. $cgimple -ftree-copyrename foo.c >> >> should produce optimizati

Re: [gimplefe] [gsoc16] Gimple Front End Project

2016-03-22 Thread Richard Biener
On Tue, Mar 22, 2016 at 12:08 AM, Prasad Ghangal wrote: > Hi! > > How exactly can we achieve start stop compilation on specific pass (ie > run single pass on input)? > > eg. $cgimple -ftree-copyrename foo.c > > should produce optimization result of -ftree-copyrename pass on foo.c input You need p

Re: [gimplefe] [gsoc16] Gimple Front End Project

2016-03-22 Thread Richard Biener
On Mon, Mar 21, 2016 at 4:35 AM, Trevor Saunders wrote: > On Mon, Mar 21, 2016 at 04:43:35AM +0530, Prasad Ghangal wrote: >> Hi! >> >> Sorry for the late reply. >> >> I was observing gimple dumps and my initial findings are, to parse >> gimple, we have to add support for following components to C

Re: Leaking bitmap data in ree.c?

2016-03-22 Thread Richard Biener
On Mon, Mar 21, 2016 at 6:19 PM, Jeff Law wrote: > On 03/21/2016 11:16 AM, David Malcolm wrote: >> >> On Mon, 2016-03-21 at 11:13 -0600, Jeff Law wrote: >>> >>> On 03/21/2016 11:15 AM, Trevor Saunders wrote: > I'll resist the urge for now to apply RAII principles in this > code,