Re: [RFC][AArch64] function prologue analyzer in linux kernel

2016-01-11 Thread Andrew Pinski
On Mon, Jan 11, 2016 at 10:11 PM, AKASHI Takahiro wrote: > Will, > > > On 01/09/2016 12:53 AM, Will Deacon wrote: >> >> On Fri, Jan 08, 2016 at 02:36:32PM +0900, AKASHI Takahiro wrote: >>> >>> On 01/07/2016 11:56 PM, Richard Earnshaw (lists) wrote: On 07/01/16 14:22, Will Deacon wrote: >

Re: [RFC][AArch64] function prologue analyzer in linux kernel

2016-01-11 Thread AKASHI Takahiro
Will, On 01/09/2016 12:53 AM, Will Deacon wrote: On Fri, Jan 08, 2016 at 02:36:32PM +0900, AKASHI Takahiro wrote: On 01/07/2016 11:56 PM, Richard Earnshaw (lists) wrote: On 07/01/16 14:22, Will Deacon wrote: On Thu, Dec 24, 2015 at 04:57:54PM +0900, AKASHI Takahiro wrote: So I'd like to intr

Re: Some real-life feedback on -Wmisleading-indentation

2016-01-11 Thread Jeff Law
On 01/11/2016 07:53 AM, David Malcolm wrote: In Chapter 31 of "Code Complete" (I'm looking at the 2nd edition), McConnell discusses the use of whitespace in code layout; he talks about both blank lines and indentation as being useful for providing hints to the human reader about the structure o

RE: [Patch] MIPS FDE deletion

2016-01-11 Thread Moore, Catherine
> -Original Message- > From: Maciej W. Rozycki [mailto:ma...@imgtec.com] > Sent: Monday, January 11, 2016 5:00 PM > To: Moore, Catherine > Cc: binut...@sourceware.org; gcc@gcc.gnu.org; Richard Sandiford > Subject: Re: [Patch] MIPS FDE deletion > > Hi Catherine, > > On Fri, 16 Oct 2015,

Re: [Patch] MIPS FDE deletion

2016-01-11 Thread Maciej W. Rozycki
Hi Catherine, On Fri, 16 Oct 2015, Moore, Catherine wrote: > MIPS16 call stubs now have .cfi directives. If the linker decides that > one of these call stubs is not required, it will emit incorrect frame > info. This patch suppresses the generation of the frame info by setting > the output s

Re: ivopts vs. garbage collection

2016-01-11 Thread Tom Tromey
> "Michael" == Michael Matz writes: Michael> Well, that's a hack. A solution is to design something that Michael> works generally for garbage collected languages with such Michael> requirements instead of arbitrarily limiting transformations Michael> here and there. It could be something li

Re: ivopts vs. garbage collection

2016-01-11 Thread Richard Biener
On January 11, 2016 8:35:25 PM GMT+01:00, Michael Matz wrote: >Hi, > >On Mon, 11 Jan 2016, Ian Lance Taylor wrote: > >> > Well, that's a hack. A solution is to design something that works >> > generally for garbage collected languages with such requirements >> > instead of arbitrarily limiting

Re: ivopts vs. garbage collection

2016-01-11 Thread Michael Matz
Hi, On Mon, 11 Jan 2016, Ian Lance Taylor wrote: > > Well, that's a hack. A solution is to design something that works > > generally for garbage collected languages with such requirements > > instead of arbitrarily limiting transformations here and there. It > > could be something like the n

Re: How to determine source location of pragma?

2016-01-11 Thread Manuel López-Ibáñez
On 11/01/16 01:08, Vanush Vaswani wrote: I am new to GCC internals. I'm trying to create a plugin to operate on pragmas. Currently have this working using c_register_pragma with a callback. The callback performs pragma_lex and is able to retrieve the string token of the pragma based on this exa

Re: ivopts vs. garbage collection

2016-01-11 Thread Ian Lance Taylor
On Mon, Jan 11, 2016 at 10:00 AM, Michael Matz wrote: > > On Fri, 8 Jan 2016, Richard Biener wrote: > >> > The only solution here is for ivopts to keep a pointer to the array, >> > not a pointer to some location near, but outside of the array. >> >> Yes, the solution is to make IVOPTs not do this

Re: Some real-life feedback on -Wmisleading-indentation

2016-01-11 Thread Manuel López-Ibáñez
On 11/01/16 07:20, Gerald Pfeifer wrote: This is from the Wine testsuite, and the if (0) in colum one guards one invication of the function under test that would crash (so is the equivalent of #if 0...#endif, except that it avoids conditional compilation). Perhaps a good heuristic is to disable

Re: ivopts vs. garbage collection

2016-01-11 Thread Michael Matz
Hi, On Fri, 8 Jan 2016, Richard Biener wrote: > > The only solution here is for ivopts to keep a pointer to the array, > > not a pointer to some location near, but outside of the array. > > Yes, the solution is to make IVOPTs not do this (eventually controlled > by a parameter because clearly

Re: ipa vrp implementation in gcc

2016-01-11 Thread Jan Hubicka
> On Mon, Jan 11, 2016 at 1:38 AM, Kugan > wrote: > > Hi All, > > > > I am looking at implementing a ipa vrp pass. Jan Hubicka also talks > > about this in 2013 GNU Cauldron as one of the optimization he would like > > to see in gcc. So my question is, is any one implementing it. If not we > > wou

Re: ipa vrp implementation in gcc

2016-01-11 Thread vivek pandya
> On Mon, Jan 11, 2016 at 4:07 PM, Richard Biener > wrote: >> >> On Mon, Jan 11, 2016 at 1:38 AM, Kugan >> wrote: >> > Hi All, >> > >> > I am looking at implementing a ipa vrp pass. Jan Hubicka also talks >> > about this in 2013 GNU Cauldron as one of the optimization he would like >> > to see in

Re: Some real-life feedback on -Wmisleading-indentation

2016-01-11 Thread David Malcolm
On Mon, 2016-01-11 at 15:20 +0800, Gerald Pfeifer wrote: > Compiling Wine with GCC trunk (to become GCC 6) I noticed four > dozen of warnings triggered by -Wmisleading-indentation. > > Some are simply weird formatting, some may be indicative of > real issues -- and I have started to look into the

Re: ipa vrp implementation in gcc

2016-01-11 Thread Richard Biener
On Mon, Jan 11, 2016 at 1:38 AM, Kugan wrote: > Hi All, > > I am looking at implementing a ipa vrp pass. Jan Hubicka also talks > about this in 2013 GNU Cauldron as one of the optimization he would like > to see in gcc. So my question is, is any one implementing it. If not we > would like to do th

Re: __builtin_memcpy and alignment assumptions

2016-01-11 Thread Richard Biener
On Fri, Jan 8, 2016 at 7:36 PM, Steve Ellcey wrote: > On Fri, 2016-01-08 at 12:56 +0100, Richard Biener wrote: >> On Fri, Jan 8, 2016 at 12:40 PM, Eric Botcazou >> wrote: >> >> I think we only assume it if the pointer is actually dereferenced, >> >> otherwise >> >> it just breaks too much code

Re: Prototype implementation: Improving effectiveness and generality of auto-vectorization

2016-01-11 Thread Richard Biener
On Fri, Jan 8, 2016 at 5:11 PM, Alan Lawrence wrote: > On Tues, Oct 27, 2015 at 2:39 PM, Richard Biener > wrote: >> >> On Mon, Oct 26, 2015 at 6:59 AM, sameera >> wrote: >>> >>> >>> Richard, we have defined the input language for convenience in prototype >>> implementation. However, we will be u