feature_to_c.py 3.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102
  1. #!/usr/bin/env python3
  2. # SPDX-License-Identifier: GPL-2.0-or-later
  3. import os, sys, xml.etree.ElementTree
  4. def writeliteral(indent, bytes):
  5. sys.stdout.write(' ' * indent)
  6. sys.stdout.write('"')
  7. quoted = True
  8. for c in bytes:
  9. if not quoted:
  10. sys.stdout.write('\n')
  11. sys.stdout.write(' ' * indent)
  12. sys.stdout.write('"')
  13. quoted = True
  14. if c == b'"'[0]:
  15. sys.stdout.write('\\"')
  16. elif c == b'\\'[0]:
  17. sys.stdout.write('\\\\')
  18. elif c == b'\n'[0]:
  19. sys.stdout.write('\\n"')
  20. quoted = False
  21. elif c >= 32 and c < 127:
  22. sys.stdout.write(c.to_bytes(1, 'big').decode())
  23. else:
  24. sys.stdout.write(f'\{c:03o}')
  25. if quoted:
  26. sys.stdout.write('"')
  27. sys.stdout.write('#include "qemu/osdep.h"\n' \
  28. '#include "exec/gdbstub.h"\n' \
  29. '\n'
  30. 'const GDBFeature gdb_static_features[] = {\n')
  31. for input in sys.argv[1:]:
  32. with open(input, 'rb') as file:
  33. read = file.read()
  34. parser = xml.etree.ElementTree.XMLPullParser(['start', 'end'])
  35. parser.feed(read)
  36. events = parser.read_events()
  37. event, element = next(events)
  38. if event != 'start':
  39. sys.stderr.write(f'unexpected event: {event}\n')
  40. exit(1)
  41. if element.tag != 'feature':
  42. sys.stderr.write(f'unexpected start tag: {element.tag}\n')
  43. exit(1)
  44. feature_name = element.attrib['name']
  45. regnum = 0
  46. regnames = []
  47. regnums = []
  48. tags = ['feature']
  49. for event, element in events:
  50. if event == 'end':
  51. if element.tag != tags[len(tags) - 1]:
  52. sys.stderr.write(f'unexpected end tag: {element.tag}\n')
  53. exit(1)
  54. tags.pop()
  55. if element.tag == 'feature':
  56. break
  57. elif event == 'start':
  58. if len(tags) < 2 and element.tag == 'reg':
  59. if 'regnum' in element.attrib:
  60. regnum = int(element.attrib['regnum'])
  61. regnames.append(element.attrib['name'])
  62. regnums.append(regnum)
  63. regnum += 1
  64. tags.append(element.tag)
  65. else:
  66. raise Exception(f'unexpected event: {event}\n')
  67. if len(tags):
  68. sys.stderr.write('unterminated feature tag\n')
  69. exit(1)
  70. base_reg = min(regnums)
  71. num_regs = max(regnums) - base_reg + 1 if len(regnums) else 0
  72. sys.stdout.write(' {\n')
  73. writeliteral(8, bytes(os.path.basename(input), 'utf-8'))
  74. sys.stdout.write(',\n')
  75. writeliteral(8, read)
  76. sys.stdout.write(',\n')
  77. writeliteral(8, bytes(feature_name, 'utf-8'))
  78. sys.stdout.write(',\n (const char * const []) {\n')
  79. for index, regname in enumerate(regnames):
  80. sys.stdout.write(f' [{regnums[index] - base_reg}] =\n')
  81. writeliteral(16, bytes(regname, 'utf-8'))
  82. sys.stdout.write(',\n')
  83. sys.stdout.write(f' }},\n {num_regs},\n }},\n')
  84. sys.stdout.write(' { NULL }\n};\n')