generate_language_headers.py 6.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185
  1. #!/usr/bin/env python3
  2. # Copyright (c) 2017 Google Inc.
  3. # Licensed under the Apache License, Version 2.0 (the "License");
  4. # you may not use this file except in compliance with the License.
  5. # You may obtain a copy of the License at
  6. #
  7. # http://www.apache.org/licenses/LICENSE-2.0
  8. #
  9. # Unless required by applicable law or agreed to in writing, software
  10. # distributed under the License is distributed on an "AS IS" BASIS,
  11. # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  12. # See the License for the specific language governing permissions and
  13. # limitations under the License.
  14. """Generates language headers from a JSON grammar file"""
  15. import errno
  16. import json
  17. import os.path
  18. import re
  19. def make_path_to_file(f):
  20. """Makes all ancestor directories to the given file, if they
  21. don't yet exist.
  22. Arguments:
  23. f: The file whose ancestor directories are to be created.
  24. """
  25. dir = os.path.dirname(os.path.abspath(f))
  26. try:
  27. os.makedirs(dir)
  28. except OSError as e:
  29. if e.errno == errno.EEXIST and os.path.isdir(dir):
  30. pass
  31. else:
  32. raise
  33. class ExtInstGrammar:
  34. """The grammar for an extended instruction set"""
  35. def __init__(self, name, copyright, instructions, operand_kinds, version = None, revision = None):
  36. self.name = name
  37. self.copyright = copyright
  38. self.instructions = instructions
  39. self.operand_kinds = operand_kinds
  40. self.version = version
  41. self.revision = revision
  42. class LangGenerator:
  43. """A language-specific generator"""
  44. def __init__(self):
  45. self.upper_case_initial = re.compile('^[A-Z]')
  46. pass
  47. def comment_prefix(self):
  48. return ""
  49. def namespace_prefix(self):
  50. return ""
  51. def uses_guards(self):
  52. return False
  53. def cpp_guard_preamble(self):
  54. return ""
  55. def cpp_guard_postamble(self):
  56. return ""
  57. def enum_value(self, prefix, name, value):
  58. if self.upper_case_initial.match(name):
  59. use_name = name
  60. else:
  61. use_name = '_' + name
  62. return " {}{} = {},".format(prefix, use_name, value)
  63. def generate(self, grammar):
  64. """Returns a string that is the language-specific header for the given grammar"""
  65. parts = []
  66. if grammar.copyright:
  67. parts.extend(["{}{}".format(self.comment_prefix(), f) for f in grammar.copyright])
  68. parts.append('')
  69. guard = 'SPIRV_EXTINST_{}_H_'.format(grammar.name)
  70. if self.uses_guards:
  71. parts.append('#ifndef {}'.format(guard))
  72. parts.append('#define {}'.format(guard))
  73. parts.append('')
  74. parts.append(self.cpp_guard_preamble())
  75. if grammar.version:
  76. parts.append(self.const_definition(grammar.name, 'Version', grammar.version))
  77. if grammar.revision is not None:
  78. parts.append(self.const_definition(grammar.name, 'Revision', grammar.revision))
  79. parts.append('')
  80. if grammar.instructions:
  81. parts.append(self.enum_prefix(grammar.name, 'Instructions'))
  82. for inst in grammar.instructions:
  83. parts.append(self.enum_value(grammar.name, inst['opname'], inst['opcode']))
  84. parts.append(self.enum_end(grammar.name, 'Instructions'))
  85. parts.append('')
  86. if grammar.operand_kinds:
  87. for kind in grammar.operand_kinds:
  88. parts.append(self.enum_prefix(grammar.name, kind['kind']))
  89. for e in kind['enumerants']:
  90. parts.append(self.enum_value(grammar.name, e['enumerant'], e['value']))
  91. parts.append(self.enum_end(grammar.name, kind['kind']))
  92. parts.append('')
  93. parts.append(self.cpp_guard_postamble())
  94. if self.uses_guards:
  95. parts.append('#endif // {}'.format(guard))
  96. return '\n'.join(parts)
  97. class CLikeGenerator(LangGenerator):
  98. def uses_guards(self):
  99. return True
  100. def comment_prefix(self):
  101. return "// "
  102. def const_definition(self, prefix, var, value):
  103. # Use an anonymous enum. Don't use a static const int variable because
  104. # that can bloat binary size.
  105. return 'enum {0} {1}{2} = {3}, {1}{2}_BitWidthPadding = 0x7fffffff {4};'.format(
  106. '{', prefix, var, value, '}')
  107. def enum_prefix(self, prefix, name):
  108. return 'enum {}{} {}'.format(prefix, name, '{')
  109. def enum_end(self, prefix, enum):
  110. return ' {}{}Max = 0x7ffffff\n{};\n'.format(prefix, enum, '}')
  111. def cpp_guard_preamble(self):
  112. return '#ifdef __cplusplus\nextern "C" {\n#endif\n'
  113. def cpp_guard_postamble(self):
  114. return '#ifdef __cplusplus\n}\n#endif\n'
  115. class CGenerator(CLikeGenerator):
  116. pass
  117. def main():
  118. import argparse
  119. parser = argparse.ArgumentParser(description='Generate language headers from a JSON grammar')
  120. parser.add_argument('--extinst-grammar', metavar='<path>',
  121. type=str, required=True,
  122. help='input JSON grammar file for extended instruction set')
  123. parser.add_argument('--extinst-output-path', metavar='<path>',
  124. type=str, required=True,
  125. help='Path of the language-specific output file.')
  126. args = parser.parse_args()
  127. with open(args.extinst_grammar) as json_file:
  128. grammar_json = json.loads(json_file.read())
  129. grammar_name = os.path.splitext(os.path.basename(args.extinst_output_path))[0]
  130. grammar = ExtInstGrammar(name = grammar_name,
  131. copyright = grammar_json['copyright'],
  132. instructions = grammar_json['instructions'],
  133. operand_kinds = grammar_json['operand_kinds'],
  134. version = grammar_json['version'],
  135. revision = grammar_json['revision'])
  136. make_path_to_file(args.extinst_output_path)
  137. with open(args.extinst_output_path, 'w') as f:
  138. f.write(CGenerator().generate(grammar))
  139. if __name__ == '__main__':
  140. main()