Lines Matching refs:ManualEncodeVarint
76 void ManualEncodeVarint(VCDAddress value) {
110 ManualEncodeVarint(encoded_addr);
273 ManualEncodeVarint(0xCAFE);
274 ManualEncodeVarint(0xCAFE);
275 ManualEncodeVarint(0x1000);
277 ManualEncodeVarint(0xFE);
278 ManualEncodeVarint(0x1000);
345 ManualEncodeVarint(0xCAFE);
346 ManualEncodeVarint(0xCAFE);
347 ManualEncodeVarint(0xDAFE);
382 ManualEncodeVarint(0xCAFE);
400 ManualEncodeVarint(0xCAFE);
401 ManualEncodeVarint(0xCAFE);
424 ManualEncodeVarint(0xCAFE);
434 ManualEncodeVarint(0x10001); // here_address + 1
444 ManualEncodeVarint(0xCAFE);
445 ManualEncodeVarint(0x7FFFFFFF);
511 ManualEncodeVarint(0xCAFE);
524 ManualEncodeVarint(0x10001); // offset larger than here_address
534 ManualEncodeVarint(0xCAFE);
535 ManualEncodeVarint(INT_MAX); // offset will cause integer overflow
