Hello!
2011-08-02 Uros Bizjak
PR target/47766
* doc/md.texi (stack_protect_set): The pattern moves ptr_mode value.
(stack_protect_test): The pattern compares ptr_mode value.
Tested on x86_64-pc-linux-gnu, committed to mainline (and soon release
branches).
Uros.
Index
Virtual projects that were extensions of shared library projects were
deemed as static library projects.
Tested on x86_64-pc-linux-gnu, committed on trunk
2011-08-02 Vincent Celier
* prj-nmsc.adb (Check_Library_Attributes): For virtual library project,
inherit library kind.
I
This patch updates Interafaces.C.Strings to match the RM as follows:
In accordance with AI95-00161
pragma Preelaborable_Initialization is added for chars_ptr
In accordance with AI95-00276
aliased keyword is added to declaration of chars_ptr_array
The following should compile quietly:
with inter
This is preliminary work for implementing these new aspects
and pragmas. Not yet ready for prime time.
Tested on x86_64-pc-linux-gnu, committed on trunk
2011-08-02 Robert Dewar
* aspects.adb: New aspects Default_Value and Default_Component_Value
New format of Aspect_Names tabl
With the following code and a command line "count -n -sargs -zargs", counting
the number of arguments in the "-sargs" section was returning 1, ie
including the start of the following section. This now properly returns 0
with GNAT.Command_Line; use GNAT.Command_Line;
procedure Count is
Count :
On Tue, 2 Aug 2011, Sebastian Pop wrote:
> --- a/gcc/graphite-scop-detection.c
> +++ b/gcc/graphite-scop-detection.c
> @@ -196,6 +196,12 @@ graphite_can_represent_scev (tree scev)
>if (chrec_contains_undetermined (scev))
> return false;
>
> + /* FIXME: As long as Graphite cannot handle
This patch improves the removal of side effects in in-mode parameters
whose type is an access type. Required because the compiler was
considering side-effect free an in-mode parameter whose type is an
access type. This improvement is visible compiling the following
test with switch -gnatD:
procedu
A private type may have its convention established by a pragma in the private
part of its enclosing package. A subtype of this type has its convention fixed
at the freeze point. A type derived from this subtype must get its convention
from the base type, because it may be needed in the initializati
> + /* Now we have matched the statement pattern
> +
> +rhs1 = (T1)x;
> +rhs2 = (T1)y;
> +op_result = rhs1 OP rhs2;
> +lhs = (T2)op_result;
Just a note that the patch I proposed for the vectorizer (
http://gcc.gnu.org/ml/gcc-patches/2011-07/msg01472.html) also ha
This patch slightly reduces compilation time at -O0 in typical conditions by
tuning the implementation of Base_Type to make it more easily optimizable.
No functional changes.
Tested on x86_64-pc-linux-gnu, committed on trunk
2011-08-02 Eric Botcazou
* einfo.adb (Base_Type): Tune impl
This patch improves on the previous patch to reduce compilation time,
by providing better implementations for Base_Type and Is_Base_Type and
inlining Base_Type.
No functional changes.
Tested on x86_64-pc-linux-gnu, committed on trunk
2011-08-02 Robert Dewar
* einfo.adb (Is_Base_Type)
For qualified library project, when attribute Library_Name was not
declared, but attribute Library_Dir was, both attributes were reported
as not declared.
The test for this is to have a qualified library project with Library_Dir
declared and Library_Name not declared. There should be no error messa
These aspects are still not fully implemented, so no test yet
Tested on x86_64-pc-linux-gnu, committed on trunk
2011-08-02 Robert Dewar
* sem_ch13.adb (Analyze_Aspect_Specification): Fix slocs on generated
pragmas (affects aspects [Component_]Default_Value
(Check_Aspec
When the evaluation of the expressions that provide the bounds of a
for-loop statement uses the secondary stack the frontend must generate
code to release it. Although such code was already in the frontend,
its generation was disabled because of a latent bug.
This can be verified using the followi
Hello,
this patch removes in forward-propagation useless comparisons X != 0
and X != ~0 for boolean-typed X. For one-bit precision typed X we
simplifiy X == 0 (and X != ~0) to ~X, and for X != 0 (and X == ~0) to
X.
For none one-bit precisione typed X, we simplify here X == 0 -> X ^ 1,
and for X !
I think the following fixes this PR; it consists only in duplicating a
few lines from s-osinte-freebsd.ads to s-osinte-kfreebsd-gnu.ads:
Index: b/src/gcc/ada/s-osinte-kfreebsd-gnu.ads
===
--- a/src/gcc/ada/s-osinte-kfreebsd-gnu.ads
++
This patch fixes RCALL/RJMP instructions to other modules by replacing them
with XCALL resp. XJMP.
Moreover, now each function (except _cleanup) is enclosed in DEFUN/ENDF pairs
so that size information is available for each function.
Ok?
Johann
* config/avr/libgcc.S: Gather related func
Here is the fix git patch.
2011/8/2 Basile Starynkevitch :
> On Tue, 2 Aug 2011 10:46:38 +0200
> Romain Geissler wrote:
>
>> 2011/8/2 Basile Starynkevitch :
>> > Please use capitals for macrovariables in
>> > macrostrings
>>
>> Ok.
>>
>> Can i have more details about that: is it just a Melt conv
This patch significantly reduces compilation time at -O0 in typical conditions
by short-circuiting calls to the somewhat costly Is_RTE function when they are
not necessary.
No functional changes.
Tested on x86_64-pc-linux-gnu, committed on trunk
2011-08-02 Eric Botcazou
* exp_ch6.adb
This patch does not affect the behavior of the compiler. It
adds a new attribute that is used to help the backend to
identify temporary variables internally generated by
the frontend which can be safely reevaluated.
No test required.
Tested on x86_64-pc-linux-gnu, committed on trunk
2011-08-02
On Tue, 2 Aug 2011, Ira Rosen wrote:
>
> > + /* Now we have matched the statement pattern
> > +
> > +rhs1 = (T1)x;
> > +rhs2 = (T1)y;
> > +op_result = rhs1 OP rhs2;
> > +lhs = (T2)op_result;
>
> Just a note that the patch I proposed for the vectorizer (
> http:/
This is an internal clean up to factor some repeated coce,
no external effect.
Tested on x86_64-pc-linux-gnu, committed on trunk
2011-08-02 Robert Dewar
* freeze.adb (Add_To_Result): New procedure.
Index: freeze.adb
===
When a default config project file (for example default.cgpr in
.../share/gpr) exists, gnatmake was parsing it, and would fail if, for
example, Default_Language was not declared.
This patch ensures that an existing config project file is never taken
into account by gnatmake.
The test is to invoke g
When using a configurable run time, it is very likely that stream routines
for string types are not present (they require file system support). In this
case, the specific stream routines for strings are not used, relying on the
regular stream mechanism instead.
This patch changes only the behaviou
This patch significantly reduces compilation time at -O0 in typical conditions
by removing useless big local temporaries in Allocate_Initialize_Node.
No functional changes.
Tested on x86_64-pc-linux-gnu, committed on trunk
2011-08-02 Eric Botcazou
* atree.adb (Allocate_Initialize_Nod
Hello,
this patch adds some statement-cleanup to forward-propagation.
ChangeLog
2011-08-02 Kai Tietz
* tree-ssa-forwprop.c (simplify_bitwise_binary):
Remove possible unused statement after optimization.
2011-08-02 Kai Tietz
* gcc.dg/tree-ssa/forwprop-9.c: Add tes
This patch turns off style checking in instances.
The following should compile quietly with -gnatyO:
gcc -c -gnatyO -gnatl p.ads
with Ada.Strings.Bounded;
package P is new
Ada.Strings.Bounded.Generic_Bounded_Length (100);
Tested on x86_64-pc-linux-gnu, committed on trunk
2011-08-02 Bob Duff
This patch extends the functionality of routine Is_Variable to avoid
duplicating part of its code in routine Side_Effect_Free.
No functionality change.
Tested on x86_64-pc-linux-gnu, committed on trunk
2011-08-02 Javier Miranda
* sem_util.ads, sem_util.adb (Is_Variable): Add a new fo
The frontend does not expand record equalities found in Ada 2012 pre/post
conditions. After this patch the execution of the following test fails
the postcondition (as expected).
procedure Old_Bug is
type Val is new Integer;
type Index is new Integer range 1 .. 10;
type Point is record X,
On Tue, Aug 2, 2011 at 12:17 PM, Kai Tietz wrote:
> Hello,
>
> this patch removes in forward-propagation useless comparisons X != 0
> and X != ~0 for boolean-typed X. For one-bit precision typed X we
> simplifiy X == 0 (and X != ~0) to ~X, and for X != 0 (and X == ~0) to
> X.
> For none one-bit p
On Tue, Aug 2, 2011 at 12:39 PM, Kai Tietz wrote:
> Hello,
>
> this patch adds some statement-cleanup to forward-propagation.
>
> ChangeLog
>
> 2011-08-02 Kai Tietz
>
> * tree-ssa-forwprop.c (simplify_bitwise_binary):
> Remove possible unused statement after optimization.
>
> 2011
Richard Guenther wrote on 02/08/2011 01:33:49 PM:
>
> On Tue, 2 Aug 2011, Ira Rosen wrote:
>
> >
> > > + /* Now we have matched the statement pattern
> > > +
> > > +rhs1 = (T1)x;
> > > +rhs2 = (T1)y;
> > > +op_result = rhs1 OP rhs2;
> > > +lhs = (T2)op_result;
>
2011/8/2 Georg-Johann Lay :
> This patch fixes RCALL/RJMP instructions to other modules by replacing them
> with XCALL resp. XJMP.
>
> Moreover, now each function (except _cleanup) is enclosed in DEFUN/ENDF pairs
> so that size information is available for each function.
>
> Ok?
Approved.
Denis.
In Ada2012, the domain of iteration of a loop or quantified expression can be
a function call that yields a container. This patch implements the support for
default iterators over such expressions, that is to say iterators that use the
default indexing machinery present in all containers.
The follo
This patch slightly reduces compilation time at -O0 in typical conditions by
streamlining the implementation of the Sem_Type.Covers predicate.
No functional changes.
Tested on x86_64-pc-linux-gnu, committed on trunk
2011-08-02 Eric Botcazou
* sem_type.adb (Covers): Move trivial case
> -Original Message-
> From: Georg-Johann Lay [mailto:a...@gjlay.de]
> Sent: Tuesday, August 02, 2011 4:24 AM
> To: gcc-patches@gcc.gnu.org
> Cc: Anatoly Sokolov; Denis Chertykov; Weddington, Eric
> Subject: [Patch,AVR]: Cleanup libgcc.S
>
> This patch fixes RCALL/RJMP instructions to ot
This fixes an oversight in the previous change: the check for library-level
inlined functions must be adjusted to the result of Get_Code_Unit_Entity.
Tested on x86_64-pc-linux-gnu, committed on trunk
2011-08-02 Eric Botcazou
* inline.adb (Add_Inlined_Body): Adjust check for library-le
This patch adds a new mechanism to have the Ada front end query what types are
supported by the back end. Types other than floating point types are currently
ignored. The information is needed because the list of floating point types
that may be present is open-ended, so it is impossible to add que
[1] Add d.b debug option for showing available back end types
This debug option prints out information on all types that the
back end indicates it supports.
[2] Allow fpt types with more than Long_Long_Float'Digits digits
This patch takes advantage of the new infrastructure in Cstand to allow
de
This patch does not change the behavior of the compiler. It adds
a new attribute to facilitate some non gcc back-end work to locate
the protected subprogram type entity associated with an internally
generated access to subprogram type.
Tested on x86_64-pc-linux-gnu, committed on trunk
2011-08-02
The compiler does not handle well the accessibility check of anonymous
access types that are formals of anonymous access to subprogram
components of record types. The execution of the program may
crash or have unexpected behavior since the check is performed
with an expected actual (the accessibili
Switch.C had needless dependencies on most of the front end, causing
a circular dependency on Back_End for back ends written in Ada.
This patch cleans up the dependencies through introduction of
a new Warnsw package specifically for warning switches, and by
moving variables related to the preproces
If the range of iteration in an Ada2012 iterator is a function call returning
a container, finalization actions will in general be created because the
predefined containers are controlled. The finalization actions must be taken
into account when rewriting the iteration as a while-loop.
Compiling a
2011/8/2 Richard Guenther :
> On Tue, Aug 2, 2011 at 12:17 PM, Kai Tietz wrote:
>> Hello,
>>
>> this patch removes in forward-propagation useless comparisons X != 0
>> and X != ~0 for boolean-typed X. For one-bit precision typed X we
>> simplifiy X == 0 (and X != ~0) to ~X, and for X != 0 (and X
This patch completes the implementation of the Default_Value and
Default_Component_Value aspects as described in AI05-0228. Note
that there is no matching pragma or attribute definition clause
for these aspects (because it is difficult to get these working
because of freezing problems resulting fro
On Tue, 2 Aug 2011, Ira Rosen wrote:
>
>
> Richard Guenther wrote on 02/08/2011 01:33:49 PM:
> >
> > On Tue, 2 Aug 2011, Ira Rosen wrote:
> >
> > >
> > > > + /* Now we have matched the statement pattern
> > > > +
> > > > +rhs1 = (T1)x;
> > > > +rhs2 = (T1)y;
> > > > +o
This patch supresses the finalization of an intermediate copy produced when a
cursor iterates over a collection. The intermediate copy is still finalized
when the associated loop goes out of scope.
-- Source --
-- types.ads
with Ada.Containers.Doubly_Linked_Lists;
pack
On Tue, Aug 2, 2011 at 3:14 PM, Kai Tietz wrote:
> 2011/8/2 Richard Guenther :
>> On Tue, Aug 2, 2011 at 12:17 PM, Kai Tietz wrote:
>>> Hello,
>>>
>>> this patch removes in forward-propagation useless comparisons X != 0
>>> and X != ~0 for boolean-typed X. For one-bit precision typed X we
>>> si
This patch adds code to ensure the timely finalization of a local element copy
when iterating over a container.
-- Source --
-- types.ads
with Ada.Containers.Doubly_Linked_Lists;
package Types is
package Lists is new Ada.Containers.Doubly_Linked_Lists (Integer);
On Aug 2, 2011, at 12:51 AM, Paolo Bonzini wrote:
> On 08/01/2011 09:10 PM, Dimitrios Apostolou wrote:
>>
>> Keeping my patch exactly the same, just changing the
>> hook_void_hard_reg_set to receive a (HOST_WIDEST_FAST_INT *) arg and
>> doing the necessary typecasts, added an extra 3 M instructi
If the elements of the container are indefinite, the iterator must build the
actual subtypes of each element in the iteration. As this is done during
expansion, the analysis of the loop body must be delayed until the loop is
expanded as an iterator loop.
The following must compile quietly in Ada201
This patch is a partial implementation of pre/postconditions that apply to
generic subprograms and are inherited by the corresponding instantiations.
This implementation does not defer the analysis of the corresponding aspects
to a later point, and therefore is restricted to conditions that only de
Hi,
For now, plugins can't compare types. This patch allows
c-tree.h to be installed as a plugin header, allowing
plugins to see "comptypes" (among other things).
Romain Geissler
2011-08-02 Romain Geissler
* Makefile.in (PLUGIN_HEADERS): Add C_TREE_H.
Index: gcc/Makefile.in
==
Ada Issue AI05-0230 specifies that null procedures can only have inheritable
'Class preconditions. For compatibility with the earlier GNAT pragmas for
preconditions, this rule only applies to Ada2012 aspect specifications.
Compilation of p.ads must yield:
p.ads:5:06: aspect "Pre" requires 'Cl
This patch adds a runtime check to the elaboration of tagged types to raise
Program_Error if a user-specified external tag is the same as the external
tag for some other declaration. The following test must raise Program_Error
if compiled with -gnat12
package Pkg1 is
type Typ is tagged null rec
2011/8/2 Richard Guenther :
> On Tue, Aug 2, 2011 at 3:14 PM, Kai Tietz wrote:
>> 2011/8/2 Richard Guenther :
>>> On Tue, Aug 2, 2011 at 12:17 PM, Kai Tietz wrote:
Hello,
this patch removes in forward-propagation useless comparisons X != 0
and X != ~0 for boolean-typed X. For
This patch enables detection of conflicting external tags when compiling
under Ada 2005 mode. Required since this AI is a binding interpretation.
Tested on x86_64-pc-linux-gnu, committed on trunk
2011-08-02 Javier Miranda
* exp_disp.adb (Make_DT): Generate call to Check_TSD in Ada 200
This patch allows the run-time to be compiled with normalize scalars.
More specifically, it fixes a warning about initialiation overlays
when Ada.Strings.Unbounded.Aux is compiled with this pragma. Note
that the previous fix to pragma Suppress_Initialization is required.
The following test should
The new concatenation circuitry installed some time ago, results in
missing debug information when a constant string is initialized with
the result of a concatenation. This is because the resulting generated
renaming did not generate required debug information. This patch fixes
the problem with con
On Tue, Aug 2, 2011 at 4:34 PM, Kai Tietz wrote:
> 2011/8/2 Richard Guenther :
>> On Tue, Aug 2, 2011 at 3:14 PM, Kai Tietz wrote:
>>> 2011/8/2 Richard Guenther :
On Tue, Aug 2, 2011 at 12:17 PM, Kai Tietz wrote:
> Hello,
>
> this patch removes in forward-propagation useless com
When an error is reported for an excluded source that is listed in a file
include the file name and the number of the line of the excluded source.
Tested on x86_64-pc-linux-gnu, committed on trunk
2011-08-02 Vincent Celier
* prj-nmsc.adb (File_Found): New components Excl_File and Excl
If the actual for a formal type with unknown discriminants is class-wide, then
a call to a primitive operation of the formal that dispatches on result raises
program_error in the instance if the context cannot provide a tag for the call.
This is the case for a declaration of an object of the formal
In ALFA mode, generate an additional section in ALI files for so-called 'local'
cross-references, which 1) group the cross-references in each subprogram or
package; 2) add references to object definitions ('D' or 'I' with
initialization). This new section should be used in specific back-ends which
>From the text of AI05-0071:
If a generic unit has a subprogram_default specified by a box, and
the corresponding actual parameter is omitted, then it is equivalent
to an explicit actual parameter that is a usage name identical to the
defining name of the formal. {If a subtype_mark in t
This patch does not change the functionality of the compiler. It removes
one argument that can be evaluated by the called routine.
No test required.
Tested on x86_64-pc-linux-gnu, committed on trunk
2011-08-02 Javier Miranda
* exp_atag.ads, exp_atag.adb
(Build_Common_Dispatch
The compiler improperly checks subtype conformance of null exclusions on
anonymous access parameters in Ada 2005 cases involving dispatching operations.
In Ada 2005, controlling access parameters are defined to implicitly exclude
null (more properly, their anonymous access type excludes null). The
Hi,
I added a few primitives about trees, plus a string_to_long
conversion primitive and a foreach_pair_between iterator
that allows to iterate between two pairs of the same list (and
thus iterate on sublist).
Note: again, it's a git patch for Pierre until Basil returns.
Romain
0001-Add-a-few-
This patch treats expression functions as functions with an implicit pragma
Inline_Always. This ensures that they are chained to the list of inlined
subprograms of the enclosing unit, and made available to the back end for
inlining. The front-end does not examine whether inlining is actually possib
The ALFA subset corresponds to those entities which can be formally analyzed
through the SPARK or Why tool-sets. This is the initial work to identify these
entities, for integer/enumeration types and subtypes, objects of such types
and subprogram specifications.
Tested on x86_64-pc-linux-gnu, comm
On Tue, Aug 2, 2011 at 04:50, Richard Guenther wrote:
> On Tue, 2 Aug 2011, Sebastian Pop wrote:
>
>> --- a/gcc/graphite-scop-detection.c
>> +++ b/gcc/graphite-scop-detection.c
>> @@ -196,6 +196,12 @@ graphite_can_represent_scev (tree scev)
>> if (chrec_contains_undetermined (scev))
>> ret
Follow-up of changes to define which entities are in the ALFA subset for formal
verification. Here, we define a flag Body_Is_In_ALFA that applies to entities
for subprograms, which is set to True when the subprogram body can be analyzed
formally. This is the initial definition, to be refined.
Test
A tree node must never be analyzed if it is not attached to the tree for the
current compilation, because the parent link is used for numerous semantic
checks and code insertions. This patch fixes a violation of this rule in the
analysis of array aggregates, where expressions in component associati
In SPARK, some parts of code that are ignored in the analysis can be "hidden",
through the use of a HIDE directive formatted as a special comment. There is no
benefit in detecting violations of SPARK restriction in such hidden parts, so
we now recognize the HIDE directive from SPARK and do not repo
When searching for an executable to run, Unix shells check every directory
on PATH and stop at the first matching executable found.
GNAT.OS_Lib.Locate_Exec_On_Path, however, returned the first matching
regular file, even if it wasn't executable. As a result, when an executable
tries to find where i
On 06/22/2011 11:50 AM, Jason Merrill wrote:
This failure was happening on all targets that don't use either CFI
assembler directives or asynchronous unwind tables: we were mistakenly
deciding that the _FUN thunk for returning from the lambda function
pointer conversion operator couldn't throw be
2011/8/2 Richard Guenther :
> On Tue, Aug 2, 2011 at 12:39 PM, Kai Tietz wrote:
Thanks, yes, I noticed that. Patch adjusted for cfg_tree.
ChangeLog
2011-08-02 Kai Tietz
* tree-ssa-forwprop.c (simplify_bitwise_binary):
Remove possible unused statement after optimization
Ping.
Could one of the configure maintainers review these changes?
Thanks,
Sebastian
On Thu, Jul 21, 2011 at 18:00, Tobias Grosser wrote:
> 2011-07-21 Tobias Grosser
>
> * configure: Regenerated.
> * config/cloog.m4: Remove support for CLooG-ppl and CLooG-parma,
> both c
Ping.
Could one of the configure maintainers review these changes?
Thanks,
Sebastian
On Thu, Jul 21, 2011 at 18:00, Tobias Grosser wrote:
> 2011-07-21 Tobias Grosser
>
> * configure: Regenerated.
> * configure.ac: Require cloog isl 0.16.3
> ---
> ChangeLog | 5 +
>
Simple patch: Coarrays are identified by a token; this patch passes the
token (which is stored in the descriptor allocatable coarrays) to
libcaf's registering function.
In terms of token and allocatable coarrays: The next step is to fix
passing actual arguments to assumed-shape coarrays dummie
Ping.
Could one of the configure maintainers review these changes?
Thanks,
Sebastian
On Thu, Jul 21, 2011 at 18:00, Tobias Grosser wrote:
> 2011-07-21 Tobias Grosser
>
> * configure: Regenerated.
> * config/cloog.m4: Do not define CLOOG_ORG
>
> and in gcc/
>
> 2011-07-21 Tobia
PING.
On Thu, Jul 28, 2011 at 3:01 PM, H.J. Lu wrote:
> Hi Richard, Jason,
>
> Is this patch
>
> http://gcc.gnu.org/ml/gcc-patches/2011-06/msg02401.html
>
> OK for trunk?
>
> Thanks.
>
>
> H.J.
> On Mon, Jul 11, 2011 at 3:21 PM, H.J. Lu wrote:
>> Ping.
>>
>> On Wed, Jul 6, 2011 at 2:20 PM, H.J.
It's a pity that I've made the same fixes myself. I was planing to commit
soon. :-(
On Tuesday 02 August 2011 17:34:46 Tobias Burnus wrote:
> This patch fixes dg-final cleanup-modules issues:
> * Missing cleanups
> * Wrong case: All module files are lower case
This is not actually a problem as cl
This patch fixes two issues:
a) LOCK(coarray%lock_type_comp) is also a coarray.
b) The following constraint was incompletely checked for: C1302. For
reference, I also list C1303/C1304.
C1302 A named variable of type LOCK TYPE shall be a coarray. A named
variable with a noncoarray subcomponen
On 08/02/2011 06:01 PM, Mikael Morin wrote:
It's a pity that I've made the same fixes myself. I was planing to commit
soon. :-(
Indeed it would have been more useful to avoid replicating the work. :-(
On Tuesday 02 August 2011 17:34:46 Tobias Burnus wrote:
* Wrong case: All module files are
On Tuesday 02 August 2011 17:47:37 Tobias Burnus wrote:
> Simple patch: Coarrays are identified by a token; this patch passes the
> token (which is stored in the descriptor allocatable coarrays) to
> libcaf's registering function.
>
> In terms of token and allocatable coarrays: The next step is to
On Tue, 2 Aug 2011 17:02:05 +0200
Romain Geissler wrote:
> Hi,
>
> I added a few primitives about trees, plus a string_to_long
> conversion primitive and a foreach_pair_between iterator
> that allows to iterate between two pairs of the same list (and
> thus iterate on sublist).
>
> Note: again,
Richard Guenther wrote on 02/08/2011 04:25:58 PM:
>
> Thinking about it it probably makes sense to keep a variant of this
> in the vectorizer - after all it has quite specific requirements on
> operand sizes while VRP would probably demote as far as possible
> (maybe taking PROMOTE_MODE into a
On Tue, Aug 2, 2011 at 6:14 AM, Kai Tietz wrote:
> 2011/8/2 Richard Guenther :
>> On Tue, Aug 2, 2011 at 12:17 PM, Kai Tietz wrote:
>>> Hello,
>>>
>>> this patch removes in forward-propagation useless comparisons X != 0
>>> and X != ~0 for boolean-typed X. For one-bit precision typed X we
>>> si
Hi!
--- index.html 15 Jul 2011 09:48:15 - 1.808
+++ index.html 2 Aug 2011 17:01:52 -
@@ -53,6 +53,13 @@ mission statement.
+August 2, 2011
+An implementation of the http://www.openmp.org/mp-documents/OpenMP3.1.pdf";>OpenMP v3.1
+parallel programming interface for C, C++ and Fo
Le 2 août 2011 à 18:38, Basile Starynkevitch a écrit :
> On Tue, 2 Aug 2011 17:02:05 +0200
> Romain Geissler wrote:
>
>> Hi,
>>
>> I added a few primitives about trees, plus a string_to_long
>> conversion primitive and a foreach_pair_between iterator
>> that allows to iterate between two pairs
Hello
Here is my next try to put the stack check into rtl at prologue stage.
To me, it was not as easy as I hoped.
I've had little problems to get push/pop and the compare/jump working.
Hoping the way i choose is acceptable.
With rtl no extra pool to hold pointer or size values is required any mo
I think the following patch fixes this problem; it consists only in
copying a few lines from s-osinte-linux.ads to
s-osinte-kfreebsd-gnu.ads:
Index: b/src/gcc/ada/s-osinte-kfreebsd-gnu.ads
===
--- a/src/gcc/ada/s-osinte-kfreebsd-gnu.a
On 08/02/2011 12:52 AM, Georg-Johann Lay wrote:
> There are still unrecognizables:
>
> gcc.c-torture/execute/complex-7.c:56:1: error: unrecognizable insn:
> (insn 17 14 18 3 (set (mem:SF (post_dec:HI (reg/f:HI 32 __SP_L__)) [0 S4 A8])
> (reg:SF 43 [ f5.0+4 ]))
> /mnt/nfs/home/georg/gnu/gcc
Even in a template, if the range-init is not type-dependent, we can
deduce 'auto' in the for-range-declaration.
Tested x86_64-pc-linux-gnu, applying to trunk.
commit 5384cac2db4875bc2f34bce11c6d1a3c360cd66d
Author: Jason Merrill
Date: Tue Aug 2 13:42:21 2011 -0400
PR c++/49834
* pa
ping:
On Tue, 28 Jun 2011 22:15:04 +0200, Jan Kratochvil wrote:
Hi,
a mechanical patch which fixes during
#define CP_DEMANGLE_DEBUG
make check
->
/bin/sh: line 1: 9179 Segmentation fault ./test-demangle <
./demangle-expected
which also fixes confusing output for _Z1hI1AIiEdEDTcldtfp_1gIT
The problem here is that reload finds a push of arg_pointer_rtx
and disables register elimination of AP->SP because of it. This
leads to a register elimination (and assertion) failure when it
comes time to output debug info.
Preventing eliminable registers from being pushed fixes this.
The chang
In CCing Jörg.
Richard Henderson schrieb:
On 08/02/2011 12:52 AM, Georg-Johann Lay wrote:
There are still unrecognizables:
gcc.c-torture/execute/complex-7.c:56:1: error: unrecognizable insn:
(insn 17 14 18 3 (set (mem:SF (post_dec:HI (reg/f:HI 32 __SP_L__)) [0 S4 A8])
(reg:SF 43 [ f5.0
On 08/02/2011 12:01 PM, Georg-Johann Lay wrote:
> == avrtest ==
>
> There is a text
> http://lists.gnu.org/archive/html/avr-gcc-list/2011-06/msg00015.html
> and a README:
> http://winavr.cvs.sourceforge.net/viewvc/winavr/avrtest/README?view=markup
>
> In the case there are questions: Ask.
Ah, a
Sorry, had a pasto in testcase.
Fixed at rev. 166205
2011-08-02 Kai Tietz
PR middle-end/49947
* gcc.dg/tree-ssa/forwprop-15.c
Tested on x86_64-pc-linux-gnu. Applied as obvious fix.
Regards,
Kai
Index: gcc.dg/tree-ssa/forwprop-15.c
The following patch decreases ARM code size degradation for LRA. It
permits achieve practically the same SPECINT2000 code size on ARM as for
reload (there is still small ARM code size degradation on SPECFP2000).
The patch was successfully bootstrapped on x86-64.
2011-08-02 Vladimir Makarov
1 - 100 of 142 matches
Mail list logo
