[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <20150215225559.GV23507@brightrain.aerifal.cx>
Date: Sun, 15 Feb 2015 17:55:59 -0500
From: Rich Felker <dalias@...c.org>
To: Denys Vlasenko <vda.linux@...glemail.com>
Cc: musl <musl@...ts.openwall.com>
Subject: Re: [PATCH] x86_64/memset: use "small block" code for blocks
up to 30 bytes long
On Sun, Feb 15, 2015 at 10:44:59PM +0100, Denys Vlasenko wrote:
> On Sun, Feb 15, 2015 at 4:03 PM, Rich Felker <dalias@...c.org> wrote:
> >> Just because we don't personally see a hit from 6-cycle imul of AMD CPUs,
> >> it does not mean people who do use those CPUs don't exist. Have heart...
> >
> > Did you test the version I attached? I think there should be at least
> > 4-5 cycles between when the imul is launched and when the result is
> > used, so I'm failing to see how the latency is a big deal.
>
> Okay, I won't insist.
> Your version works good. The "rep stosq" setup time is still noticeable
> even when we switch to it after 126:
>
> 129 byte block: 10.37 bytes/ns
> 128 byte block: 10.65 bytes/ns
> 127 byte block: 10.58 bytes/ns
> 126 byte block: 18.44 bytes/ns
> 125 byte block: 18.30 bytes/ns
> 124 byte block: 18.15 bytes/ns
>
> but I don't think we should do anything about this.
>
>
> Here
>
> lea -1(%rdx),%rcx
> cmp $126,%rcx
> jae 2f
>
> you'd have a stall, since cmp needs the result of lea. why not this?
>
> lea -1(%rdx),%rcx
> cmp $127,%rdx
> jae 2f
>
> then you can even move lea to "big buf" code part
> (no point doing it in "small buf" code where it is not used).
Because the point was to eliminate the extra conditional for n==0
(hopefully uncommon) in the fast case. By comparing the decremented
value as unsigned, we have 0UL-1 > 126.
> Possible bug: this check seems misplaced:
>
> 2: test %rdx,%rdx
> jz 1b
>
> it should be before byte stores:
> mov %sil,(%rdi)
> mov %sil,-1(%rdi,%rdx)
> cmp $2,%edx
> jbe 1f
> otherwise memset of zero length will fill two bytes, at buf[0] and buf[-1]
No it's intentional; see above.
> "sub $8,%rcx" can be folded into lea.
No, it can't, for the above reason.
> Please see attached file.
I'll compare how it performs.
Rich
Powered by blists - more mailing lists
Confused about mailing lists and their use?
Read about mailing lists on Wikipedia
and check out these
guidelines on proper formatting of your messages.
