Re: [RFC][PATCH 0/5] arch: atomic rework

2014-02-23 Thread Linus Torvalds
On Sun, Feb 23, 2014 at 8:59 PM, Paul E. McKenney wrote: > On Sun, Feb 23, 2014 at 05:35:28PM -0800, Linus Torvalds wrote: >> >> But "q = p->next" is ordered by how something can alias "p->next", not by >> 'q'! >> >> There is no need to restrict anything but 'p' for all of this to work. > > I can

Re: [RFC][PATCH 0/5] arch: atomic rework

2014-02-23 Thread Paul E. McKenney
On Sun, Feb 23, 2014 at 05:35:28PM -0800, Linus Torvalds wrote: > On Sun, Feb 23, 2014 at 5:16 PM, Paul E. McKenney > wrote: > >> > >> (a) we've said 'q' is restricted, so there is no aliasing between q > >> and the pointers b/c. So the compiler is free to move those accesses > >> around the "q =

Re: [RFC][PATCH 0/5] arch: atomic rework

2014-02-23 Thread Linus Torvalds
On Sun, Feb 23, 2014 at 5:16 PM, Paul E. McKenney wrote: >> >> (a) we've said 'q' is restricted, so there is no aliasing between q >> and the pointers b/c. So the compiler is free to move those accesses >> around the "q = p->next" access. > > Ah, if I understand you, very good! > > My example int

Re: [RFC][PATCH 0/5] arch: atomic rework

2014-02-23 Thread Paul E. McKenney
On Sun, Feb 23, 2014 at 11:31:25AM -0800, Linus Torvalds wrote: > On Sat, Feb 22, 2014 at 10:34 PM, Paul E. McKenney > wrote: > > > > Adding and subtracting integers to/from a RCU-protected pointer makes > > sense to me. > > Ack. And that's normal "access to an object" behavior anyway. And cover

gcc-4.9-20140223 is now available

2014-02-23 Thread gccadmin
Snapshot gcc-4.9-20140223 is now available on ftp://gcc.gnu.org/pub/gcc/snapshots/4.9-20140223/ and on various mirrors, see http://gcc.gnu.org/mirrors.html for details. This snapshot has been generated from the GCC 4.9 SVN branch with the following options: svn://gcc.gnu.org/svn/gcc/trunk

help with define_peephole2 condition

2014-02-23 Thread Paul S
When generating code for a two address machine (like x86) I'm trying to peephole sequences for commutative operations like (destination registers on left) 1.addRm,Rn 2.ld Rn,Rm to 1. addRn,Rm I have defined this peephole2 define_peephole2 [ (parallel

Re: [RFC][PATCH 0/5] arch: atomic rework

2014-02-23 Thread Linus Torvalds
On Sat, Feb 22, 2014 at 10:34 PM, Paul E. McKenney wrote: > > Adding and subtracting integers to/from a RCU-protected pointer makes > sense to me. Ack. And that's normal "access to an object" behavior anyway. > Adding and subtracting integers to/from an RCU-protected integer makes > sense in man

Re: [RFC] Introducing MIPS O32 ABI Extension for FR0 and FR1 Interlinking

2014-02-23 Thread Richard Sandiford
Matthew Fortune writes: > All, > > Imagination Technologies would like to introduce the design of an O32 > ABI extension for MIPS to allow it to be used in conjunction with MIPS > FPUs having 64-bit floating-point registers. This is a wide-reaching > design that involves changes to all components

Re: [RFC][PATCH 0/5] arch: atomic rework

2014-02-23 Thread Paul E. McKenney
On Sat, Feb 22, 2014 at 07:50:35PM -0800, Linus Torvalds wrote: > On Sat, Feb 22, 2014 at 4:39 PM, Paul E. McKenney > wrote: > > > > Agreed, by far the most frequent use is "->" to dereference and assignment > > to store into a local variable. The other operations where the kernel > > expects ord