Re: Importance of transformations that turn data dependencies into control dependencies?

2016-02-26 Thread Richard Biener
On Thu, Feb 25, 2016 at 6:33 PM, Torvald Riegel wrote: > On Wed, 2016-02-24 at 13:14 +0100, Richard Biener wrote: >> On Tue, Feb 23, 2016 at 8:38 PM, Torvald Riegel wrote: >> > I'd like to know, based on the GCC experience, how important we consider >> > optimizations that may turn data dependenc

Validity of SUBREG+AND-imm transformations

2016-02-26 Thread Kyrill Tkachov
Hi all, I'm looking at a case where some RTL passes create an RTL expression of the form: (subreg:QI (and:SI (reg:SI x1) (const_int 31)) 0) which I'd like to simplify to: (and:QI (subreg:QI (reg:SI x1) 0) (const_int 31)) Because (const_int 31) masks out the upper bits after

Re: [WWWDocs] Deprecate support for non-thumb ARM devices

2016-02-26 Thread Richard Earnshaw (lists)
On 24/02/16 13:59, Richard Earnshaw (lists) wrote: > After discussion with the ARM port maintainers we have decided that now > is probably the right time to deprecate support for versions of the ARM > Architecture prior to ARMv4t. This will allow us to clean up some of > the code base going forwar

Re: Importance of transformations that turn data dependencies into control dependencies?

2016-02-26 Thread Paul E. McKenney
On Fri, Feb 26, 2016 at 11:49:29AM +0100, Richard Biener wrote: > On Thu, Feb 25, 2016 at 6:33 PM, Torvald Riegel wrote: > > On Wed, 2016-02-24 at 13:14 +0100, Richard Biener wrote: > >> On Tue, Feb 23, 2016 at 8:38 PM, Torvald Riegel wrote: > >> > I'd like to know, based on the GCC experience, h

Re: RFC: Update Intel386, x86-64 and IA MCU psABIs for passing/returning empty struct

2016-02-26 Thread H.J. Lu
On Tue, Feb 23, 2016 at 5:14 PM, Richard Smith wrote: > On Tue, Feb 23, 2016 at 8:28 AM, H.J. Lu wrote: >> On Tue, Feb 23, 2016 at 8:15 AM, Michael Matz wrote: >>> Hi, >>> >>> On Tue, 23 Feb 2016, H.J. Lu wrote: >>> I thought --- An empty type is a type where it and all of it

Committing via git

2016-02-26 Thread Joel Sherrill
Hi Is there something special needed to commit via git? I got an odd error pushing some minor RTEMS patches and wondered what the proper procedure was. I am using the same commands and process I use with newlib so was wondering. The website has svn instructions so maybe I am just confused after

Re: Committing via git

2016-02-26 Thread H.J. Lu
On Fri, Feb 26, 2016 at 9:25 AM, Joel Sherrill wrote: > Hi > > Is there something special needed to commit via git? I got an odd error > pushing some minor RTEMS patches and wondered what the proper procedure was. What is "odd error"? H.J.

Re: Committing via git

2016-02-26 Thread Jonathan Wakely
On 26 February 2016 at 17:25, Joel Sherrill wrote: > Hi > > Is there something special needed to commit via git? I got an odd error > pushing some minor RTEMS patches and wondered what the proper procedure was. > > I am using the same commands and process I use with newlib so was wondering. > > Th

Re: Committing via git

2016-02-26 Thread Joel Sherrill
On 2/26/2016 11:50 AM, Jonathan Wakely wrote: On 26 February 2016 at 17:25, Joel Sherrill wrote: Hi Is there something special needed to commit via git? I got an odd error pushing some minor RTEMS patches and wondered what the proper procedure was. I am using the same commands and process I

Re: Committing via git

2016-02-26 Thread Jeff Law
On 02/26/2016 12:18 PM, Joel Sherrill wrote: On 2/26/2016 11:50 AM, Jonathan Wakely wrote: On 26 February 2016 at 17:25, Joel Sherrill wrote: Hi Is there something special needed to commit via git? I got an odd error pushing some minor RTEMS patches and wondered what the proper procedure was

Re: Importance of transformations that turn data dependencies into control dependencies?

2016-02-26 Thread Jeff Law
On 02/24/2016 05:14 AM, Richard Biener wrote: Note that if a user writes if (p == d) { ... do lots of stuff via p ... } GCC might rewrite accesses to p as accesses to d and thus expose those opportunities. Is that a transform that isn't valid then or is the code written by th

Re: Validity of SUBREG+AND-imm transformations

2016-02-26 Thread Jeff Law
On 02/26/2016 06:40 AM, Kyrill Tkachov wrote: Hi all, I'm looking at a case where some RTL passes create an RTL expression of the form: (subreg:QI (and:SI (reg:SI x1) (const_int 31)) 0) which I'd like to simplify to: (and:QI (subreg:QI (reg:SI x1) 0) (const_int 31)) I can

Warning for converting (possibly) negative float/double to unsigned int

2016-02-26 Thread Bradley Lucier
Perhaps this question is appropriate for the gcc mail list. Converting a float/double to unsigned int is undefined if the result would be negative when converted to a signed int. x86-64 and arm treat this condition differently---x86-64 returns a value whose bit pattern is the same as the bit

Re: [isocpp-parallel] Proposal for new memory_order_consume definition

2016-02-26 Thread Lawrence Crowl
On 2/25/16, Hans Boehm wrote: > If carries_dependency affects semantics, then it should not be an > attribute. > > The original design, or at least my understanding of it, was that it not > have semantics; it was only a suggestion to the compiler that it should > preserve dependencies instead of i