> -Original Message-
> From: Przemyslaw Wirkus
> Sent: Wednesday, September 22, 2021 9:38 AM
> To: gcc-patches@gcc.gnu.org
> Cc: Richard Earnshaw ; Richard Sandiford
> ; Marcus Shawcroft
> ; Kyrylo Tkachov
> Subject: [PATCH][GCC] aarch64: enable cortex-x2 CPU
>
> Patch is adding
> -Original Message-
> From: Przemyslaw Wirkus
> Sent: Wednesday, September 22, 2021 9:37 AM
> To: gcc-patches@gcc.gnu.org
> Cc: Richard Earnshaw ; Richard Sandiford
> ; Marcus Shawcroft
> ; Kyrylo Tkachov
> Subject: [PATCH][GCC] aarch64: enable cortex-a710 CPU
>
> Patch is adding
On Fri, Oct 01, 2021 at 01:53:37PM +0200, Richard Biener wrote:
> OK. Maybe the change is worth mentioning in changes.html or maybe it's
> just a bugfix...
I think it is worth mentioning it there.
And so I'd probably wouldn't try to backport it, except perhaps
the recover for
On Fri, 1 Oct 2021, Jakub Jelinek wrote:
> Hi!
>
> As noted by Richi, in clang INT_MIN / -1 is instrumented under
> -fsanitize=signed-integer-overflow rather than
> -fsanitize=integer-divide-by-zero as we did and doing it in the former
> makes more sense, as it is overflow during division rather
Hi Przemek,
> -Original Message-
> From: Przemyslaw Wirkus
> Sent: Wednesday, September 22, 2021 9:35 AM
> To: gcc-patches@gcc.gnu.org
> Cc: Richard Earnshaw ; Richard Sandiford
> ; Marcus Shawcroft
> ; Kyrylo Tkachov
> Subject: [PATCH][GCC] aarch64: enable cortex-a510 CPU
>
> Patch is
Hi!
As noted by Richi, in clang INT_MIN / -1 is instrumented under
-fsanitize=signed-integer-overflow rather than
-fsanitize=integer-divide-by-zero as we did and doing it in the former
makes more sense, as it is overflow during division rather than division
by zero.
I've verified on godbolt that
> -Original Message-
> From: Gcc-patches bounces+kyrylo.tkachov=arm@gcc.gnu.org> On Behalf Of Christophe
> LYON via Gcc-patches
> Sent: Thursday, September 30, 2021 2:51 PM
> To: gcc-patches@gcc.gnu.org
> Subject: Re: [PATCH] aarch64: Improve size heuristic for cpymem expansion
>
>
On Fri, Oct 1, 2021 at 4:03 AM Eric Gallager via Gcc-patches
wrote:
>
> On Mon, Sep 20, 2021 at 12:15 AM apinski--- via Gcc-patches
> wrote:
> >
> > From: Andrew Pinski
> >
> > So GCC has always accepted non-pointer types in computed gotos but
> > that was wrong based on the documentation:
> >
On 10/1/21 12:55 PM, Gerald Pfeifer wrote:
On Fri, 24 Sep 2021, Aldy Hernandez via Gcc-patches wrote:
This patch implements the new hybrid forward threader and replaces the
embedded VRP threader with it.
I'm not sure this is the right of the patches to follow-up around this,
but between
On Mon, Sep 20, 2021 at 12:15 AM apinski--- via Gcc-patches
wrote:
>
> From: Andrew Pinski
>
> So GCC has always accepted non-pointer types in computed gotos but
> that was wrong based on the documentation:
> Any expression of type void * is allowed.
>
> So this fixes the problem by requiring
On Fri, 24 Sep 2021, Aldy Hernandez via Gcc-patches wrote:
> This patch implements the new hybrid forward threader and replaces the
> embedded VRP threader with it.
I'm not sure this is the right of the patches to follow-up around this,
but between Jeff writing
"Note we've got massive
On 10/1/21 12:17, Richard Biener wrote:
On Fri, Oct 1, 2021 at 11:55 AM Martin Liška wrote:
Support merging of profiles that are built from a different .o files
but belong to the same source file. Moreover, a checksum is verified
during profile merging and so we can safely combine such
Just a little thing I noticed in one of the recent commits.
Pushed.
---
htdocs/gcc-12/changes.html | 2 +-
htdocs/gcc-8/changes.html | 2 +-
htdocs/news.html | 4 ++--
htdocs/news/sparc.html | 2 +-
4 files changed, 5 insertions(+), 5 deletions(-)
diff --git
On Fri, Oct 1, 2021 at 11:55 AM Martin Liška wrote:
>
> Support merging of profiles that are built from a different .o files
> but belong to the same source file. Moreover, a checksum is verified
> during profile merging and so we can safely combine such profile.
>
> Patch can bootstrap on
On Fri, 24 Sep 2021, Hongtao Liu via Gcc-patches wrote:
> + New ISA extension support for Intel AVX512-FP16 was added to GCC.
> + AVX512FP16 intrinsics are available [...]
So, is it AVX512-FP16 or AVX512FP16?
Gerald
Just some editorial changes to simplify things.
Pushed.
Gerald
---
htdocs/gcc-12/changes.html | 8
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/htdocs/gcc-12/changes.html b/htdocs/gcc-12/changes.html
index 0e2962ee..45e87ea4 100644
--- a/htdocs/gcc-12/changes.html
+++
> > Subject: [PATCH][GCC] aarch64: add armv9-a to -march
> >
> > Patch is adding new command line option 'armv9-a' to -march.
> >
> > OK for master?
>
> Ok.
commit f0688d42c9b74a6999548ff2e79ae440b049b87f
> Thanks,
> Kyrill
>
> >
> > gcc/ChangeLog:
> >
> > 2021-09-22 Przemyslaw Wirkus
> >
>
Support merging of profiles that are built from a different .o files
but belong to the same source file. Moreover, a checksum is verified
during profile merging and so we can safely combine such profile.
Patch can bootstrap on x86_64-linux-gnu and survives regression tests.
I'm going to install
On Fri, Oct 01, 2021 at 11:34:15AM +0200, Tobias Burnus wrote:
> On 01.10.21 11:03, Jakub Jelinek wrote:
> > 2021-10-01 Jakub Jelinek
> > libgomp/
> > * testsuite/libgomp.c-c++-common/order-reproducible-1.c: New test.
> > * testsuite/libgomp.c-c++-common/order-reproducible-2.c: New
On Fri, Oct 01, 2021 at 11:32:24AM +0200, Tobias Burnus wrote:
> libgomp/ChangeLog:
>
> * testsuite/libgomp.fortran/alloc-10.f90: Fix alignment check.
> * testsuite/libgomp.fortran/alloc-7.f90: Fix array access.
> * testsuite/libgomp.fortran/alloc-8.f90: Likewise.
> *
On 01.10.21 11:03, Jakub Jelinek wrote:
2021-10-01 Jakub Jelinek
libgomp/
* testsuite/libgomp.c-c++-common/order-reproducible-1.c: New test.
* testsuite/libgomp.c-c++-common/order-reproducible-2.c: New test.
Attached is the Fortran version of the two patches – the Fortran FE
... and attached the Fortran version of the C/C++ testcase.
OK?
Tobias
On 01.10.21 10:59, Jakub Jelinek wrote:
2021-10-01 Jakub Jelinek
* omp.h.in (omp_aligned_alloc, omp_aligned_calloc): Add
__alloc_align__ (1) attribute.
* testsuite/libgomp.c-c++-common/alloc-9.c: New
From: Andrew Pinski
Looks like I tested the change for bb-slp-pr97709.c on an
older tree which did not have the error message so I had
missed one more place where the change was needed.
Anyways committed after testing to make sure the testcase passes
now.
gcc/testsuite/ChangeLog:
*
Hi!
While OpenMP 5.1 implies order(concurrent) is the same thing as
order(reproducible:concurrent), this is going to change in OpenMP 5.2, where
essentially order(concurrent) means nothing is stated on whether it is
reproducible or unconstrained (and is determined by other means, e.g. for/do
with
Hi!
This patch avoids the following relocations:
readelf -Wr libgomp.so.1.0.0 | grep omp_
000470e0 02070007 R_X86_64_JUMP_SLOT 0001d9d0
omp_fulfill_event@@OMP_5.0.1 + 0
00047170 00b80007 R_X86_64_JUMP_SLOT e760
Hi!
This patch adds alloc_align attribute to omp_aligned_{,c}alloc so that if
the first argument is constant, GCC can assume requested alignment.
Additionally, it adds testsuite coverage for omp_realloc which I haven't
managed to write in the patch from yesterday.
Bootstrapped/regtested on
On Fri, Oct 1, 2021 at 10:30 AM Eric Botcazou wrote:
>
> > OK though I wonder if you could get away with using
> > built_function_type (void_type_node, NULL_TREE); aka
> > a non-prototype void f().
>
> See below.
>
> > Did you track down what changed the requirement?
>
> The new function-abi.cc
> OK though I wonder if you could get away with using
> built_function_type (void_type_node, NULL_TREE); aka
> a non-prototype void f().
See below.
> Did you track down what changed the requirement?
The new function-abi.cc module, so I'd rather have a correct prototype.
--
Eric Botcazou
On Fri, Oct 1, 2021 at 10:17 AM Eric Botcazou via Gcc-patches
wrote:
>
> Hi,
>
> this is a regression present on mainline, 11 and 10 branches: on bare-metal
> platforms, the Ada compiler emulates stack checking (it is required by the
> language and tested by ACATS) in the runtime via the
On Thu, 30 Sep 2021, Andre Vieira (lists) wrote:
> Hi,
>
>
> >> That just forces trying the vector modes we've tried before. Though I might
> >> need to revisit this now I think about it. I'm afraid it might be possible
> >> for
> >> this to generate an epilogue with a vf that is not lower than
Hi,
this is a regression present on mainline, 11 and 10 branches: on bare-metal
platforms, the Ada compiler emulates stack checking (it is required by the
language and tested by ACATS) in the runtime via the stack_check_libfunc hook
of the RTL middle-end. Calls to the function are generated
> -Original Message-
> From: Przemyslaw Wirkus
> Sent: Wednesday, September 22, 2021 9:33 AM
> To: gcc-patches@gcc.gnu.org
> Cc: Richard Earnshaw ; Richard Sandiford
> ; Marcus Shawcroft
> ; Kyrylo Tkachov
> Subject: [PATCH][GCC] aarch64: add armv9-a to -march
>
> Patch is adding new
Status
==
The GCC development branch is open for general development (Stage 1),
but the two-month general bugfixing period (Stage 3) is ahead with
historical data telling us to expect it to start Nov 15th and last
through the Christmas holidays.
Take the quality data below with a big grain
When inlining we have to avoid mapping a non-lvalue parameter
value into a context that prevents the parameter to be a register.
Formerly the register were TREE_ADDRESSABLE but now it can be
just DECL_NOT_GIMPLE_REG_P.
Bootstrapped and tested on x86_64-unknown-linux-gnu, pushed.
2021-09-30
If a Subprogram_Variant aspect is given in ghost code, and the assertion
policy is set to Ghost => Ignore, and the -gnata switch is used, the
compiler gives spurious error messages.
Tested on x86_64-pc-linux-gnu, committed on trunk
gcc/ada/
* exp_ch6.adb (Expand_Call_Helper): Do not
This commit makes GNAT empty CUDA_Global procedures when compiling for
the host. This is required because CUDA_Global procedures could be
referencing entities that only exist on the GPU, which would result in
errors from the linker at link time.
We empty the procedures rather than completely
Ensure that the consequences of indexing into an array with the value of
an uninitialized variable are consistent with Ada RM 13.9.1(11) by
generating additional validity checks in some array indexing cases.
Tested on x86_64-pc-linux-gnu, committed on trunk
gcc/ada/
* checks.ads: Define
Gather more statistics, and make some minor efficiency improvements.
Adjust the heuristic for the order in which we choose field offsets.
This reduces the maximum size of a node from 10 slots to 9 slots, and
makes the compiler a little bit faster.
Add more special cases for fields whose offsets
It is only documented for static computations currently.
Tested on x86_64-pc-linux-gnu, committed on trunk
gcc/ada/
* doc/gnat_rm/implementation_defined_characteristics.rst: Document
the rounding mode assumed for dynamic computations as per 3.5.7(16).
* gnat_rm.texi:
This patch fixes a crash on a case statement whose expression is an
attribute reference Type_Key, which yields a String. The attribute
reference may have been fully analyzed, and the resolution against
Any_Discrete fails to detect the error.
Tested on x86_64-pc-linux-gnu, committed on trunk
Calling the function on an unspecified type may trigger the failure of
the precondition of the Interfaces accessor.
Tested on x86_64-pc-linux-gnu, committed on trunk
gcc/ada/
* sem_type.adb (Specific_Type): Check that the type is tagged
before calling
It will be used to tame the inlining of expression functions.
Tested on x86_64-pc-linux-gnu, committed on trunk
gcc/ada/
* debug.adb (d.8): Document usage.
* fe.h (Debug_Flag_Dot_8): Declare.diff --git a/gcc/ada/debug.adb b/gcc/ada/debug.adb
--- a/gcc/ada/debug.adb
+++
Warnings about declarations being hidden can be issued in some cases
when compiling a generic instantiation, but such warnings aren't correct
(hiding can be flagged in a generic, but shouldn't be in an instance).
The warning is now suppressed within instances.
Tested on x86_64-pc-linux-gnu,
The CUDA_Device aspect allows specifying an entity as being device
(GPU)-only. This commit implements the basic machinery to detect the
aspect/pragma, but does not implement any functionality (a warning is
issued instead).
Tested on x86_64-pc-linux-gnu, committed on trunk
gcc/ada/
*
Also fix [se]info.h output to include both declarations and definitions
of the functions for unions so that unions can refer to other unions
without being order-dependent.
Tested on x86_64-pc-linux-gnu, committed on trunk
gcc/ada/
* gen_il-gen-gen_nodes.adb (N_Alternative,
This patch corrects an issue in the compiler whereby a renaming within a
declare expression may result in a crash in some systems.
Tested on x86_64-pc-linux-gnu, committed on trunk
gcc/ada/
* exp_dbug.adb (Debug_Renaming_Declaration): Add check for
Entity present for Ren to
A type derived from a private type that specifies
Default_Initial_Condition can lead to an assertion failure when the
compiler builds the body of the derived type's DIC procedure. Some code
inherited from type invariants doesn't apply in the DIC case, and
performed an incorrect assertion testing
New implementation of class-wide pre/postconditions that relies on
helpers to move the corresponding runtime checks to the caller side.
This implementation also adds indirect call wrappers and dispatch table
wrappers that facilitate combining class-wide conditions with
access-to-subprogram types
This patch adds a guard to the code generated in the second pass of the
two-pass expansion for array aggregates described in AI12-0212. The
guard is needed to prevent a spurious constraint error when incrementing
the index used for aggregate insertion, before exiting the loop.
Tested on
A routine for deleting SCIL files generated by previous CodePeer runs
didn't expect compilation units that are subprogram renamings, generic
renamings and generic subprogram declarations.
Tested on x86_64-pc-linux-gnu, committed on trunk
gcc/ada/
* comperr.adb (Delete_SCIL_Files):
When the binder detects a mismatch between the versions of two .ali
files, include the version information in the resulting message.
Tested on x86_64-pc-linux-gnu, committed on trunk
gcc/ada/
* bcheck.adb (Check_Versions): Add support for the case where
the .ali file contains
In some cases, an integer literal of a tagged type whose Integer_Literal
aspect is inherited from an ancestor type was not handled correctly by
the compiler. In particular, Ada RM 13.1(15.5) was not correctly
implemented, resulting in the incorrect rejection of legal uses of
integer literals with
Information gathering in preparation for more efficiency improvements.
We gather statistics from the running compiler, and we also have gen_il
generate information in the form of comments.
Tested on x86_64-pc-linux-gnu, committed on trunk
gcc/ada/
* atree.adb: Gather and print
C stream fopen function opens file for size no more than 2G by default
on 32 bit platforms. Use fopen and other stream functions from
System.CRTL to overcome this limit.
Tested on x86_64-pc-linux-gnu, committed on trunk
gcc/ada/
* libgnat/memtrack.adb (Putc): New routine wrapped around
Refine predicate Must_Slide to ensure that no spurious range checks are
generated when context subtype and aggregate subtype are non-static.
Tested on x86_64-pc-linux-gnu, committed on trunk
gcc/ada/
* exp_aggr.adb (Must_Slide): If the aggregate only contains an
others_clause no
When the binder detects a mismatch between the versions of two .ali
files, include the version information in the resulting message.
Tested on x86_64-pc-linux-gnu, committed on trunk
gcc/ada/
* bcheck.adb (Check_Versions): In the case of an ali file
version mismatch, if distinct
If -gnatE is specified, then in some cases a call to a subprogram
includes a check that the body of the subprogram has been elaborated. No
such check is needed in the case of an expression function that is not a
completion; the function has no prior declaration. However, in some
cases the compiler
This commit fixes warnings emitted by the CodePeer static analyzer.
Tested on x86_64-pc-linux-gnu, committed on trunk
gcc/ada/
* sem_aggr.adb (Resolve_Iterated_Component_Association):
Initialize Id_Typ to Any_Type by default.diff --git a/gcc/ada/sem_aggr.adb
Change to 64bit time to avoid Unix Epochalypse.
Tested on x86_64-pc-linux-gnu, committed on trunk
gcc/ada/
* libgnat/s-parame__vxworks.ads (time_t_bits): Change to
Long_Long_Integer'Size.diff --git a/gcc/ada/libgnat/s-parame__vxworks.ads b/gcc/ada/libgnat/s-parame__vxworks.ads
101 - 159 of 159 matches
Mail list logo