Lines Matching refs:positive
200 auto positive = static_cast<uint64_t>(-1 - i);
201 expected.push_back(static_cast<uint8_t>((positive >> 56) & 0xff));
202 expected.push_back(static_cast<uint8_t>((positive >> 48) & 0xff));
203 expected.push_back(static_cast<uint8_t>((positive >> 40) & 0xff));
204 expected.push_back(static_cast<uint8_t>((positive >> 32) & 0xff));
205 expected.push_back(static_cast<uint8_t>((positive >> 24) & 0xff));
206 expected.push_back(static_cast<uint8_t>((positive >> 16) & 0xff));
207 expected.push_back(static_cast<uint8_t>((positive >> 8) & 0xff));
208 expected.push_back(static_cast<uint8_t>(positive & 0xff));
225 CHECK(restored == positive);
257 auto positive = static_cast<uint32_t>(static_cast<uint64_t>(-1 - i) & 0x00000000ffffffff);
258 expected.push_back(static_cast<uint8_t>((positive >> 24) & 0xff));
259 expected.push_back(static_cast<uint8_t>((positive >> 16) & 0xff));
260 expected.push_back(static_cast<uint8_t>((positive >> 8) & 0xff));
261 expected.push_back(static_cast<uint8_t>(positive & 0xff));
274 CHECK(restored == positive);
298 auto positive = static_cast<uint16_t>(-1 - i);
299 expected.push_back(static_cast<uint8_t>((positive >> 8) & 0xff));
300 expected.push_back(static_cast<uint8_t>(positive & 0xff));
310 CHECK(restored == positive);
2283 // positive bignum is not supported