1
0

ge_p2_dbl.h 1.4 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273
  1. /* qhasm: enter ge_p2_dbl */
  2. /* qhasm: fe X1 */
  3. /* qhasm: fe Y1 */
  4. /* qhasm: fe Z1 */
  5. /* qhasm: fe A */
  6. /* qhasm: fe AA */
  7. /* qhasm: fe XX */
  8. /* qhasm: fe YY */
  9. /* qhasm: fe B */
  10. /* qhasm: fe X3 */
  11. /* qhasm: fe Y3 */
  12. /* qhasm: fe Z3 */
  13. /* qhasm: fe T3 */
  14. /* qhasm: XX=X1^2 */
  15. /* asm 1: fe_sq(>XX=fe#1,<X1=fe#11); */
  16. /* asm 2: fe_sq(>XX=r->X,<X1=p->X); */
  17. fe_sq(r->X,p->X);
  18. /* qhasm: YY=Y1^2 */
  19. /* asm 1: fe_sq(>YY=fe#3,<Y1=fe#12); */
  20. /* asm 2: fe_sq(>YY=r->Z,<Y1=p->Y); */
  21. fe_sq(r->Z,p->Y);
  22. /* qhasm: B=2*Z1^2 */
  23. /* asm 1: fe_sq2(>B=fe#4,<Z1=fe#13); */
  24. /* asm 2: fe_sq2(>B=r->T,<Z1=p->Z); */
  25. fe_sq2(r->T,p->Z);
  26. /* qhasm: A=X1+Y1 */
  27. /* asm 1: fe_add(>A=fe#2,<X1=fe#11,<Y1=fe#12); */
  28. /* asm 2: fe_add(>A=r->Y,<X1=p->X,<Y1=p->Y); */
  29. fe_add(r->Y,p->X,p->Y);
  30. /* qhasm: AA=A^2 */
  31. /* asm 1: fe_sq(>AA=fe#5,<A=fe#2); */
  32. /* asm 2: fe_sq(>AA=t0,<A=r->Y); */
  33. fe_sq(t0,r->Y);
  34. /* qhasm: Y3=YY+XX */
  35. /* asm 1: fe_add(>Y3=fe#2,<YY=fe#3,<XX=fe#1); */
  36. /* asm 2: fe_add(>Y3=r->Y,<YY=r->Z,<XX=r->X); */
  37. fe_add(r->Y,r->Z,r->X);
  38. /* qhasm: Z3=YY-XX */
  39. /* asm 1: fe_sub(>Z3=fe#3,<YY=fe#3,<XX=fe#1); */
  40. /* asm 2: fe_sub(>Z3=r->Z,<YY=r->Z,<XX=r->X); */
  41. fe_sub(r->Z,r->Z,r->X);
  42. /* qhasm: X3=AA-Y3 */
  43. /* asm 1: fe_sub(>X3=fe#1,<AA=fe#5,<Y3=fe#2); */
  44. /* asm 2: fe_sub(>X3=r->X,<AA=t0,<Y3=r->Y); */
  45. fe_sub(r->X,t0,r->Y);
  46. /* qhasm: T3=B-Z3 */
  47. /* asm 1: fe_sub(>T3=fe#4,<B=fe#4,<Z3=fe#3); */
  48. /* asm 2: fe_sub(>T3=r->T,<B=r->T,<Z3=r->Z); */
  49. fe_sub(r->T,r->T,r->Z);
  50. /* qhasm: return */