Re: [ipa-vrp] ice in set_value_range

2016-11-08 Thread Andrew Pinski
On Tue, Nov 8, 2016 at 2:11 AM, kugan wrote: > Hi, > > On 04/11/16 03:24, Martin Jambor wrote: >> >> Hi, >> >> On Fri, Oct 28, 2016 at 01:58:13PM +1100, kugan wrote: Do I understand it correctly that extract_range_from_unary_expr deals with any

[PATCH] enable -fprintf-return-value by default

2016-11-08 Thread Martin Sebor
The -fprintf-return-value optimization has been disabled since the last time it caused a bootstrap failure on powerpc64le. With the underlying problems fixed GCC has bootstrapped fine on all of powerpc64, powerpc64le and x86_64 and tested with no regressions. I'd like to re-enable the option.

Re: [Patch 6/11] Migrate excess precision logic to use TARGET_EXCESS_PRECISION

2016-11-08 Thread Joseph Myers
On Wed, 2 Nov 2016, James Greenhalgh wrote: > OK, I've reworked the patch along those lines. I noticed that the original > logic looked for > > && TARGET_FLT_EVAL_METHOD != 0 > > And I no longer make that check. Is that something I need to reinstate? No, the replacement logic should

Re: [PATCH] Fix PR78230

2016-11-08 Thread Kito Cheng
This change also verified with gcc 6.1 and 5.4 it can pass with gcc 6.1 and make gcc 5.4 ICE after this change. On Wed, Nov 9, 2016 at 10:43 AM, Kito Cheng wrote: > gcc/testsuite/ChangeLog: > > 2016-11-09 Kito Cheng > > PR target/78230 >

[PATCH] Fix PR78230

2016-11-08 Thread Kito Cheng
gcc/testsuite/ChangeLog: 2016-11-09 Kito Cheng PR target/78230 * gcc.dg/torture/pr66178.c (test): Use uintptr_t instead of int. (test2) Ditto. From 73ff22745720ecfc2a33148f68ff7e0f36c1144b Mon Sep 17 00:00:00 2001 From: Kito Cheng

Re: [Patch 1/11] Add a new target hook for describing excess precision intentions

2016-11-08 Thread Joseph Myers
On Wed, 2 Nov 2016, James Greenhalgh wrote: > 2016-11-02 James Greenhalgh > > * target.def (excess_precision): New hook. > * target.h (flt_eval_method): New. > (excess_precision_type): Likewise. > * targhooks.c (default_excess_precision): New.

Re: [PATCH fix PR71767 2/4 : Darwin configury] Arrange for ld64 to be detected as Darwin's linker

2016-11-08 Thread Iain Sandoe
> On 8 Nov 2016, at 13:39, Mike Stump wrote: > > On Nov 8, 2016, at 1:05 PM, Iain Sandoe wrote: >> >> Simple for the simple case is already part of my patch, but capability for >> the expert and non-simple case is also present, > > I'm trying

[PATCH] enable -Wformat-length for dynamically allocated buffers (pr 78245)

2016-11-08 Thread Martin Sebor
The -Wformat-length checker relies on the compute_builtin_object_size function to determine the size of the buffer it checks for overflow. The function returns either a size computed by the tree-object-size pass for objects referenced by the __builtin_object_size intrinsic (if it's used in the

[Patch, Fortran, committed] PR 66840: [OOP] ICE on declaring class variable with wrong attribute

2016-11-08 Thread Janus Weil
Hi all, I have just committed as obvious a small patch for an ice-on-invalid problem: https://gcc.gnu.org/viewcvs/gcc?view=revision=241979 Cheers, Janus

Re: [PATCH fix PR71767 2/4 : Darwin configury] Arrange for ld64 to be detected as Darwin's linker

2016-11-08 Thread Mike Stump
On Nov 8, 2016, at 1:05 PM, Iain Sandoe wrote: > > Simple for the simple case is already part of my patch, but capability for > the expert and non-simple case is also present, I'm trying to ask a specific question, what does the patch allow that can't be done

Re: [PATCH fix PR71767 2/4 : Darwin configury] Arrange for ld64 to be detected as Darwin's linker

2016-11-08 Thread Iain Sandoe
> On 8 Nov 2016, at 10:27, Mike Stump wrote: > > On Nov 8, 2016, at 8:31 AM, Iain Sandoe wrote: >> >>> On 8 Nov 2016, at 08:18, Mike Stump wrote: >>> >>> On Nov 7, 2016, at 6:33 PM, Iain Sandoe

[PATCH] combine: Do not call simplify from inside change_zero_ext (PR78232)

2016-11-08 Thread Segher Boessenkool
When combine splits a three-insn combination into two instructions it can reuse i2dest for the temporary result of the first new instruction. However all information it has in reg_stat about that register will be stale. This results in the simplify_gen_binary calls in change_zero_ext using

RE: [PATCH,testsuite] MIPS: Upgrade to MIPS IV if using (HAS_MOVN) with MIPS III.

2016-11-08 Thread Moore, Catherine
> -Original Message- > From: Toma Tabacu [mailto:toma.tab...@imgtec.com] > Sent: Monday, November 7, 2016 11:21 AM > gcc/testsuite/ChangeLog: > > 2016-11-07 Toma Tabacu > > * gcc.target/mips/mips.exp (mips-dg-options): Upgrade to MIPS IV if > using >

Re: [PATCH v2] AIX visibility

2016-11-08 Thread Christophe Lyon
Hi David, On 8 November 2016 at 19:00, David Edelsohn wrote: > On Tue, Nov 8, 2016 at 10:23 AM, Christophe Lyon > wrote: >> Hi David, >> >> On 2 November 2016 at 16:41, David Edelsohn wrote: >>> This revised patch makes two

Re: Prevent aliasing between arguments in calls to move_alloc

2016-11-08 Thread Steve Kargl
Yes. I saw Ian's analysis in c.l.f. It seems we both got caught out on this one. The patch looks fine. -- steve On Tue, Nov 08, 2016 at 08:26:37PM +0100, Paul Richard Thomas wrote: > Hi Steve, > > I moved too quickly and caused a regression. See the link in the > testcase. The attached

Re: Prevent aliasing between arguments in calls to move_alloc

2016-11-08 Thread Paul Richard Thomas
Hi Steve, I moved too quickly and caused a regression. See the link in the testcase. The attached fixes the problem and bootstraps/regtests. OK for trunk? Paul On 5 November 2016 at 16:17, Steve Kargl wrote: > On Sat, Nov 05, 2016 at 10:05:30AM +0100, Paul

[PATCH, i386]: Fix PR70799, STV pass does not convert DImode shifts

2016-11-08 Thread Uros Bizjak
Hello! Attached patch converts non-variable DImode shifts to SSE shifts on 32bit targets. Please note that the patch doesn't convert variable shifts. We can't just use Qimode register from integer shifts in its SImode to implement SSE shifts. The bits outside QImode can be non-zero, the

Re: [PATCH] Fix regex_iterator end() state and operator==()

2016-11-08 Thread Jonathan Wakely
On 8 November 2016 at 07:01, Tim Shen wrote: > This fixes libstdc++/78236. I'm surprised that this bug was not > revealed until now :P. > > Bootstrapped and tested under x86_64-linux-gnu. > > I'm happy with however many backports. OK for trunk, let's revisit in a few weeks and consider

Re: [PATCH fix PR71767 2/4 : Darwin configury] Arrange for ld64 to be detected as Darwin's linker

2016-11-08 Thread Mike Stump
On Nov 8, 2016, at 8:31 AM, Iain Sandoe wrote: > >> On 8 Nov 2016, at 08:18, Mike Stump wrote: >> >> On Nov 7, 2016, at 6:33 PM, Iain Sandoe wrote: >>> >>> a) right now, we need to know the target linker version - while

