1 | #include "fe.h" |
2 | |
3 | /* |
4 | h = f - g |
5 | Can overlap h with f or g. |
6 | |
7 | Preconditions: |
8 | |f| bounded by 1.1*2^25,1.1*2^24,1.1*2^25,1.1*2^24,etc. |
9 | |g| bounded by 1.1*2^25,1.1*2^24,1.1*2^25,1.1*2^24,etc. |
10 | |
11 | Postconditions: |
12 | |h| bounded by 1.1*2^26,1.1*2^25,1.1*2^26,1.1*2^25,etc. |
13 | */ |
14 | |
15 | void fe_sub(fe h,const fe f,const fe g) |
16 | { |
17 | crypto_int32 f0 = f[0]; |
18 | crypto_int32 f1 = f[1]; |
19 | crypto_int32 f2 = f[2]; |
20 | crypto_int32 f3 = f[3]; |
21 | crypto_int32 f4 = f[4]; |
22 | crypto_int32 f5 = f[5]; |
23 | crypto_int32 f6 = f[6]; |
24 | crypto_int32 f7 = f[7]; |
25 | crypto_int32 f8 = f[8]; |
26 | crypto_int32 f9 = f[9]; |
27 | crypto_int32 g0 = g[0]; |
28 | crypto_int32 g1 = g[1]; |
29 | crypto_int32 g2 = g[2]; |
30 | crypto_int32 g3 = g[3]; |
31 | crypto_int32 g4 = g[4]; |
32 | crypto_int32 g5 = g[5]; |
33 | crypto_int32 g6 = g[6]; |
34 | crypto_int32 g7 = g[7]; |
35 | crypto_int32 g8 = g[8]; |
36 | crypto_int32 g9 = g[9]; |
37 | crypto_int32 h0 = f0 - g0; |
38 | crypto_int32 h1 = f1 - g1; |
39 | crypto_int32 h2 = f2 - g2; |
40 | crypto_int32 h3 = f3 - g3; |
41 | crypto_int32 h4 = f4 - g4; |
42 | crypto_int32 h5 = f5 - g5; |
43 | crypto_int32 h6 = f6 - g6; |
44 | crypto_int32 h7 = f7 - g7; |
45 | crypto_int32 h8 = f8 - g8; |
46 | crypto_int32 h9 = f9 - g9; |
47 | h[0] = h0; |
48 | h[1] = h1; |
49 | h[2] = h2; |
50 | h[3] = h3; |
51 | h[4] = h4; |
52 | h[5] = h5; |
53 | h[6] = h6; |
54 | h[7] = h7; |
55 | h[8] = h8; |
56 | h[9] = h9; |
57 | } |
58 | |