The constraint checks for assumed-type and assumed-rank with regards to
intrinsics only worked very indirectly and, hence, was not strict
enough. That's now fixed with the attached patch - also for
NO_ARG_CHECK. For the latter, it also improves the wording a bit and
allows PRESENT as second per
Hi,
This patch adds AARCH64 support to contrib/config-list.mk.
Thanks
Sofiane
-
ChangeLog:
2013-04-22 Sofiane Naci
* config-list.mk (LIST): Add aarch64-elf and aarch64-linux-gnu.
aarch64-update-config-list.patch
Description: Binary data
On Mon, 22 Apr 2013, Richard Biener wrote:
>
> VRP happily propagates SSA names even if they are used in
> abnormal PHI nodes which later can lead to coalescing issues.
> The following fixes that.
>
> It also fixes the recursion abnormal edge added for setjmp.
> setjmp is leaf (and not longjmp w
On 23/04/13 08:59, Sofiane Naci wrote:
Hi,
This patch adds AARCH64 support to contrib/config-list.mk.
OK
/Marcus
Hi,
This patch fixes a regression caused by recent changes to
*mov_aarch64/SHORT. One of the pattern alternatives is trying to issue
a SIMD instruction with -mgeneral-regs-only. The proposed fix is to define
the "simd" attribute on the pattern in question.
Thanks
Sofiane
-
ChangeLog:
OK, and backport to 4.8 please.
/Marcus
On 23 April 2013 09:14, Sofiane Naci wrote:
> Hi,
>
> This patch fixes a regression caused by recent changes to
> *mov_aarch64/SHORT. One of the pattern alternatives is trying to issue
> a SIMD instruction with -mgeneral-regs-only. The proposed fix is to d
On Tue, Apr 23, 2013 at 7:40 AM, Xinliang David Li wrote:
> Hi, this is a follow up simple patch to support 'slim' graph dump:
> when -slim option is specified (e.g,
> -fdump-tree-optimized-graph-slim), do not dump the boby.
Ok.
Thanks,
Richard.
> 2013-04-22 Xinliang David Li
>
> * c
Revision 198142 breaks bootstrapping with Ada:
...
../../xgcc -B../../ -c -DIN_GCC -g -O2 -W -Wall \
-iquote /opt/gcc/work/gcc \
-iquote . -iquote .. -iquote ../.. -iquote
/opt/gcc/work/gcc/ada -iquote /opt/gcc/work/gcc -I/opt/gcc/work/gcc/../include
-I/opt/mp/
on gimple_statement_d *const_gimple;
> typedef gimple gimple_seq;
> +struct gimple_stmt_iterator_d;
> +typedef gimple_stmt_iterator_d gimple_stmt_iterator;
../../xgcc -B../../ -c -DIN_GCC -DUSE_LIBUNWIND_EXCEPTIONS -O2 -g -W -Wall \
-iquote /usr/local/gcc/gcc-20130423/gcc \
This patch updates the analysis of aspect/pragma Depends to verify the legality
of a self-referential output.
-- Source --
-- semantics.ads
package Semantics
with Abstract_State =>
((Input_State with Volatile, Input),
(Output_State with Volatile, Output))
i
Ada 2012 added a new function in Ada.Environment_Variable:
function Value (Name : in String; Default : in String) return String;
The test is to build this main procedure with the switch -gnat2012:
with Ada.Text_IO; use Ada.Text_IO;
with Ada.Environment_Variables;
use Ada.Environment_Variables;
Hi,
this patch adds the missing part of PR/55445 for Ada. Issue is that
__SEH__ gets defined
if SEH-annotations are generated. That doesn't mean necessarily that
SEH-exception-mechanism
is used. The SEH-annotations are also used for
SjLj-exception-mechanism. So patch adds to
clauses the additi
> --- raise-gcc.c(Revision 198124)
> +++ raise-gcc.c(Arbeitskopie)
> @@ -1019,7 +1019,7 @@ extern void __gnat_notify_unhandled_exception
> (str
>
> #ifdef __USING_SJLJ_EXCEPTIONS__
> #define PERSONALITY_FUNCTION__gnat_personality_sj0
> -#elif defined(__SEH__)
> +#elif defined (__SEH_
A _Postconditions procedure is created during expansion to check postconditions
and invariants of parameters. A special case was made for Postcondition pragmas
from the subprogram body: it was checked whether they were enabled before
adding them to the list of pragmas to consider in _Postconditions
This change adds circuitry to identify some bit packed arrays that are
known at compile time to exceed the maximum size supported by the
implementation.
The following compilation must be rejected with the indicated error message:
$ gcc large_bit_packed_array.ads
large_bit_packed_array.ads:2:09: bi
This patch reorganizes some of the aspect implementation items. No change in
behavior, no test.
Tested on x86_64-pc-linux-gnu, committed on trunk
2013-04-23 Hristian Kirtchev
* aspects.adb: Move tables Base_Aspect and Inherited_Aspect
from the spec to the body.
(Find_A
This patch ensures that the assertion policy is properly captured at the
time when the aspect is declared. In particular for Postconditions, this
was done wrong (and we captured the policy at the point where the body
was declared).
The following program:
1. pragma Ada_2012;
2. procedure
This patch implements a new assertion kind (usable in a Check_Policy
or Assertion_Policy pragma) "Statement_Assertions" which applies to
Assert, Assert_And_Cut, Assume, and Loop_Invariant.
The following program is to be compiled with the -gnatd.F switch (this
switch can be removed soon when we mak
On 2013/4/23 01:35 AM, Cary Coutant wrote:
>> A : host_integerp (value, TYPE_UNSIGNED (TREE_TYPE (value)))
>> B : host_integerp (value, 0)
>>
>> AB AB AB AB
>> type_size,hwi | 00 01 10 11
>> --+---
>> 32,32
On Mon, Apr 22, 2013 at 5:42 PM, Andi Kleen wrote:
> On Mon, Apr 22, 2013 at 01:46:58PM +0200, Richard Biener wrote:
>> On Fri, Apr 19, 2013 at 11:31 PM, Andi Kleen wrote:
>> > From: Andi Kleen
>> >
>> > For a large LTO test case The previous pointer hash change brought
>> > the collision rate f
*ping*
thanks
Alexander
2013/3/28 Alexander Ivchenko :
> Hi,
>
> 4.8 is now branched, lets come back to the discussion that we had
> before. I updated the patch a little
> bit since we now have linux-protos.h and linux-android.c files.
>
> I tried to preserve the avaiability of c99 for all target
As discussed in the comments to PR38449, this patch replaces
MD_REDIRECT_BRANCH with TARGET_CAN_FOLLOW_JUMP
bootstrapped / regtested on i686-pc-linux-gnu
cross-built / regtested for i686-pc-linux-gnu X sh-elf
2013-04-22 Joern Rennecke
* config/sh/sh-protos.h (sh_can_redirect_branch):
On Mon, Apr 22, 2013 at 05:05:03PM -0500, Aldy Hernandez wrote:
> On 04/19/13 08:29, Jakub Jelinek wrote:
> >I've committed the following patch to gomp4 branch.
> >#pragma omp simd loops now are handled with all its clauses from parsing up
> >to and including omp expansion, so should actually run c
On Tue, Apr 23, 2013 at 12:27:43PM +0200, Richard Biener wrote:
> On Mon, Apr 22, 2013 at 5:42 PM, Andi Kleen wrote:
> > On Mon, Apr 22, 2013 at 01:46:58PM +0200, Richard Biener wrote:
> >> On Fri, Apr 19, 2013 at 11:31 PM, Andi Kleen wrote:
> >> > From: Andi Kleen
> >> >
> >> > For a large LTO
On Tue, Apr 23, 2013 at 4:08 PM, Andi Kleen wrote:
> On Tue, Apr 23, 2013 at 12:27:43PM +0200, Richard Biener wrote:
>> On Mon, Apr 22, 2013 at 5:42 PM, Andi Kleen wrote:
>> > On Mon, Apr 22, 2013 at 01:46:58PM +0200, Richard Biener wrote:
>> >> On Fri, Apr 19, 2013 at 11:31 PM, Andi Kleen wrote
Richard Biener writes:
>>
>> One of the reasons I did it explicitely is that the murmur3 reference code
>> is C++
>> (well really only the mixed code/declarations I think) and libiberty seems
>> to be
>> C only. I suppose can port it to C and put it into libiberty though, and make
>> hashtab.c a
This fixes PR57036 which is inlining of a ECF_LEAF function
(which cannot perform abnormal control flow into the caller)
which in turn has a function call that might abnormally transfer
control flow. The fix is to avoid adding _extra_ abnormal
edges from such calls to possible receivers in the ca
Hi!
This patch fixes handling of #pragma omp simd with pointer vars, or
noreturn bodies, expands some aligned clauses into __builtin_assume_aligned
(though, had to limit that to a few hopefully common cases so far,
namely pointer automatic vars that aren't shared in outer context
(because otherwis
These initialization errors were discovered by running the compiler compiled
with -gnatVa and pragma Initialize_Scalars.
Tested on x86_64-pc-linux-gnu, committed on trunk
2013-04-23 Yannick Moy
* err_vars.ads (Error_Msg_Qual_Level): Set variable to zero
at declaration.
Static_Predicate should not be applied on non-scalar types. The example below
is now rejected by GNAT:
$ gcc -c -gnat12 t.ads
1. package T is
2.type R is tagged record
|
>>> static predicate not allowed for non-scalar type "R"
3. A, B : Integ
If a component of a record subtype is constrained by discriminants, and the
component of the parent type is a packed array type, the record subtype and
its components might not be frozen explicitly, in which case the packed array
type of the component type must be constructed explicitly when the co
This change introduces a new procedure GNAT.Sockets.Set_Close_On_Exec, allowing
users to indicate that a given socket should not be inherited by
spawned processes (on platforms where this is supported).
Tested on x86_64-pc-linux-gnu, committed on trunk
2013-04-23 Thomas Quinot
* g-soc
LAST_UPDATED: Mon Apr 22 19:24:57 UTC 2013 (revision 198156)
Native configuration is powerpc-ibm-aix7.1.0.0
=== g++ tests ===
Running target unix
FAIL: tmpdir-g++.dg-struct-layout-1/t024
cp_compat_x_tst.o-cp_compat_y_tst.o execute
FAIL: tmpdir-g++.dg-struct-layout-1/t026
cp_compat_x_tst
On 04/22/2013 09:55 PM, David Edelsohn wrote:
On Mon, Apr 22, 2013 at 8:43 PM, Vladimir Makarov wrote:
* config/rs6000/rs6000.c (legitimate_lo_sum_address_p): Remove
lra_in_progress guard for addressing something bigger than word.
That will work, but I'm worried that it is t
On Tue, Apr 23, 2013 at 11:03 AM, Vladimir Makarov wrote:
> LRA approach is different from reload one. First of all LRA can create
> pseudos (not assigned yet to anything) and secondly LRA makes changes
> incrementally opposite to reload which makes all final rewriting code when
> it decides t
On 04/23/2013 11:33 AM, David Edelsohn wrote:
On Tue, Apr 23, 2013 at 11:03 AM, Vladimir Makarov wrote:
LRA approach is different from reload one. First of all LRA can create
pseudos (not assigned yet to anything) and secondly LRA makes changes
incrementally opposite to reload which makes
On Tue, Apr 23, 2013 at 11:37 AM, Vladimir Makarov wrote:
> Sorry, may be I missed some other places but
> could you be more specific about the place where combining lra_in_progress
> and mode happens now for legitimate address querying.
>
> I guess I explained in my previous emails why the follo
Ok to backport to gcc4.8?
I'm attaching an updated version - just fixed a spelling error in the
comment.
Thanks,
Greta
gcc/ChangeLog
PR target/56797
* config/arm/arm.c (load_multiple_sequence): Require SP
as base register for loads if SP is in the register list.
>
The following patch is Shiva Chen's patch to fix a LRA bug on some
experimental target. The bug occurs when one insn requires many reloads
and they are done on different passes. I evaluate the probability of
this bug for other targets as quite tiny.
The patch was approved by me.
Success
> You said OK for Julian's patch in the last mail, so I'll take that as
> approved (for an interim solution). If you don't mind, I'll add a TODO
> to the comments (attached patch).
Looks good, thanks!
-cary
Ok, applied to trunk and 4.8 branch with your suggested change.
Kai
It might be better to submit this to trunk first.
thanks,
David
On Sat, Apr 20, 2013 at 5:09 PM, Sriraman Tallam wrote:
> Fixed a bug in the previous patch sent, where I did not check if the
> switch section was actually to the cold function part. Updated patch
> attached.
>
> Thanks
> Sri
>
As things stand now when using -gsplit-dwarf, all strings in the main .o file
are emitted in line with DW_FORM_string, resulting in a large amount of
duplication, particularly with the .dwo name attribute.
The enclosed patch fixes that by putting these string in a small .debug_str
section, simi
[Balaji, see below]
On 04/23/13 08:54, Jakub Jelinek wrote:
On Mon, Apr 22, 2013 at 05:05:03PM -0500, Aldy Hernandez wrote:
On 04/19/13 08:29, Jakub Jelinek wrote:
If I understood right, vectorlength isn't anything close to it, it is just a
hint, if you vectorize, prefer this vector length,
> -Original Message-
> From: Jakub Jelinek [mailto:ja...@redhat.com]
> Sent: Tuesday, April 23, 2013 9:55 AM
> To: Aldy Hernandez
> Cc: Richard Henderson; gcc-patches@gcc.gnu.org; Iyer, Balaji V
> Subject: Re: [gomp4] Some progress on #pragma omp simd
>
> On Mon, Apr 22, 2013 at 05:05:03P
> 2013-04-22 Sterling Augustine
>
> * dwarf2out.c (skeleton_debug_str_hash, comp_dir_string,
> add_skeleton_AT_string. comp_dir_string, debug_str_dwo_section): New.
s/./,/
I think comp_dir_string only needs to be mentioned once.
> (DEBUG_STR_DWO_SECTION): Rename to ...
Hi,
This patch generates labels for cold function parts that are split when
using the option -freorder-blocks-and-partition. The cold label name
is generated by suffixing ".cold" to the assembler name of the hot
function.
This is useful when getting back traces from gdb when the cold functio
On Tue, Apr 23, 2013 at 03:58:06PM -0700, Sriraman Tallam wrote:
> This patch generates labels for cold function parts that are split when
> using the option -freorder-blocks-and-partition. The cold label name
> is generated by suffixing ".cold" to the assembler name of the hot
> function.
>
>
On Tue, Apr 23, 2013 at 09:32:29PM +, Iyer, Balaji V wrote:
> My apologies if the documentation did not explain this correctly. It
> was written by compiler developers and not language developers. #pragma
> simd is the guarantee the user gives the compiler that the inter-iteration
> depe
On Wed, Apr 24, 2013 at 08:01:17AM +0200, Jakub Jelinek wrote:
> On Tue, Apr 23, 2013 at 09:32:29PM +, Iyer, Balaji V wrote:
> The documentation doesn't suggest that. Anyway, so
> #pragma simd
> should be equivalent to
> #pragma omp simd
> wrt. inter-iteration dependencies, and
> #pragma simd
"Moore, Catherine" writes:
> @@ -11596,12 +11604,18 @@ mips_expand_epilogue (bool sibcall_p)
> rtx reg = gen_rtx_REG (Pmode, GP_REG_FIRST + 7);
> pat = gen_return_internal (reg);
> }
> + else if (use_jraddiusp_p)
> + {
> + pat = gen_jraddiu
Steven Bosscher writes:
> *ping* MIPS maintainers...
Patch is OK. Sorry for the slow review, been on holiday.
Richard
On Wed, Apr 24, 2013 at 08:25:36AM +0200, Jakub Jelinek wrote:
> BTW, the semantics of private/firstprivate/lastprivate desribed in
> http://software.intel.com/sites/products/documentation/studio/composer/en-us/2011Update/compiler_c/cref_cls/common/cppref_pragma_simd.htm
> doesn't seem to match the
"Steve Ellcey " writes:
> 2013-04-19 Andrew Bennett
> Steve Ellcey
>
> PR target/56942
> * config/mips/mips.md (casesi_internal_mips16_): Use
> next_active_insn instead of next_real_insn.
Hmm, I don't really like this. Steven said from ARM in
http://gcc.gnu.org/bu
54 matches
Mail list logo
