- if (!integer_declaration->signedness) {
- fprintf(pos->fp, "%" PRIu64" (0x%" PRIX64 ")",
- integer_definition->value._unsigned,
- integer_definition->value._unsigned);
- } else {
- fprintf(pos->fp, "%" PRId64" (0x%" PRIX64 ")",
- integer_definition->value._signed,
- integer_definition->value._signed);
+ switch (integer_declaration->base) {
+ case 0: /* default */
+ case 10:
+ if (!integer_declaration->signedness) {
+ fprintf(pos->fp, "%" PRIu64,
+ integer_definition->value._unsigned);
+ } else {
+ fprintf(pos->fp, "%" PRId64,
+ integer_definition->value._signed);
+ }
+ break;
+ case 2:
+ {
+ int bitnr;
+ uint64_t v;
+
+ if (!integer_declaration->signedness)
+ v = integer_definition->value._unsigned;
+ else
+ v = (uint64_t) integer_definition->value._signed;
+
+ fprintf(pos->fp, "0b");
+ v = _bt_piecewise_lshift(v, 64 - integer_declaration->len);
+ for (bitnr = 0; bitnr < integer_declaration->len; bitnr++) {
+ fprintf(pos->fp, "%u", (v & (1ULL << 63)) ? 1 : 0);
+ v = _bt_piecewise_lshift(v, 1);
+ }
+ break;
+ }
+ case 8:
+ {
+ uint64_t v;
+
+ if (!integer_declaration->signedness) {
+ v = integer_definition->value._unsigned;
+ } 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;