From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received-SPF: Pass (sender SPF authorized) identity=mailfrom; client-ip=209.132.183.28; helo=mx1.redhat.com; envelope-from=lersek@redhat.com; receiver=edk2-devel@lists.01.org Received: from mx1.redhat.com (mx1.redhat.com [209.132.183.28]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ml01.01.org (Postfix) with ESMTPS id D833021A1098A for ; Tue, 12 Dec 2017 00:32:15 -0800 (PST) Received: from smtp.corp.redhat.com (int-mx06.intmail.prod.int.phx2.redhat.com [10.5.11.16]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by mx1.redhat.com (Postfix) with ESMTPS id 70FEA4DD7D; Tue, 12 Dec 2017 08:36:53 +0000 (UTC) Received: from lacos-laptop-7.usersys.redhat.com (ovpn-120-105.rdu2.redhat.com [10.10.120.105]) by smtp.corp.redhat.com (Postfix) with ESMTP id 325095167E; Tue, 12 Dec 2017 08:36:52 +0000 (UTC) To: "Gao, Liming" , Zenith432 , "edk2-devel@lists.01.org" Cc: "Kinney, Michael D" References: <1667068483.2112668.1512898346914.ref@mail.yahoo.com> <1667068483.2112668.1512898346914@mail.yahoo.com> <4A89E2EF3DFEDB4C8BFDE51014F606A14E18E2A8@SHSMSX104.ccr.corp.intel.com> <2dfbe819-78d5-e328-dd10-9c614e901d05@users.sourceforge.net> <4A89E2EF3DFEDB4C8BFDE51014F606A14E18FDF5@SHSMSX104.ccr.corp.intel.com> <101f64da-99b1-a542-bae0-794e4fd1d25b@users.sourceforge.net> <4A89E2EF3DFEDB4C8BFDE51014F606A14E190191@SHSMSX104.ccr.corp.intel.com> From: Laszlo Ersek Message-ID: <81c8f3a7-c56b-7b11-531b-b5aa1e0bd264@redhat.com> Date: Tue, 12 Dec 2017 09:36:51 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.5.0 MIME-Version: 1.0 In-Reply-To: <4A89E2EF3DFEDB4C8BFDE51014F606A14E190191@SHSMSX104.ccr.corp.intel.com> X-Scanned-By: MIMEDefang 2.79 on 10.5.11.16 X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.5.16 (mx1.redhat.com [10.5.110.38]); Tue, 12 Dec 2017 08:36:53 +0000 (UTC) Subject: Re: [PATCH] MdePkg: correct and clarify documentation of VA_LIST in Base.h X-BeenThere: edk2-devel@lists.01.org X-Mailman-Version: 2.1.22 Precedence: list List-Id: EDK II Development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 12 Dec 2017 08:32:16 -0000 Content-Type: text/plain; charset=utf-8 Content-Language: en-US Content-Transfer-Encoding: 7bit On 12/12/17 02:32, Gao, Liming wrote: > Laszlo: > Have you any comments for this patch? Seemly, you discussed this topic in bugzillar. Thanks for the ping, I'll comment under the thread starter message. Thanks! Laszlo >> -----Original Message----- >> From: edk2-devel [mailto:edk2-devel-bounces@lists.01.org] On Behalf Of Zenith432 >> Sent: Monday, December 11, 2017 10:58 PM >> To: Gao, Liming ; edk2-devel@lists.01.org >> Cc: Kinney, Michael D >> Subject: Re: [edk2] [PATCH] MdePkg: correct and clarify documentation of VA_LIST in Base.h >> >> Yes, that's right, in mixed ABI on GCC 7.2 (which is what GCC5 toolchain in tools_def.sample creates...), VA_COPY when >> used inside native (non-EFIAPI) function causes incorrect code generation that leads to crash (it mistreats the >> __builtin_ms_va_list as a __builtin_sysv_va_list). >> >> The same source code works in current versions of LLVM and Apple clang - so it's a compiler-specific bug. >> >> The text I wrote >> >> +// -- VA_END, VA_ARG, VA_COPY, va_end, va_arg, and va_copy may be used >> >> +// in functions of either calling conventions. >> >> is the hypothetical desired condition, but it depends on compilers generating proper code in mixed ABI. It obviously >> does not hold for current GCC. >> >> However, the part of the documentation to add EFIAPI to ExampleVarArg should definitely be fixed. Using >> __builtin_ms_va_list (=VA_LIST) in a sysv_abi (native) function probably yields a compile-time diagnostic, and if not - >> generates code that crashes for sure. >> >> On 11/12/2017 04:35 PM, Gao, Liming wrote: >>> Hi, >>> I see you and Laszlo are still in discussion on GCC behavior. Because there is one bug in GCC compiler, the following functions in >> edk2 must be EFIAPI. Right? >>> >>> - functions that have a variable argument list and call VA_START / VA_END >>> - functions that call VA_COPY >>> >>> Thanks >>> Liming >>>> -----Original Message----- >>>> From: Zenith432 [mailto:zenith432@users.sourceforge.net] >>>> Sent: Sunday, December 10, 2017 11:43 PM >>>> To: Gao, Liming ; edk2-devel@lists.01.org >>>> Cc: Kinney, Michael D >>>> Subject: Re: [PATCH] MdePkg: correct and clarify documentation of VA_LIST in Base.h >>>> >>>> On 10/12/2017 03:53 PM, Gao, Liming wrote: >>>>> Could you add bug 457 link in the commit message? >>>> --- >>>> Subject: [PATCH] MdePkg: correct and clarify documentation of VA_LIST in Base.h >>>> >>>> This is to resolve bug 457. >>>> https://bugzilla.tianocore.org/show_bug.cgi?id=457 >>>> >>>> Contributed-under: TianoCore Contribution Agreement 1.1 >>>> Signed-off-by: Zenith432 >>>> --- >>>> MdePkg/Include/Base.h | 24 ++++++++++++++++++++---- >>>> 1 file changed, 20 insertions(+), 4 deletions(-) >>>> >>>> diff --git a/MdePkg/Include/Base.h b/MdePkg/Include/Base.h >>>> index 02140a5a..19f36872 100644 >>>> --- a/MdePkg/Include/Base.h >>>> +++ b/MdePkg/Include/Base.h >>>> @@ -560,13 +560,14 @@ struct _LIST_ENTRY { >>>> // VA_LIST - typedef for argument list. >>>> // VA_START (VA_LIST Marker, argument before the ...) - Init Marker for use. >>>> // VA_END (VA_LIST Marker) - Clear Marker >>>> -// VA_ARG (VA_LIST Marker, var arg size) - Use Marker to get an argument from >>>> -// the ... list. You must know the size and pass it in this macro. >>>> +// VA_ARG (VA_LIST Marker, var arg type) - Use Marker to get an argument from >>>> +// the ... list. You must know the type and pass it in this macro. >>>> // VA_COPY (VA_LIST Dest, VA_LIST Start) - Initialize Dest as a copy of Start. >>>> // >>>> -// example: >>>> +// Example: >>>> // >>>> // UINTN >>>> +// EFIAPI >>>> // ExampleVarArg ( >>>> // IN UINTN NumberOfArgs, >>>> // ... >>>> @@ -582,7 +583,7 @@ struct _LIST_ENTRY { >>>> // VA_START (Marker, NumberOfArgs); >>>> // for (Index = 0, Result = 0; Index < NumberOfArgs; Index++) { >>>> // // >>>> -// // The ... list is a series of UINTN values, so average them up. >>>> +// // The ... list is a series of UINTN values, so sum them up. >>>> // // >>>> // Result += VA_ARG (Marker, UINTN); >>>> // } >>>> @@ -591,6 +592,21 @@ struct _LIST_ENTRY { >>>> // return Result >>>> // } >>>> // >>>> +// Notes: >>>> +// >>>> +// This set of macros is intended to support variadic functions that >>>> +// use the EFIAPI calling convention. Variadic functions that use a >>>> +// native calling convention should use stdarg.h. >>>> +// In particular: >>>> +// -- VA_START may only be used in a variadic EFIAPI function. >>>> +// -- va_start may only be used in a variadic native function. >>>> +// -- VA_START, VA_END, VA_ARG and VA_COPY may only be used on a VA_LIST. >>>> +// -- va_start, va_end, va_arg and va_copy may only be used on a va_list. >>>> +// -- Both VA_LIST or va_list may be passed as arguments to functions >>>> +// of either EFIAPI or native calling conventions. >>>> +// -- VA_END, VA_ARG, VA_COPY, va_end, va_arg, and va_copy may be used >>>> +// in functions of either calling conventions. >>>> +// >>>> >>>> /** >>>> Return the size of argument that has been aligned to sizeof (UINTN). >>>> -- >>>> 2.14.3 >>> >> >> _______________________________________________ >> edk2-devel mailing list >> edk2-devel@lists.01.org >> https://lists.01.org/mailman/listinfo/edk2-devel