Lines Matching refs:_i
970 - for (uint32_t _i = 0U; _i < (uint32_t)4U; ++_i)
971 + uint32_t _i;
973 + for (_i = 0U; _i < (uint32_t)4U; ++_i)
974 k[_i] = vec_zero();
997 - for (uint32_t _i = 0U; _i < (uint32_t)4U; ++_i)
998 + uint32_t _i;
1000 + for (_i = 0U; _i < (uint32_t)4U; ++_i)
1001 k[_i] = vec_zero();
1010 - for (uint32_t _i = 0U; _i < (uint32_t)4U; ++_i)
1011 + uint32_t _i;
1021 + for (_i = 0U; _i < (uint32_t)4U; ++_i)
1022 k0[_i] = vec_zero();
1025 - for (uint32_t _i = 0U; _i < (uint32_t)4U; ++_i)
1026 + for (_i = 0U; _i < (uint32_t)4U; ++_i)
1027 k1[_i] = vec_zero();
1030 - for (uint32_t _i = 0U; _i < (uint32_t)4U; ++_i)
1031 + for (_i = 0U; _i < (uint32_t)4U; ++_i)
1032 k2[_i] = vec_zero();
1065 - for (uint32_t _i = 0U; _i < (uint32_t)4U; ++_i)
1066 + uint32_t _i;
1069 + for (_i = 0U; _i < (uint32_t)4U; ++_i)
1070 buf[_i] = vec_zero();
1130 + uint32_t _i;
1143 - for (uint32_t _i = 0U; _i < (uint32_t)5U; ++_i)
1144 + for (_i = 0U; _i < (uint32_t)5U; ++_i)
1145 t[_i] = FStar_UInt128_uint64_to_uint128((uint64_t)0U);
1271 - for (uint32_t _i = 0U; _i < (uint32_t)5U; ++_i)
1272 + uint32_t _i;
1274 + for (_i = 0U; _i < (uint32_t)5U; ++_i)
1275 t[_i] = FStar_UInt128_uint64_to_uint128((uint64_t)0U);
1284 - for (uint32_t _i = 0U; _i < (uint32_t)5U; ++_i)
1285 + uint32_t _i;
1287 + for (_i = 0U; _i < (uint32_t)5U; ++_i)
1288 t[_i] = FStar_UInt128_uint64_to_uint128((uint64_t)0U);
1362 - for (uint32_t _i = 0U; _i < (uint32_t)5U; ++_i)
1363 + uint32_t _i;
1369 + for (_i = 0U; _i < (uint32_t)5U; ++_i)
1370 tmp[_i] = FStar_UInt128_uint64_to_uint128((uint64_t)0U);
1719 - for (uint32_t _i = 0U; _i < (uint32_t)16U; ++_i)
1720 + uint32_t _i;
1724 + for (_i = 0U; _i < (uint32_t)16U; ++_i)
1725 block[_i] = zero1;