2646     uint32_t *p1 = NULL, *p2 = NULL, x1, x2, *lut, *Tx = NULL, *Ty = NULL, *Tz = NULL;  in double_scalar_multiplication()  local
2678         p2 = &CASPER_MEM[(20U * N_wordlen + 80U) + 48U * N_wordlen + 1U * (N_wordlen + 4U)];  in double_scalar_multiplication()
2688         p2 = &CASPER_MEM[(20U * N_wordlen + 80U) + 12U * N_wordlen + 1U * (N_wordlen + 4U)];  in double_scalar_multiplication()
2696     CASPER_MEMCPY(p2, k2, sizeof(uint32_t) * N_wordlen);  in double_scalar_multiplication()
2699 …while (((casper_get_word(&p1[N_wordlen - 1U]) | casper_get_word(&p2[N_wordlen - 1U])) >> 31) == 0U…  in double_scalar_multiplication()
2702         shiftleft(p2, p2, 1U);  in double_scalar_multiplication()
2709     x2 = casper_get_word(&p2[N_wordlen - 1U]) >> shiftr;  in double_scalar_multiplication()
2720     shiftleft(p2, p2, shiftl);  in double_scalar_multiplication()
2733 …_get_word(&p1[16]) | casper_get_word(&p1[17]) | casper_get_word(&p2[0]) | casper_get_word(&p2[1]) |  in double_scalar_multiplication()
2734 …casper_get_word(&p2[2]) | casper_get_word(&p2[3]) | casper_get_word(&p2[4]) | casper_get_word(&p2[…  in double_scalar_multiplication()
2735 …casper_get_word(&p2[6]) | casper_get_word(&p2[7]) | casper_get_word(&p2[8]) | casper_get_word(&p2[…  in double_scalar_multiplication()
2736 …casper_get_word(&p2[10]) | casper_get_word(&p2[11]) | casper_get_word(&p2[12]) | casper_get_word(&…  in double_scalar_multiplication()
2737             casper_get_word(&p2[14]) | casper_get_word(&p2[15]) | casper_get_word(&p2[16]) |  in double_scalar_multiplication()
2738             casper_get_word(&p2[17])) != 0U)  in double_scalar_multiplication()
2741 …while (((casper_get_word(&p1[N_wordlen - 1U]) | casper_get_word(&p2[N_wordlen - 1U])) >> 31) == 0U…  in double_scalar_multiplication()
2745             shiftleft(p2, p2, 1U);  in double_scalar_multiplication()
2761         x2 = casper_get_word(&p2[N_wordlen - 1U]) >> shiftr;  in double_scalar_multiplication()
2774         shiftleft(p2, p2, shiftl);  in double_scalar_multiplication()
2790         x2 = casper_get_word(&p2[N_wordlen - 1U]) >> 31;  in double_scalar_multiplication()