Status
==
The GCC 11 branch is open for regression and documentation fixes.
It's time for a GCC 11.2 release and we are aiming for a release
candidate in about two weeks which would result in the GCC 11.2
release about three months after GCC 11.1.
Two weeks give you ample time to care for i
On Thu, 1 Jul 2021 at 16:26, Prathamesh Kulkarni
wrote:
>
> On Wed, 30 Jun 2021 at 20:51, Christophe LYON
> wrote:
> >
> >
> > On 29/06/2021 12:46, Prathamesh Kulkarni wrote:
> > > On Mon, 28 Jun 2021 at 14:48, Christophe LYON
> > > wrote:
> > >>
> > >> On 28/06/2021 10:40, Kyrylo Tkachov via Gc
On Tue, Jul 6, 2021 at 3:14 AM apinski--- via Gcc-patches
wrote:
>
> From: Andrew Pinski
>
> So the problem here is that replace_phi_edge_with_variable
> will copy range information to a already (not newly) defined
> ssa name. This causes wrong code later on.
> This fixes the problem by require
On Tue, Jul 6, 2021 at 3:26 AM Indu Bhagat via Gcc-patches
wrote:
>
> If the value of the DW_AT_data_member_location attribute is constant, the
> associated unit is bytes. This patch amends incorrect behaviour which was
> being
> exercised with -gdwarf-2. This caused some of the failures as noted
On Tue, 6 Jul 2021, Hongtao Liu wrote:
> On Mon, Jul 5, 2021 at 10:09 PM Richard Biener wrote:
> >
> > This adds named expanders for vec_fmaddsub4 and
> > vec_fmsubadd4 which map to x86 vfmaddsubXXXp{ds} and
> > vfmsubaddXXXp{ds} instructions. This complements the previous
> > addition of ADDSUB
> -Original Message-
> From: Prathamesh Kulkarni
> Sent: 06 July 2021 08:06
> To: Christophe LYON
> Cc: Kyrylo Tkachov ; gcc Patches patc...@gcc.gnu.org>
> Subject: Re: [ARM] PR98435: Missed optimization in expanding vector
> constructor
>
> On Thu, 1 Jul 2021 at 16:26, Prathamesh Kul
On Tue, Jul 6, 2021 at 3:42 PM Richard Biener wrote:
>
> On Tue, 6 Jul 2021, Hongtao Liu wrote:
>
> > On Mon, Jul 5, 2021 at 10:09 PM Richard Biener wrote:
> > >
> > > This adds named expanders for vec_fmaddsub4 and
> > > vec_fmsubadd4 which map to x86 vfmaddsubXXXp{ds} and
> > > vfmsubaddXXXp{ds
> On 5 Jul 2021, at 21:47, Joseph Myers wrote:
>
> On Mon, 5 Jul 2021, Iain Sandoe wrote:
>
>> Hello Joseph,
>>
>>> On 5 Jul 2021, at 21:21, Joseph Myers wrote:
>>>
>>> On Sun, 4 Jul 2021, Iain Sandoe wrote:
>>>
* configure.ac: Handle --with-dsymutil in the same way as we
On Thu, Jul 1, 2021 at 9:04 PM Jakub Jelinek via Gcc-patches
wrote:
>
> On Thu, Jul 01, 2021 at 02:58:01PM +0200, Richard Biener wrote:
> > > The main issue is complex _Float16 functions in libgcc. If _Float16
> > > doesn't
> > > require -mavx512fp16, we need to compile complex _Float16 function
On Fri, Jul 2, 2021 at 4:46 AM Joseph Myers wrote:
>
> Some general comments, following what I said on libc-alpha:
>
>
> 1. Can you confirm that the ABI being used for 64-bit, for _Float16 and
> _Complex _Float16 argument passing and return, follows the current x86_64
> ABI document?
>
>
> 2. Can
On Tue, 6 Jul 2021 at 13:33, Kyrylo Tkachov wrote:
>
>
>
> > -Original Message-
> > From: Prathamesh Kulkarni
> > Sent: 06 July 2021 08:06
> > To: Christophe LYON
> > Cc: Kyrylo Tkachov ; gcc Patches > patc...@gcc.gnu.org>
> > Subject: Re: [ARM] PR98435: Missed optimization in expanding
> -Original Message-
> From: Prathamesh Kulkarni
> Sent: 06 July 2021 10:25
> To: Kyrylo Tkachov
> Cc: Christophe LYON ; gcc Patches patc...@gcc.gnu.org>
> Subject: Re: [ARM] PR98435: Missed optimization in expanding vector
> constructor
>
> On Tue, 6 Jul 2021 at 13:33, Kyrylo Tkachov
On Mon, 5 Jul 2021, Richard Biener wrote:
> On Fri, 2 Jul 2021, Martin Sebor wrote:
>
> > On 7/2/21 5:55 AM, Richard Biener wrote:
> > > This adds the -fmove-loop-stores option, mainly as a way to disable
> > > the store-motion part of GIMPLE invariant motion (-ftree-loop-im)
> > > which is enabl
On Tue, Jul 6, 2021 at 10:46 AM Hongtao Liu wrote:
>
> On Thu, Jul 1, 2021 at 9:04 PM Jakub Jelinek via Gcc-patches
> wrote:
> >
> > On Thu, Jul 01, 2021 at 02:58:01PM +0200, Richard Biener wrote:
> > > > The main issue is complex _Float16 functions in libgcc. If _Float16
> > > > doesn't
> > >
On Tue, 6 Jul 2021 at 11:28, Kyrylo Tkachov via Gcc-patches
wrote:
>
>
>
> > -Original Message-
> > From: Prathamesh Kulkarni
> > Sent: 06 July 2021 10:25
> > To: Kyrylo Tkachov
> > Cc: Christophe LYON ; gcc Patches > patc...@gcc.gnu.org>
> > Subject: Re: [ARM] PR98435: Missed optimizat
> On 5 Jul 2021, at 14:23, Richard Biener wrote:
>
> On Mon, Jul 5, 2021 at 3:04 PM Iain Sandoe wrote:
>>
>> Hi Richard,
>>
>>> On 5 Jul 2021, at 11:50, Richard Biener via Gcc-patches
>>> wrote:
>>>
>>> On Sun, Jul 4, 2021 at 10:04 PM Iain Sandoe wrote:
>>
Several older compilers f
On Sat, Jun 19, 2021 at 7:10 PM H.J. Lu wrote:
>
> 1. On some targets, like PowerPC, reference to ifunc function resolver
> must be non-local so that compiler will properly emit PLT call. Add
> TARGET_IFUNC_REF_LOCAL_OK to allow binding indirect function resolver
> locally for targets which don't
On Tue, Jul 6, 2021 at 3:15 AM Richard Biener via Gcc-patches
wrote:
>
> On Tue, Jul 6, 2021 at 10:46 AM Hongtao Liu wrote:
> >
> > On Thu, Jul 1, 2021 at 9:04 PM Jakub Jelinek via Gcc-patches
> > wrote:
> > >
> > > On Thu, Jul 01, 2021 at 02:58:01PM +0200, Richard Biener wrote:
> > > > > The ma
Compiler rejects an expression function whose signature includes an
access parameter with a null_exclusion indicator.
Tested on x86_64-pc-linux-gnu, committed on trunk
gcc/ada/
* sem_ch6.adb (Analyze_Subprogram_Body_Helper): Do not perform
conformance check when the subprogram bo
Add GNAT RM text indicating that users should not rely on the details
of the text generated by the default implementation of T'Put_Image for
any nonscalar type T. The compiler is free to change the details of such
text, subject to the general guidance on this topic given in the Ada RM.
Tested on x
This is a prototype implementation of a language extension that allows
calls to primitives of untagged types to be written using prefixed
notation. That is, the first actual parameter of the call is given as a
prefix using selected_component syntax, and the selector is a primitive
operation of the
To be used in GNAT LLVM as declarations for parameters and variables.
Tested on x86_64-pc-linux-gnu, committed on trunk
gcc/ada/
* gen_il-types.ads (Void_Or_Type_Kind,
Exception_Or_Object_Kind): Declare.
* gen_il-gen-gen_entities.adb: Likewise.diff --git a/gcc/ada/gen_il-
System.OS_Primitives in libgnat for VxWorks imports Ssystem.OS_Interface
in libgnarl, creating a dependency on libgnarl by libgnat. This works as
long as the functions being referenced in OS_Primitives were pragma
imported functions from the kernel, but this is no longer the case with
a selectable
This patch removes an incorrect predicate check applied to a view
conversion of a tagged object. Such a view conversion is an object
and can appear as the target of an assignment statement, in which
case no predicate check applies to the now-dead value.
Tested on x86_64-pc-linux-gnu, committed on
The parent was Node_Kind before. This is a minor cleanup, and has no
effect on the operation of the compiler. However, if we start declaring
more objects of the various predicated subtypes, such as
N_Declaration_Id, it would be good to get them right.
Tested on x86_64-pc-linux-gnu, committed on t
This patch fixes a bug in the compiler whereby the experimental "return
when" feature was not supported in procedures.
Tested on x86_64-pc-linux-gnu, committed on trunk
gcc/ada/
* par-ch6.adb (Get_Return_Kind): Properly handle the case of a
"return when" statement in the procedur
This patch removes some unnecessary unchecked conversions from the
generated code. This makes the .dg output more readable in some
cases, especially those involving finalization.
Also misc cleanups.
This patch does not change calls to Make_Unchecked_Type_Conversion to
Unchecked_Convert_To, but we
Some error messages issued regarding limitations of the current
implementation of the GNAT extension for pattern matching are
missing space characters.
Tested on x86_64-pc-linux-gnu, committed on trunk
gcc/ada/
* sem_case.adb: Fix error message.diff --git a/gcc/ada/sem_case.adb b/gcc/ada
Compiler aborts on a use of attribute 'Img on an object of a record
type, when the attribute reference occurs within a larger expression,
such as a string comparison.
Tested on x86_64-pc-linux-gnu, committed on trunk
gcc/ada/
* exp_ch4.adb (Process_Transient_In_Expression): Ensure that
This patch corrects an issue in the compiler whereby initialization gets
incorrectly performed on element iterators in "for of" loops.
Tested on x86_64-pc-linux-gnu, committed on trunk
gcc/ada/
* exp_ch5.adb (Expand_Formal_Container_Element_Loop): Remove
legacy expansion of eleme
The recently added extension of allowing prefixed-call notation for
primitives of untagged types doesn't handle certain cases of prefixed
calls where the prefix of the call is an overloaded function call.
Specifically, this can occur when the result of some overloadings of the
function have results
This patch fixes a bug in the compiler whereby the experimental "return
when" feature was not supported for return values which were not
identifiers.
Tested on x86_64-pc-linux-gnu, committed on trunk
gcc/ada/
* par-ch6.adb (Get_Return_Kind): Removed.
(Is_Extended): Created to ide
Fix a bug (which shows up as an assertion failure in gigi) having to
do with the tree generated by the FE for a record-valued case-statement
choice that has a subcomponent of an enumeration type.
Tested on x86_64-pc-linux-gnu, committed on trunk
gcc/ada/
* exp_ch5.adb
(Expand_N_C
Code cleanup related to loading of compilation units; semantics is
unaffected.
Tested on x86_64-pc-linux-gnu, committed on trunk
gcc/ada/
* lib-writ.adb (Ensure_System_Dependency): Simplify by reusing a
constant name.diff --git a/gcc/ada/lib-writ.adb b/gcc/ada/lib-writ.adb
--- a/
Cleanup excessive whitespace and use membership tests in code related to
loading of compilation units; semantics is unaffected.
Tested on x86_64-pc-linux-gnu, committed on trunk
gcc/ada/
* lib-load.adb (Load_Unit): Remove excessive whitespace.
* lib.adb (Is_Internal_Unit, Is_Pred
Code cleanup; semantics is unaffected.
Tested on x86_64-pc-linux-gnu, committed on trunk
gcc/ada/
* sem_util.adb (Enclosing_Comp_Unit_Node): When the loop exits
the Current_Node is either an N_Compilation_Unit node or Empty,
so simply return it without redundant checks.di
Cleanup related to loading of compilation units.
Tested on x86_64-pc-linux-gnu, committed on trunk
gcc/ada/
* lib.adb (Remove_Unit): Replace defensive code with an
assertion.
* par-load.adb (Load): Address a question mark in the comment.diff --git a/gcc/ada/lib.adb b/gcc/
Code cleanup; semantics is unaffected.
Tested on x86_64-pc-linux-gnu, committed on trunk
gcc/ada/
* uname.adb (Add_Node_Name): Replace local constant whose
initial expression was evaluated even when unnecessary with just
that expression that is evaluated at most once and
In shells such as Win32 Cmd, malformed command line can be used to spawn
processes. As a consequence when parsing a quoted argument, the closing
double quote can be missing and a null character found instead. In that
case, behave as if the closing double quote is found with the exception
that trail
Before this commit, GNAT would not warn about empty loops caused by
constraints like in the following piece of code:
procedure tmp is
type T is mod 3;
begin
for I in T range -1..1 loop
null;
end loop;
end;
When the constrained type is modular, additional information about
computed
For a default (as opposed to user-defined) Read operation of a composite
type with a scalar component, the RM says that in some cases the
constraint check that is normally performed upon return from a
procedure with an out-mode scalar parameter (in particular, the call
to the procedure Scalar_Compo
Enable support for Ada 2020's Put_Image and Image attributes for
tagged types.
Tested on x86_64-pc-linux-gnu, committed on trunk
gcc/ada/
* exp_put_image.adb: Eliminate references to
Debug_Flag_Underscore_Z. Change the meaning of the function
Enable_Put_Image. Previously
... because in case of compiler bugs, it can be accessed early, so it
needs to be initialized.
Tested on x86_64-pc-linux-gnu, committed on trunk
gcc/ada/
* atree.ads (Current_Error_Node): Initialize to Empty.diff --git a/gcc/ada/atree.ads b/gcc/ada/atree.ads
--- a/gcc/ada/atree.ads
+++ b
On 7/6/21 3:57 AM, Richard Biener wrote:
On Mon, 5 Jul 2021, Richard Biener wrote:
On Fri, 2 Jul 2021, Martin Sebor wrote:
On 7/2/21 5:55 AM, Richard Biener wrote:
This adds the -fmove-loop-stores option, mainly as a way to disable
the store-motion part of GIMPLE invariant motion (-ftree-loo
We seem to have lost much of the optimization of compare -> test insns
at some point. While the H8 does not have a test style insn like the
m68k, a nop move is an excellent substitute as it'll set the condition
codes in an appropriate way.
A nop move is 2 bytes for QI, HI and SI modes, while
Ping: https://gcc.gnu.org/pipermail/gcc-patches/2021-June/573968.html
Any questions/suggestions on the final patch or is it okay to commit?
On 6/29/21 7:46 PM, Martin Sebor wrote:
On 6/29/21 4:58 AM, Richard Biener wrote:
On Mon, Jun 28, 2021 at 8:07 PM Martin Sebor wrote:
On 6/28/21 2:07 A
On 7/3/21 4:13 AM, Bernhard Reutner-Fischer wrote:
On Fri, 2 Jul 2021 13:21:10 -0600
Martin Sebor via Gcc-patches wrote:
--- a/gcc/tree-ssa-uninit.c
+++ b/gcc/tree-ssa-uninit.c
@@ -228,9 +228,26 @@ check_defs (ao_ref *ref, tree vdef, void *data_)
gimple *def_stmt = SSA_NAME_DEF_STMT (vdef)
Ping: https://gcc.gnu.org/pipermail/gcc-patches/2021-June/573349.html
On 6/28/21 1:33 PM, Martin Sebor wrote:
Ping: https://gcc.gnu.org/pipermail/gcc-patches/2021-June/573349.html
On 6/21/21 4:25 PM, Martin Sebor wrote:
-Warray-bounds relies on similar logic as -Wstringop-overflow et al.,
but
To generate sane code a SSE4.1 variable PBLENDV instruction is needed.
Also enable variable vec_set through vec_setm_operand predicate
for TARGET_SSE4_1 instead of TARGET_AVX2. ix86_expand_vector_init_duplicate
is able to emulate vpbroadcast{b,w} with pxor/pshufb.
2021-07-06 Uroš Bizjak
gcc/
On Tue, 6 Jul 2021, Hongtao Liu via Gcc-patches wrote:
> There may be inconsistent behavior between soft-fp and avx512fp16
> instructions if we emulate _Float16 w/ float .
> i.e
> 1) for a + b - c where b and c are variables with the same big value
> and a + b is NAN at _Float16 and real value
On Tue, 6 Jul 2021, Richard Biener via Gcc-patches wrote:
> > /* Look for a wider mode of the same class for which we think we
> > can open-code the operation. Check for a widening multiply at the
> > wider mode as well. */
> >
> > if (CLASS_HAS_WIDER_MODES_P (mclass)
> > &&
On Tue, 6 Jul 2021, H.J. Lu via Gcc-patches wrote:
> > > So the key point is that the soft-fp and avx512fp16 instructions may
> > > do not behave the same on the exception, is this acceptable?
> >
> > I think that's quite often the case for soft-fp.
>
> So this is a GCC limitation. Please docume
All of the optimizations/transformations mentioned in bugzilla for
PR tree-optimization/40210 are already implemented in mainline GCC,
with one exception. In comment #5, there's a suggestion that
(bswap64(x)>>56)&0xff can be implemented without the bswap as
(unsigned char)x, or equivalently x&0xf
On 7/4/21 11:32 AM, Bill Schmidt wrote
> On 7/1/21 2:48 PM, Peter Bergner via Gcc-patches wrote:
>> + if (d[1].icode != CODE_FOR_nothing)
>> + {
>> + op[nopnds++] = void_type_node;
>> + icode = d[1].icode;
>> + }
> This hunk bothers me. The new macros BU_MMA_
Ping?
On 25 Jun 2021, Nick Alcock via Binutils said this:
> Libtool needs to get BSD-format (or MS-format) output out of the system
> nm, so that it can scan generated object files for symbol names for
> -export-symbols-regex support. Some nms need specific flags to turn on
> BSD-formatted outpu
On 7/6/21 2:29 PM, Peter Bergner wrote:
On 7/4/21 11:32 AM, Bill Schmidt wrote
On 7/1/21 2:48 PM, Peter Bergner via Gcc-patches wrote:
+ if (d[1].icode != CODE_FOR_nothing)
+ {
+ op[nopnds++] = void_type_node;
+ icode = d[1].icode;
+ }
This hunk bothers
On 6/30/21 5:38 PM, David Malcolm wrote:
On Thu, 2021-06-10 at 17:30 -0600, Martin Sebor wrote:
This final diff removes the handlers for %G and %K from the pretty
printer and the support for the directives from c-format.c so that
using them will be diagnosed.
I think this is OK once the other
On 7/5/21 3:07 PM, Jason Merrill wrote:
On 6/26/21 10:23 AM, Andrew Sutton wrote:
I ended up taking over this work from Jeff (CC'd on his existing email
address). I scraped all the contracts changes into one big patch
against master. See attached. The ChangeLog.contracts files list the
sum of c
On 7/2/21 5:47 PM, Trevor Saunders wrote:
On Fri, Jul 02, 2021 at 01:20:14PM -0600, Martin Sebor wrote:
On 6/29/21 11:35 PM, Trevor Saunders wrote:
This makes it possible to assert if input_location is used during the lifetime
of a scope. This will allow us to find places that currently use it
On 7/6/21 3:08 PM, Bill Schmidt wrote:
> On 7/6/21 2:29 PM, Peter Bergner wrote:
>> These are RS6000_BTC_GIMPLE, so I think they should be handled within
>> the "if (gimple_func) ..." leg. That said, how about the following
>> change to resolve the issue you have? I'll kick off a bootstrap and
>>
The recent patch series to improve warning suppression for inlined
functions [PR98512] also implicitly includes the inlining context
in all warning messages for inlined code. In r12-2091 I have
committed the attached test to verify that -Warray-bounds too
includes this context (its absence its th
On Tue, Jul 06, 2021 at 04:13:06PM -0500, Peter Bergner wrote:
> On 7/6/21 3:08 PM, Bill Schmidt wrote:
> > On 7/6/21 2:29 PM, Peter Bergner wrote:
> >> These are RS6000_BTC_GIMPLE, so I think they should be handled within
> >> the "if (gimple_func) ..." leg. That said, how about the following
> >
Just like the "ceil" intrinsics,
Instead of copying some tests from gcc/testsuite/gcc.target/i386,
I created new tests. The i386 tests in question used rand() to
generate the input data and assembly to compute the rounded values.
Using rand() for testing seems wrong, and the assembly is obviously
2021-07-06 Paul A. Clarke
gcc/ChangeLog:
* config/rs6000/smmintrin.h (_mm_floor_pd, _mm_floor_ps,
_mm_floor_sd, _mm_floor_ss): New.
---
gcc/config/rs6000/smmintrin.h | 28
1 file changed, 28 insertions(+)
diff --git a/gcc/config/rs6000/smmintrin.h
Add the tests for _mm_floor_pd, _mm_floor_ps, _mm_floor_sd, _mm_floor_ss.
These are modelled after (and depend upon parts of) the tests for
_mm_ceil intrinsics, recently posted.
Copy a test for _mm_floor_sd from gcc/testsuite/gcc.target/i386.
2021-07-06 Paul A. Clarke
gcc/testsuite/ChangeLog:
[Committed as obvious.]
The value of ctv_typeidx is the CTF type ID of the data type of the associated
variable. The order in which the CTF types are added can change across
platforms and also as the code evolves, hence changing the CTF type ID. As
there is no direct and portable method of testin
[Committed as obvious.]
The value of btm_type is the BTF type ID of the referred type. The order in
which the BTF types are added can change across platforms and also as the code
evolves, hence changing the BTF type ID. As there is no direct and portable
method of testing that a BTF type refers t
НА БЛАГО СЕМЬИ
Качество, верность традициям и вкус в каждом продукте.
Мы предлагаем потребителям широкий ассортимент растительного масла,
выпускаемого под брендами Благо, Дары Кубани, Подворье, Каролина и другими
известными торговыми марками.
Потребители высоко ценят качество нашей продукции, ко
On Wed, Jul 7, 2021 at 2:11 AM Joseph Myers wrote:
>
> On Tue, 6 Jul 2021, Hongtao Liu via Gcc-patches wrote:
>
> > There may be inconsistent behavior between soft-fp and avx512fp16
> > instructions if we emulate _Float16 w/ float .
> > i.e
> > 1) for a + b - c where b and c are variables with
On Tue, Jul 6, 2021 at 9:37 AM Hongtao Liu wrote:
>
> On Tue, Jul 6, 2021 at 7:31 AM Segher Boessenkool
> wrote:
> >
> > Hi!
> >
> > I ran into this in shrink-wrap.c today.
> >
> > On Thu, Jun 03, 2021 at 02:54:07PM +0800, liuhongt via Gcc-patches wrote:
> > > Use "used" flag for CALL_INSN to ind
On 6/30/21 11:53 PM, Sandra Loosemore wrote:
For the past several months I've been working on developing a set of
tests for the Fortran/C interoperability features added to Fortran via
TS 29113, "Further Interoperability of Fortran with C":
https://wg5-fortran.org/N1901-N1950/N1942.pdf
The go
Hi Jerry,
Looks OK Thomas,
Good for backport as well.
Thanks. Committed to trunk so far, will add a git worktree for
gcc11 next :-)
Best regards
Thomas
On Mon, Jun 28, 2021 at 4:26 PM Richard Biener
wrote:
>
> On Mon, Jun 28, 2021 at 10:07 AM Xionghu Luo wrote:
> >
> >
> >
> > On 2021/6/25 18:02, Richard Biener wrote:
> > > On Fri, Jun 25, 2021 at 11:41 AM Xionghu Luo wrote:
> > >>
> > >>
> > >>
> > >> On 2021/6/25 16:54, Richard Biener wrote:
73 matches
Mail list logo