Re: [PATCH] use-after-scope fallout

2016-11-08 Thread David Malcolm
On Tue, 2016-11-08 at 13:00 +0100, Martin Liška wrote: > Hello. > > This is fallout fix where I changed: > > 1) Fix ICE for lambda functions (added test-case: use-after-scope > -4.C) > 2) Fix ICE in gimplify_switch_expr, at gimplify.c:2269 (fixed by not > adding > artificial variables) > 3) PR

Re: [PATCH v2] AIX visibility

2016-11-08 Thread David Edelsohn
On Tue, Nov 8, 2016 at 10:23 AM, Christophe Lyon wrote: > Hi David, > > On 2 November 2016 at 16:41, David Edelsohn wrote: >> This revised patch makes two changes: >> >> 1) Fix typo in configure.ac >> 2) Add AIX visibility support for

Re: [PATCH 0/2] strncmp builtin expansion improvement

2016-11-08 Thread Jeff Law
On 11/05/2016 10:32 PM, Aaron Sawdey wrote: On Fri, 2016-11-04 at 20:43 -0600, Jeff Law wrote: So what's the motivation here? When we don't have any constants then I'd think we'd be better off punting into the library. When none of the args to strncmp are constant, I'd be inclined to agree.

[PATCH] DECL_RTL and DECL_RTL_INCOMING in RTL dumps

2016-11-08 Thread David Malcolm
Whilst working on the RTL frontend, I ran into various crashes relating to missing RTL information for params, for DECL_RTL, and DECL_RTL_INCOMING. These are normally set up for a PARM_DECL by "expand", but are currently NULL when reading dumps from print_rtx_function. Attempting to access

Re: [PATCH fix PR71767 2/4 : Darwin configury] Arrange for ld64 to be detected as Darwin's linker

2016-11-08 Thread Mike Stump
On Nov 7, 2016, at 9:15 PM, Iain Sandoe wrote: > > this is pretty “black belt” stuff - I don’t see most of our users wanting to > dive this deeply … No, not really. It is true that newlib and GNU sim needs a few more lines of code, but that lines are written for linux

Re: [PATCH v2] AIX visibility

2016-11-08 Thread David Edelsohn
On Tue, Nov 8, 2016 at 10:23 AM, Christophe Lyon wrote: > Hi David, > > On 2 November 2016 at 16:41, David Edelsohn wrote: >> This revised patch makes two changes: >> >> 1) Fix typo in configure.ac >> 2) Add AIX visibility support for

Re: [match.pd] Fix for PR35691

2016-11-08 Thread Martin Sebor
Chritstophe reported to me that the commit caused test-cases pr35691-1.c and pr35691-2.c (which were added by the commit) to FAIL for cortex-a5:

Re: [PATCH] S390: Fix PR/77822.

2016-11-08 Thread Matthias Klose
On 08.11.2016 15:38, Dominik Vogt wrote: > The attached patch fixes PR/77822 on s390/s390x dor gcc-6 *only*. > See https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77822 > > Bootstrapped and regression tested on s390 and s390x biarch on a > zEC12. missing the testcase mentioned in the ChangeLog.

