On Thu, 6 Oct 2016, Jeff Law wrote:
> On 10/06/2016 03:15 AM, Richard Biener wrote:
> >
> > The following guards against (some) remove-current-bit cases. It
> > would have ICEd for PR77855 instead of producing wrong code.
> >
> > Bootstrap / regtest running on x86_64-unknown-linux-gnu.
> >
> >
On Thu, 6 Oct 2016, Marc Glisse wrote:
> On Wed, 5 Oct 2016, Richard Biener wrote:
>
> > > The following will fix PR77826, the issue that in match.pd matching
> > > up two things uses operand_equal_p which is too lax about the type
> > > of the toplevel entity (at least for integer constants).
>
On Thu, 6 Oct 2016, Jakub Jelinek wrote:
> Hi!
>
> For signed a, if we see a >= 0 && a < b and from VR know that b >= 0,
> we can optimize those 2 comparisons into one unsigned -
> (unsigned) a < (unsigned) b. Similarly for a < 0 || a > b (and also
> for a <= b in the first and a >= b in the sec
Hi Andrew,
On 24/09/16 06:46, Andrew Pinski wrote:
Hi,
As reported in PR 61367, the aarch64 back-end is too verbose when it
is dealing with the cost model. I tend to agree, no other back-end is
this verbose. So I decided to add an option to enable this verbose
output if requested.
I did NO
Hi.
This is a small fix where I use a proper macro to set priority to 99.
I'll commit the patch after tests will finish.
Martin
>From ee8799b82fd769574c64489db31a494635da5f42 Mon Sep 17 00:00:00 2001
From: marxin
Date: Fri, 30 Sep 2016 14:48:31 +0200
Subject: [PATCH] Really set priority to 99 fo
There's one more hunk needed to build profiledbootstrap.
Hope it's obvious, I'm going to install the patch.
Thanks,
Martin
>From eab203805280062a2733ffcc758f5282a8163905 Mon Sep 17 00:00:00 2001
From: marxin
Date: Thu, 6 Oct 2016 19:33:39 +0200
Subject: [PATCH] Fix profiled bootstrap (part 2)
gc
> On 7 Oct 2016, at 00:58, Matthias Klose wrote:
>
> On 06.10.2016 20:00, Mike Stump wrote:
>> On Oct 6, 2016, at 9:56 AM, Rainer Orth
>> wrote:
>>> I wouldn't hard-fail, but completely disable objc-gc with an appropriate
>>> warning. The Objective-C maintainers may have other preferences, th
On 10/04/2016 03:42 PM, Joseph Myers wrote:
> On Tue, 4 Oct 2016, Andreas Krebbel wrote:
>
>>> (b) Handling EXCESS_PRECISION_TYPE_IMPLICIT like
>>> EXCESS_PRECISION_TYPE_FAST would accurately describe what the back end
>>> does. It would mean that the default FLT_EVAL_METHOD is 0, which is a
>
I'm resending the patch, where I implemented all builtins mentions in subject
in gimp-fold.c.
Patch can bootstrap on ppc64le-redhat-linux and survives regression tests.
Ready to be installed?
Martin
>From 8a5f823348c132523b40c531b56a1a29dac32097 Mon Sep 17 00:00:00 2001
From: marxin
Date: Wed, 5
Resending the patch, where I implemented folding in gimple-fold.c
Patch can bootstrap on ppc64le-redhat-linux and survives regression tests.
Ready to be installed?
Martin
>From d4c1257b092f245a52386e305391d1e46e2ef088 Mon Sep 17 00:00:00 2001
From: marxin
Date: Thu, 6 Oct 2016 17:52:45 +0200
Sub
Resending second iteration of the patch.
Patch can bootstrap on ppc64le-redhat-linux and survives regression tests.
Ready to be installed?
Martin
>From c3df272d22c3a08e19d82c95a95b2fd3e232657c Mon Sep 17 00:00:00 2001
From: marxin
Date: Tue, 16 Aug 2016 15:56:01 +0200
Subject: [PATCH 3/3] Test f
Ping.
On Sat, Oct 01, 2016 at 04:17:22PM +0200, Marek Polacek wrote:
> On Sat, Oct 01, 2016 at 07:17:50AM +0200, Markus Trippelsdorf wrote:
> > On 2016.09.30 at 23:31 +0200, Marek Polacek wrote:
> > > This PR reports a bogus -Wimplicit-fallthrough warning on the attached
> > > test.
> > > The pro
This is the first patch in a series of enabling "DCE" mode in
substitute_and_fold for VRP. It exchanges lattice substitution
and folding (by substitute_and_fold) with the pass specific
folding routine. This is because if we do not substitute before
that the pass specific folding might see SSA na
On Fri, Oct 7, 2016 at 12:00 AM, kugan
wrote:
> Hi,
>
> In vrp intersect_ranges, Richard recently changed it to create integer value
> ranges when it is integer singleton.
>
> Maybe we should do the same when the other range is a complex ranges with
> SSA_NAME (like [x+2, +INF])?
>
> Attached patc
This turns the switch (which also requires propagating into ASSERT_EXPRs,
otherwise those will end up with released SSA names eventually).
A [3/2] would be to let ASSERT_EXPRs be removed by the propagator
which would a) require VRP to fix up its lattice for this task,
b) make match-and-simplify n
On Fri, Oct 07, 2016 at 10:45:18AM +0200, Marek Polacek wrote:
> Ping.
>
> On Sat, Oct 01, 2016 at 04:17:22PM +0200, Marek Polacek wrote:
> > On Sat, Oct 01, 2016 at 07:17:50AM +0200, Markus Trippelsdorf wrote:
> > > On 2016.09.30 at 23:31 +0200, Marek Polacek wrote:
> > > > This PR reports a bogu
On Thu, Oct 6, 2016 at 10:55 PM, kugan
wrote:
> Hi,
>
> Attached patch Register ranges for y in (x COND y) for Early VRP.
>
> Bootstrapped and regression tested on x86_64-linux-gnu with no new
> regressions. Is this OK for trunk?
+ /* Add VR when (OP0 CODE OP1) condition is true. */
+
On Fri, Oct 7, 2016 at 2:53 AM, kugan wrote:
> Hi Richard,
>
> Thanks for the review.
>
>
> On 09/08/16 18:58, Richard Biener wrote:
>>
>> On Tue, Aug 9, 2016 at 12:58 AM, kugan
>> wrote:
>>>
>>> Hi Jakub,
>>>
>>> Thanks for the review.
>>>
>>> On 08/08/16 16:40, Jakub Jelinek wrote:
>>
On 10/05/16 19:49, Jason Merrill wrote:
But DR 1658 says that B::B is *not* deleted (because A is not a
potentially constructed subobject). Implementing that might be
simpler than trying to have a deleted complete and non-deleted base
constructor variant.
Always better to read the actual DR r
On 10/06/2016 09:53 PM, David Malcolm wrote:
A benefit of keeping the INSN_UIDs is that if you've spent half an hour
single-stepping through RTL modification and know that INSN_UID 1045 is
the one that gets corrupted, you can have that insn have UID 1045 in
the testcase. Otherwise the UIDs get d
On Fri, Oct 7, 2016 at 10:39 AM, Martin Liška wrote:
> I'm resending the patch, where I implemented all builtins mentions in subject
> in gimp-fold.c.
>
> Patch can bootstrap on ppc64le-redhat-linux and survives regression tests.
>
> Ready to be installed?
+ case BUILT_IN_STRNCASECMP:
+
On 10/07/2016 09:20 AM, Richard Biener wrote:
Index: gcc/sched-deps.c
===
--- gcc/sched-deps.c(revision 240829)
+++ gcc/sched-deps.c(working copy)
@@ -3992,8 +3992,14 @@ remove_from_deps (struct deps_desc *deps
removed = r
On Fri, Oct 7, 2016 at 10:41 AM, Martin Liška wrote:
> Resending the patch, where I implemented folding in gimple-fold.c
>
> Patch can bootstrap on ppc64le-redhat-linux and survives regression tests.
+/* Fold a call to the str{n}{case}cmp builtin pointed by GSI iterator.
+ FCODE is the name of
On Fri, 7 Oct 2016, Bernd Schmidt wrote:
> On 10/07/2016 09:20 AM, Richard Biener wrote:
> > Index: gcc/sched-deps.c
> > ===
> > --- gcc/sched-deps.c(revision 240829)
> > +++ gcc/sched-deps.c(working copy)
> > @@ -3992
Hi!
Ok, first let me list some needed follow-ups that don't need to be handled
right away:
- r237814-like changes for ASAN_MARK
- optimization to remove ASAN_MARK unpoisoning at the start of the function
- optimization to remove ASAN_MARK poisoning at the end of function (and
remove epilogue unp
On Fri, 7 Oct 2016, Richard Biener wrote:
> I think the main issue is that it is not documented what is safe to do
> (and what are the results) when you modify a bitmap while you are
> iterating over it.
Does the following look ok?
Thanks,
Richard.
2016-10-07 Richard Biener
* bitmap
Hi,
> -static int
> +int
> target_char_cast (tree cst, char *p)
> + if (target_char_cast (arg2, &c))
> + return false;
I believe target_char_cast is incorrect if the host/target chars are not
identical
(depending on how constant strings are created there may be signed/unsigned
mismatch
On 10/07/2016 01:19 PM, Richard Biener wrote:
On Fri, 7 Oct 2016, Richard Biener wrote:
I think the main issue is that it is not documented what is safe to do
(and what are the results) when you modify a bitmap while you are
iterating over it.
Does the following look ok?
Sure.
Bernd
On 10/07/2016 01:07 PM, Richard Biener wrote:
On Fri, 7 Oct 2016, Bernd Schmidt wrote:
Here, if necessary I'd prefer we create a to_clear bitmap and perform an
and_compl operation after the loop.
But that's way more expensive -- you allocate memory and perform an
additional loop over the bitm
On Fri, 7 Oct 2016, Bernd Schmidt wrote:
> On 10/07/2016 01:07 PM, Richard Biener wrote:
> > On Fri, 7 Oct 2016, Bernd Schmidt wrote:
> >
> > > Here, if necessary I'd prefer we create a to_clear bitmap and perform an
> > > and_compl operation after the loop.
> >
> > But that's way more expensive
When encountering a memcmp with something like ULONG_MAX for the size, a
calculation can overflow in by_pieces_ninsns because it uses int rather
than HOST_WIDE_INT.
Bootstrapped & tested on x86_64-linux, committed as obvious.
Bernd
Index: gcc/ChangeLog
===
On Fri, 2016-10-07 at 10:33 +0530, Prathamesh Kulkarni wrote:
> On 22 September 2016 at 23:15, Joseph Myers
> wrote:
> > On Thu, 22 Sep 2016, Prathamesh Kulkarni wrote:
> >
> > > Would that be acceptable ? I am not sure how to make %Z check if
> > > the
> > > argument has type vec *
> > > since v
Hi!
During review of Martin's -fsanitize-use-after-scope patch, I've noticed
what I believe is a bug in #pragma acc declare support.
In particular, the oacc_declare_returns has been added next to the CLOBBER
additions, but the clobbers are guarded with many conditions, e.g. aren't
emitted with -f
On 07/21/2016 08:39 PM, Jeff Law wrote:
On 07/15/2016 07:04 AM, Bernd Schmidt wrote:
c/
PR c++/69733
* c-decl.c (smallest_type_quals_location): New static function.
(grokdeclarator): Try to find the correct location for an ignored
qualifier.
cp/
PR c++/69733
* decl.c (gro
Many POSIX systems have the bad habit of not restarting interrupted
syscalls. On these systems it's up to the user to check for an error
with errno == EINTR and restart manually. This patch does this for
libgfortran, so that GFortran users don't have to do it.
2016-10-07 Janne Blomqvist
On Wed, Oct 05, 2016 at 06:52:55PM +0200, Marek Polacek wrote:
> Ping.
>
> On Thu, Sep 29, 2016 at 06:10:27PM +0200, Marek Polacek wrote:
> > Here, a missing -Wimplicit-fallthrough warning was caused by a misplaced
> > FALLTHROUGH_LABEL_P check. As it is now, for FALLTHROUGH_LABEL_P we'd
> > neve
This implements what was probably intended(?) -- streaming DECL_INITIAL
as a whole (full BLOCK tree plus associated BLOCK_VARs) in
output_function. Currently we only stream the outermost BLOCK
(and its vars) and the rest lazily during statement streaming
when we somehow get a BLOCK reference or a
> Many POSIX systems have the bad habit of not restarting interrupted
> syscalls. On these systems it's up to the user to check for an error
> with errno == EINTR and restart manually. This patch does this for
> libgfortran, so that GFortran users don't have to do it.
I have not much experience wi
On Fri, Oct 7, 2016 at 2:41 PM, FX wrote:
>> Many POSIX systems have the bad habit of not restarting interrupted
>> syscalls. On these systems it's up to the user to check for an error
>> with errno == EINTR and restart manually. This patch does this for
>> libgfortran, so that GFortran users don'
I would like to bump my patch that makes the
`contrib/download_prerequisites` script verify the checksums of
the downloaded packages and augments it with a few additional options.
All feedback I have received has been incorporated. Is it okay like
this?
Below is again the latest iteration of the
On Fri, 7 Oct 2016, Andreas Krebbel wrote:
> wrt (c): float_t appears to be more widely used than I expected. But the
> only hits which might indicate potential ABI problems where in clucene
> and libassa. (I've scanned the header files of about 25k Ubuntu source
> packages).
If it's two out o
ant.
Yeah. We cover this below.
> I think maybe you want a separate compact form of insns and notes
> (cinsn/cnote maybe), with a flag selecting which gets written out in
> the
> dumper. The reader could then read them in like any other rtx code,
> and
> there'd be a pos
On Wed, 2016-10-05 at 18:00 +0200, Bernd Schmidt wrote:
> On 10/05/2016 06:15 PM, David Malcolm wrote:
> > * errors.c: Use consistent pattern for bconfig.h vs config.h
> > includes.
> > (progname): Wrap with #ifdef GENERATOR_FILE.
> > (error): Likewise. Add "error: " to message.
>
uot;, "cnote", how about just "insn" and "note", and having
the compactness be expressed at the top of the dump e.g. implicitly by
the presence of a "(function" directive. Could even have a format
version specifier in the function directive, to give us some
Mentioning some AVR target specific improvements.
Ok?
Index: changes.html
===
RCS file: /cvs/gcc/wwwdocs/htdocs/gcc-7/changes.html,v
retrieving revision 1.15
diff -r1.15 changes.html
261c261,299
<
---
> AVR
>
> On the reduced Ti
Hi all,
I've encountered another wrong-code bug with the store merging pass. This time
it's in RTL.
The test gcc.target/aarch64/aapcs64/test_27.c on aarch64 merges a few __fp16
values at GIMPLE level but
during RTL dse1 one of the constants generated gets wrongly misinterpreted from
HImode to
On 10/07/2016 04:08 PM, Kyrill Tkachov wrote:
* simplify-rtx.c (simplify_immed_subreg): Zero-initialize tmp array
before merging in bytes to pass down to real_from_target.
Ok.
Bernd
On Fri, Oct 7, 2016 at 8:59 AM, Janne Blomqvist
wrote:
> On Fri, Oct 7, 2016 at 2:41 PM, FX wrote:
>>> Many POSIX systems have the bad habit of not restarting interrupted
>>> syscalls. On these systems it's up to the user to check for an error
>>> with errno == EINTR and restart manually. This pa
Hi all,
This patch uses the spellcheck API from David and Jakub [1] to implement hints
for the
march, mcpu and mtune options to suggest appropriate architectures and CPU names
for users. It also adds such hints for the equivalent arch, cpu, tune
attributes.
Architecture extensions like 'crc',
Hi Christophe,
On 07/09/16 21:05, Christophe Lyon wrote:
Hi,
The attached patch is a first part to solve PR 67591: it removes
several occurrences of "IT blocks containing 32-bit Thumb
instructions are deprecated in ARMv8" messages in the
gcc/g++/libstdc++/fortran testsuites.
It does not remove
The patch here, https://gcc.gnu.org/ml/gcc-patches/2014-10/msg01872.html,
attempted to scale down the register limit used by -fsched-pressure for the
case where the block in question executes as frequently as the entry block to
just the call_clobbered (i.e. call_used) regs. But the code is actua
Hi!
This extends -Wint-in-bool-context to uses of enum values in boolean
context, and fixes one place where accidentally an enum value was
passed to a bool parameter.
I excluded enum values 0 and 1 because that is used in
gimple-ssa-strength-reduction.c, where we have enums
which are passed in bo
On Wed, 2016-10-05 at 16:09 +, Joseph Myers wrote:
> On Wed, 5 Oct 2016, David Malcolm wrote:
>
> > @@ -1752,6 +1759,35 @@ c_parser_declaration_or_fndef (c_parser
> > *parser, bool fndef_ok,
> >c_parser_skip_to_end_of_block_or_statement (parser);
> >return;
> > }
> > +
> >
Ping?
Would be great to get this in, it's currently showing up as a major issue on
our nightlies.
Cheers,
Tamar
> -Original Message-
> From: gcc-patches-ow...@gcc.gnu.org [mailto:gcc-patches-
> ow...@gcc.gnu.org] On Behalf Of Tom de Vries
> Sent: 25 September 2016 10:08
> To: GCC Patche
On Fri, Oct 7, 2016 at 5:50 PM, Fritz Reese wrote:
> On Fri, Oct 7, 2016 at 8:59 AM, Janne Blomqvist
> wrote:
>> On Fri, Oct 7, 2016 at 2:41 PM, FX wrote:
Many POSIX systems have the bad habit of not restarting interrupted
syscalls. On these systems it's up to the user to check for an
On Thu, 2016-10-06 at 17:23 +0200, Bernd Schmidt wrote:
> Let me just make a first pass over this for minor/obvious issues.
>
> > +we have little control of the input to that specific pass. We
>
> "control over" maybe?
Fixed.
> > +The testsuite is below @file{gcc/testsuite/rtl.dg}.
>
> Not sure
On Fri, Oct 7, 2016 at 12:09 PM, Janne Blomqvist
wrote:
> On Fri, Oct 7, 2016 at 5:50 PM, Fritz Reese wrote:
>> On Fri, Oct 7, 2016 at 8:59 AM, Janne Blomqvist
>> wrote:
>>> On Fri, Oct 7, 2016 at 2:41 PM, FX wrote:
> Many POSIX systems have the bad habit of not restarting interrupted
>
OK.
On Fri, Oct 7, 2016 at 11:18 AM, Bernd Edlinger
wrote:
> Hi!
>
> This extends -Wint-in-bool-context to uses of enum values in boolean
> context, and fixes one place where accidentally an enum value was
> passed to a bool parameter.
>
> I excluded enum values 0 and 1 because that is used in
>
On Fri, Oct 7, 2016 at 7:08 AM, Kyrill Tkachov
wrote:
> Hi all,
>
> I've encountered another wrong-code bug with the store merging pass. This
> time it's in RTL.
> The test gcc.target/aarch64/aapcs64/test_27.c on aarch64 merges a few __fp16
> values at GIMPLE level but
> during RTL dse1 one of the
On Fri, Oct 7, 2016 at 10:55 AM, Andrew Pinski wrote:
> On Fri, Oct 7, 2016 at 7:08 AM, Kyrill Tkachov
> wrote:
>> Hi all,
>>
>> I've encountered another wrong-code bug with the store merging pass. This
>> time it's in RTL.
>> The test gcc.target/aarch64/aapcs64/test_27.c on aarch64 merges a few
OK.
On Fri, Oct 7, 2016 at 6:31 AM, Nathan Sidwell wrote:
> On 10/05/16 19:49, Jason Merrill wrote:
>
>> But DR 1658 says that B::B is *not* deleted (because A is not a
>> potentially constructed subobject). Implementing that might be
>> simpler than trying to have a deleted complete and non-del
Another new C++17 feature, using Jakub's new builtin.
* doc/xml/manual/status_cxx2017.xml: Update status.
* include/std/type_traits (has_unique_object_representations): Define.
* testsuite/20_util/has_unique_object_representations/value.cc: New.
* testsuite/20_util
We're required to document anything the standard says is
implementation-defined. This adds a few missing things to the C++98
and C++11 docs, and adds the new stuff for C++17.
I'll regenerate the HTML soon, as I'll be making some more doc changes
next week.
* doc/xml/manual/status_cxx1998
> and
> > > there'd be a postprocessing stage to reconstruct the insn chain.
> >
> > By this separate compact form, do you mean the form we've been
> > discussing above, with no INSN_UID/PREV/NEXT, etc? Or something
> > else?
>
> Yes, the form we&#x
Amongst many other changes, r146451 added this cast:
-#define GET_MODE_CLASS(MODE) mode_class[MODE]
+#define GET_MODE_CLASS(MODE) ((enum mode_class) mode_class[MODE])
making a cast in go-lang.c redundant; remove it.
Successfully bootstrapped®rtested on x86_64-pc-linux-gnu.
OK for trunk?
gc
2016-10-07 17:06 GMT+03:00 Georg-Johann Lay :
> Mentioning some AVR target specific improvements.
>
> Ok?
>
Ok.
On Oct 7, 2016, at 5:41 AM, FX wrote:
>
>> Many POSIX systems have the bad habit of not restarting interrupted
>> syscalls. On these systems it's up to the user to check for an error
>> with errno == EINTR and restart manually. This patch does this for
>> libgfortran, so that GFortran users don't
Hi!
The following patch adds __builtin_addressof with the semantics it has in
clang, i.e. it is a constexpr & operator alternative that never uses the
overloaded & operator.
Bootstrapped/regtested on x86_64-linux and i686-linux, ok for trunk?
2016-10-07 Jakub Jelinek
Implement LWG229
On Oct 7, 2016, at 5:59 AM, Janne Blomqvist wrote:
>
> So I suppose in theory you could have a situation where something
> continuously fires signals at the process, and the result is some kind
> of race between the process restarting the syscall which then never
> manages to complete before bein
OK.
On Fri, Oct 7, 2016 at 3:23 PM, Jakub Jelinek wrote:
> Hi!
>
> The following patch adds __builtin_addressof with the semantics it has in
> clang, i.e. it is a constexpr & operator alternative that never uses the
> overloaded & operator.
>
> Bootstrapped/regtested on x86_64-linux and i686-linu
On 10/07/16 08:21, Jakub Jelinek wrote:
Hi!
During review of Martin's -fsanitize-use-after-scope patch, I've noticed
what I believe is a bug in #pragma acc declare support.
In particular, the oacc_declare_returns has been added next to the CLOBBER
additions, but the clobbers are guarded with ma
On Oct 7, 2016, at 7:50 AM, Fritz Reese wrote:
> what if a user wants/expects a system call to be interrupted?
Then it is interrupted.
> With the patch we would always restart the system call even if
No, this is a misunderstanding on your part. The signal is delivered and
delivered first then
On Oct 7, 2016, at 9:42 AM, Jack Howarth wrote:
>
> So using EINTR properly can be really tricky.
I'd not phrase it that way. I'd phrase it as deferral can be tricky and
choosing what action to do in a signal handler can be tricky.
I don't mention deferral nor signal semantics, as these are s
On Thu, Oct 06, 2016 at 05:19:39PM -0500, Segher Boessenkool wrote:
> On Wed, Oct 05, 2016 at 06:18:50PM -0400, Michael Meissner wrote:
> > I have removed the #define of __float128, and instead created a keyword that
> > points to the _Float128 type. I added a little commentary on the use of
> > _
On Fri, Oct 7, 2016 at 7:52 AM, Kyrill Tkachov
wrote:
> Hi all,
>
> This patch uses the spellcheck API from David and Jakub [1] to implement
> hints for the
> march, mcpu and mtune options to suggest appropriate architectures and CPU
> names
> for users. It also adds such hints for the equivalent
Hi,
This patch adds ilp32 multi-arch support. This is needed to support
multi-arch on Debian like systems.
OK? Bootstrapped and tested on aarch64-linux-gnu with no regressions.
Also tested with ilp32 with a newly built toolchain that supports
ILP32 with Ubuntu 1604 base.
Thanks,
Andrew
Chang
On Wed, Nov 18, 2015 at 4:29 AM, Marcus Shawcroft
wrote:
> On 17 November 2015 at 22:10, Andrew Pinski wrote:
>>
>> This moves the #undef from the header files to the .def files like was done
>> for builtins.def (https://gcc.gnu.org/ml/gcc-patches/2015-11/msg00662.html).
>>
>> OK? Bootstrapped
Hi!
As the testcase shows, we weren't copying over FALLTHROUGH_LABEL_P during
instantiations, which means that // FALLTHROUGH comments in templates were
ignored (while [[fallthrough]];, being represented as internal calls,
worked fine).
Fixed thusly, bootstrapped/regtested on x86_64-linux and i68
78 matches
Mail list logo
