This patch implements a check in the runtime library that determines whether
the current target supports the atomic primitives up to 64 bits.
This should fix build failures on e.g. powerpc-darwin.
Tested on x86_64-pc-linux-gnu, committed on trunk
2012-07-23 Vincent Pucci
* system-aix
Hi Arnaud,
--- s-atopri.adb(revision 189768)
+++ s-atopri.adb(working copy)
@@ -31,6 +31,58 @@
package body System.Atomic_Primitives is
+ --
+ -- Lock_Free_Read_8 --
+ --
...
+ --
+ -- Lock_Free_Read_16
> Hi Arnaud,
You removed Vincent who is the author of this patch, included here.
>> --- s-atopri.adb (revision 189768)
>> +++ s-atopri.adb (working copy)
>> @@ -31,6 +31,58 @@
>>
>> package body System.Atomic_Primitives is
>>
>> + --
>> + -- Lock_Free_Read_8 --
Aspect specification can appear in subprogram bodies. To handle them in the
parser the aspects that follow a subprogram specification must be collected,
and attached to the proper declaration or body only after the nature of the
enclosing construct has been determined.
The following must compile q
This change fixes incorrect source location indications in SCOs for decisions
corresponding to guard expressions in SELECT statements, which can cause
a crash in coverage analysis tools.
Tested on x86_64-pc-linux-gnu, committed on trunk
2012-07-23 Thomas Quinot
* par_sco.adb (Process_
This patch corrects the machinery which detects whether a particular transient
context may raise an exception. Examine the original expression of an object
declaration node because a function call that returns on the secondary stack
may have been rewritten into something else and no longer appear a
This change ensures that the NULL statement generated for coverage analysis
purposes in an otherwise empty ACCEPT alternative is not eliminated by GIGI
or the code generator by setting its Comes_From_Source flag.
Tested on x86_64-pc-linux-gnu, committed on trunk
2012-07-23 Thomas Quinot
For GNAT dimensionality checking system, accept constant declaration
whose type is a dimensioned type when an initialization expression with
dimension is present.
The test presented below highlights this new patch:
-- Source --
with System.Dim.Mks_IO; use System.Dim.Mks
A user-defined indexing operation can have more than one index, for example
to describe user-defined matrix types.
The following must compile quietly:
gcc -c -gnat12 test_indexing.adb
---
with Ada.Text_IO; use Ada.Text_IO;
with Project; use Project;
with Matrix_3x3s; use Matrix_3x3s;
wi
This patch reimplements the way accessibility checks are performed on heap-
allocated class-wide objects. The checks now contain clean up code which
finalizes (if applicable) and deallocates the object.
Tested on x86_64-pc-linux-gnu, committed on trunk
2012-07-23 Hristian Kirtchev
* e
Various operations in the indefinite containers perform initialized allocators
for elements, and accessibility checks are required on those allocators which
can fail when the actual type for Element_Type is a class-wide type and the
operation is passed an element value of a type extension declared
This patch fixes the code that implements AI05-0090, a check for ambiguities
in calls to primitive operations of tagged synchronized types.
No small example available.
Tested on x86_64-pc-linux-gnu, committed on trunk
2012-07-23 Ed Schonberg
* sem_ch4.adb (Analyze_Selected_Component)
In Alfa mode for formal verification, the loop form with an iterator is not
expanded, thus the analysis of the loop body should be done during semantic
analysis.
Tested on x86_64-pc-linux-gnu, committed on trunk
2012-07-23 Yannick Moy
* sem_ch5.adb (Analyze_Loop_Statement): Make sure
This patch corrects the retrieval of the base type of an enumeration subtype.
In certain cases the base type may be a private type, therefore the compiler
must inspect its full view.
Tested on x86_64-pc-linux-gnu, committed on trunk
2012-07-23 Hristian Kirtchev
* checks.adb (Determine
This patch updates the restrictions of the lock-free implementation.
Furthermore, it also catches every error messages issued by the routine
Allows_Lock_Free_Implementation.
The test below illustrates some of the new restrictions:
-- Source --
package Typ is
protecte
Hi JBG,
warning: implicit declaration of function ‘frv_ifcvt_machdep_init’
warning: no previous prototype for ‘frv_ifcvt_machdep_init’
oops!
gcc/
2012-07-21 Jan-Benedict Glaw
* config/frv/frv-protos.h: Update copyright year,
include basic-block.h (for ce_if
On Sun, Jul 22, 2012 at 12:40 AM, Steven Bosscher wrote:
> Hello,
>
> This patch cleans up some "interesting" things in GCC's profiling
> support. The most significant changes are the removal of
> BB_TO_GCOV_INDEX and after_tree_profile. Another visible cleanup is
> that -profile-generate no longe
On Sun, Jul 22, 2012 at 4:34 PM, Steven Bosscher wrote:
> Hello,
>
> While reading up on how gcov/profiling works, I noticed that there are
> a lot of places where the notes file is still referred to as the
> "basic block graph" file. Also, the gcov manual has not been updated
> for -fprofile-dir.
On Mon, Jul 23, 2012 at 1:23 AM, Steven Bosscher wrote:
> Hello,
>
> This patch fixes PR53881 by making group_case_labels_stmt look at the
> CFG instead of relying on label equality.
>
> Bootstrapped&tested on powerpc64-unknown-linux-gnu. OK?
Ok.
Thanks,
Richard.
> Ciao!
> Steven
On 06/07/12 16:31, Ian Bolton wrote:
Hi,
This patch reduces codesize for cases such as this one:
int arr[100];
int foo () { return arr[10]; }
Before the patch, the code looked like this:
adrp x0, arr
add x0, x0, :lo12:arr
ldr w0, [x0,40]
Now, it looks like this:
adrp x0, arr+40
Anyone? Ping.
2012/7/20 Anna Tikhonova
>
> Hi all,
>
> I've fixed test which was failing on Android NDK
>
> testsuite/ChangeLog:
> 2012-07-20 Anna Tikhonova
>
> * gcc.dg/20020201-1.c: Include .
>
> Patch attached.
>
> Ok for trunk & 4.7?
>
On Mon, 2012-07-23 08:28:53 +0100, nick clifton wrote:
> Hi JBG,
>
> > warning: implicit declaration of function ‘frv_ifcvt_machdep_init’
> > warning: no previous prototype for ‘frv_ifcvt_machdep_init’
>
> oops!
>
> >gcc/
> >2012-07-21 Jan-Benedict Glaw
> > * config/frv/frv-proto
Hi,
The test case gcc.dg/torture/stackalign/builtin-apply-2.c makes
assumptions which cannot be met for __builtin_apply for the ARM
hard-float ABI variant. This patch simply skips the test in that case.
Tested (stackalign.exp only) for ARMv4t -marm/-mthumb/-mfloat-abi=hard.
The previously-failing
On Fri, Jul 20, 2012 at 11:28 AM, Richard Guenther
wrote:
> On Fri, Jul 20, 2012 at 11:02 AM, Steven Bosscher
> wrote:
>> On Thu, Jul 19, 2012 at 11:09 AM, Richard Guenther
>> wrote:
>>> Hmm, pp_flush looks like a lot more expensive compared to pp_newline
>>> for example in
>>>
>>> @@ -74,7 +74
Bootstrapped and tested on x86_64-unknown-linux-gnu, applied.
Richard.
2012-07-23 Richard Guenther
* tree-ssa-alias.c (dump_alias_info): Walk over local decls
instead of referenced vars.
Index: gcc/tree-ssa-alias.c
On 23/07/12 13:17, Julian Brown wrote:
> Hi,
>
> The test case gcc.dg/torture/stackalign/builtin-apply-2.c makes
> assumptions which cannot be met for __builtin_apply for the ARM
> hard-float ABI variant. This patch simply skips the test in that case.
>
> Tested (stackalign.exp only) for ARMv4t -
Richard Earnshaw wrote:
> >> Hmm, I wonder if we should just unconditionally call split_all_insns()
> >> at the start of md_reorg when -O0. This would address your problem, but
> >> have the added benefit that the length calculations would be more
> >> accurate. We're going to have to split the i
Hello,
$SUBJECT because it makes sbitmap.c independent of basic-block.h -- as
it should be, given that sbitmap is just a very simple bitmap
datatype.
Bootstrapped (profiledbootstrapped, actually) and tested on
x86_64-unknown-linux-gnu. OK for trunk?
Ciao!
Steven
* sbitmap.h (sbitmap_inte
Hi JBG,
2012-07-21 Jan-Benedict Glaw
* config/frv/frv-protos.h: Update copyright year,
include basic-block.h (for ce_if_block_t).
(frv_ifcvt_machdep_init): Declare.
Approved - please apply.
My key isn't set-up for committing to GCC (only for binutils up to
now.) P
This should fix PR53616, loop distribution can change partition
ordering when merging non-builtin partitions again, not honoring
read-after-write dependences. The patch simply avoids any change
in ordering.
Bootstrapped on x86_64-unknown-linux-gnu, testing in progress.
Richard.
2012-07-23 Ric
On Mon, Jul 23, 2012 at 3:59 PM, Steven Bosscher wrote:
> Hello,
>
> $SUBJECT because it makes sbitmap.c independent of basic-block.h -- as
> it should be, given that sbitmap is just a very simple bitmap
> datatype.
>
> Bootstrapped (profiledbootstrapped, actually) and tested on
> x86_64-unknown-l
Hi,
GCC has had a feature for many years to realign the stack for
interrupt-handler functions (marked with "__attribute__((interrupt))")
on Cortex-M-series devices (IIRC, this was a workaround for a hardware
issue, or perhaps some unforeseen circumstance when the stack could
become misaligned in u
Hi Arnaud,
On 23 Jul 2012, at 09:02, Arnaud Charlet wrote:
> This patch implements a check in the runtime library that determines whether
> the current target supports the atomic primitives up to 64 bits.
If I understand the name of the flag, it looks like an "all or nothing" for
atomic primiti
> > This patch implements a check in the runtime library that determines
> > whether
> > the current target supports the atomic primitives up to 64 bits.
>
> If I understand the name of the flag, it looks like an "all or nothing" for
> atomic primitives?
Right.
> is that a consequence of the lan
On 23 Jul 2012, at 15:27, Arnaud Charlet wrote:
>> With the following, bootstrap completed on powerpc-apple-darwin9, and
>> make check-ada shows no new fails.
>> Should I apply it?
>
> Looks good to me, go ahead, although I'm a bit surprised that you got an
> error,
> can you clarify what error
On Jul 23, 2012, at 10:32, Iain Sandoe wrote:
>> Looks good to me, go ahead, although I'm a bit surprised that you got an
>> error,
>> can you clarify what error you got?
>
> IIRC, that the flag was undefined.
> If it's important I can revert the fix in my local tree and re-build.
> Iaim
No n
> >> With the following, bootstrap completed on powerpc-apple-darwin9,
> >> and
> >> make check-ada shows no new fails.
> >> Should I apply it?
> >
> > Looks good to me, go ahead, although I'm a bit surprised that you got an
> > error,
> > can you clarify what error you got?
>
> IIRC, that the fl
> >> Looks good to me, go ahead, although I'm a bit surprised that you got an
> >> error,
> >> can you clarify what error you got?
> >
> > IIRC, that the flag was undefined.
> > If it's important I can revert the fix in my local tree and re-build.
> > Iaim
> No need to do that. Indeed, the flag
On 07/23/2012 10:43 AM, Arnaud Charlet wrote:
With the following, bootstrap completed on powerpc-apple-darwin9,
and
make check-ada shows no new fails.
Should I apply it?
Looks good to me, go ahead, although I'm a bit surprised that you got an
error,
can you clarify what error you got?
IIRC, tha
> The swicth is defaulted to be False in Targparm.
> However, as far as I understood in Targparm, the switch must be present in
> all system.ads packages but I may be wrong.
That sounds wrong and isn't how other flags work.
Vincent, can you please double check exactly what's happening, and in par
On 23 Jul 2012, at 15:57, Arnaud Charlet wrote:
>> The swicth is defaulted to be False in Targparm.
>> However, as far as I understood in Targparm, the switch must be present in
>> all system.ads packages but I may be wrong.
>
> That sounds wrong and isn't how other flags work.
>
> Vincent, can
On 07/23/2012 11:03 AM, Iain Sandoe wrote:
On 23 Jul 2012, at 15:57, Arnaud Charlet wrote:
That sounds wrong and isn't how other flags work.
Vincent, can you please double check exactly what's happening, and in particular
verify that a missing flag in system-.ads will NOT cause an error?
Also
On Jul 23, 2012, at 10:24, Iain Sandoe wrote:
>> This patch implements a check in the runtime library that determines whether
>> the current target supports the atomic primitives up to 64 bits.
>
> If I understand the name of the flag, it looks like an "all or nothing" for
> atomic primitives?
>> FWIW, I checked the build transcript for the failed case:
>>
>> s-atopri.adb:40:10: "Support_Atomic_Primitives" is undefined (more
>> references follow)
>> make[8]: *** [s-atopri.o] Error 1
>>
>> cheers
>> Iain
>
> Just got the same error... investigating
Ah, so the issue is not in the compi
On Jul 23, 2012, at 10:45, Arnaud Charlet wrote:
> No, as we agreed and discussed, the flag does NOT have to be defined for all
> versions of system.ads, so this is a bug that needs to be fixed (precisely
> for the issue raised here: we don't want unknown or new ports to be broken
> by default).
> Having a default can't work, as s-atopri.adb needs access to the flag.
> Only the front end itself can use a default, not the run time.
Well, this means the current design is broken and s-atopri.adb needs to
be modified.
As we discussed, we cannot assume that System.Support_Atomic_Primitives
ex
On Mon, 23 Jul 2012 14:40:59 +0100
Richard Earnshaw wrote:
> On 23/07/12 13:17, Julian Brown wrote:
> > Hi,
> >
> > The test case gcc.dg/torture/stackalign/builtin-apply-2.c makes
> > assumptions which cannot be met for __builtin_apply for the ARM
> > hard-float ABI variant. This patch simply sk
Hello!
Attached patch further improves ix86_decompose_address to allow
(zero_extend:DI (subreg:SI (...))) addresses and prevent zero extended
CONST_INT operands (as was previously the case with LEA operands
only). This improvement allows us to put quite some asserts to
strategic places, in order t
This is a revised version of Paul Brook's patch from two years ago:
http://gcc.gnu.org/ml/gcc-patches/2010-06/msg01088.html
I've updated the patch per the review comments from that time, and also
extended it to handle a similar warning from the C++ front end.
I have so far only tested this on a
On 23 July 2012 16:41, Julian Brown wrote:
> On Mon, 23 Jul 2012 14:40:59 +0100
> Richard Earnshaw wrote:
>
>> On 23/07/12 13:17, Julian Brown wrote:
>> > Hi,
>> >
>> > The test case gcc.dg/torture/stackalign/builtin-apply-2.c makes
>> > assumptions which cannot be met for __builtin_apply for the
Hello Thomas,
Just a follow-up - have those changes been made?
Thank you,
Marius Cornea
-Original Message-
From: H.J. Lu [mailto:hjl.to...@gmail.com]
Sent: Saturday, June 16, 2012 7:35 AM
To: Thomas Schwinge
Cc: decimalfp; gcc-patches@gcc.gnu.org
Subject: Re: [PATCH] Decimal Floating-Poi
On 23/07/12 14:57, Ulrich Weigand wrote:
> Richard Earnshaw wrote:
Hmm, I wonder if we should just unconditionally call split_all_insns()
at the start of md_reorg when -O0. This would address your problem, but
have the added benefit that the length calculations would be more
ac
Richard Earnshaw wrote:
> On 23/07/12 14:57, Ulrich Weigand wrote:
> > * config/arm/arm.c (arm_reorg): Ensure all insns are split.
> OK.
Checked in now. Is this OK for 4.7 as well?
Bye,
Ulrich
--
Dr. Ulrich Weigand
GNU Toolchain for Linux on System z and Cell BE
ulrich.weig...@de.ibm
Change new C++ code to follow the new C++ coding conventions. This patch is
part one, which changes to out-of-line method definitions and does other minor
changes. Part two will fix the spacing problems. The two-part approach makes
diffs sensible.
Index: gcc/ChangeLog.cxx-conversion
2012-07-2
On Jul 23, 2012, at 11:21, Geert Bosch wrote:
> On Jul 23, 2012, at 10:45, Arnaud Charlet wrote:
>> No, as we agreed and discussed, the flag does NOT have to be defined for all
>> versions of system.ads, so this is a bug that needs to be fixed (precisely
>> for the issue raised here: we don't want
On 23/07/12 18:29, Ulrich Weigand wrote:
> Richard Earnshaw wrote:
>> On 23/07/12 14:57, Ulrich Weigand wrote:
>>> * config/arm/arm.c (arm_reorg): Ensure all insns are split.
>> OK.
>
> Checked in now. Is this OK for 4.7 as well?
>
> Bye,
> Ulrich
>
Leave it a couple of days, just in case
Hello!
No functional changes.
2012-07-23 Uros Bizjak
* config/i386/i386-protos.c (ix86_lea_outperforms): Remove prototype.
* config/i386/i386.c (ix86_lea_outperforms): Make static. Make
split_cost argument signed.
(ix86_avoid_lea_for_add): Cleanup.
(ix
On 23/07/2012 07:58, Tobias Burnus wrote:
> Mikael Morin wrote:
>> Here is another attempt.
>> I moved the diagnostic code from gfc_resolve_iterator to
>> resolve_array_list, so that it doesn't trigger for do loops.
>> Regression test in progress. OK?
>
> The patch looks OK:
>
> Though, I wonder
On Sun, Jul 1, 2012 at 11:58 AM, Richard Guenther
wrote:
> We have to think about the point in the pass pipeline where we want to do
> this (and the rest of) lowering. At the moment switch-conversion runs before
> profile-data is read and thus cannot do a very good job. I think lowering
> somewh
Hi!
Since this change for stack-protector enabling hurts mingw compiler
(see http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53980 and
http://gcc.gnu.org/ml/gcc-patches/2012-07/msg00638.html) we'd like to
make change more general.
Please see new patch in attachment.
Tested in android environment(x86_6
Resending in plain text mode so it goes through.
Teresa
On Mon, Jul 23, 2012 at 12:03 PM, Teresa Johnson wrote:
> Any possibility of getting these patches (186979 and 186993), along with
> r184891 (which added the and->zext splitter), backported to the 4_7 branch?
> I found a performance issue wh
>>> But if the consensus turns out to be that enumerators should be in
>>> pubnames, wouldn't it also be fairly easy to change prune_unused_types
>>> so that it doesn't mark enumerators, and change output_pubnames to
>>> skip enumerators that have been pruned?
>>
>> This makes sense to me.
>
> Encl
On Wed, 20 Jun 2012, Richard Guenther wrote:
On Sun, Jun 10, 2012 at 4:16 PM, Marc Glisse wrote:
Hello,
currently, tree-ssa-ifcombine handles pairs of imbricated "if"s that share
the same then branch, or the same else branch. There is no particular reason
why it couldn't also handle the case
Change new C++ code to follow the new C++ coding conventions. This patch is
part two, which changes the spacing for the bodies of methods formerly
defined in-class. The two-part approach makes diffs sensible.
Index: gcc/ChangeLog.cxx-conversion
2012-07-23 Lawrence Crowl
* hash-tab
This patch is for the google/gcc-4_7 branch. It backports five Fission
patches from trunk, with two minor differences:
- The DW_AT_GNU_pubnames and DW_AT_GNU_pubtypes attributes are
both generated, and provide the offset to the corresponding
pubnames/pubtypes section. This is done for
Oleg Endo wrote:
> This removes T_REG alternatives from various load/store patterns.
> Tested with
>
> make -k check RUNTESTFLAGS="--target_board=sh-sim
> \{-m2/-ml,-m2/-mb,-m2a/-mb,-m2a-single/-mb,-m4/-ml,-m4/-mb,-m4-single/-ml,
> -m4-single/-mb,-m4a-single/-ml,-m4a-single/-mb}"
>
> and no new
Oleg Endo wrote:
> The attach patch replaces the use of the 'addc1' pattern with 'addc' and
> the use of the 'subc1' pattern with 'subc'.
> Tested with
>
> make -k check RUNTESTFLAGS="--target_board=sh-sim
> \{-m2/-ml,-m2/-mb,-m2a/-mb,-m2a-single/-mb,-m4/-ml,-m4/-mb,-m4-single/-ml,
> -m4-single/-
Oleg Endo wrote:
> This removes the fmac related combine helper construct that was used
> before fma.
>
> Tested with
>
> make -k check RUNTESTFLAGS="--target_board=sh-sim
> \{-m2/-ml,-m2/-mb,-m2a/-mb,-m2a-single/-mb,-m4/-ml,-m4/-mb,-m4-single/-ml,
> -m4-single/-mb,-m4a-single/-ml,-m4a-single/-m
This patch improves ifcombine by doing two things. First tries to see
if the then and else are swapped and handles that case.
Also it handles the case where the else or then cases have an empty
basic block instead of just fall through.
OK? Bootstrapped and tested on x86_64-linux-gnu with no regr
On Mon, Jul 23, 2012 at 07:30:23PM -0400, David Edelsohn wrote:
> This is okay
Committed revision 189801.
PR target/53914
PR target/54009
* config/rs6000/constraints.md (Y): Use mem_operand_gpr.
* config/rs6000/predicates.md (word_offset_memref_operand): Delete.
70 matches
Mail list logo