Re: [PATCH fix PR71767 2/4 : Darwin configury] Arrange for ld64 to be detected as Darwin's linker

2016-11-08 Thread Iain Sandoe
> On 8 Nov 2016, at 08:18, Mike Stump wrote: > > On Nov 7, 2016, at 6:33 PM, Iain Sandoe wrote: >> >> a) right now, we need to know the target linker version - while it’s not >> impossible to try and conjure up some test to see if a linker we

Re: ineffective dg-skip-if directive in asan/use-after-scope-8.c

2016-11-08 Thread Martin Liška
On 11/08/2016 05:28 PM, Martin Sebor wrote: > Hi Martin, > > I noticed a new failure in the use-after-scope-8.c test on powerpc64le: > > FAIL: gcc.dg/asan/use-after-scope-8.c -O0 (test for excess errors) > > with the error being > > use-after-scope-8.c:9:16: error: invalid register name

ineffective dg-skip-if directive in asan/use-after-scope-8.c

2016-11-08 Thread Martin Sebor
Hi Martin, I noticed a new failure in the use-after-scope-8.c test on powerpc64le: FAIL: gcc.dg/asan/use-after-scope-8.c -O0 (test for excess errors) with the error being use-after-scope-8.c:9:16: error: invalid register name for 'a' It looks to me as though the dg-skip-if directive

Re: [Patch, Fortran, F03] PR77596: procedure pointer component with implicit interface can point to a function

2016-11-08 Thread Janus Weil
2016-11-08 15:51 GMT+01:00 Steve Kargl : > On Tue, Nov 08, 2016 at 11:02:26AM +0100, Janus Weil wrote: >> >> here is a simple patch for the accepts-invalid problem of PR77596. >> Regtests cleanly on x86_64-linux-gnu. Ok for trunk? >> > > Yes. Thanks! Committed

Re: [PATCH fix PR71767 2/4 : Darwin configury] Arrange for ld64 to be detected as Darwin's linker

2016-11-08 Thread Mike Stump
On Nov 7, 2016, at 6:33 PM, Iain Sandoe wrote: > > a) right now, we need to know the target linker version - while it’s not > impossible to try and conjure up some test to see if a linker we can run > supports coalesced sections or not, the configury code and complexity

Re: [RFC] Check number of uses in simplify_cond_using_ranges().

2016-11-08 Thread Marc Glisse
On Tue, 8 Nov 2016, Dominik Vogt wrote: On Fri, Nov 04, 2016 at 01:54:20PM +0100, Richard Biener wrote: On Fri, Nov 4, 2016 at 12:08 PM, Dominik Vogt wrote: On Fri, Nov 04, 2016 at 09:47:26AM +0100, Richard Biener wrote: On Thu, Nov 3, 2016 at 4:03 PM, Dominik Vogt

[gomp-nvptx 1/2] omp-low: add missing call to unshare_expr

2016-11-08 Thread Alexander Monakov
* omp-low.c (lower_lastprivate_clauses): Add missing call to unshare_expr. --- gcc/ChangeLog.gomp-nvptx | 5 + gcc/omp-low.c| 1 + 2 files changed, 6 insertions(+) diff --git a/gcc/omp-low.c b/gcc/omp-low.c index 347730d..da5476b 100644 --- a/gcc/omp-low.c +++

[gomp-nvptx 2/2] libgomp: adjust comments in nvptx team.c

2016-11-08 Thread Alexander Monakov
* config/nvptx/team.c: Adjust comments. --- libgomp/ChangeLog.gomp-nvptx | 4 libgomp/config/nvptx/team.c | 16 +--- 2 files changed, 17 insertions(+), 3 deletions(-) diff --git a/libgomp/config/nvptx/team.c b/libgomp/config/nvptx/team.c index 6c6827a..f7b5e3e 100644

[gomp-nvptx 0/2] Branch merged from trunk and updated

2016-11-08 Thread Alexander Monakov
Hello, I have done a trunk merge on amonakov/gomp-nvptx branch (up to svn rev. 241651) and applied two small patches to address issues pointed out by Jakub. Alexander Monakov (2): omp-low: add missing call to unshare_expr libgomp: adjust comments in nvptx team.c gcc/ChangeLog.gomp-nvptx

Re: [PATCH][2/2] Add store merging unit tests

2016-11-08 Thread Jeff Law
On 11/08/2016 05:03 AM, Kyrill Tkachov wrote: Hi all, This patch adds the plumbing for unit testing of the store merging pass. It also adds some initial tests of some of the helpers used in encode_tree_to_bitpos to manipulate byte arrays. They caught an off-by-one error bug that is fixed in

Re: [PATCH v2] AIX visibility

2016-11-08 Thread Christophe Lyon
Hi David, On 2 November 2016 at 16:41, David Edelsohn wrote: > This revised patch makes two changes: > > 1) Fix typo in configure.ac > 2) Add AIX visibility support for ASM_WEAKEN_DECL, which does touch > the same code as Linux. > > The AIX "weak" support fixes a large number

Re: [RFC] Handle unary pass-through jump functions for ipa-vrp

2016-11-08 Thread Jan Hubicka
> Hi, > > > On 04/11/16 04:36, Martin Jambor wrote: > >Hi, > > > >On Fri, Oct 28, 2016 at 02:03:47PM +1100, kugan wrote: > >> > >>...snip... > >> > >>I have also separated the constant parameter conversion out and posted as > >>https://gcc.gnu.org/ml/gcc-patches/2016-10/msg02309.html. This is

