Looks ok to me.
I am left wondering if the code should just do that
add32_with_carry3(sum, result >> 32, result);
in the caller instead - right now pretty much every return point in
do_csum() effectively does that, with the exception of
- the 0-length case, which is presumably not really an issue in real
life and could as well just return 0
- the 8-byte case that does two 32-bit loads instead, but could just
do a single 8-byte load and return it (and then the generic version in
the caller would do a shift).
That would simplifiy the code a bit - it wouldn't need to pass in
"sum" to do_csum at all, and we'd have just a single case of that
special 3-input carry add..
But I'm certainly ok with it as-is. I'm not sure how performance
critical the whole csum routine is, but at least now it doesn't
introduce a lot of new complex asm.
And this version might be reasonable to make generic, so that non-x86
architectures could use the same approach. That's what we ended up
doing for the dcache word-at-a-time code too in the end.
Linus