Lines Matching refs:K1
325 # UINT64 k1[2]; /* (- 1/m) % 2^128 */
332 my $K1 = 704; # = 8 * 8 * 11 /* += 8 * 8 */
488 add \$`$K1-$M2`, %rsi # rsi -> pK1 ; 128 bits, 2 qwords
490 # MUL_128x128t128 rdi, rcx, rsi ; Q = X2 * K1 (bottom half)
491 # B1:B0 = rsi[1:0] = K1[1:0]
513 sub \$`$K1-$M`, %rsi