Re: [ipa-vrp] ice in set_value_range

2016-11-08 Thread Jan Hubicka
> Hi, > > On 04/11/16 03:24, Martin Jambor wrote: > >Hi, > > > >On Fri, Oct 28, 2016 at 01:58:13PM +1100, kugan wrote: > >>>Do I understand it correctly that extract_range_from_unary_expr deals > >>>with any potential type conversions better (compared to what you did > >>>before here)? > >> >

Re: [Patch, Fortran, F03] PR77596: procedure pointer component with implicit interface can point to a function

2016-11-08 Thread Steve Kargl
On Tue, Nov 08, 2016 at 11:02:26AM +0100, Janus Weil wrote: > > here is a simple patch for the accepts-invalid problem of PR77596. > Regtests cleanly on x86_64-linux-gnu. Ok for trunk? > Yes. (and welcome back to the wonderful world of bugzilla). -- Steve

[PATCH] S390: Fix PR/77822.

2016-11-08 Thread Dominik Vogt
The attached patch fixes PR/77822 on s390/s390x dor gcc-6 *only*. See https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77822 Bootstrapped and regression tested on s390 and s390x biarch on a zEC12. For gcc-7, there will be a different patch. Ciao Dominik ^_^ ^_^ -- Dominik Vogt IBM Germany

[arm-embedded][committed] Add support for -mpure-code option

2016-11-08 Thread Andre Vieira (lists)
Hi, Backported the support for the ARM -mpure-code option, including the follow-up fixes to the embedded-6-branch. Tested for arm-none-eabi. Committed in revision r241970. Cheers, Andre gcc/ChangeLog.arm: 2016-11-08 Andre Vieira Backport from mainline

Re: [RFC] Check number of uses in simplify_cond_using_ranges().

2016-11-08 Thread Dominik Vogt
On Fri, Nov 04, 2016 at 01:54:20PM +0100, Richard Biener wrote: > On Fri, Nov 4, 2016 at 12:08 PM, Dominik Vogt wrote: > > On Fri, Nov 04, 2016 at 09:47:26AM +0100, Richard Biener wrote: > >> On Thu, Nov 3, 2016 at 4:03 PM, Dominik Vogt > >>

[PING, PATCH] DWARF: make signedness explicit for enumerator const values

2016-11-08 Thread Pierre-Marie de Rodat
Hello, Ping for the patch submitted there: . Thank you in advance! -- Pierre-Marie de Rodat

[PATCH] debug/PR78112: remove recent duplicates for DW_TAG_subprogram attributes

