Lines Matching refs:i
297 + unsigned int i;
305 - unsigned int i;
307 for (i = 0, j = adLen; i < 8; i++, j >>= 8) {
308 block[i] = j;
640 - for (uint32_t i = (uint32_t)0U; i < len; i = i + (uint32_t)1U) {
641 + uint32_t i;
642 + for (i = (uint32_t)0U; i < len; i = i + (uint32_t)1U) {
643 uint8_t *x0 = input + (uint32_t)4U * i;
645 output[i] = inputi;
650 - for (uint32_t i = (uint32_t)0U; i < len; i = i + (uint32_t)1U) {
651 + uint32_t i;
652 + for (i = (uint32_t)0U; i < len; i = i + (uint32_t)1U) {
653 uint32_t hd1 = input[i];
654 uint8_t *x0 = output + (uint32_t)4U * i;
728 - for (uint32_t i = (uint32_t)0U; i < (uint32_t)10U; i = i + (uint32_t)1U)
729 + uint32_t i;
730 + for (i = (uint32_t)0U; i < (uint32_t)10U; i = i + (uint32_t)1U)
737 - for (uint32_t i = (uint32_t)0U; i < (uint32_t)16U; i = i + (uint32_t)1U) {
738 + uint32_t i;
739 + for (i = (uint32_t)0U; i < (uint32_t)16U; i = i + (uint32_t)1U) {
740 uint32_t xi = st[i];
741 uint32_t yi = st_[i];
742 st[i] = xi + yi;
747 + uint32_t i;
750 - for (uint32_t i = (uint32_t)0U; i < (uint32_t)16U; i = i + (uint32_t)1U) {
751 + for (i = (uint32_t)0U; i < (uint32_t)16U; i = i + (uint32_t)1U) {
752 uint32_t xi = ib[i];
753 uint32_t yi = k[i];
754 ob[i] = xi ^ yi;
760 + uint32_t i;
763 - for (uint32_t i = (uint32_t)0U; i < len; i = i + (uint32_t)1U) {
765 + for (i = (uint32_t)0U; i < len; i = i + (uint32_t)1U) {
766 uint8_t xi = plain[i];
767 uint8_t yi = mask[i];
768 output[i] = xi ^ yi;
773 - for (uint32_t i = (uint32_t)0U; i < num_blocks; i = i + (uint32_t)1U) {
774 + uint32_t i;
775 + for (i = (uint32_t)0U; i < num_blocks; i = i + (uint32_t)1U) {
776 uint8_t *b = plain + (uint32_t)64U * i;
777 uint8_t *o = output + (uint32_t)64U * i;
778 Hacl_Impl_Chacha20_update(o, b, st, ctr + i);
946 + uint32_t i;
948 - for (uint32_t i = (uint32_t)0U; i < (uint32_t)10U; i = i + (uint32_t)1U)
949 + for (i = (uint32_t)0U; i < (uint32_t)10U; i = i + (uint32_t)1U)
957 + uint32_t i;
959 - for (uint32_t i = (uint32_t)0U; i < (uint32_t)10U; i = i + (uint32_t)1U)
960 + for (i = (uint32_t)0U; i < (uint32_t)10U; i = i + (uint32_t)1U)
982 + uint32_t i;
985 - for (uint32_t i = (uint32_t)0U; i < len; i = i + (uint32_t)1U) {
987 + for (i = (uint32_t)0U; i < len; i = i + (uint32_t)1U) {
988 uint8_t xi = plain[i];
989 uint8_t yi = mask[i];
990 output[i] = xi ^ yi;
1053 - for (uint32_t i = (uint32_t)0U; i < len; i = i + (uint32_t)1U)
1054 + uint32_t i;
1055 + for (i = (uint32_t)0U; i < len; i = i + (uint32_t)1U)
1056 Hacl_Impl_Chacha20_Vec128_update3_(output, plain, len, st, i);
1110 + uint32_t i;
1119 - uint32_t i = (uint32_t)4U;
1120 - uint64_t input2i = input21[i];
1121 + i = (uint32_t)4U;
1122 + input2i = input21[i];
1259 + uint32_t i;
1261 - for (uint32_t i = (uint32_t)1U; i < count1; i = i + (uint32_t)1U)
1262 + for (i = (uint32_t)1U; i < count1; i = i + (uint32_t)1U)
1394 + uint32_t i;
1397 - uint32_t i = ctr - (uint32_t)1U;
1398 + i = ctr - (uint32_t)1U;
1399 Hacl_EC_Point_swap_conditional_(a, b, swap1, i);
1479 if (!(i == (uint32_t)0U)) {
1480 uint32_t i_ = i - (uint32_t)1U;
1570 - for (uint32_t i = (uint32_t)0U; i < (uint32_t)5U; i = i + (uint32_t)1U) {
1571 + uint32_t i;
1572 + for (i = (uint32_t)0U; i < (uint32_t)5U; i = i + (uint32_t)1U) {
1573 uint64_t xi = input[i];
1574 output[i] = (uint32_t)xi;
1580 - for (uint32_t i = (uint32_t)0U; i < (uint32_t)5U; i = i + (uint32_t)1U) {
1581 + uint32_t i;
1582 + for (i = (uint32_t)0U; i < (uint32_t)5U; i = i + (uint32_t)1U) {
1583 uint64_t xi = output[i];
1584 uint32_t yi = input[i];
1590 - for (uint32_t i = (uint32_t)0U; i < (uint32_t)4U; i = i + (uint32_t)1U) {
1591 + uint32_t i;
1592 + for (i = (uint32_t)0U; i < (uint32_t)4U; i = i + (uint32_t)1U) {
1593 uint32_t ctr = i;
1600 - for (uint32_t i = (uint32_t)0U; i < (uint32_t)4U; i = i + (uint32_t)1U) {
1601 + uint32_t i;
1602 + for (i = (uint32_t)0U; i < (uint32_t)4U; i = i + (uint32_t)1U) {
1603 uint32_t ctr = i;
1610 - for (uint32_t i = (uint32_t)0U; i < (uint32_t)4U; i = i + (uint32_t)1U) {
1611 + uint32_t i;
1612 + for (i = (uint32_t)0U; i < (uint32_t)4U; i = i + (uint32_t)1U) {
1613 uint32_t ctr = (uint32_t)5U - i - (uint32_t)1U;
1620 - for (uint32_t i = (uint32_t)0U; i < (uint32_t)4U; i = i + (uint32_t)1U) {
1621 + uint32_t i;
1623 + for (i = (uint32_t)0U; i < (uint32_t)4U; i = i + (uint32_t)1U) {
1624 uint32_t input2i = input2[i];
1628 - uint32_t i = (uint32_t)4U;
1629 - uint32_t input2i = input2[i];
1630 + i = (uint32_t)4U;
1631 + input2i = input2[i];
1665 - for (uint32_t i = (uint32_t)0U; i < (uint32_t)5U; i = i + (uint32_t)1U) {
1666 + uint32_t i;
1667 + for (i = (uint32_t)0U; i < (uint32_t)5U; i = i + (uint32_t)1U) {
1668 uint32_t xi = acc[i];
1669 uint32_t yi = block[i];
1670 acc[i] = xi + yi;
1722 + uint32_t i;
1727 - uint32_t i = (uint32_t)rem_;
1729 + i = (uint32_t)rem_;
1730 memcpy(block, m, i * sizeof m[0U]);
2289 for (i = 0; i < toCheck; i++) {
2292 t = paddingLength - i;
2293 /* If i <= paddingLength then the MSB of t is zero and mask is
2296 - unsigned char b = plaintext->buf[plaintext->len - 1 - i];
2298 + b = plaintext->buf[plaintext->len - 1 - i];
2361 + unsigned int i;
2370 - unsigned int i;
2372 for (i = 0; i < bytes; i++) {
2373 number = (number << 8) + reader->buf.buf[i + reader->offset];