On Sun, 29 May 2016, Marc Glisse wrote:
> On Sat, 28 May 2016, Alexander Monakov wrote:
>
> > For unsigned A, B, 'A > -1 / B' is a nice predicate for checking whether
> > 'A*B'
> > overflows (or 'B && A > -1 / B' if B may be zero). Let's optimize it to an
> > invocation of __builtin_mul_overflow
On Sun, 29 May 2016, Tom de Vries wrote:
> Hi,
>
> this patch fixes graphite PR69067, a 6/7 regression.
>
>
> I.
>
> Consider the following test-case, compiled with -O1 -floop-nest-optimize
> -flto:
> ...
> int a1, c1, cr, kt;
> int aa[2];
>
> int
> ce (void)
> {
> while (a1 < 1) {
> in
On Mon, 30 May 2016, Prathamesh Kulkarni wrote:
> The attached patch ICE's during bootstrap for x86_64, and is reproducible with
> following case with -m32 -O2:
>
> typedef long long type;
>
> type f(type x, type y)
> {
> type q = x / y;
> type r = x % y;
> return q + r;
> }
>
> The ICE h
On 23 May 2016 at 14:59, Prathamesh Kulkarni
wrote:
> On 5 February 2016 at 18:40, Prathamesh Kulkarni
> wrote:
>> On 4 February 2016 at 16:31, Ramana Radhakrishnan
>> wrote:
>>> On Sun, Jan 17, 2016 at 9:06 AM, Prathamesh Kulkarni
>>> wrote:
On 31 July 2015 at 15:04, Ramana Radhakrishnan
I noticed that libcc1 copyright dates hadn't been updated since it had
initially been added. Looking around, the same applies to gotools.
This patch updates update-copyright.py to take care of that. At the
same time, I checked that script, added appropriate entries for the
other missing director
> This makes it so that DImode arithmetical operations are split into a pair
> of SImode operations in order to enable better scheduling.
>
> Tested on visium-elf, applied on the mainline and 6 branch.
A minor follow-up, applied on the mainline and 6 branch.
2016-05-30 Eric Botcazou
On Fri, May 27, 2016 at 6:30 PM, Jeff Law wrote:
>
> It's been my plan since finally wrapping my head around Bodik's thesis to
> revamp how we handle jump threading to use some of the principles from his
> thesis. In particular, the back substitution and simplification model feels
> like the righ
On Sat, 28 May 2016, Jan Hubicka wrote:
> Hello,
> thanks for feedback. I updated the patch and also noticed that
> -fpeel-all-loops gives up when
> upper bound is known but it is large and when the max-peel-insns is too small
> to permit
> peeling max-peel-times. This patch also updates pr617
On 01/15/2016 05:58 PM, Bernd Schmidt wrote:
One question Richard posed in the comments: why aren't we optimizing
small constant size memcmps other than size 1 to *s == *q? The reason is
the return value of memcmp, which implies byte-sized operation
(incidentally, the use of SImode in the cmpmem
Hi,
this patch fixes graphite PR69068, a 6/7 regression.
I.
Consider this test-case:
...
int qo;
int zh[2];
void
td (void)
{
int ly, en;
for (ly = 0; ly < 2; ++ly)
for (en = 0; en < 2; ++en)
zh[en] = ((qo == 0) || (((qo * 2) != 0))) ? 1 : -1;
}
...
When compiling with -O1 -fgra
On Mon, 30 May 2016, Tom de Vries wrote:
> Hi,
>
> this patch fixes graphite PR69068, a 6/7 regression.
>
>
> I.
>
> Consider this test-case:
> ...
> int qo;
> int zh[2];
>
> void
> td (void)
> {
> int ly, en;
> for (ly = 0; ly < 2; ++ly)
> for (en = 0; en < 2; ++en)
> zh[en] =
> Tested in sparc64-linux-gnu, sparcv9-linux-gnu and sparc-sun-solaris2.11.
>
> 2016-05-25 Jose E. Marchesi
>
> * config.gcc (sparc*-*-*): Support cpu_32, cpu_64, tune_32 and
> tune_64.
> * doc/install.texi (--with-cpu-32, --with-cpu-64): Document
> sup
On 05/23/2016 12:16 PM, Marek Polacek wrote:
Can we document what a programmer needs to do to suppress the warning? My
worry is that the warning will be too unpredictable to be useful.
Why would you suppress the warning? Just delete the code that cannot be
executed anyway. And what is unpred
On 30/05/16 11:46, Richard Biener wrote:
This patch fixes the assert conservatively by aborting graphite code
>generation when encountering a phi with more than two arguments in
>copy_bb_and_scalar_dependences.
>
>Bootstrapped and reg-tested on x86_64.
>
>OK for trunk, 6 branch?
Did you check
On Mon, May 30, 2016 at 2:35 AM, kugan
wrote:
>
>
> On 28/05/16 01:28, Kugan Vivekanandarajah wrote:
>>
>> Hi Richard,
>>
>> This fix insertion point of stmt_to_insert based on your comments. In
>> insert_stmt_before_use , I now use find_insert_point such that we
>> insert the stmt_to_insert after
On Mon, May 30, 2016 at 9:14 AM, Alexander Monakov wrote:
> On Sun, 29 May 2016, Marc Glisse wrote:
>> On Sat, 28 May 2016, Alexander Monakov wrote:
>>
>> > For unsigned A, B, 'A > -1 / B' is a nice predicate for checking whether
>> > 'A*B'
>> > overflows (or 'B && A > -1 / B' if B may be zero).
On Mon, 30 May 2016, Tom de Vries wrote:
> On 30/05/16 11:46, Richard Biener wrote:
> > > This patch fixes the assert conservatively by aborting graphite code
> > > >generation when encountering a phi with more than two arguments in
> > > >copy_bb_and_scalar_dependences.
> > > >
> > > >Bootstrappe
The following patch removes the restriction on seeing a tree of stmts
in vectorizer bool pattern detection (aka single-use). With this
it is no longer necessary to unshare DEFs in ifcvt_repair_bool_pattern
and that compile-time hog can go (it's now enabled unconditionally for GCC 7).
Instead the
> On Sat, 28 May 2016, Jan Hubicka wrote:
>
> > Hello,
> > thanks for feedback. I updated the patch and also noticed that
> > -fpeel-all-loops gives up when
> > upper bound is known but it is large and when the max-peel-insns is too
> > small to permit
> > peeling max-peel-times. This patch als
On Mon, May 30, 2016 at 12:55:22PM +0200, Richard Biener wrote:
> CCing Jakub who wrote the tree-ssa-math-opts.c code last year. I remember we
> discussed using match.pd but ended up with not doing it there but I
> don't remember
> the exact reason.
richi: does match.pd support turning non-call
On Mon, 30 May 2016, Jan Hubicka wrote:
> > On Sat, 28 May 2016, Jan Hubicka wrote:
> >
> > > Hello,
> > > thanks for feedback. I updated the patch and also noticed that
> > > -fpeel-all-loops gives up when
> > > upper bound is known but it is large and when the max-peel-insns is too
> > > smal
On Mon, May 30, 2016 at 1:15 PM, Jakub Jelinek wrote:
> On Mon, May 30, 2016 at 12:55:22PM +0200, Richard Biener wrote:
>> CCing Jakub who wrote the tree-ssa-math-opts.c code last year. I remember we
>> discussed using match.pd but ended up with not doing it there but I
>> don't remember
>> the e
I noticed that, while gcc.c is already prepared for it, gcc/configure
doesn't yet detect the full ELF gABI compression support introduced in
GNU binutils 2.26.
The following patch adds the missing pieces. While mostly
straightforward, there are two noteworthy issues:
* I'm removing the `extra sw
>
> Sounds good.
>
> The patch is ok if you omit the new flag for now.
Ok, I will omit that flag for now. Thanks!
Honza
>
> Thanks,
> Richard.
This series of patches redefines the way how we handle the options
within the ARC backend. Firstly, a number of options got deprecated as
they were directed to control the assembler behavior, assembler which
got overhaul and ignores the options in question. Secondly, we remove
the capitalized cpu n
Update the ARC specific tests.
OK to apply?
Claudiu
gcc/
2016-05-26 Claudiu Zissulescu
* testsuite/gcc.target/arc/abitest.S: New file.
* testsuite/gcc.target/arc/va_args-1.c: Likewise.
* testsuite/gcc.target/arc/va_args-2.c: Likewise.
* testsuite/gcc.target/arc
Overhaul of ARC options, and multilib support for various cpus.
OK to apply?
Claudiu
gcc/
2016-05-09 Claudiu Zissulescu
* config/arc/arc-arch.h: New file.
* config/arc/arc-arches.def: Likewise.
* config/arc/arc-cpus.def: Likewise.
* config/arc/arc-options.def:
Hi,
this patch fixes profile updates in loop peeling pass. First it correctly
set wont_exit which can only be set when we know the number of iterations
tested by EXIT and this number is higher than maximal number of iterations
(an unlikely case which is usually removed by VRP pass or earlier cunro
2016-05-30 14:04 GMT+03:00 Richard Biener :
>
> The following patch removes the restriction on seeing a tree of stmts
> in vectorizer bool pattern detection (aka single-use). With this
> it is no longer necessary to unshare DEFs in ifcvt_repair_bool_pattern
> and that compile-time hog can go (it's
Hi Jose,
On 30/05/2016 12:03, jose.march...@oracle.com wrote:
> Tested in sparc64-linux-gnu, sparcv9-linux-gnu and sparc-sun-solaris2.11.
>
> 2016-05-25 Jose E. Marchesi
>
> * config.gcc (sparc*-*-*): Support cpu_32, cpu_64, tune_32 and
> tune_64.
On Fri, May 27, 2016 at 5:12 PM, Alan Hayward wrote:
>
> On 27/05/2016 12:41, "Richard Biener" wrote:
>
>>On Fri, May 27, 2016 at 11:09 AM, Alan Hayward
>>wrote:
>>> This patch is a reworking of the previous vectorize inductions that are
>>> live
>>> after the loop patch.
>>> It now supports SLP
On 5/30/16 03:18, Mike Stump wrote:
> On May 29, 2016, at 3:39 AM, cheng...@emindsoft.com.cn wrote:
>>
>> r10 may also be as parameter for the nested function, so need save it
>> before call mcount.
>
> mcount can have a special abi where it preserves more registers than one
> would otherwise exp
Hi,
Here is the fixed version of the patch. Ok for trunk?
-Original Message-
From: Sandra Loosemore [mailto:san...@codesourcery.com]
Sent: Tuesday, May 10, 2016 11:02 PM
To: Koval, Julia ; gcc-patches@gcc.gnu.org
Cc: Lu, Hongjiu ; vaalfr...@gmail.com; ubiz...@gmail.com;
l...@redhat.com;
Hello,
Patch limits constraint for scalar operand in split to AVX-512VL.
Boostrap/regtest in progress for x86_64/ia32.
I'll check it in if pass.
PR target/71346.
gcc/
* config/i386/sse.md (define_insn_and_split "*vec_extractv4sf_0"): Use
`Yv' for scalar operand.
testsuite/
On 30/05/16 12:56, Richard Biener wrote:
On Mon, 30 May 2016, Tom de Vries wrote:
>On 30/05/16 11:46, Richard Biener wrote:
> > >This patch fixes the assert conservatively by aborting graphite code
> > > >generation when encountering a phi with more than two arguments in
> > > >copy_bb_and_sc
On Mon, 30 May 2016, Tom de Vries wrote:
> On 30/05/16 12:56, Richard Biener wrote:
> > On Mon, 30 May 2016, Tom de Vries wrote:
> >
> > > >On 30/05/16 11:46, Richard Biener wrote:
> > > > > > > >This patch fixes the assert conservatively by aborting graphite
> > > > > code
> > > > > > > > > >gen
On Mon, May 30, 2016 at 04:46:50PM +0300, Kirill Yukhin wrote:
> Hello,
> Patch limits constraint for scalar operand in split to AVX-512VL.
>
> Boostrap/regtest in progress for x86_64/ia32.
>
> I'll check it in if pass.
>
> PR target/71346.
> gcc/
> * config/i386/sse.md (define_insn_and_sp
On 5/30/16 21:32, Chen Gang wrote:
> On 5/30/16 03:18, Mike Stump wrote:
>> On May 29, 2016, at 3:39 AM, cheng...@emindsoft.com.cn wrote:
>>>
>>> r10 may also be as parameter for the nested function, so need save it
>>> before call mcount.
>>
>> mcount can have a special abi where it preserves more
OK.
On Sun, May 29, 2016 at 6:49 PM, Paolo Carlini wrote:
> Hi,
>
> submitter noticed that for wrong uses of 'virtual' outside of template
> classes (B in the testcase) vs plain classes (A) we wrongly emit the
> "templates may not be %" error message. Simply checking
> current_class_type seems en
Hi, a previous patch of Cesar's has made the middle-end omp-lowering
automatically create and insert a tofrom (i.e. present_or_copy) map for
parallel reductions. This allowed the user to not need explicit
clauses to copy out the reduction result, but because reduction arguments
are not marked addr
Hello!
2016-05-30 Uros Bizjak
* gcc.target/i386/iamcu/args.h (clear_non_sret_int_hardware_registers):
Use correct register when clearing %edx.
Regression tested on x86_64-linux-gnu {,-m32}.
Committed to mainline and gcc-6 branch.
Uros.
Index: gcc.target/i386/iamcu/args.h
===
On Sun, 29 May 2016, Marc Glisse wrote:
> On Sat, 28 May 2016, Alexander Monakov wrote:
> > For unsigned A, B, 'A > -1 / B' is a nice predicate for checking whether
> > 'A*B'
> > overflows (or 'B && A > -1 / B' if B may be zero). Let's optimize it to an
> > invocation of __builtin_mul_overflow to
Hi,
this is version of patch I intend to commit after re-testing at x86_64-linux
with loop peeling enabled at -O3.
It drops -fpeel-all-loops, add logic to not peel loops multiple times
and fix profile updating.
Bootstrapped/regtested x86_64-linux
Honza
* doc/invoke.texi (-fpeel-loops,-O
Hi,
this diagnostic bug report is about an incorrect column (normally the
final closed parenthesis) for error messages emitted by
unqualified_fn_lookup_error. The substance of the fix is obvious - pass
an appropriate column information to the function - and it handles
correctly all the instan
On 05/24/2016 12:11 PM, Bin.Cheng wrote:
> Hi,
> Could you please factor out this as a function and remove the goto
> statements? Okay with this change if no fallout in benchmarks you
> run.
>
> Thanks,
> bin
Hi.
Thanks for the review, I've just verified that it does not introduce any
regressio
On Fri, May 27, 2016 at 02:01:33PM -0600, Kelvin Nilsen wrote:
>
> This patch adds built-in function support for the Power9 vslv and vsrv
> instructions.
> +Tne @code{vec_slv} and @code{vec_srv} functions operate in parallel on
Typo ("Tne").
> +all of the bytes of their @code{src} and @code{sh
On 05/30/2016 11:42 AM, Paolo Carlini wrote:
+unqualified_name_lookup_error (tree name, location_t loc)
{
+ if (loc == UNKNOWN_LOCATION)
+loc = location_of (name);
When does this do anything useful? If name is a DECL, this will give
the wrong answer. If name is an IDENTIFIER_NODE, this
Hi,
On 30/05/2016 18:07, Jason Merrill wrote:
On 05/30/2016 11:42 AM, Paolo Carlini wrote:
+unqualified_name_lookup_error (tree name, location_t loc)
{
+ if (loc == UNKNOWN_LOCATION)
+loc = location_of (name);
When does this do anything useful? If name is a DECL, this will give
the wr
Hi!
This fixes the handling of doacross on non-simple Fortran loops (ones where
step isn't compile time known 1 or -1), except that lastprivate is still
broken if the collapsed loop iterates non-zero times, but one of the ordered
loops inside of it has zero iterations. Will need to figure out som
On Mon, May 30, 2016 at 10:38:59PM +0800, Chung-Lin Tang wrote:
> Hi, a previous patch of Cesar's has made the middle-end omp-lowering
> automatically create and insert a tofrom (i.e. present_or_copy) map for
> parallel reductions. This allowed the user to not need explicit
> clauses to copy out t
On 05/30/2016 12:45 PM, Paolo Carlini wrote:
Hi,
On 30/05/2016 18:07, Jason Merrill wrote:
On 05/30/2016 11:42 AM, Paolo Carlini wrote:
+unqualified_name_lookup_error (tree name, location_t loc)
{
+ if (loc == UNKNOWN_LOCATION)
+loc = location_of (name);
When does this do anything usef
OK.
Jason
On Sun, May 29, 2016 at 11:10 PM, Uros Bizjak wrote:
> Attached RFC patch implements this proposal.
>
> 2016-05-29 Uros Bizjak
>
> * config/i386/sync.md (mfence_nosse): Use "lock orl $0, -4(%esp)".
>
> Patch was bootstrapped and regression tested on x86_64-linux-gnu {,-m32}.
>
> Any other
On 05/30/2016 07:31 AM, Koval, Julia wrote:
Hi,
Here is the fixed version of the patch. Ok for trunk?
diff --git a/gcc/doc/extend.texi b/gcc/doc/extend.texi
index 2d4f028..f4bd7dd 100644
--- a/gcc/doc/extend.texi
+++ b/gcc/doc/extend.texi
@@ -5266,6 +5266,96 @@ On x86-32 targets, the @code{stdca
On 05/30/2016 09:26 AM, Jan Hubicka wrote:
Hi,
this is version of patch I intend to commit after re-testing at x86_64-linux
with loop peeling enabled at -O3.
It drops -fpeel-all-loops, add logic to not peel loops multiple times
and fix profile updating.
Bootstrapped/regtested x86_64-linux
Honz
In this PR the function simplify_control_stmt_condition_1(), which is
responsible for recursing into the operands of a GIMPLE_COND during jump
threading to check for dominating ASSERT_EXPRs, was erroneously
returning a VECTOR_CST when it should instead be returning an
INTEGER_CST. The problem is t
The test case ssa-thread-14.c expects that non-short-circuit logical ops
are used so it fails on targets that don't use such ops by default. To
fix, I copied the dg directives from tree-ssa/reassoc-35.c which look
reasonable. Does this look OK to commit?
gcc/testsuite/ChangeLog:
PR tree
On 05/28/2016 07:52 AM, stefan.bru...@rwth-aachen.de wrote:
From: Stefan Brüns
* use lexicographical ordering, as "gcc -march=foo" does
* add armv6k, armv6z, arm6zk
* remove ep9312, it is only valid for -mcpu
* add armv6s-m and document it, as it is no official ARM name.
Support fo
Here's a more straightforward version of the patch that abuses the fact
that the fields DECL_PENDING_INLINE_INFO and DECL_SAVED_FUNCTION_DATA
are a union.
Bootstrapped + regtested on x86_64-pc-linux-gnu. Does this look OK to
commit?
gcc/cp/ChangeLog:
PR c++/27100
* decl.c (dupli
On 27.05.16 22:34, Andreas Tobler wrote:
Hi all,
The FreeBSD ARM people eliminated the extra armv6hf target and moved the
hardfloat 'functionality' into the armv6-*-freebsd11+ target.
This applies / will apply (FreeBSD11 is not released yet. Planned date
in September 16) to FreeBSD11. On FreeBSD
Hi Ville,
On 29/05/2016 16:42, Ville Voutilainen wrote:
On 28 May 2016 at 21:25, Ville Voutilainen wrote:
The fix to avoid binding dangling references to temporaries for tuple's
constructors that take tuples of different type didn't include the fix
for allocator overloads. That was just lazy,
Hi!
As the changes to the testcase show, there were 3 issues:
1) nowait clause has not been allowed on target {teams distribute ,}parallel
for{, simd}
- while parallel for{, simd} disallows nowait, it is allowed on target, so
on these constructs nowait should go to target, and not to the workshar
On 5/30/16 22:25, Chen Gang wrote:
> On 5/30/16 21:32, Chen Gang wrote:
>> On 5/30/16 03:18, Mike Stump wrote:
>>> On May 29, 2016, at 3:39 AM, cheng...@emindsoft.com.cn wrote:
r10 may also be as parameter for the nested function, so need save it
before call mcount.
>>>
>>> mcount ca
On 05/30/2016 12:42 PM, Jason Merrill wrote:
OK.
Sorry, I should have asked to begin with: Is it okay to backport
this fix to the 6.x branch too?
Martin
Hi,
this is my first GCC patch, so please bear with me if something is wrong with
it in an obvious way.
I've found two unused macros in gcc/diagnostic.h. Is the patch okay as is?
Bootstrapped on x86_64-pc-linux-gnu.
2016-05-31 Marcin Baczyński
* gcc/diagnostic.h (diagnostic_line_cutoff, diag
65 matches
Mail list logo