2016-11-08 Thread Pierre-Marie de Rodat
Hello, This patch comes from the discussion for PR debug/78112 (https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78112). It seems to fix the regression Rainer detected on x86_64-apple-darwin, although I still wonder why remaining duplicate attributes (which were already present before my original

Re: [PATCH, vec-tails] Support loop epilogue vectorization

2016-11-08 Thread Yuri Rumyantsev
Richard, Here is updated 3 patch. I checked that all new tests related to epilogue vectorization passed with it. Your comments will be appreciated. 2016-11-08 15:38 GMT+03:00 Richard Biener : > On Thu, 3 Nov 2016, Yuri Rumyantsev wrote: > >> Hi Richard, >> >> I did not

Re: [PATCH][ARM] Fix ldrd offsets

2016-11-08 Thread Ramana Radhakrishnan
On Thu, Nov 3, 2016 at 12:20 PM, Wilco Dijkstra wrote: > Fix ldrd offsets of Thumb-2 - for TARGET_LDRD the range is +-1020, > without -255..4091. This reduces the number of addressing instructions > when using DI mode operations (such as in PR77308). > > Bootstrap &

Re: [PATCH, GCC/ARM, ping] Fix PR77904: callee-saved register trashed when clobbering sp

2016-11-08 Thread Thomas Preudhomme
Ping? Best regards, Thomas On 03/11/16 16:52, Thomas Preudhomme wrote: Hi, When using a callee-saved register to save the frame pointer the Thumb-1 prologue fails to save the callee-saved register before that. For ARM and Thumb-2 targets the frame pointer is handled as a special case but

Re: [PATCH, GCC/ARM 2/2, ping2] Allow combination of aprofile and rmprofile multilibs

2016-11-08 Thread Thomas Preudhomme
Ping? Best regards, Thomas On 02/11/16 10:05, Thomas Preudhomme wrote: Ping? Best regards, Thomas On 24/10/16 09:07, Thomas Preudhomme wrote: Ping? Best regards, Thomas On 13/10/16 16:35, Thomas Preudhomme wrote: Hi ARM maintainers, This patchset aims at adding multilib support for R

Re: [PATCH, GCC/ARM 1/2, ping2] Add multilib support for embedded bare-metal targets

2016-11-08 Thread Thomas Preudhomme
Ping? Best regards, Thomas On 02/11/16 10:05, Thomas Preudhomme wrote: Ping? Best regards, Thomas On 27/10/16 15:26, Thomas Preudhomme wrote: Hi Kyrill, On 27/10/16 10:45, Kyrill Tkachov wrote: Hi Thomas, On 24/10/16 09:06, Thomas Preudhomme wrote: Ping? Best regards, Thomas On

Re: [PATCH, GCC/ARM, ping] Optional -mthumb for Thumb only targets

2016-11-08 Thread Thomas Preudhomme
Ping? Best regards, Thomas On 25/10/16 18:07, Thomas Preudhomme wrote: Hi, Currently when a user compiles for a thumb-only target (such as Cortex-M processors) without specifying the -mthumb option GCC throws the error "target CPU does not support ARM mode". This is suboptimal from a

Re: [PATCH, ARM/testsuite 6/7, ping2] Force soft float in ARMv6-M and ARMv8-M Baseline options

2016-11-08 Thread Thomas Preudhomme
Ping, Best regards, Thomas On 02/11/16 10:04, Thomas Preudhomme wrote: Ping? Best regards, Thomas On 28/10/16 10:49, Thomas Preudhomme wrote: On 22/09/16 16:47, Richard Earnshaw (lists) wrote: On 22/09/16 15:51, Thomas Preudhomme wrote: Sorry, noticed an error in the patch. It was not

Re: [Ping][PATCH, ARM] PR71607: New approach to arm_disable_literal_pool

2016-11-08 Thread Andre Vieira (lists)
On 21/10/16 09:55, Andre Vieira (lists) wrote: > On 06/10/16 14:57, Andre Vieira (lists) wrote: >> Hello, >> >> This patch tackles the issue reported in PR71607. This patch takes a >> different approach for disabling the creation of literal pools. Instead >> of disabling the patterns that would

Re: [PATCH TEST]XFAIL gcc.dg/vect/pr56541.c for !vect_cond_mixed target for now

2016-11-08 Thread Richard Biener
On Tue, Nov 8, 2016 at 1:40 PM, Bin Cheng wrote: > Hi, > GCC should be able to vectorize gcc.dg/vect/pr56541.c on targets do not > support vect_cond_mixed. Problem is jump threading factors comparison out of > cond_expr and creates mixed-type cond_expr. As a result, it can

Re: [PATCH TEST]Drop xfail for gcc.dg/tree-ssa/pr71347.c

2016-11-08 Thread Richard Biener
On Tue, Nov 8, 2016 at 1:39 PM, Bin Cheng wrote: > Hi, > With tree pre improvement @239414, test gcc.dg/tree-ssa/pr71347.c no longer > xfails. Given the change is target independent, I am dropping xfail of the > test for all targets. Ok. Richard. > Thanks, > bin > >

Re: [PATCH TEST]Drop xfail for gcc.dg/vect/vect-cond-2.c

2016-11-08 Thread Richard Biener
On Tue, Nov 8, 2016 at 1:37 PM, Bin Cheng wrote: > Hi, > Test gcc.dg/vect/vect-cond-2.c can be vectorized by GCC now, this patch drops > the xfail. Ok. Richard. > bin > > gcc/testsuite/ChangeLog > 2016-11-04 Bin Cheng > > *

Re: [PATCH 2/2, expand] make expand_builtin_strncmp more general

2016-11-08 Thread Aaron Sawdey
Richard,   Thanks for the review ... comments below. On Tue, 2016-11-08 at 13:36 +0100, Richard Biener wrote: > On Tue, Nov 1, 2016 at 11:29 PM, Aaron Sawdey > wrote: > > > > This patch adds code to expand_builtin_strncmp so it also attempts > > expansion via

Re: [ssa-coalesce] Rename register_ssa_partition

2016-11-08 Thread Richard Biener
On Tue, Nov 8, 2016 at 3:32 AM, kugan wrote: > Hi, > > In tree-ssa-coalesce, register_ssa_partition ) and > register_ssa_partition_check have lost their meaning over various commits > and now just verifies that ssa_var is indeed a SSA_NAME and not a >

[PATCH TEST]XFAIL gcc.dg/vect/pr56541.c for !vect_cond_mixed target for now

2016-11-08 Thread Bin Cheng
Hi, GCC should be able to vectorize gcc.dg/vect/pr56541.c on targets do not support vect_cond_mixed. Problem is jump threading factors comparison out of cond_expr and creates mixed-type cond_expr. As a result, it can only be vectorized with vect_cond_mixed. We don't have a good solution at

[PATCH TEST]Drop xfail for gcc.dg/tree-ssa/pr71347.c

2016-11-08 Thread Bin Cheng
Hi, With tree pre improvement @239414, test gcc.dg/tree-ssa/pr71347.c no longer xfails. Given the change is target independent, I am dropping xfail of the test for all targets. Thanks, bin gcc/testsuite/ChangeLog 2016-11-04 Bin Cheng * gcc.dg/tree-ssa/pr71347.c:

Re: [PATCH, vec-tails] Support loop epilogue vectorization

2016-11-08 Thread Richard Biener
On Thu, 3 Nov 2016, Yuri Rumyantsev wrote: > Hi Richard, > > I did not understand your last remark: > > > That is, here (and avoid the FOR_EACH_LOOP change): > > > > @@ -580,12 +586,21 @@ vectorize_loops (void) > > && dump_enabled_p ()) > > dump_printf_loc

[PATCH TEST]Drop xfail for gcc.dg/vect/vect-cond-2.c

2016-11-08 Thread Bin Cheng
Hi, Test gcc.dg/vect/vect-cond-2.c can be vectorized by GCC now, this patch drops the xfail. Thanks, bin gcc/testsuite/ChangeLog 2016-11-04 Bin Cheng * gcc.dg/vect/vect-cond-2.c: Drop xfail.diff --git a/gcc/testsuite/gcc.dg/vect/vect-cond-2.c

Re: [PATCH 2/2, expand] make expand_builtin_strncmp more general

