symm/gcm-*.S: Fix the `ṽ' encodings.
authorMark Wooding <mdw@distorted.org.uk>
Tue, 16 Jan 2024 12:33:22 +0000 (12:33 +0000)
committerMark Wooding <mdw@distorted.org.uk>
Tue, 16 Jan 2024 12:33:22 +0000 (12:33 +0000)
For some reason, Emacs got confused about how it wanted to display
that.  I think I did something crazy involving entering combining
characters by hand; this time, I just typed the thing on the keyboard
using the compose key and it worked.

symm/gcm-arm-crypto.S
symm/gcm-x86ish-pclmul.S

index ddc714b..ee31785 100644 (file)
        //      u v = SUM_{0<=i,j<n} u_i v_j t^{i+j}
        //
        // Suppose instead that we're given ũ = SUM_{0<=i<n} u_{n-i-1} t^i
-       // and  = SUM_{0<=j<n} v_{n-j-1} t^j, so the bits are backwards.
+       // and  = SUM_{0<=j<n} v_{n-j-1} t^j, so the bits are backwards.
        // Then
        //
-       //      ũ  = SUM_{0<=i,j<n} u_{n-i-1} v_{n-j-1} t^{i+j}
+       //      ũ  = SUM_{0<=i,j<n} u_{n-i-1} v_{n-j-1} t^{i+j}
        //          = SUM_{0<=i,j<n} u_i v_j t^{2n-2-(i+j)}
        //
        // which is almost the bit-reversal of u v, only it's shifted right
index 5edf56e..5f0c754 100644 (file)
        //      u v = SUM_{0<=i,j<n} u_i v_j t^{i+j}
        //
        // Suppose instead that we're given ũ = SUM_{0<=i<n} u_{n-i-1} t^i
-       // and  = SUM_{0<=j<n} v_{n-j-1} t^j, so the bits are backwards.
+       // and  = SUM_{0<=j<n} v_{n-j-1} t^j, so the bits are backwards.
        // Then
        //
-       //      ũ  = SUM_{0<=i,j<n} u_{n-i-1} v_{n-j-1} t^{i+j}
+       //      ũ  = SUM_{0<=i,j<n} u_{n-i-1} v_{n-j-1} t^{i+j}
        //          = SUM_{0<=i,j<n} u_i v_j t^{2n-2-(i+j)}
        //
        // which is almost the bit-reversal of u v, only it's shifted right