diff options
author | Marek Olšák <[email protected]> | 2020-03-22 21:07:38 -0400 |
---|---|---|
committer | Marge Bot <[email protected]> | 2020-04-27 11:56:06 +0000 |
commit | 6f8a387b37b3e1cd0374e1f42bc19601174c86d8 (patch) | |
tree | 45624cc694acc6bf6c87ac52114ad862f74c0896 /src/mapi/glapi/gen | |
parent | b6b1ab8d548252f99df6c86cb124faa95abda26f (diff) |
glthread: use GLenum16 in batch buffers to save space
Reviewed-by: Pierre-Eric Pelloux-Prayer <[email protected]>
Part-of: <https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/4758>
Diffstat (limited to 'src/mapi/glapi/gen')
-rw-r--r-- | src/mapi/glapi/gen/gl_marshal.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/mapi/glapi/gen/gl_marshal.py b/src/mapi/glapi/gen/gl_marshal.py index 0572458fd97..16b3a6e04db 100644 --- a/src/mapi/glapi/gen/gl_marshal.py +++ b/src/mapi/glapi/gen/gl_marshal.py @@ -153,7 +153,10 @@ class PrintCode(gl_XML.gl_print_base): out('{0} {1}[{2}];'.format( p.get_base_type_string(), p.name, p.count)) else: - out('{0} {1};'.format(p.type_string(), p.name)) + type = p.type_string() + if type == 'GLenum': + type = 'GLenum16' + out('{0} {1};'.format(type, p.name)) for p in func.variable_params: if p.img_null_flag: |