2016-11-08 Thread Richard Biener
On Tue, Nov 1, 2016 at 11:29 PM, Aaron Sawdey wrote: > This patch adds code to expand_builtin_strncmp so it also attempts > expansion via cmpstrnsi in the case where c_strlen() returns NULL for > both string arguments, meaning that neither one is a constant. @@

Re: [PATCH][1/2] Fix off-by-one error in clear_bit_region in store merging (PR tree-optimization/78234 ?)

2016-11-08 Thread Richard Biener
On Tue, Nov 8, 2016 at 1:03 PM, Kyrill Tkachov wrote: > Hi all, > > There is an off-by-one error in the clear_bit_region helper in store merging > in the case where it deals with > multi-byte quantities starting at a non-zero bit offset. The particular > input is >

Re: [PATCHv2 4/7, GCC, ARM, V8M] ARMv8-M Security Extension's cmse_nonsecure_entry: clear registers

2016-11-08 Thread Kyrill Tkachov
On 28/10/16 17:07, Andre Vieira (lists) wrote: On 27/10/16 11:44, Kyrill Tkachov wrote: On 27/10/16 11:00, Andre Vieira (lists) wrote: On 26/10/16 17:30, Kyrill Tkachov wrote: On 26/10/16 17:26, Andre Vieira (lists) wrote: On 26/10/16 13:51, Kyrill Tkachov wrote: Hi Andre, On 25/10/16

Re: [PATCH] use-after-scope fallout

2016-11-08 Thread Jakub Jelinek
On Tue, Nov 08, 2016 at 01:00:19PM +0100, Martin Liška wrote: > This is fallout fix where I changed: > > 1) Fix ICE for lambda functions (added test-case: use-after-scope-4.C) > 2) Fix ICE in gimplify_switch_expr, at gimplify.c:2269 (fixed by not adding > artificial variables) > 3) PR

[PATCH][2/2] Add store merging unit tests

2016-11-08 Thread Kyrill Tkachov
Hi all, This patch adds the plumbing for unit testing of the store merging pass. It also adds some initial tests of some of the helpers used in encode_tree_to_bitpos to manipulate byte arrays. They caught an off-by-one error bug that is fixed in patch [1/2]. Bootstrapped and tested on x86_64

[PATCH][1/2] Fix off-by-one error in clear_bit_region in store merging (PR tree-optimization/78234 ?)

2016-11-08 Thread Kyrill Tkachov
Hi all, There is an off-by-one error in the clear_bit_region helper in store merging in the case where it deals with multi-byte quantities starting at a non-zero bit offset. The particular input is {0xff, 0xff, 0xff} and we want to clear all bits except the least and most significant i.e. we

[arm-embedded][committed] Treat a --with-headers option without argument same as default

2016-11-08 Thread Andre Vieira (lists)
Hi, I backported this https://gcc.gnu.org/ml/gcc-patches/2016-05/msg02196.html to the embedded-6-branch. Tested on arm-none-eabi. Committed in revision r241960. Cheers, Andre gcc/ChangeLog.arm: 2016-11-08 Andre Vieira Backport from mainline

[PATCH] use-after-scope fallout

2016-11-08 Thread Martin Liška
Hello. This is fallout fix where I changed: 1) Fix ICE for lambda functions (added test-case: use-after-scope-4.C) 2) Fix ICE in gimplify_switch_expr, at gimplify.c:2269 (fixed by not adding artificial variables) 3) PR testsuite/78242 - I basically removed the test (not interesting) 4) LEAF and

RE: [AArch64][ARM][GCC][PATCHv2 3/3] Add tests for missing Poly64_t intrinsics to GCC

2016-11-08 Thread Tamar Christina
Hi Christophe, Thanks for the review! > > A while ago I added p64_p128.c, to contain all the poly64/128 tests except for > vreinterpret. > Why do you need to create p64.c ? I originally created it because I had a much smaller set of intrinsics that I wanted to add initially, this grew and It

Re: [Patch 1/4] [libgcc, ARM] Generalise float-to-half conversion function.

2016-11-08 Thread James Greenhalgh
On Mon, Oct 24, 2016 at 02:44:37PM +0100, James Greenhalgh wrote: > > Hi, > > I'm adapting this patch from work started by Matthew Wahab. > > Conversions from double precision floats to the ARM __fp16 are required > to round only once. A conversion function for double to __fp16 to > support

Re: [AArch64][GCC][PATCHv2 1/3] Add missing Poly64_t intrinsics to GCC

2016-11-08 Thread Christophe Lyon
On 8 November 2016 at 12:29, James Greenhalgh wrote: > On Tue, Nov 08, 2016 at 12:20:57PM +0100, Christophe Lyon wrote: >> On 07/11/2016 14:55, Tamar Christina wrote: >> >Hi all, >> > >> >This patch (1 of 3) adds the following NEON intrinsics >> >to the Aarch64 back-end

Re: [AArch64][GCC][PATCHv2 1/3] Add missing Poly64_t intrinsics to GCC

2016-11-08 Thread James Greenhalgh
On Tue, Nov 08, 2016 at 12:20:57PM +0100, Christophe Lyon wrote: > On 07/11/2016 14:55, Tamar Christina wrote: > >Hi all, > > > >This patch (1 of 3) adds the following NEON intrinsics > >to the Aarch64 back-end of GCC: > > > >* vsli_n_p64 > >* vsliq_n_p64 > I notice that vsrl_n_p64 and vsriq_n_p64

Re: [PATCH][ARM][1/2] Use generic_extra_costs in all remaining tuning structs

