Re: [PATCH] add g_nonstandard_bool attribute for GIMPLE FE use

2021-01-06 Thread Richard Biener
On Tue, 5 Jan 2021, Joseph Myers wrote: > On Tue, 5 Jan 2021, Richard Biener wrote: > > > would maybe result in a surprising result. One alternative > > would be to make the attribute have the signedness specified as well > > (C doesn't accept 'unsigned _Bool' or 'signed _Bool') or > > simply na

Re: [PATCH] add g_nonstandard_bool attribute for GIMPLE FE use

2021-01-05 Thread Joseph Myers
On Tue, 5 Jan 2021, Richard Biener wrote: > would maybe result in a surprising result. One alternative > would be to make the attribute have the signedness specified as well > (C doesn't accept 'unsigned _Bool' or 'signed _Bool') or > simply name the attribute "signed_bool_precision". I guess th

Re: [PATCH] add g_nonstandard_bool attribute for GIMPLE FE use

2021-01-05 Thread Richard Biener
On Wed, 16 Dec 2020, Joseph Myers wrote: > On Sun, 13 Dec 2020, Martin Sebor via Gcc-patches wrote: > > > "nonstandard" isn't a very descriptive name. The leading g_ prefix > > also looks a little too terse (is that supposed to stand dor GIMPLE?). > > I would suggest choosing a better name, say,

Re: [PATCH] add g_nonstandard_bool attribute for GIMPLE FE use

2020-12-16 Thread Joseph Myers
On Sun, 13 Dec 2020, Martin Sebor via Gcc-patches wrote: > "nonstandard" isn't a very descriptive name. The leading g_ prefix > also looks a little too terse (is that supposed to stand dor GIMPLE?). > I would suggest choosing a better name, say, bool_precision. Since Indeed, g_ suggests the GLi

Re: [PATCH] add g_nonstandard_bool attribute for GIMPLE FE use

2020-12-13 Thread Martin Sebor via Gcc-patches
On 12/11/20 2:02 AM, Richard Biener wrote: This adds __attribute__((g_nonstandard_bool(precision))) to be able to construct nonstandard boolean types which for the included testcase is needed to simulate Ada and LTO interaction (Ada uses a 8 bit precision boolean_type_node). This will also be us

Re: [PATCH] add g_nonstandard_bool attribute for GIMPLE FE use

2020-12-13 Thread Jeff Law via Gcc-patches
On 12/11/20 2:02 AM, Richard Biener wrote: > This adds __attribute__((g_nonstandard_bool(precision))) to be able > to construct nonstandard boolean types which for the included testcase > is needed to simulate Ada and LTO interaction (Ada uses a 8 bit > precision boolean_type_node). This will a

[PATCH] add g_nonstandard_bool attribute for GIMPLE FE use

2020-12-11 Thread Richard Biener
This adds __attribute__((g_nonstandard_bool(precision))) to be able to construct nonstandard boolean types which for the included testcase is needed to simulate Ada and LTO interaction (Ada uses a 8 bit precision boolean_type_node). This will also be useful for vector unit testcases where we need