Rich Salz | 6aa36e8 | 2016-05-21 08:23:39 -0400 | [diff] [blame^] | 1 | #! /usr/bin/env perl |
| 2 | # Copyright 2010-2016 The OpenSSL Project Authors. All Rights Reserved. |
| 3 | # |
| 4 | # Licensed under the OpenSSL license (the "License"). You may not use |
| 5 | # this file except in compliance with the License. You can obtain a copy |
| 6 | # in the file LICENSE in the source distribution or at |
| 7 | # https://www.openssl.org/source/license.html |
| 8 | |
Andy Polyakov | 7d1f55e | 2010-09-10 14:50:17 +0000 | [diff] [blame] | 9 | |
| 10 | # ==================================================================== |
| 11 | # Written by Andy Polyakov <appro@openssl.org> for the OpenSSL |
| 12 | # project. The module is, however, dual licensed under OpenSSL and |
| 13 | # CRYPTOGAMS licenses depending on where you obtain it. For further |
| 14 | # details see http://www.openssl.org/~appro/cryptogams/. |
| 15 | # ==================================================================== |
| 16 | |
| 17 | # September 2010. |
Andy Polyakov | 8986e37 | 2010-09-21 11:37:00 +0000 | [diff] [blame] | 18 | # |
| 19 | # The module implements "4-bit" GCM GHASH function and underlying |
| 20 | # single multiplication operation in GF(2^128). "4-bit" means that it |
| 21 | # uses 256 bytes per-key table [+128 bytes shared table]. Performance |
| 22 | # was measured to be ~18 cycles per processed byte on z10, which is |
| 23 | # almost 40% better than gcc-generated code. It should be noted that |
| 24 | # 18 cycles is worse result than expected: loop is scheduled for 12 |
| 25 | # and the result should be close to 12. In the lack of instruction- |
| 26 | # level profiling data it's impossible to tell why... |
Andy Polyakov | 7d1f55e | 2010-09-10 14:50:17 +0000 | [diff] [blame] | 27 | |
Andy Polyakov | e822c75 | 2010-11-29 20:52:43 +0000 | [diff] [blame] | 28 | # November 2010. |
| 29 | # |
| 30 | # Adapt for -m31 build. If kernel supports what's called "highgprs" |
| 31 | # feature on Linux [see /proc/cpuinfo], it's possible to use 64-bit |
| 32 | # instructions and achieve "64-bit" performance even in 31-bit legacy |
| 33 | # application context. The feature is not specific to any particular |
| 34 | # processor, as long as it's "z-CPU". Latter implies that the code |
| 35 | # remains z/Architecture specific. On z990 it was measured to perform |
| 36 | # 2.8x better than 32-bit code generated by gcc 4.3. |
| 37 | |
Andy Polyakov | 0ab8fd5 | 2011-03-04 13:09:16 +0000 | [diff] [blame] | 38 | # March 2011. |
| 39 | # |
| 40 | # Support for hardware KIMD-GHASH is verified to produce correct |
| 41 | # result and therefore is engaged. On z196 it was measured to process |
| 42 | # 8KB buffer ~7 faster than software implementation. It's not as |
| 43 | # impressive for smaller buffer sizes and for smallest 16-bytes buffer |
| 44 | # it's actually almost 2 times slower. Which is the reason why |
| 45 | # KIMD-GHASH is not used in gcm_gmult_4bit. |
| 46 | |
Andy Polyakov | e822c75 | 2010-11-29 20:52:43 +0000 | [diff] [blame] | 47 | $flavour = shift; |
| 48 | |
| 49 | if ($flavour =~ /3[12]/) { |
| 50 | $SIZE_T=4; |
| 51 | $g=""; |
| 52 | } else { |
| 53 | $SIZE_T=8; |
| 54 | $g="g"; |
| 55 | } |
| 56 | |
Richard Levitte | a5aa63a | 2016-03-11 00:49:47 +0100 | [diff] [blame] | 57 | while (($output=shift) && ($output!~/\w[\w\-]*\.\w+$/)) {} |
Andy Polyakov | 7d1f55e | 2010-09-10 14:50:17 +0000 | [diff] [blame] | 58 | open STDOUT,">$output"; |
| 59 | |
Andy Polyakov | 0ab8fd5 | 2011-03-04 13:09:16 +0000 | [diff] [blame] | 60 | $softonly=0; |
Andy Polyakov | 8986e37 | 2010-09-21 11:37:00 +0000 | [diff] [blame] | 61 | |
Andy Polyakov | 7d1f55e | 2010-09-10 14:50:17 +0000 | [diff] [blame] | 62 | $Zhi="%r0"; |
| 63 | $Zlo="%r1"; |
| 64 | |
| 65 | $Xi="%r2"; # argument block |
| 66 | $Htbl="%r3"; |
| 67 | $inp="%r4"; |
| 68 | $len="%r5"; |
| 69 | |
| 70 | $rem0="%r6"; # variables |
| 71 | $rem1="%r7"; |
| 72 | $nlo="%r8"; |
| 73 | $nhi="%r9"; |
| 74 | $xi="%r10"; |
| 75 | $cnt="%r11"; |
| 76 | $tmp="%r12"; |
| 77 | $x78="%r13"; |
| 78 | $rem_4bit="%r14"; |
| 79 | |
| 80 | $sp="%r15"; |
| 81 | |
| 82 | $code.=<<___; |
| 83 | .text |
| 84 | |
| 85 | .globl gcm_gmult_4bit |
| 86 | .align 32 |
| 87 | gcm_gmult_4bit: |
Andy Polyakov | 8986e37 | 2010-09-21 11:37:00 +0000 | [diff] [blame] | 88 | ___ |
Andy Polyakov | 0ab8fd5 | 2011-03-04 13:09:16 +0000 | [diff] [blame] | 89 | $code.=<<___ if(!$softonly && 0); # hardware is slow for single block... |
Andy Polyakov | 8986e37 | 2010-09-21 11:37:00 +0000 | [diff] [blame] | 90 | larl %r1,OPENSSL_s390xcap_P |
| 91 | lg %r0,0(%r1) |
| 92 | tmhl %r0,0x4000 # check for message-security-assist |
| 93 | jz .Lsoft_gmult |
| 94 | lghi %r0,0 |
Andy Polyakov | 670ad0f | 2016-04-15 16:39:22 +0200 | [diff] [blame] | 95 | lg %r1,24(%r1) # load second word of kimd capabilities vector |
Andy Polyakov | 8986e37 | 2010-09-21 11:37:00 +0000 | [diff] [blame] | 96 | tmhh %r1,0x4000 # check for function 65 |
| 97 | jz .Lsoft_gmult |
| 98 | stg %r0,16($sp) # arrange 16 bytes of zero input |
| 99 | stg %r0,24($sp) |
| 100 | lghi %r0,65 # function 65 |
| 101 | la %r1,0($Xi) # H lies right after Xi in gcm128_context |
| 102 | la $inp,16($sp) |
| 103 | lghi $len,16 |
| 104 | .long 0xb93e0004 # kimd %r0,$inp |
| 105 | brc 1,.-4 # pay attention to "partial completion" |
| 106 | br %r14 |
| 107 | .align 32 |
| 108 | .Lsoft_gmult: |
| 109 | ___ |
| 110 | $code.=<<___; |
Andy Polyakov | e822c75 | 2010-11-29 20:52:43 +0000 | [diff] [blame] | 111 | stm${g} %r6,%r14,6*$SIZE_T($sp) |
Andy Polyakov | 7d1f55e | 2010-09-10 14:50:17 +0000 | [diff] [blame] | 112 | |
| 113 | aghi $Xi,-1 |
| 114 | lghi $len,1 |
| 115 | lghi $x78,`0xf<<3` |
| 116 | larl $rem_4bit,rem_4bit |
| 117 | |
| 118 | lg $Zlo,8+1($Xi) # Xi |
| 119 | j .Lgmult_shortcut |
| 120 | .type gcm_gmult_4bit,\@function |
| 121 | .size gcm_gmult_4bit,(.-gcm_gmult_4bit) |
| 122 | |
| 123 | .globl gcm_ghash_4bit |
| 124 | .align 32 |
| 125 | gcm_ghash_4bit: |
Andy Polyakov | 8986e37 | 2010-09-21 11:37:00 +0000 | [diff] [blame] | 126 | ___ |
| 127 | $code.=<<___ if(!$softonly); |
| 128 | larl %r1,OPENSSL_s390xcap_P |
| 129 | lg %r0,0(%r1) |
| 130 | tmhl %r0,0x4000 # check for message-security-assist |
| 131 | jz .Lsoft_ghash |
| 132 | lghi %r0,0 |
| 133 | la %r1,16($sp) |
| 134 | .long 0xb93e0004 # kimd %r0,%r4 |
| 135 | lg %r1,24($sp) |
| 136 | tmhh %r1,0x4000 # check for function 65 |
| 137 | jz .Lsoft_ghash |
| 138 | lghi %r0,65 # function 65 |
| 139 | la %r1,0($Xi) # H lies right after Xi in gcm128_context |
| 140 | .long 0xb93e0004 # kimd %r0,$inp |
| 141 | brc 1,.-4 # pay attention to "partial completion" |
| 142 | br %r14 |
| 143 | .align 32 |
| 144 | .Lsoft_ghash: |
| 145 | ___ |
Andy Polyakov | 26e6bac | 2012-04-12 06:44:34 +0000 | [diff] [blame] | 146 | $code.=<<___ if ($flavour =~ /3[12]/); |
Andy Polyakov | e822c75 | 2010-11-29 20:52:43 +0000 | [diff] [blame] | 147 | llgfr $len,$len |
| 148 | ___ |
Andy Polyakov | 8986e37 | 2010-09-21 11:37:00 +0000 | [diff] [blame] | 149 | $code.=<<___; |
Andy Polyakov | e822c75 | 2010-11-29 20:52:43 +0000 | [diff] [blame] | 150 | stm${g} %r6,%r14,6*$SIZE_T($sp) |
Andy Polyakov | 7d1f55e | 2010-09-10 14:50:17 +0000 | [diff] [blame] | 151 | |
| 152 | aghi $Xi,-1 |
| 153 | srlg $len,$len,4 |
| 154 | lghi $x78,`0xf<<3` |
| 155 | larl $rem_4bit,rem_4bit |
| 156 | |
| 157 | lg $Zlo,8+1($Xi) # Xi |
| 158 | lg $Zhi,0+1($Xi) |
Andy Polyakov | 8986e37 | 2010-09-21 11:37:00 +0000 | [diff] [blame] | 159 | lghi $tmp,0 |
Andy Polyakov | 7d1f55e | 2010-09-10 14:50:17 +0000 | [diff] [blame] | 160 | .Louter: |
Andy Polyakov | 8986e37 | 2010-09-21 11:37:00 +0000 | [diff] [blame] | 161 | xg $Zhi,0($inp) # Xi ^= inp |
| 162 | xg $Zlo,8($inp) |
| 163 | xgr $Zhi,$tmp |
Andy Polyakov | 7d1f55e | 2010-09-10 14:50:17 +0000 | [diff] [blame] | 164 | stg $Zlo,8+1($Xi) |
| 165 | stg $Zhi,0+1($Xi) |
| 166 | |
| 167 | .Lgmult_shortcut: |
Andy Polyakov | 8986e37 | 2010-09-21 11:37:00 +0000 | [diff] [blame] | 168 | lghi $tmp,0xf0 |
| 169 | sllg $nlo,$Zlo,4 |
| 170 | srlg $xi,$Zlo,8 # extract second byte |
| 171 | ngr $nlo,$tmp |
Andy Polyakov | 7d1f55e | 2010-09-10 14:50:17 +0000 | [diff] [blame] | 172 | lgr $nhi,$Zlo |
Andy Polyakov | 7d1f55e | 2010-09-10 14:50:17 +0000 | [diff] [blame] | 173 | lghi $cnt,14 |
Andy Polyakov | 8986e37 | 2010-09-21 11:37:00 +0000 | [diff] [blame] | 174 | ngr $nhi,$tmp |
Andy Polyakov | 7d1f55e | 2010-09-10 14:50:17 +0000 | [diff] [blame] | 175 | |
| 176 | lg $Zlo,8($nlo,$Htbl) |
| 177 | lg $Zhi,0($nlo,$Htbl) |
| 178 | |
| 179 | sllg $nlo,$xi,4 |
Andy Polyakov | 7d1f55e | 2010-09-10 14:50:17 +0000 | [diff] [blame] | 180 | sllg $rem0,$Zlo,3 |
Andy Polyakov | 8986e37 | 2010-09-21 11:37:00 +0000 | [diff] [blame] | 181 | ngr $nlo,$tmp |
Andy Polyakov | 7d1f55e | 2010-09-10 14:50:17 +0000 | [diff] [blame] | 182 | ngr $rem0,$x78 |
Andy Polyakov | 8986e37 | 2010-09-21 11:37:00 +0000 | [diff] [blame] | 183 | ngr $xi,$tmp |
| 184 | |
Andy Polyakov | 7d1f55e | 2010-09-10 14:50:17 +0000 | [diff] [blame] | 185 | sllg $tmp,$Zhi,60 |
Andy Polyakov | 8986e37 | 2010-09-21 11:37:00 +0000 | [diff] [blame] | 186 | srlg $Zlo,$Zlo,4 |
Andy Polyakov | 7d1f55e | 2010-09-10 14:50:17 +0000 | [diff] [blame] | 187 | srlg $Zhi,$Zhi,4 |
Andy Polyakov | 8986e37 | 2010-09-21 11:37:00 +0000 | [diff] [blame] | 188 | xg $Zlo,8($nhi,$Htbl) |
Andy Polyakov | 7d1f55e | 2010-09-10 14:50:17 +0000 | [diff] [blame] | 189 | xg $Zhi,0($nhi,$Htbl) |
| 190 | lgr $nhi,$xi |
| 191 | sllg $rem1,$Zlo,3 |
Andy Polyakov | 8986e37 | 2010-09-21 11:37:00 +0000 | [diff] [blame] | 192 | xgr $Zlo,$tmp |
| 193 | ngr $rem1,$x78 |
Andy Polyakov | d162584 | 2014-02-02 00:09:17 +0100 | [diff] [blame] | 194 | sllg $tmp,$Zhi,60 |
Andy Polyakov | 8986e37 | 2010-09-21 11:37:00 +0000 | [diff] [blame] | 195 | j .Lghash_inner |
| 196 | .align 16 |
Andy Polyakov | 7d1f55e | 2010-09-10 14:50:17 +0000 | [diff] [blame] | 197 | .Lghash_inner: |
| 198 | srlg $Zlo,$Zlo,4 |
Andy Polyakov | 7d1f55e | 2010-09-10 14:50:17 +0000 | [diff] [blame] | 199 | srlg $Zhi,$Zhi,4 |
Andy Polyakov | d162584 | 2014-02-02 00:09:17 +0100 | [diff] [blame] | 200 | xg $Zlo,8($nlo,$Htbl) |
Andy Polyakov | 7d1f55e | 2010-09-10 14:50:17 +0000 | [diff] [blame] | 201 | llgc $xi,0($cnt,$Xi) |
Andy Polyakov | 7d1f55e | 2010-09-10 14:50:17 +0000 | [diff] [blame] | 202 | xg $Zhi,0($nlo,$Htbl) |
| 203 | sllg $nlo,$xi,4 |
Andy Polyakov | 8986e37 | 2010-09-21 11:37:00 +0000 | [diff] [blame] | 204 | xg $Zhi,0($rem0,$rem_4bit) |
Andy Polyakov | 7d1f55e | 2010-09-10 14:50:17 +0000 | [diff] [blame] | 205 | nill $nlo,0xf0 |
Andy Polyakov | 8986e37 | 2010-09-21 11:37:00 +0000 | [diff] [blame] | 206 | sllg $rem0,$Zlo,3 |
Andy Polyakov | 7d1f55e | 2010-09-10 14:50:17 +0000 | [diff] [blame] | 207 | xgr $Zlo,$tmp |
Andy Polyakov | 8986e37 | 2010-09-21 11:37:00 +0000 | [diff] [blame] | 208 | ngr $rem0,$x78 |
| 209 | nill $xi,0xf0 |
| 210 | |
| 211 | sllg $tmp,$Zhi,60 |
| 212 | srlg $Zlo,$Zlo,4 |
Andy Polyakov | 7d1f55e | 2010-09-10 14:50:17 +0000 | [diff] [blame] | 213 | srlg $Zhi,$Zhi,4 |
Andy Polyakov | 8986e37 | 2010-09-21 11:37:00 +0000 | [diff] [blame] | 214 | xg $Zlo,8($nhi,$Htbl) |
Andy Polyakov | 7d1f55e | 2010-09-10 14:50:17 +0000 | [diff] [blame] | 215 | xg $Zhi,0($nhi,$Htbl) |
| 216 | lgr $nhi,$xi |
Andy Polyakov | 8986e37 | 2010-09-21 11:37:00 +0000 | [diff] [blame] | 217 | xg $Zhi,0($rem1,$rem_4bit) |
| 218 | sllg $rem1,$Zlo,3 |
| 219 | xgr $Zlo,$tmp |
| 220 | ngr $rem1,$x78 |
Andy Polyakov | d162584 | 2014-02-02 00:09:17 +0100 | [diff] [blame] | 221 | sllg $tmp,$Zhi,60 |
Andy Polyakov | 7d1f55e | 2010-09-10 14:50:17 +0000 | [diff] [blame] | 222 | brct $cnt,.Lghash_inner |
| 223 | |
| 224 | srlg $Zlo,$Zlo,4 |
Andy Polyakov | 8986e37 | 2010-09-21 11:37:00 +0000 | [diff] [blame] | 225 | srlg $Zhi,$Zhi,4 |
Andy Polyakov | 7d1f55e | 2010-09-10 14:50:17 +0000 | [diff] [blame] | 226 | xg $Zlo,8($nlo,$Htbl) |
Andy Polyakov | 7d1f55e | 2010-09-10 14:50:17 +0000 | [diff] [blame] | 227 | xg $Zhi,0($nlo,$Htbl) |
Andy Polyakov | 8986e37 | 2010-09-21 11:37:00 +0000 | [diff] [blame] | 228 | sllg $xi,$Zlo,3 |
Andy Polyakov | 7d1f55e | 2010-09-10 14:50:17 +0000 | [diff] [blame] | 229 | xg $Zhi,0($rem0,$rem_4bit) |
Andy Polyakov | 8986e37 | 2010-09-21 11:37:00 +0000 | [diff] [blame] | 230 | xgr $Zlo,$tmp |
| 231 | ngr $xi,$x78 |
| 232 | |
| 233 | sllg $tmp,$Zhi,60 |
| 234 | srlg $Zlo,$Zlo,4 |
| 235 | srlg $Zhi,$Zhi,4 |
| 236 | xg $Zlo,8($nhi,$Htbl) |
| 237 | xg $Zhi,0($nhi,$Htbl) |
| 238 | xgr $Zlo,$tmp |
| 239 | xg $Zhi,0($rem1,$rem_4bit) |
| 240 | |
| 241 | lg $tmp,0($xi,$rem_4bit) |
| 242 | la $inp,16($inp) |
| 243 | sllg $tmp,$tmp,4 # correct last rem_4bit[rem] |
Andy Polyakov | 7d1f55e | 2010-09-10 14:50:17 +0000 | [diff] [blame] | 244 | brctg $len,.Louter |
| 245 | |
Andy Polyakov | 8986e37 | 2010-09-21 11:37:00 +0000 | [diff] [blame] | 246 | xgr $Zhi,$tmp |
Andy Polyakov | 7d1f55e | 2010-09-10 14:50:17 +0000 | [diff] [blame] | 247 | stg $Zlo,8+1($Xi) |
| 248 | stg $Zhi,0+1($Xi) |
Andy Polyakov | e822c75 | 2010-11-29 20:52:43 +0000 | [diff] [blame] | 249 | lm${g} %r6,%r14,6*$SIZE_T($sp) |
Andy Polyakov | 7d1f55e | 2010-09-10 14:50:17 +0000 | [diff] [blame] | 250 | br %r14 |
| 251 | .type gcm_ghash_4bit,\@function |
| 252 | .size gcm_ghash_4bit,(.-gcm_ghash_4bit) |
| 253 | |
| 254 | .align 64 |
| 255 | rem_4bit: |
Andy Polyakov | 8986e37 | 2010-09-21 11:37:00 +0000 | [diff] [blame] | 256 | .long `0x0000<<12`,0,`0x1C20<<12`,0,`0x3840<<12`,0,`0x2460<<12`,0 |
| 257 | .long `0x7080<<12`,0,`0x6CA0<<12`,0,`0x48C0<<12`,0,`0x54E0<<12`,0 |
| 258 | .long `0xE100<<12`,0,`0xFD20<<12`,0,`0xD940<<12`,0,`0xC560<<12`,0 |
| 259 | .long `0x9180<<12`,0,`0x8DA0<<12`,0,`0xA9C0<<12`,0,`0xB5E0<<12`,0 |
Andy Polyakov | 7d1f55e | 2010-09-10 14:50:17 +0000 | [diff] [blame] | 260 | .type rem_4bit,\@object |
| 261 | .size rem_4bit,(.-rem_4bit) |
| 262 | .string "GHASH for s390x, CRYPTOGAMS by <appro\@openssl.org>" |
| 263 | ___ |
| 264 | |
| 265 | $code =~ s/\`([^\`]*)\`/eval $1/gem; |
| 266 | print $code; |
| 267 | close STDOUT; |