2016-11-08 Thread Richard Earnshaw (lists)
On 01/11/16 17:12, Kyrill Tkachov wrote: > Hi all, > > This is the first of two patches to do away with the transitional > -mold-rtx-costs option and finalise > the transition to the table-based RTX costs approach. > > This first patch switches the remaining tuning structs to use >

Re: [PATCH][ARM][2/2] Remove old rtx costs

2016-11-08 Thread Richard Earnshaw (lists)
On 01/11/16 17:12, Kyrill Tkachov wrote: > Hi all, > > This is the big removal patch that removes the old costs functions, the > function pointer > field in tune_params, and the transitional options -mold-rtx-costs and > -mnew-generic-costs. > The diff stats come in at: > 3 files changed, 61

Re: [AArch64][ARM][GCC][PATCHv2 3/3] Add tests for missing Poly64_t intrinsics to GCC

2016-11-08 Thread Christophe Lyon
On 7 November 2016 at 14:55, Tamar Christina wrote: > Hi all, > > This patch (3 of 3) adds updates tests for the NEON intrinsics > added by the previous patches: > > Ran regression tests on aarch64-none-linux-gnu > and on arm-none-linux-gnueabihf. > > Ok for trunk? > >

Re: [AArch64][GCC][PATCHv2 1/3] Add missing Poly64_t intrinsics to GCC

2016-11-08 Thread Christophe Lyon
On 07/11/2016 14:55, Tamar Christina wrote: Hi all, This patch (1 of 3) adds the following NEON intrinsics to the Aarch64 back-end of GCC: * vsli_n_p64 * vsliq_n_p64 I notice that vsrl_n_p64 and vsriq_n_p64 exist on aarch32. Is this an omission in this patch for aarch64? * vld1_p64 *

Re: [match.pd] Fix for PR35691

2016-11-08 Thread Kyrill Tkachov
On 08/11/16 11:16, Richard Biener wrote: On Tue, 8 Nov 2016, Prathamesh Kulkarni wrote: On 8 November 2016 at 13:23, Richard Biener wrote: On Mon, 7 Nov 2016, Prathamesh Kulkarni wrote: On 7 November 2016 at 23:06, Prathamesh Kulkarni

Re: [match.pd] Fix for PR35691

2016-11-08 Thread Richard Biener
On Tue, 8 Nov 2016, Prathamesh Kulkarni wrote: > On 8 November 2016 at 13:23, Richard Biener wrote: > > On Mon, 7 Nov 2016, Prathamesh Kulkarni wrote: > > > >> On 7 November 2016 at 23:06, Prathamesh Kulkarni > >> wrote: > >> > On 7 November

Re: [match.pd] Fix for PR35691

2016-11-08 Thread Prathamesh Kulkarni
On 8 November 2016 at 13:23, Richard Biener wrote: > On Mon, 7 Nov 2016, Prathamesh Kulkarni wrote: > >> On 7 November 2016 at 23:06, Prathamesh Kulkarni >> wrote: >> > On 7 November 2016 at 15:43, Richard Biener wrote: >> >>

Re: [PATCH][AArch64] Optimized implementation of search_line_fast for the CPP lexer

2016-11-08 Thread Richard Earnshaw (lists)
On 08/11/16 09:46, James Greenhalgh wrote: > On Mon, Nov 07, 2016 at 01:39:53PM +, Richard Earnshaw (lists) wrote: >> This patch contains an implementation of search_line_fast for the CPP >> lexer. It's based in part on the AArch32 (ARM) code but incorporates >> new instructions available in

Re: [PATCH] Avoid peeling for gaps if accesses are aligned

2016-11-08 Thread Richard Biener
On Mon, 7 Nov 2016, Richard Biener wrote: > > Currently we force peeling for gaps whenever element overrun can occur > but for aligned accesses we know that the loads won't trap and thus > we can avoid this. > > Bootstrap and regtest running on x86_64-unknown-linux-gnu (I expect > some

Re: [ARM][GCC][PATCHv2 2/3] Add missing Poly64_t intrinsics to GCC

2016-11-08 Thread Kyrill Tkachov
On 07/11/16 13:55, Tamar Christina wrote: Hi all, This patch (2 of 3) adds the following NEON intrinsics to the ARM back-end of GCC: * vget_lane_p64 Added new tests for these and ran regression tests on aarch64-none-linux-gnu and on arm-none-linux-gnueabihf. Ok for trunk? Ok. Thanks,

Re: [AArch64][GCC][PATCHv2 1/3] Add missing Poly64_t intrinsics to GCC

2016-11-08 Thread James Greenhalgh
On Mon, Nov 07, 2016 at 01:55:15PM +, Tamar Christina wrote: > Hi all, > > Added new tests for these and ran regression tests on aarch64-none-linux-gnu > and on arm-none-linux-gnueabihf. > > Ok for trunk? OK. Thanks, James > gcc/ > 2016-11-04 Tamar Christina >

Re: [RFC] Handle unary pass-through jump functions for ipa-vrp

2016-11-08 Thread kugan
Hi, On 04/11/16 04:36, Martin Jambor wrote: Hi, On Fri, Oct 28, 2016 at 02:03:47PM +1100, kugan wrote: ...snip... I have also separated the constant parameter conversion out and posted as https://gcc.gnu.org/ml/gcc-patches/2016-10/msg02309.html. This is now handling just unary pass-through

Re: [ipa-vrp] ice in set_value_range

