diff mbox series

[v2,2/2] crypto: algapi - annotate expected branch behavior in crypto_inc()

Message ID 1487109062-3419-2-git-send-email-ard.biesheuvel@linaro.org
State Accepted
Commit 27c539aeffe2851bf9aeeeba8a58038187a05019
Headers show
Series [v2,1/2] crypto: arm/aes-neonbs - resolve fallback cipher at runtime | expand

Commit Message

Ard Biesheuvel Feb. 14, 2017, 9:51 p.m. UTC
To prevent unnecessary branching, mark the exit condition of the
primary loop as likely(), given that a carry in a 32-bit counter
occurs very rarely.

On arm64, the resulting code is emitted by GCC as

     9a8:   cmp     w1, #0x3
     9ac:   add     x3, x0, w1, uxtw
     9b0:   b.ls    9e0 <crypto_inc+0x38>
     9b4:   ldr     w2, [x3,#-4]!
     9b8:   rev     w2, w2
     9bc:   add     w2, w2, #0x1
     9c0:   rev     w4, w2
     9c4:   str     w4, [x3]
     9c8:   cbz     w2, 9d0 <crypto_inc+0x28>
     9cc:   ret

where the two remaining branch conditions (one for size < 4 and one for
the carry) are statically predicted as non-taken, resulting in optimal
execution in the vast majority of cases.

Also, replace the open coded alignment test with IS_ALIGNED().

Cc: Jason A. Donenfeld <Jason@zx2c4.com>
Signed-off-by: Ard Biesheuvel <ard.biesheuvel@linaro.org>

---
v2: no change

 crypto/algapi.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

-- 
2.7.4

Comments

Herbert Xu March 9, 2017, 10:46 a.m. UTC | #1
On Tue, Feb 14, 2017 at 09:51:02PM +0000, Ard Biesheuvel wrote:
> To prevent unnecessary branching, mark the exit condition of the

> primary loop as likely(), given that a carry in a 32-bit counter

> occurs very rarely.

> 

> On arm64, the resulting code is emitted by GCC as

> 

>      9a8:   cmp     w1, #0x3

>      9ac:   add     x3, x0, w1, uxtw

>      9b0:   b.ls    9e0 <crypto_inc+0x38>

>      9b4:   ldr     w2, [x3,#-4]!

>      9b8:   rev     w2, w2

>      9bc:   add     w2, w2, #0x1

>      9c0:   rev     w4, w2

>      9c4:   str     w4, [x3]

>      9c8:   cbz     w2, 9d0 <crypto_inc+0x28>

>      9cc:   ret

> 

> where the two remaining branch conditions (one for size < 4 and one for

> the carry) are statically predicted as non-taken, resulting in optimal

> execution in the vast majority of cases.

> 

> Also, replace the open coded alignment test with IS_ALIGNED().

> 

> Cc: Jason A. Donenfeld <Jason@zx2c4.com>

> Signed-off-by: Ard Biesheuvel <ard.biesheuvel@linaro.org>


Patch applied.  Thanks.
-- 
Email: Herbert Xu <herbert@gondor.apana.org.au>
Home Page: http://gondor.apana.org.au/~herbert/
PGP Key: http://gondor.apana.org.au/~herbert/pubkey.txt
diff mbox series

Patch

diff --git a/crypto/algapi.c b/crypto/algapi.c
index 6b52e8f0b95f..9eed4ef9c971 100644
--- a/crypto/algapi.c
+++ b/crypto/algapi.c
@@ -963,11 +963,11 @@  void crypto_inc(u8 *a, unsigned int size)
 	u32 c;
 
 	if (IS_ENABLED(CONFIG_HAVE_EFFICIENT_UNALIGNED_ACCESS) ||
-	    !((unsigned long)b & (__alignof__(*b) - 1)))
+	    IS_ALIGNED((unsigned long)b, __alignof__(*b)))
 		for (; size >= 4; size -= 4) {
 			c = be32_to_cpu(*--b) + 1;
 			*b = cpu_to_be32(c);
-			if (c)
+			if (likely(c))
 				return;
 		}