Pointed out in IRC. The intent as well as the docs and prototype had
the return type as a bool, but the default implementation used
HOST_WIDE_INT. Opps.
This fixes the default implementation to match the intent, docs &
prototype. Bootstrapped and regression tested. Installing on the trunk
as
On Tue, Oct 10, 2017 at 12:34 AM, Thomas Koenig wrote:
> Hello world,
>
> currently, EXECUTE_COMMAND_LINE aborts the program if the called program
> is not found, if cmdstat is present, but cmdmsg isn't. This is a 6/7/8
> regression.
>
> This patch fixes the issue by simply removing the erronous c
On Sun, 8 Oct 2017 16:59:39 +0200
François Dumont wrote:
> ...
> >>> We have three issues with istreambuf_iterator:
> >>> - debug-dependent behaviour
> >> Fixed.
> > + __glibcxx_requires_cond(_M_sbuf,
> > _M_message(__gnu_debug::__msg_inc_istreambuf)
> >
On 10/9/17, Jakub Jelinek wrote:
> On Mon, Oct 09, 2017 at 09:28:58PM +0200, Uros Bizjak wrote:
>> On Mon, Oct 9, 2017 at 9:16 PM, Jakub Jelinek wrote:
>> > Hi!
>> >
>> > The following builtins have {SSE,SSE2,SSSE3} CPUID, yet they have
>> > MMX register operands (either input or output or both).
On 2017/10/10 6:25, Manuel López-Ibáñez wrote:
For what is worth, the color output of GCC comes originally from grep,
and grep does have code for colorizing in Windows:
http://git.savannah.gnu.org/cgit/grep.git/tree/lib
and there are significant differences with this patch. For once,
/* $T
On 09/10/17 23:25, Manuel López-Ibáñez wrote:
Even if the host-specific part is not done, I honestly think it is a good idea
to match grep's code as much as possible since we may want to merge bugfixes
between the two and eventually this code may end up in gnulib. Moreover, if
somebody else imp
Hi Will,
On Mon, Oct 09, 2017 at 04:27:54PM -0500, Will Schmidt wrote:
> Fix up a few issues with the tests.
> - add -O2 to int128-p8 test, and firm up the -mcpu options
> - update the set of expected instructions for the int128-p9 test.
> - replace the float128_hw requirement with
This moves the processor_costs structure declaration to the rs6000.h
header file, so that things in other files can use it (not just things
in rs6000.c).
Tested as usual; committing.
2010-10-09 Segher Boessenkool
* config/rs6000/rs6000.c (processor_costs): Move to ...
* confi
> You're right, not clear why I didn't spot it on Aarch64. Hunk reverted.
The attached patch replaces it with an ad-hoc definition of setjmp, like the
ones used for the coverage routines. Tested on Aarch64/Linux with and without
--enable-sjlj-exceptions and on IA-64/Linux without --enable-sjlj
On 10/09/17 20:34, Martin Sebor wrote:
> On 10/09/2017 11:50 AM, Bernd Edlinger wrote:
>> On 10/09/17 18:44, Martin Sebor wrote:
>>> On 10/07/2017 10:48 AM, Bernd Edlinger wrote:
Hi!
I think I have now something useful, it has a few more heuristics
added, to reduce the number of
On 08/10/17 12:39, Liu Hao wrote:
On 2017/9/28 4:09, Joseph Myers wrote:
On Thu, 28 Sep 2017, Liu Hao wrote:
Colorized diagnostics used to be disabled for MinGW targets (on which
the macro `_WIN32` is defined), and this patch enables it.
I'd hope this is all to do with MinGW host, and nothin
On Mon, 9 Oct 2017, Adhemerval Zanella wrote:
> *-*-linux*)
> case ${target} in
> - aarch64*-* | i[34567]86-* | powerpc*-* | s390*-* | sparc*-* | x86_64-*)
> + aarch64*-* | i[34567]86-* | powerpc*-* | s390*-* | sparc*-* | x86_64-*
> | arm*-*)
I think the cases here are meant to be
On 10/09/2017 11:57 AM, Jason Merrill wrote:
On Fri, Oct 6, 2017 at 10:18 AM, Nathan Sidwell wrote:
This patch converts the extern "C" function map to use a hash table, in the
same way as I've just changed namespace bindings.
Hmm, why do we only check extern "C" conflicts for functions?
I
On Mon, Oct 09, 2017 at 03:20:46PM -0500, Will Schmidt wrote:
> Add testcase coverage for the vec_cmp builtins.
>
> Tested on P6 and newer. OK for trunk?
That looks fine. Okay. Thanks!
Segher
> [testsuite]
> * gcc.target/powerpc/fold-vec-cmp-char.c: New.
> * gcc.target/power
On Mon, Oct 09, 2017 at 03:18:26PM -0500, Will Schmidt wrote:
> Add testcase coverage for vec_splat_{u8,s8,u16,s16,u32,s32} built-ins.
> [testsuite]
>
> |---* gcc.target/powerpc/fold-vec-splat-16.c: New
> |---* gcc.target/powerpc/fold-vec-splat-32.c: New.
> |---* gcc.target/powerpc/fo
Hi Will,
On Mon, Oct 09, 2017 at 03:15:56PM -0500, Will Schmidt wrote:
> +/* { dg-final { scan-assembler-times "xscvdpspn|xscvdpsp" 1 } } */
> +/* { dg-final { scan-assembler-times "vspltw|xxspltw" 1 } } */
The second of these (xscvdpsp) will match whenever the first (xscvdpspn)
does. Maybe you
Hello world,
currently, EXECUTE_COMMAND_LINE aborts the program if the called program
is not found, if cmdstat is present, but cmdmsg isn't. This is a 6/7/8
regression.
This patch fixes the issue by simply removing the erronous call to
runtime_error.
Regression-tested. OK for all affected bran
Hi
[PATCH, rs6000] fix-up int128 fold vector multiply tests
Fix up a few issues with the tests.
- add -O2 to int128-p8 test, and firm up the -mcpu options
- update the set of expected instructions for the int128-p9 test.
- replace the float128_hw requirement with power8_vector_ok
The Sem_Type.Covers predicate is by far the topmost subprogram in the profile
of unoptimized compilations in Ada. This change contains a series of small
optimizations that save about 2% of the instruction count on x86-64:
1. Inline 3 more predicates from einfo,
2. Simplify a convoluted condit
This patch corrects an omission on the legality check of an allocator whose
expression is of a limited type, when the allocator is the expression of an
expression function.
Compiling t3.adb must yield:
t3.adb:4:13: warning: not dispatching (must be defined in a package spec)
t3.adb:5:07: init
This patch update the categorization of node N_Call_Marker's fields. No change
in behaviour, no need for a test.
Tested on x86_64-pc-linux-gnu, committed on trunk
2017-10-09 Hristian Kirtchev
* sinfo.ads: Update table Is_Syntactic_Field to reflect the nature of
semantic field
This patch update the mechanism which retrieves the enclosing scope of a node
to account for blocks produces by exception handler expansion. These blocks are
not scoping constructs and should not be considered. As a result, an access-
before-elaboration check will no longer cause a crash on ZFP.
-
Power9 has efficient unaligned load insns. The following patch fixes the
cost to reflect that. There was no similar code for the unaligned_store
case. Bootstrap/regtest on powerpc64le-linux with no new regressions.
Ok for trunk?
-Pat
2017-10-09 Pat Haugen
* config/rs6000/power9.c (r
When the debugging switch -gnatdJ is present, warning messages include the
name of the unit within which the warning is generated. This patch fixes
a crash in the compiler when a warning appears within a child unit.
The command
gcc -c -gnatdJ test-a.ads
must yield;
test-a.ads:6:17: warning:
This patch ensures that the Elaborate[_All] requirement imposed on the context
of a unit in SPARK code is verified only when the static model is in effect.
-- Source --
-- server.ads
package Server with SPARK_Mode is
function Read return Integer;
end Server;
-- se
This patch adds support for reverse iterations over formal containers,
analogous to what is supported on arrays and predefined containers.
Executing:
gnatmake -q foo
foo
must yield;
1 2 3 4 5 6 7 8 9 10
10 9 8 7 6 5 4 3 2 1
10 9 8 7 6 5 4 3 2 1
---
with Ada.Text_IO; use Ada.Text_IO;
pr
Hi,
Add testcase coverage for the vec_cmp builtins.
Tested on P6 and newer. OK for trunk?
Thanks,
-Will
[testsuite]
* gcc.target/powerpc/fold-vec-cmp-char.c: New.
* gcc.target/powerpc/fold-vec-cmp-double.c: New.
* gcc.target/powerpc/fold-vec-cmp-float.c: New.
This patch classifies 'Access, variable assignments, and variable references as
static model-only scenarios because they are graph-dependent and do not produce
any checks. No need for a test.
Tested on x86_64-pc-linux-gnu, committed on trunk
2017-10-09 Hristian Kirtchev
* sem_elab.adb
Hi,
Add testcase coverage for vec_splat_{u8,s8,u16,s16,u32,s32} built-ins.
Tested on P6 and newer. OK for trunk?
Thanks,
-Will
[testsuite]
|---* gcc.target/powerpc/fold-vec-splat-16.c: New
|---* gcc.target/powerpc/fold-vec-splat-32.c: New.
|---* gcc.target/powerpc/fold-
[PATCH, rs6000] Testcase coverage for vec_splats
Add testcase coverage for bec_splat built-ins.
Tested across power6 and newer.
OK for trunk?
Thanks,
-Will
[testsuite]
* gcc.target/powerpc/fold-vec-splats-char.c: New.
* gcc.target/powerpc/fold-vec-splats-floatdouble.c:
On 10/09/2017 09:13 AM, Joseph Myers wrote:
The install.texi documentation for --disable-libssp only says "Specify
that the run-time libraries for stack smashing protection should not be
built.". I think it needs updating to mention these additional effects as
well.
Oops. :") How about this
This patch corrects an issue whereby an expression function within a ghost
package would cause orphaned freeze nodes.
-- Source --
-- p.ads
package P
with SPARK_Mode
is
type Rec is record
I : Integer;
end record;
package Inner with Ghost is
funct
The evolution of SPARK RM 7.1.3(10) rule was not followed by code that
implements it. The current wording is:
"If a procedure has an in mode parameter of an effectively volatile type,
then the Effective_Reads aspect of any corresponding actual parameter
shall be False."
and the current
This patch fixes a spurious error in an expression for a dynamic predicate,
when the name of (a homograph of) the type to which the predicate applies
is used in a context where the name cannot denote a current occurrence.
The following must compile quietly:
gcc -c conv.ads
---
with Typ; use T
This patch removes a spurious error on a call to a function that applies
to a predicated tagged type, when the actual in the call is class-wide.
The argument must be converted to be type-specific, given that the predicate
function is not dispatching and cannot accept a class-wide actual.
Executing
This patch suppresses the generation of ABE checks when compiling for GNATprove
because a) the checks are not needed and b) the checks involve raise statements
which are not supported by GNATprove. No need for a test.
Tested on x86_64-pc-linux-gnu, committed on trunk
2017-10-09 Hristian Kirtchev
On Mon, Oct 09, 2017 at 09:28:58PM +0200, Uros Bizjak wrote:
> On Mon, Oct 9, 2017 at 9:16 PM, Jakub Jelinek wrote:
> > Hi!
> >
> > The following builtins have {SSE,SSE2,SSSE3} CPUID, yet they have
> > MMX register operands (either input or output or both).
> > As -mno-mmx doesn't imply -mno-sse,
This adds a new hook that the insn_cost function uses if a target has
implemented it (it uses the old pattern_cost nee insn_rtx_cost if not).
I'll commit this now; it was okayed by Jeff at
https://gcc.gnu.org/ml/gcc-patches/2017-08/msg00204.html .
Segher
2017-10-09 Segher Boessenkool
Committing to trunk.
Segher
2017-10-09 Segher Boessenkool
* combine.c (combine_validate_cost): Compute the new insn_cost,
not just pattern_cost.
(try_combine): Adjust comment.
---
gcc/combine.c | 31 +--
1 file changed, 25 insertions(+),
This replaces insn_rtx_cost with insn_cost if an insn is readily
available, and with pattern_cost otherwise.
Okayed by Jeff in https://gcc.gnu.org/ml/gcc-patches/2017-08/msg00203.html
and I'll commit it now.
Segher
2017-10-09 Segher Boessenkool
* cfgrtl.c (rtl_account_profile_recor
On Sun, 8 Oct 2017 16:59:39 +0200
François Dumont wrote:
> ...
> >>
> >> Consider this code:
> >>
> >> std::istringstream inf("abc");
> >> std::istreambuf_iterator j(inf), eof;
> >> std::istreambuf_iterator i = j++;
> >>
> >> assert( *i == 'a' );
> >>
> >> At this point it looks l
On Mon, Oct 9, 2017 at 9:16 PM, Jakub Jelinek wrote:
> Hi!
>
> The following builtins have {SSE,SSE2,SSSE3} CPUID, yet they have
> MMX register operands (either input or output or both).
> As -mno-mmx doesn't imply -mno-sse, we get ICEs on these though, because
> with MMX disabled it is not possib
Hi!
The vpermt2* and vpermi2* instructions are pretty much the same (at least
when not using non-{z} masking), so by treating them as something
significantly different we generate often very bad code.
The following patch attempts to treat them the same (except for non-{z}
masking), so that the RA
Hi,
This patch fixes https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82307.
For an unscoped enum with a fixed underlying type, the function
type_promotes_to() does not always return the same type as the
underlying type. The fix is to use the underlying type of the enum
instead of creating a new o
Hi!
The following builtins have {SSE,SSE2,SSSE3} CPUID, yet they have
MMX register operands (either input or output or both).
As -mno-mmx doesn't imply -mno-sse, we get ICEs on these though, because
with MMX disabled it is not possible to emit them.
The following patch cheats and declares these b
Hello!
Similar to Segher's rs6000 patch [1], attached patch removes redundant
reversed jcc insn patterns.
2017-10-09 Uros Bizjak
* config/i386/i386.md (*jcc_2): Remove insn pattern.
(*jcc_0_r_i387): Ditto.
(*jccxf_r_i387): Ditto.
(*jcc_r_i387): Ditto.
(*jccu_r_i387): Ditto
Similar to other architectures with IFUNC binutils/glibc support, this
patch enables the ifunc attribute for ARM GNU/Linux. Although not
required for build master GLIBC, the intention is to allow refactor
its assembly implementation to C [1].
Tested compilation of glibc (in conjunction with a gli
This patch suppresses checks within finalizer routines, because they can't
fail. No change in behavior; no test available. This is just an internal
cleanup.
Tested on x86_64-pc-linux-gnu, committed on trunk
2017-10-09 Bob Duff
* exp_ch7.adb (Create_Finalizer): Suppress checks within t
On 10/09/2017 11:50 AM, Bernd Edlinger wrote:
On 10/09/17 18:44, Martin Sebor wrote:
On 10/07/2017 10:48 AM, Bernd Edlinger wrote:
Hi!
I think I have now something useful, it has a few more heuristics
added, to reduce the number of false-positives so that it
is able to find real bugs, for inst
On 10/09/2017 05:01 AM, Wilco Dijkstra wrote:
> Add missing -fno-short-enums to ensure this test passes on arm-none-eabi
> which uses short enums.
>
> Committed as obvious in r253540.
>
> ChangeLog:
> 2017-10-09 Wilco Dijkstra
>
> * gcc.dg/tree-ssa/ssa-dse-26.c (dg-options): Add -fno-
On Mon, Oct 09, 2017 at 06:48:33PM +0200, Dominique d'Humières wrote:
>
> > Le 7 oct. 2017 à 17:48, Steve Kargl a
> > écrit :
> >
> > On Sat, Oct 07, 2017 at 12:37:03PM +0200, Dominique d'Humières wrote:
> >> (4) Compiling
> >>
> >> print *, INT(z'',4)
> >> end
> >>
> >> gives
> >>
>
On 10/09/17 18:44, Martin Sebor wrote:
> On 10/07/2017 10:48 AM, Bernd Edlinger wrote:
>> Hi!
>>
>> I think I have now something useful, it has a few more heuristics
>> added, to reduce the number of false-positives so that it
>> is able to find real bugs, for instance in openssl it triggers
>> at
On Mon, Oct 09, 2017 at 11:03:10AM -0500, Segher Boessenkool wrote:
> On Fri, Oct 06, 2017 at 02:30:16PM -0400, Michael Meissner wrote:
> > Here is the revised amo.h. I tested the two test files amo1.c and amo2.c,
> > and
> > they both compile. It is interesting, use %P0 results in fewer addi's
> On Oct 9, 2017, at 11:27 AM, Qing Zhao wrote:
>
>>
>> On Oct 9, 2017, at 5:33 AM, Richard Earnshaw (lists)
>> wrote:
>>
>> On 06/10/17 20:56, Qing Zhao wrote:
>>> Thanks a lot for Wilco’s help on this bug.
>>>
>>> Yes, Aarch64 does NOT do anything wrong.
>>>
>>> The implementation of
I've committed a set of patches by James Cowgill to the GCC 7 branch,
backported from trunk. These patches update the MIPS architecture
names to the names expected by Go programmers. The backported patches
are:
https://golang.org/cl/46150
https://golang.org/cl/46151
https://golang.org
On 10/09/2017 01:42 PM, Jakub Jelinek wrote:
> Hi!
>
> I've committed following patch which has been preapproved by Andreas in the
> PR. No testcase right now, it will be covered by testsuite later together
> with all the other intrinsics.
>
> 2017-10-09 Jakub Jelinek
>
> PR target/824
Hi Carl,
On Mon, Oct 09, 2017 at 08:36:57AM -0700, Carl Love wrote:
> *gcc.target/powerpc/builtins-revb-runnable.c: New
> runnable test file for the vec_revb builtin.
(Missing space after the asterisk).
> diff --git a/gcc/config/rs6000/vsx.md b/gcc/config/rs6000/vsx.md
> index b47eea
> Le 7 oct. 2017 à 17:48, Steve Kargl a
> écrit :
>
> On Sat, Oct 07, 2017 at 12:37:03PM +0200, Dominique d'Humières wrote:
>> (4) Compiling
>>
>> print *, INT(z'',4)
>> end
>>
>> gives
>>
>> print *, INT(z'',4)
>> 1
>> Error: Arithmetic overflow converting INTEGE
On 10/07/2017 10:48 AM, Bernd Edlinger wrote:
Hi!
I think I have now something useful, it has a few more heuristics
added, to reduce the number of false-positives so that it
is able to find real bugs, for instance in openssl it triggers
at a function cast which has already a TODO on it.
The heu
> On Oct 9, 2017, at 5:33 AM, Richard Earnshaw (lists)
> wrote:
>
> On 06/10/17 20:56, Qing Zhao wrote:
>> Thanks a lot for Wilco’s help on this bug.
>>
>> Yes, Aarch64 does NOT do anything wrong.
>>
>> The implementation of __builtin_update_setjmp_buf is not correct. It takes a
>> pointe
On Fri, Oct 06, 2017 at 02:30:16PM -0400, Michael Meissner wrote:
> Here is the revised amo.h. I tested the two test files amo1.c and amo2.c, and
> they both compile. It is interesting, use %P0 results in fewer addi's than
> the
> older one (there were redunant addi's in passing the address). C
On Fri, Oct 6, 2017 at 10:18 AM, Nathan Sidwell wrote:
> This patch converts the extern "C" function map to use a hash table, in the
> same way as I've just changed namespace bindings.
>
> There's a small wart, in that the c_linkage_bindings user (in c-common)
> expects either a single decl or a
This patch fixes a spurious error on an expression function that is a
completion, when the expression is a function call that returns an anonymous
access type. The preanalysis of the expression to freeze referenced types
requires the proper computation of the access level of the function call,
at a
This patch enhances the compiler to statically allocate secondary
dispatch tables.
No test available because it would require the analysis of the
generated assembly code (thus depending on the target architecture).
Tested on x86_64-pc-linux-gnu, committed on trunk
2017-10-09 Javier Miranda
This patch improves and simplifies the debugging hooks. Now you just have to
break on nnd to find all "interesting" creations/modifications of node ids. No
change in functionality; no test available.
Tested on x86_64-pc-linux-gnu, committed on trunk
2017-10-09 Bob Duff
* atree.adb:
This patch suppresses a spurious ambiguity error on a prefixed call to an
inherited class-wide operation, when the operation also has other visible
homonyms in the context.
Tested on x86_64-pc-linux-gnu, committed on trunk
gcc/ada/
2017-10-09 Ed Schonberg
* sem_ch4.adb (Try_Class_Wid
GCC maintainers:
The following patch add Power8 vec_revb() builtin support to the
existing Power 9 support. The Power ISA specification says the
vec_revb() builtin is to be supported on both Power 8 and Power 9.
There are new instructions in Power 9 that support the vec_revb()
functionality. So
> "Tom" == Tom Tromey writes:
[ __VA_OPT__ ]
Tom> Here's v3.
Ping.
Tom
Routine Unit_Declaration_Node now recognizes protected types as program
units and returns their declaration nodes; previously it returned
declaration nodes of the enclosing program units. This was an oversight.
-- Source --
-- illegal.ads
package Illegal
with SPARK_M
This patch modifies the warnings denoting ineffective use-clauses to be more
explicit and user-friendly.
-- Source --
-- unused_a.adb
with Ada.Text_IO;
with Interfaces;
procedure Unused_A is
use type Interfaces.Unsigned_8;
begin
Ada.Text_IO.Put_Line ("Hello, Wor
This patch fixes a compiler crash on a function call when validity checks
on actuals are enabled (-gnatVi) and the target type is a scalar type.
Tested on x86_64-pc-linux-gnu, committed on trunk
gcc/ada/
2017-10-09 Ed Schonberg
* exp_attr.adb (Expand_Attribute_Reference, case 'Valid)
This patch fixes a compiler abort on an instantiation where the actual for
a formal package is an instantiation of a generic child unit. An instantiation
freezes its actuals, and in the case of formal packages whose instance
includes a body the back-end needs an explicit freeze node for the actual.
The install.texi documentation for --disable-libssp only says "Specify
that the run-time libraries for stack smashing protection should not be
built.". I think it needs updating to mention these additional effects as
well.
--
Joseph S. Myers
jos...@codesourcery.com
On 2017/10/9 22:16, David Malcolm wrote:
I have some concerns about adding non-trivial host-specific code to the
diagnostics subsystem.
I occasionally make changes to the files you're touching, but I don't
have access to the host in question, so I can't test that I don't break
things on MinGW.
On Mon, 2017-10-09 at 11:01 +, JonY wrote:
> On 10/08/2017 11:39 AM, Liu Hao wrote:
> > On 2017/9/28 4:09, Joseph Myers wrote:
> > > On Thu, 28 Sep 2017, Liu Hao wrote:
> > >
> > > > Colorized diagnostics used to be disabled for MinGW targets (on
> > > > which
> > > > the macro `_WIN32` is def
On Mon, 9 Oct 2017, Richard Biener wrote:
> On Sat, 7 Oct 2017, Richard Sandiford wrote:
>
> > Richard Biener writes:
> > > I am testing the following patch to fix the qsort intransitiveness
> > > of dr_group_sort_cmp. The patch removes the overly powerful
> > > operand_equal_p checks (handling
On Mon, Oct 9, 2017 at 3:30 PM, Laurent Thevenoux
wrote:
>
>
> - Mail original -
>> De: "Richard Biener"
>> À: "Laurent Thevenoux"
>> Cc: "GCC Patches"
>> Envoyé: Lundi 9 Octobre 2017 14:04:49
>> Objet: Re: tree-complex.c: fix some_nonzerop test over reals (and a bug fix)
>>
>> On Fri,
On Mon, 9 Oct 2017, Richard Biener wrote:
> On Fri, 6 Oct 2017, Sebastian Pop wrote:
>
> > On Fri, Oct 6, 2017 at 8:33 AM, Richard Biener wrote:
> >
> > > On Fri, 6 Oct 2017, Sebastian Pop wrote:
> > >
> > > > On Fri, Oct 6, 2017 at 6:56 AM, Richard Biener
> > > wrote:
> > > >
> > > > >
> > >
On Thu, Oct 5, 2017 at 3:17 PM, Bin Cheng wrote:
> Hi,
> For now distribution pass only handles the innermost loop. This patch
> extends the pass
> to cover two-level innermost loop nest. It also refactors code in
> pass_loop_distribution::execute
> for better reading. Note I restrict it to 2
On Fri, Oct 06, 2017 at 02:21:41PM +0200, Jakub Jelinek wrote:
> On Thu, Oct 05, 2017 at 11:05:57PM +0200, Marek Polacek wrote:
> > On Thu, Oct 05, 2017 at 10:34:26PM +0200, Jakub Jelinek wrote:
> > > Hi!
> > >
> > > In warn_tautological_bitwise_comparison, there is even a comment
> > > mentioning
On Thu, Oct 5, 2017 at 3:16 PM, Bin Cheng wrote:
> Hi,
> Function generate_loops_for_partition chooses arbitrary path when removing
> exit
> condition not in partition. This is fine for now because it's impossible to
> have
> loop exit condition in case of innermost distribution. After extendi
On Thu, Oct 5, 2017 at 3:16 PM, Bin Cheng wrote:
> Hi,
> Function rename_variables_in_bb skips renaming PHI nodes in loop nest if the
> outer loop has only one inner loop. This breaks loop nest distribution when
> inner loop has PHI node initialized from outer loop's variable.
> Unfortunately,
- Mail original -
> De: "Richard Biener"
> À: "Laurent Thevenoux"
> Cc: "GCC Patches"
> Envoyé: Lundi 9 Octobre 2017 14:04:49
> Objet: Re: tree-complex.c: fix some_nonzerop test over reals (and a bug fix)
>
> On Fri, Oct 6, 2017 at 8:58 PM, Laurent Thevenoux
> wrote:
> > Hi Richard,
On Thu, Oct 5, 2017 at 3:15 PM, Bin Cheng wrote:
> Hi,
> I noticed that new_preheader basic block could be deleted if the copied
> loop is added at entry in function slpeel_tree_duplicate_loop_to_edge_cfg.
> This simple patch skips new_preheader during variable renaming if it is
> deleted.
> Boots
On Thu, Oct 5, 2017 at 3:15 PM, Bin Cheng wrote:
> Hi,
> This patch set implements distribution and builtin pattern distribution for
> loop nest. It consists of below patches:
> Patches [1~4]: Cleanup and (latent) bug fixes.
> Patch [5]: Loop nest distribution of two-level innermost loop nest
On Tue, Oct 3, 2017 at 9:14 PM, Richard Sandiford
wrote:
> One of the original requirements for getting wide-int.h accepted
> was that it should work efficiently on trees. Through a process
> that I no longer recall exactly, this ended up meaning that we can
> use things like:
>
>wi::add (t,
On Mon, Oct 9, 2017 at 11:12 AM, Yuri Gribov wrote:
> Hi all,
>
> This patch gets rid of float casts in comparisons when all values of
> casted integral type are exactly representable by the float type
> (https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81376).
>
> Bootstrapped and regtested on x64_64
On Sat, Sep 30, 2017 at 11:08 AM, Alexandre Oliva wrote:
> This patch removes unused RTL functions, introduces alternate ones for
> use in a later SFN patch, and regroups other related functions so that
> they appear in a more consistent order.
Ok.
Thanks,
Richard.
> for gcc/ChangeLog
>
>
On Sat, Sep 30, 2017 at 11:08 AM, Alexandre Oliva wrote:
> Introduce a command line option to enable statement frontiers, enabled
> by default in optimized builds with DWARF2+ debug information.
>
> This patch depends on an earlier patch that completed the
> infrastructure for debug markers, and o
On Sat, Sep 30, 2017 at 11:08 AM, Alexandre Oliva wrote:
> This patch completes the infrastructure for the introduction of
> statement frontiers in C-family languages.
>
> It brings in all the code remaining code needed to introduce and
> transform begin stmt trees, gimple stmts, insns and notes,
On 2017/10/9 19:01, JonY wrote:
On 10/08/2017 11:39 AM, Liu Hao wrote:
I'm not sure if it should be enabled by default due to the interleaving
problem, but seeing as the user has to go out to set GCC_COLORS to use
this feature, I suppose it is OK.
I will commit soon if there are no more comment
On Sat, Sep 30, 2017 at 11:08 AM, Alexandre Oliva wrote:
> This patch adjusts numerous parts of the compiler that would
> malfunction should they find debug markers at points where they may be
> introduced. The changes purport to allow the compiler to pass
> bootstrap-debug-lean (-fcompare-debug
Richard Biener wrote:
> I think the patch is ok with these changes but obviously we should try
> to address
> the code-generation issue on x86 at RTL expansion time. They are sort-of
> existing missing optimizations.
Note the only x64 specific issue is the backend expansion of 64-bit immediates
On 06/09/17 14:17, Bernd Edlinger wrote:
> On 09/06/17 14:51, Richard Earnshaw (lists) wrote:
>> On 06/09/17 13:44, Bernd Edlinger wrote:
>>> On 09/04/17 21:54, Bernd Edlinger wrote:
Hi Kyrill,
Thanks for your review!
On 09/04/17 15:55, Kyrill Tkachov wrote:
> Hi B
On Sat, Sep 30, 2017 at 11:08 AM, Alexandre Oliva wrote:
> This patch introduces a number of new macros and functions that will
> be used to distinguish between different kinds of debug stmts, insns
> and notes, namely, preexisting debug bind ones and to-be-introduced
> nonbind markers.
>
> In a s
On Sun, Oct 8, 2017 at 1:22 PM, Marc Glisse wrote:
> Hello,
>
> this moves (and extends a bit) one more transformation from fold-const.c to
> match.pd. The single_use restriction is necessary for consistency with the
> existing X+CST1 CMP CST2 transformation (if we do only one of the 2
> transform
On Fri, Oct 6, 2017 at 8:58 PM, Laurent Thevenoux
wrote:
> Hi Richard, thanks for your quick reply.
>
> - Mail original -
>> De: "Richard Biener"
>> À: "Laurent Thevenoux"
>> Cc: "GCC Patches"
>> Envoyé: Vendredi 6 Octobre 2017 13:42:57
>> Objet: Re: tree-complex.c: fix some_nonzerop te
On Tue, Sep 26, 2017 at 2:44 PM, Sudi Das wrote:
>
> Still waiting on Jakub's comment on whether there are more things needed at
> the backend. But I have updated the patch according to Richard's comments.
+ (if (TYPE_UNSIGNED(type))
space before '(type)'.
+ (rshift (lshift @0 @2) @3)
+
Hi!
I've committed following patch which has been preapproved by Andreas in the
PR. No testcase right now, it will be covered by testsuite later together
with all the other intrinsics.
2017-10-09 Jakub Jelinek
PR target/82464
* config/s390/s390-builtins.def (s390_vec_xor_flt_
On 07/24/2017 08:56 PM, Jan Hubicka wrote:
* gcc.dg/cold-1.c: New testcase.
Index: testsuite/gcc.dg/cold-1.c
===
--- testsuite/gcc.dg/cold-1.c (revision 0)
+++ testsuite/gcc.dg/cold-1.c (working copy)
@@ -0,0 +1,21 @@
1 - 100 of 113 matches
Mail list logo