2016-11-08 Thread kugan
Hi, On 04/11/16 03:24, Martin Jambor wrote: Hi, On Fri, Oct 28, 2016 at 01:58:13PM +1100, kugan wrote: Do I understand it correctly that extract_range_from_unary_expr deals with any potential type conversions better (compared to what you did before here)? Yes, this can be wrong at times too

[Patch, Fortran, F03] PR77596: procedure pointer component with implicit interface can point to a function

2016-11-08 Thread Janus Weil
Hi all, here is a simple patch for the accepts-invalid problem of PR77596. Regtests cleanly on x86_64-linux-gnu. Ok for trunk? Cheers, Janus 2016-11-08 Janus Weil PR fortran/77596 * expr.c (gfc_check_pointer_assign): Add special check for procedure- pointer

Re: [PATCH] [AArch64] Fix PR71727

2016-11-08 Thread Hurugalawadi, Naveen
Hi Kyrill, Thanks for the review and suggestions. >> It's a good idea to CC the AArch64 maintainers and reviewers >> on aarch64 patches, or at least Thanks for CCing the maintainers. Added [AArch64] in the subject line. >> New functions need a function comment describing their arguments and

Re: [PATCH][AArch64] Optimized implementation of search_line_fast for the CPP lexer

2016-11-08 Thread James Greenhalgh
On Mon, Nov 07, 2016 at 01:39:53PM +, Richard Earnshaw (lists) wrote: > This patch contains an implementation of search_line_fast for the CPP > lexer. It's based in part on the AArch32 (ARM) code but incorporates > new instructions available in AArch64 (reduction add operations) plus > some

Re: [ARM][GCC][PATCHv2 2/3] Add missing Poly64_t intrinsics to GCC

2016-11-08 Thread Christophe Lyon
On 7 November 2016 at 14:55, Tamar Christina wrote: > Hi all, > > This patch (2 of 3) adds the following NEON intrinsics to > the ARM back-end of GCC: > > * vget_lane_p64 > > Added new tests for these and ran regression tests on aarch64-none-linux-gnu > and on

Re: Fix build of jit (was Re: [PATCH, RFC] Introduce -fsanitize=use-after-scope (v3))

2016-11-08 Thread Jakub Jelinek
On Tue, Nov 08, 2016 at 10:38:23AM +0100, Martin Liška wrote: > > I believe the 0 here is a bug, I'd think we should be using something like > > ATTR_TMPURE_NOTHROW_LEAF_LIST that we are using __asan_load* - the functions > > aren't going to throw, nor call anything in the current TU. Not 100%

Re: [Patch AArch64] aarch64-c.o should depend on TARGET_H

2016-11-08 Thread Richard Earnshaw (lists)
On 01/11/16 13:58, James Greenhalgh wrote: > > Hi, > > I've noticed that aarch64-c.o doesn't get rebuilt after a change to > the target hooks. That leaves it out of sync with the rest of the compiler > in incremental builds, which in turn causes this code to write to the wrong > memory location:

Re: Fix build of jit (was Re: [PATCH, RFC] Introduce -fsanitize=use-after-scope (v3))

2016-11-08 Thread Martin Liška
On 11/07/2016 05:17 PM, Jakub Jelinek wrote: > On Mon, Nov 07, 2016 at 11:07:13AM -0500, David Malcolm wrote: >> The patch (r241896) introduced an error in the build of the jit: >> >> ../../src/gcc/jit/jit-builtins.c:62:1: error: invalid conversion from >> ‘int’ to ‘gcc::jit::built_in_attribute’

Re: Question about lambda function variables

2016-11-08 Thread Martin Liška
On 11/08/2016 10:12 AM, Jakub Jelinek wrote: > On Tue, Nov 08, 2016 at 09:58:13AM +0100, Martin Liška wrote: >> Problematic is lambda function (use-after-scope-ice-1.ii.004t.gimple): >> C::AsyncCloseConnectionWithErrorMsg(const A&):: (const struct >> __lambda0 * const __closure) >> { >>

RE: [PATCH][GCC/TESTSUITE] Make test for traditional-cpp depend on

2016-11-08 Thread Tamar Christina
> Can you remove the comment: Newlib uses ## when including stdlib.h as of > 2007-09-07. while you are at it? I think it doesn't make any sense post the > change unless one reads history. > No problem, Thanks > > 2016-10-31 Tamar Christina > > > > PR

Re: [patch, avr] Add flash size to device info and make wrap around default

2016-11-08 Thread Georg-Johann Lay
On 08.11.2016 08:08, Pitchumani Sivanupandi wrote: I have updated patch to include the flash size as well. Took that info from device headers (it was fed into crt's device information note section also). The new option would render -mn-flash superfluous, but we should keep it for backward

Re: [PATCH][ARM][2/2] Remove old rtx costs

2016-11-08 Thread Kyrill Tkachov
Ping. https://gcc.gnu.org/ml/gcc-patches/2016-11/msg00064.html Thanks, Kyrill On 01/11/16 17:12, Kyrill Tkachov wrote: Hi all, This is the big removal patch that removes the old costs functions, the function pointer field in tune_params, and the transitional options -mold-rtx-costs and

Re: [PATCH][ARM][1/2] Use generic_extra_costs in all remaining tuning structs

2016-11-08 Thread Kyrill Tkachov
Ping. https://gcc.gnu.org/ml/gcc-patches/2016-11/msg00063.html Thanks, Kyrill On 01/11/16 17:12, Kyrill Tkachov wrote: Hi all, This is the first of two patches to do away with the transitional -mold-rtx-costs option and finalise the transition to the table-based RTX costs approach. This

  1   2   >