[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Qemu-devel] [RFC PATCH 17/32] qapi: Fix simple union lowering with
From: |
Marc-André Lureau |
Subject: |
Re: [Qemu-devel] [RFC PATCH 17/32] qapi: Fix simple union lowering with multiple schemas |
Date: |
Wed, 4 Oct 2017 14:04:34 +0200 |
On Mon, Oct 2, 2017 at 5:25 PM, Markus Armbruster <address@hidden> wrote:
> If more than one schema uses the same built-in type T for a simple
> union member, they all generate the same q_obj_T_wrapper into their
> qapi-types.h. They clash when you include more than one schema's
> qapi-types.h.
>
> Fix by generating them into builtin-qapi-types.h instead.
>
> Signed-off-by: Markus Armbruster <address@hidden>
Reviewed-by: Marc-André Lureau <address@hidden>
> ---
> scripts/qapi-types.py | 12 ++++++++----
> scripts/qapi.py | 2 ++
> tests/qapi-schema/builtins.out | 30 ++++++++++++++++++++++++++++++
> tests/qapi-schema/qapi-schema-test.json | 3 +--
> tests/qapi-schema/qapi-schema-test.out | 5 ++---
> 5 files changed, 43 insertions(+), 9 deletions(-)
>
> diff --git a/scripts/qapi-types.py b/scripts/qapi-types.py
> index 18fd2a98c0..c058540e4d 100644
> --- a/scripts/qapi-types.py
> +++ b/scripts/qapi-types.py
> @@ -53,7 +53,10 @@ def gen_struct_members(members):
> return ret
>
>
> -def gen_object(name, base, members, variants):
> +def gen_object(name, info, base, members, variants):
> + # TODO use something cleaner than existence of info
> + if not info and args.schema:
> + return '' # suppress built-in
> if name in objects_seen:
> return ''
> objects_seen.add(name)
> @@ -62,7 +65,7 @@ def gen_object(name, base, members, variants):
> if variants:
> for v in variants.variants:
> if isinstance(v.type, QAPISchemaObjectType):
> - ret += gen_object(v.type.name, v.type.base,
> + ret += gen_object(v.type.name, v.type.info, v.type.base,
> v.type.local_members, v.type.variants)
>
> ret += mcgen('''
> @@ -200,7 +203,7 @@ class QAPISchemaGenTypeVisitor(QAPISchemaVisitor):
> if name == 'q_empty':
> return
> self._fwdecl += gen_fwd_object_or_array(name)
> - self.decl += gen_object(name, base, members, variants)
> + self.decl += gen_object(name, info, base, members, variants)
> if base and not base.is_implicit():
> self.decl += gen_upcast(name, base)
> # TODO Worth changing the visitor signature, so we could
> @@ -211,7 +214,8 @@ class QAPISchemaGenTypeVisitor(QAPISchemaVisitor):
>
> def visit_alternate_type(self, name, info, variants):
> self._fwdecl += gen_fwd_object_or_array(name)
> - self.decl += gen_object(name, None, [variants.tag_member], variants)
> + self.decl += gen_object(name, info, None,
> + [variants.tag_member], variants)
> self._gen_type_cleanup(name)
>
> argparser = common_argument_parser(builtins=True)
> diff --git a/scripts/qapi.py b/scripts/qapi.py
> index 4871eb7740..477402b7f8 100644
> --- a/scripts/qapi.py
> +++ b/scripts/qapi.py
> @@ -1499,6 +1499,8 @@ class QAPISchema(object):
> # would be to use lazy instantiation, while figuring out how to
> # avoid compilation issues with multiple qapi-types.h.
> self._make_array_type(name, None)
> + # TODO same for wrapper types
> + self._make_implicit_wrapper_type(name, None)
>
> def _def_predefineds(self):
> for t in [('str', 'string', 'char' + pointer_suffix),
> diff --git a/tests/qapi-schema/builtins.out b/tests/qapi-schema/builtins.out
> index 40b886ddae..d289bfe919 100644
> --- a/tests/qapi-schema/builtins.out
> +++ b/tests/qapi-schema/builtins.out
> @@ -1,3 +1,33 @@
> enum QType ['none', 'qnull', 'qnum', 'qstring', 'qdict', 'qlist', 'qbool']
> prefix QTYPE
> object q_empty
> +object q_obj_any-wrapper
> + member data: any optional=False
> +object q_obj_bool-wrapper
> + member data: bool optional=False
> +object q_obj_int-wrapper
> + member data: int optional=False
> +object q_obj_int16-wrapper
> + member data: int16 optional=False
> +object q_obj_int32-wrapper
> + member data: int32 optional=False
> +object q_obj_int64-wrapper
> + member data: int64 optional=False
> +object q_obj_int8-wrapper
> + member data: int8 optional=False
> +object q_obj_null-wrapper
> + member data: null optional=False
> +object q_obj_number-wrapper
> + member data: number optional=False
> +object q_obj_size-wrapper
> + member data: size optional=False
> +object q_obj_str-wrapper
> + member data: str optional=False
> +object q_obj_uint16-wrapper
> + member data: uint16 optional=False
> +object q_obj_uint32-wrapper
> + member data: uint32 optional=False
> +object q_obj_uint64-wrapper
> + member data: uint64 optional=False
> +object q_obj_uint8-wrapper
> + member data: uint8 optional=False
> diff --git a/tests/qapi-schema/qapi-schema-test.json
> b/tests/qapi-schema/qapi-schema-test.json
> index c091626635..ac8aefc924 100644
> --- a/tests/qapi-schema/qapi-schema-test.json
> +++ b/tests/qapi-schema/qapi-schema-test.json
> @@ -84,8 +84,7 @@
>
> { 'union': 'UserDefSimpleUnion',
> 'data': { 'value1': 'UserDefA',
> -# FIXME generated q_obj_int_wrapper clashes with qapi-schema.json's
> -# 'value2': 'int',
> + 'value2': 'int',
> 'value3': 'UserDefB' } }
>
> # this variant of UserDefFlatUnion defaults to a union that uses members with
> diff --git a/tests/qapi-schema/qapi-schema-test.out
> b/tests/qapi-schema/qapi-schema-test.out
> index 97bb02f2fd..fff25e26d0 100644
> --- a/tests/qapi-schema/qapi-schema-test.out
> +++ b/tests/qapi-schema/qapi-schema-test.out
> @@ -112,8 +112,9 @@ object UserDefSimpleUnion
> member type: UserDefSimpleUnionKind optional=False
> tag type
> case value1: q_obj_UserDefA-wrapper
> + case value2: q_obj_int-wrapper
> case value3: q_obj_UserDefB-wrapper
> -enum UserDefSimpleUnionKind ['value1', 'value3']
> +enum UserDefSimpleUnionKind ['value1', 'value2', 'value3']
> object UserDefTwo
> member string0: str optional=False
> member dict1: UserDefTwoDict optional=False
> @@ -211,8 +212,6 @@ object q_obj_numberList-wrapper
> member data: numberList optional=False
> object q_obj_sizeList-wrapper
> member data: sizeList optional=False
> -object q_obj_str-wrapper
> - member data: str optional=False
> object q_obj_strList-wrapper
> member data: strList optional=False
> object q_obj_uint16List-wrapper
> --
> 2.13.6
>
>
--
Marc-André Lureau
- [Qemu-devel] [RFC PATCH 19/32] qapi: Accept double-quoted strings, (continued)
[Qemu-devel] [RFC PATCH 12/32] qapi: Use argparse to parse command line arguments, Markus Armbruster, 2017/10/02
[Qemu-devel] [RFC PATCH 17/32] qapi: Fix simple union lowering with multiple schemas, Markus Armbruster, 2017/10/02
- Re: [Qemu-devel] [RFC PATCH 17/32] qapi: Fix simple union lowering with multiple schemas,
Marc-André Lureau <=
[Qemu-devel] [RFC PATCH 15/32] tests/qapi-schema: Improve simple union coverage, Markus Armbruster, 2017/10/02
[Qemu-devel] [RFC PATCH 11/32] qapi: Drop the options to generate only .c or .h, Markus Armbruster, 2017/10/02
[Qemu-devel] [RFC PATCH 07/32] qapi: Drop superfluous allow_optional=True, Markus Armbruster, 2017/10/02
[Qemu-devel] [RFC PATCH 03/32] qapi2texi: Fix for examples containing '@', Markus Armbruster, 2017/10/02
[Qemu-devel] [RFC PATCH 26/32] qapi2texi: Include command line options information, Markus Armbruster, 2017/10/02