On Wed, Feb 19, 2020 at 10:52:16AM +0100, Arnd Bergmann wrote:
> On Wed, Feb 19, 2020 at 9:45 AM Christophe Leroy
> wrote:
> > Le 16/02/2020 à 19:10, Arnd Bergmann a écrit :
> > > On Sat, Jan 11, 2020 at 12:33 PM Segher Boessenkool
> > > wrote:
> > >>
> > >> On Fri, Jan 10, 2020 at 07:45:44AM
On Wed, Feb 19, 2020 at 9:45 AM Christophe Leroy
wrote:
> Le 16/02/2020 à 19:10, Arnd Bergmann a écrit :
> > On Sat, Jan 11, 2020 at 12:33 PM Segher Boessenkool
> > wrote:
> >>
> >> On Fri, Jan 10, 2020 at 07:45:44AM +0100, Christophe Leroy wrote:
> >>> Le 09/01/2020 à 21:07, Segher Boessenkool
Le 16/02/2020 à 19:10, Arnd Bergmann a écrit :
On Sat, Jan 11, 2020 at 12:33 PM Segher Boessenkool
wrote:
On Fri, Jan 10, 2020 at 07:45:44AM +0100, Christophe Leroy wrote:
Le 09/01/2020 à 21:07, Segher Boessenkool a écrit :
It looks like the compiler did loop peeling. What GCC version
On Sat, Jan 11, 2020 at 12:33 PM Segher Boessenkool
wrote:
>
> On Fri, Jan 10, 2020 at 07:45:44AM +0100, Christophe Leroy wrote:
> > Le 09/01/2020 à 21:07, Segher Boessenkool a écrit :
> > >It looks like the compiler did loop peeling. What GCC version is this?
> > >Please try current trunk (to
On Fri, Jan 10, 2020 at 07:45:44AM +0100, Christophe Leroy wrote:
> Le 09/01/2020 à 21:07, Segher Boessenkool a écrit :
> >It looks like the compiler did loop peeling. What GCC version is this?
> >Please try current trunk (to become GCC 10), or at least GCC 9?
>
> It is with GCC 5.5
>
>
Le 09/01/2020 à 21:07, Segher Boessenkool a écrit :
On Thu, Jan 09, 2020 at 05:52:34PM +, Christophe Leroy wrote:
Wondering why we get something so complicated/redundant for
vdso_read_begin()
static __always_inline u32 vdso_read_begin(const struct vdso_data *vd)
{
u32 seq;
On Thu, Jan 09, 2020 at 05:52:34PM +, Christophe Leroy wrote:
> Wondering why we get something so complicated/redundant for
> vdso_read_begin()
>
> static __always_inline u32 vdso_read_begin(const struct vdso_data *vd)
> {
> u32 seq;
>
> while ((seq = READ_ONCE(vd->seq)) & 1)
>