1
2/* qhasm: enter ge_p2_dbl */
3
4/* qhasm: fe X1 */
5
6/* qhasm: fe Y1 */
7
8/* qhasm: fe Z1 */
9
10/* qhasm: fe A */
11
12/* qhasm: fe AA */
13
14/* qhasm: fe XX */
15
16/* qhasm: fe YY */
17
18/* qhasm: fe B */
19
20/* qhasm: fe X3 */
21
22/* qhasm: fe Y3 */
23
24/* qhasm: fe Z3 */
25
26/* qhasm: fe T3 */
27
28/* qhasm: XX=X1^2 */
29/* asm 1: fe_sq(>XX=fe#1,<X1=fe#11); */
30/* asm 2: fe_sq(>XX=r->X,<X1=p->X); */
31fe_sq(r->X,p->X);
32
33/* qhasm: YY=Y1^2 */
34/* asm 1: fe_sq(>YY=fe#3,<Y1=fe#12); */
35/* asm 2: fe_sq(>YY=r->Z,<Y1=p->Y); */
36fe_sq(r->Z,p->Y);
37
38/* qhasm: B=2*Z1^2 */
39/* asm 1: fe_sq2(>B=fe#4,<Z1=fe#13); */
40/* asm 2: fe_sq2(>B=r->T,<Z1=p->Z); */
41fe_sq2(r->T,p->Z);
42
43/* qhasm: A=X1+Y1 */
44/* asm 1: fe_add(>A=fe#2,<X1=fe#11,<Y1=fe#12); */
45/* asm 2: fe_add(>A=r->Y,<X1=p->X,<Y1=p->Y); */
46fe_add(r->Y,p->X,p->Y);
47
48/* qhasm: AA=A^2 */
49/* asm 1: fe_sq(>AA=fe#5,<A=fe#2); */
50/* asm 2: fe_sq(>AA=t0,<A=r->Y); */
51fe_sq(t0,r->Y);
52
53/* qhasm: Y3=YY+XX */
54/* asm 1: fe_add(>Y3=fe#2,<YY=fe#3,<XX=fe#1); */
55/* asm 2: fe_add(>Y3=r->Y,<YY=r->Z,<XX=r->X); */
56fe_add(r->Y,r->Z,r->X);
57
58/* qhasm: Z3=YY-XX */
59/* asm 1: fe_sub(>Z3=fe#3,<YY=fe#3,<XX=fe#1); */
60/* asm 2: fe_sub(>Z3=r->Z,<YY=r->Z,<XX=r->X); */
61fe_sub(r->Z,r->Z,r->X);
62
63/* qhasm: X3=AA-Y3 */
64/* asm 1: fe_sub(>X3=fe#1,<AA=fe#5,<Y3=fe#2); */
65/* asm 2: fe_sub(>X3=r->X,<AA=t0,<Y3=r->Y); */
66fe_sub(r->X,t0,r->Y);
67
68/* qhasm: T3=B-Z3 */
69/* asm 1: fe_sub(>T3=fe#4,<B=fe#4,<Z3=fe#3); */
70/* asm 2: fe_sub(>T3=r->T,<B=r->T,<Z3=r->Z); */
71fe_sub(r->T,r->T,r->Z);
72
73/* qhasm: return */
74