{
uint64_t v;
- if (!integer_declaration->signedness)
+ if (!integer_declaration->signedness) {
v = integer_definition->value._unsigned;
- else
+ } else {
v = (uint64_t) integer_definition->value._signed;
+ if (integer_declaration->len < 64) {
+ /* Round length to the nearest 3-bit */
+ uint8_t rounded_len =
+ integer_declaration->len +
+ ((integer_declaration->len + 2) % 3);
+
+ v &= ((uint64_t) 1 << rounded_len) - 1;
+ }
+ }
fprintf(pos->fp, "0%" PRIo64, v);
break;
if (!integer_declaration->signedness) {
v = integer_definition->value._unsigned;
} else {
- /* Round length to the nearest nibble */
- uint8_t rounded_len = ((integer_declaration->len + 3) & ~0x3);
-
v = (uint64_t) integer_definition->value._signed;
- v &= ((uint64_t) 1 << rounded_len) - 1;
+ if (integer_declaration->len < 64) {
+ /* Round length to the nearest nibble */
+ uint8_t rounded_len =
+ ((integer_declaration->len + 3) & ~0x3);
+
+ v &= ((uint64_t) 1 << rounded_len) - 1;
+ }
}
fprintf(pos->fp, "0x%" PRIX64, v);