Re: Enabling -frename-registers?

2016-04-27 Thread Eric Botcazou
> @@ -8562,7 +8563,8 @@ debug information format adopted by the > make debugging impossible, since variables no longer stay in > a ``home register''. > > -Enabled by default with @option{-funroll-loops} and @option{-fpeel-loops}. > +Enabled by default with @option{-funroll-loops} and @option{-

Re: [RFC] introduce --param max-lto-partition for having an upper bound on partition size

2016-04-27 Thread Richard Biener
On Wed, 27 Apr 2016, Prathamesh Kulkarni wrote: > On 26 April 2016 at 16:31, Richard Biener wrote: > > On Mon, 25 Apr 2016, Prathamesh Kulkarni wrote: > > > >> On 6 April 2016 at 14:54, Richard Biener wrote: > >> > On Wed, 6 Apr 2016, Richard Biener wrote: > >> > > >> >> On Wed, 6 Apr 2016, Prat

Re: [PING 7, PATCH] PR/68089: C++-11: Ingore "alignas(0)".

2016-04-27 Thread Dominik Vogt
On Mon, Jan 04, 2016 at 12:33:21PM +0100, Dominik Vogt wrote: > On Fri, Jan 01, 2016 at 05:53:08PM -0700, Martin Sebor wrote: > > On 12/31/2015 04:50 AM, Dominik Vogt wrote: > > >The attached patch fixes C++-11 handling of "alignas(0)" which > > >should be ignored but currently generates an error m

Re: Please include ada-hurd.diff upstream (try2)

2016-04-27 Thread Eric Botcazou
> Attaching the modified ada-hurd.diff. Maybe it is ready for inclusion in > upstream now? Upstream already contains the first set of changes though. Here's what I have installed on mainline and 6 branch (not sure it will be in the 6.1 release). 2016-04-27 Svante Signell * gcc-inte

Re: [PATCH] Fix up inchash::add_expr to match more closely operand_equal_p (PR sanitizer/70683, take 2)

2016-04-27 Thread Richard Biener
On Wed, 27 Apr 2016, Jakub Jelinek wrote: > On Tue, Apr 26, 2016 at 03:02:38PM +0200, Jakub Jelinek wrote: > > I've been using the attached hack; without this patch during x86_64-linux > > and i686-linux yes,extra,rtl checking bootstraps there were 66931 > > notes (surprisingly only from the ivopt

[PATCH] Clean up tests where a later dg-do completely overrides another.

2016-04-27 Thread Dominik Vogt
The attached patch cleans up some (mostly unnecessary) dg-do directives in the gcc.dg and gcc.target test cases. Ciao Dominik ^_^ ^_^ -- Dominik Vogt IBM Germany gcc/testsuite/ChangeLog * gcc/testsuite/gcc.dg/cpp/mac-dir-2.c: Remove pointless duplicate dg-do. * gcc/te

Fix PR ada/70759

2016-04-27 Thread Eric Botcazou
As discussed on gcc@, this removes the internal_reference_types machinery, which is used only by the Ada compiler for a reason probably long obsolete. Tested on x86_64-suse-linux, applied on the mainline. 2016-04-27 Eric Botcazou PR ada/70759 * stor-layout.h (internal_refere

[PATCH] S/390: Improve documentation of s390_reload_costs.

2016-04-27 Thread Dominik Vogt
The attached patch improves some S/390 function documentation. Ciao Dominik ^_^ ^_^ -- Dominik Vogt IBM Germany gcc/ChangeLog * config/s390/s390.c (s390_rtx_costs): Update documentation. >From ba5a56e03402a75bb0cc807eb27c57d93ce736e1 Mon Sep 17 00:00:00 2001 From: Dominik Vogt Date:

S/390: Add patterns for rsbg instructions.

2016-04-27 Thread Dominik Vogt
The attached patch adds some patterns using the r*sbg instructions to the s390 machine description. Bootstrapped and regression tested on s390 and s390x. Ciao Dominik ^_^ ^_^ -- Dominik Vogt IBM Germany gcc/ChangeLog * config/s390/s390.md ("*rsbg__sll") ("*rsbg__srl"): New d

[PATCH] S/390: Add splitter for "and" with complement.

2016-04-27 Thread Dominik Vogt
The attached patch provides some improved patterns for "and with complement" to the s390 machine description. Bootstrapped and regression tested on s390 and s390x. Ciao Dominik ^_^ ^_^ -- Dominik Vogt IBM Germany gcc/ChangeLog * config/s390/s390.h (REG_OR_SUBREG_P): New helper macro

[PING, PATCH] Remove xfail from thread_local-order2.C.

2016-04-27 Thread Dominik Vogt
> g++.dg/tls/thread_local-order2.C no longer fail with Glibc-2.18 or > newer since this commit: > > 2014-08-01 Zifei Tong > > * libsupc++/atexit_thread.cc (HAVE___CXA_THREAD_ATEXIT_IMPL): Add > _GLIBCXX_ prefix to macro. > > git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@21350

[PATCH] DWARF: turn dw_loc_descr_node field into hash map for frame offset check

2016-04-27 Thread Pierre-Marie de Rodat
Hello, As discussed on , this change removes a field in the dw_loc_descr_node structure so we can get rid of the CHECKING_P macro usage. This field was used to perform consistency checks for frame offset in DWARF procedures. As a replaceme

Re: Please include ada-hurd.diff upstream (try2)

2016-04-27 Thread Svante Signell
On Wed, 2016-04-27 at 09:41 +0200, Eric Botcazou wrote: > > > > Attaching the modified ada-hurd.diff. Maybe it is ready for inclusion in > > upstream now? > Upstream already contains the first set of changes though.  Here's what I > have  > installed on mainline and 6 branch (not sure it will be i

[PATCH] Take known zero bits into account when checking extraction.

2016-04-27 Thread Dominik Vogt
The attached patch is a result of discussing an S/390 issue with "and with complement" in some cases. https://gcc.gnu.org/ml/gcc/2016-03/msg00163.html https://gcc.gnu.org/ml/gcc-patches/2016-04/msg01586.html Combine would merge a ZERO_EXTEND and a SET taking the known zero bits into account,

[PATCH] Fix type field walking in gimplifier unsharing

2016-04-27 Thread Richard Biener
Gimplification is done in-place and thus relies on all processed trees being unshared. This is achieved by unshare_body which in the end uses walk_tree to get at all interesting trees that possibly need unsharing. Unfortunately it doesn't really work because walk_tree only walks types and type-r

Re: [PATCH] Clean up tests where a later dg-do completely overrides another.

2016-04-27 Thread Bernd Schmidt
On 04/27/2016 09:50 AM, Dominik Vogt wrote: The attached patch cleans up some (mostly unnecessary) dg-do directives in the gcc.dg and gcc.target test cases. Ok except... * gcc.dg/spec-options.c: Switch order of the two "dg-do run" so that the test ist actually "run" on sh*-*-*

Re: [PATCH] S/390: Add splitter for "and" with complement.

2016-04-27 Thread Dominik Vogt
On Wed, Apr 27, 2016 at 08:58:44AM +0100, Dominik Vogt wrote: > The attached patch provides some improved patterns for "and with > complement" to the s390 machine description. Bootstrapped and > regression tested on s390 and s390x. (This patch needs some careful proof reading. I've made so many

Re: Fix some i386 testcases for -frename-registers

2016-04-27 Thread Bernd Schmidt
On 04/27/2016 02:10 AM, H.J. Lu wrote: On Tue, Apr 26, 2016 at 3:11 PM, Bernd Schmidt wrote: On 04/26/2016 09:39 PM, H.J. Lu wrote: make check-gcc RUNTESTFLAGS="--target_board='unix{-mx32}' i386.exp=avx512vl-vmovdqa64-1.c" Unfortunately, that doesn't work: /usr/include/gnu/stubs.h:13:28:

Re: [PATCH] Fix type field walking in gimplifier unsharing

2016-04-27 Thread Eric Botcazou
> Gimplification is done in-place and thus relies on all processed > trees being unshared. This is achieved by unshare_body which > in the end uses walk_tree to get at all interesting trees that possibly > need unsharing. > > Unfortunately it doesn't really work because walk_tree only walks > typ

Cilk Plus testsuite needs massive cleanup (PR testsuite/70595)

2016-04-27 Thread Rainer Orth
While working on the libcilkrts SPARC port from PR target/68945, I noticed that the Cilk Plus testsuite has massive need for and potential of cleanup to easily accomodate non-x86 targets: * Every single execution test explicitly lists the targets to run on, often even twice (in the dg-do target

Re: C, C++: New warning for memset without multiply by elt size

2016-04-27 Thread Bernd Schmidt
On 04/26/2016 11:23 PM, Martin Sebor wrote: The documentation for the new option implies that it should warn for calls to memset where the third argument contains the number of elements not multiplied by the element size. But in my (quick) testing it only warns when the argument is a constant eq

Re: Enabling -frename-registers?

2016-04-27 Thread Bernd Schmidt
On 04/27/2016 09:11 AM, Eric Botcazou wrote: @@ -8562,7 +8563,8 @@ debug information format adopted by the make debugging impossible, since variables no longer stay in a ``home register''. -Enabled by default with @option{-funroll-loops} and @option{-fpeel-loops}. +Enabled by default with

Re: [PATCH] PR target/70155: Use SSE for TImode load/store

2016-04-27 Thread Ilya Enkovich
2016-04-26 22:50 GMT+03:00 H.J. Lu : > On Tue, Apr 26, 2016 at 11:42 AM, H.J. Lu wrote: >> On Tue, Apr 26, 2016 at 9:33 AM, H.J. Lu wrote: >>> On Tue, Apr 26, 2016 at 9:27 AM, Ilya Enkovich >>> wrote: 2016-04-26 19:20 GMT+03:00 Ilya Enkovich : > 2016-04-26 19:12 GMT+03:00 H.J. Lu : >>>

[PATCH] Fix PR70785

2016-04-27 Thread Richard Biener
The following fixes LTO bootstrap with IPA PTA enabled (the only useful IPA PTA test we have). The issue was that the cgraph node with the body may not have used_from_other_partition set but only one of its aliases (genrecog was miscompiled and the function was a constructor and one of its aliase

Re: [PATCH][AArch64] Improve aarch64_case_values_threshold setting

2016-04-27 Thread Kyrill Tkachov
Hi Wilco, On 25/04/16 20:21, Wilco Dijkstra wrote: Evandro Menezes wrote: I assume that you mean that such improvements are true for -mcpu=generic, yes? On which target, A53 or A57 or other? It's true for any CPU setting. The SPEC results are for Cortex-A57 however I wrote a microbenchmark th

Re: [PATCH] Fix type field walking in gimplifier unsharing

2016-04-27 Thread Richard Biener
On Wed, 27 Apr 2016, Eric Botcazou wrote: > > Gimplification is done in-place and thus relies on all processed > > trees being unshared. This is achieved by unshare_body which > > in the end uses walk_tree to get at all interesting trees that possibly > > need unsharing. > > > > Unfortunately it

Re: [PATCH][AArch64][wwwdocs] Summarise some more AArch64 changes for GCC6

2016-04-27 Thread Kyrill Tkachov
On 25/04/16 02:43, Sandra Loosemore wrote: On 04/22/2016 03:57 AM, James Greenhalgh wrote: On Thu, Apr 21, 2016 at 09:15:17AM +0100, Kyrill Tkachov wrote: Hi all, Here's a proposed summary of the changes in the AArch64 backend for GCC 6. If there's anything I've missed it's purely my oversigh

Re: Enabling -frename-registers?

2016-04-27 Thread Eric Botcazou
> Index: invoke.texi > === > --- invoke.texi (revision 235475) > +++ invoke.texi (working copy) > @@ -8574,7 +8574,7 @@ make debugging impossible, since variabl > a ``home register''. > > Enabled by default with @optio

[Ada] Small cleanup in gigi

2016-04-27 Thread Eric Botcazou
Tested on x86_64-suse-linux, applied on the mainline. 2016-04-27 Eric Botcazou * gcc-interface/gigi.h (gnat_to_gnu_entity): Adjust prototype. (maybe_pad_type): Adjust comment. (finish_record_type): Likewise. (rest_of_record_type_compilation): Likewise.

[Ada] Expression functions need not trigger loading of package body

2016-04-27 Thread Arnaud Charlet
The expression functions introduced in Ada 2012 implicitly come with the Inline aspect in GNAT. And, for inter-unit inlining, they were handled by the inlining machinery as any other inlined subprograms, which means that they were causing the package body (if any) to be loaded and analyzed. That'

[Ada] Reimplementation of interfacing aspects

2016-04-27 Thread Arnaud Charlet
This patch reimplements the handling of Convention, Export, External_Name, Import, and Link_Name to generate a proper corresponding pragma depends on which of these aspects are present. As a result, an exported or imported subprogram with preconditions and/or postconditions will not cause a crash

Increase default value of lto-min-partition to 10000

2016-04-27 Thread Prathamesh Kulkarni
Hi, As discussed in other thread, this patch increases default value for lto-min-partition to 1. OK to commit if bootstrap+testing passes ? Thanks, Prathamesh Index: gcc/params.def === --- gcc/params.def (revision 235478) +++

[PATCH] Fix PR70760

2016-04-27 Thread Richard Biener
The following patch fixes an issue in IPA PTA regarding to handling of DECL_BY_REFERENCE function results at the caller side. The issue for the testcase in the PR is that we use the wrong function decl to look for DECL_RESULT for calls that are an alias (which get DECL_RESULT released). But the

Re: Increase default value of lto-min-partition to 10000

2016-04-27 Thread Richard Biener
On Wed, 27 Apr 2016, Prathamesh Kulkarni wrote: > Hi, > As discussed in other thread, this patch increases default value for > lto-min-partition > to 1. OK to commit if bootstrap+testing passes ? Ok. Thanks, Richard.

Re: [PATCH] DWARF: turn dw_loc_descr_node field into hash map for frame offset check

2016-04-27 Thread Richard Biener
On Wed, Apr 27, 2016 at 10:03 AM, Pierre-Marie de Rodat wrote: > Hello, > > As discussed on > , this change > removes a field in the dw_loc_descr_node structure so we can get rid of > the CHECKING_P macro usage. > > This field was used to p

Re: IRA costs tweaks, PR 56069

2016-04-27 Thread Bernd Schmidt
On 04/27/2016 06:02 AM, Jeff Law wrote: AFAICT the sra-1.c expects to see the incremented value and I'm at a loss to understand what's really going on here. Can you give more details? Yeah, maybe my first impression wasn't very accurate. When I try to run gdb manually, it just crashes: (gdb)

Re: Move "X +- C1 CMP C2 to X CMP C2 -+ C1" to match.pd

2016-04-27 Thread Richard Biener
On Tue, Apr 26, 2016 at 10:28 PM, Marc Glisse wrote: > On Tue, 26 Apr 2016, Richard Biener wrote: > >> On Sun, Apr 24, 2016 at 7:14 PM, Marc Glisse wrote: >>> >>> Hello, >>> >>> trying to move a first pattern from fold_comparison. >>> >>> I first tried without single_use. It brought the number of

[patch] libstdc++/70767 Define std::numeric_limits in C++98 mode

2016-04-27 Thread Jonathan Wakely
This makes the resolution to DR 559 apply for all dialects. Tested x86_64-linux, committed to trunk. commit 078fcaeb799445a24b8fe5872c5553a061e9b697 Author: Jonathan Wakely Date: Wed Apr 27 12:05:37 2016 +0100 libstdc++/70767 Define std::numeric_limits in C++98 mode PR libstdc

Re: Move "X +- C1 CMP C2 to X CMP C2 -+ C1" to match.pd

2016-04-27 Thread Richard Biener
On Wed, Apr 27, 2016 at 7:34 AM, Marc Glisse wrote: > Here is the current patch (passed regtest), after moving defer/undefer from > forwprop to fold_stmt_1. I am not sure if checking no_warning at the end of > fold_stmt_1 is safe, or if I should save its value at the beginning of the > function, i

Re: [PATCH] PR target/70155: Use SSE for TImode load/store

2016-04-27 Thread Uros Bizjak
On Tue, Apr 26, 2016 at 9:50 PM, H.J. Lu wrote: >> Here is the updated patch which does that. Ok for trunk if there >> is no regressions on x86-64? >> > > CSE works with SSE constants now. Here is the updated patch. > OK for trunk if there are no regressions on x86-64? +static bool +timode_sca

Re: match.pd: unsigned A - B > A --> A < B

2016-04-27 Thread Richard Biener
On Tue, Apr 26, 2016 at 5:56 PM, Marc Glisse wrote: > On Tue, 26 Apr 2016, Richard Biener wrote: > >> On Sun, Apr 24, 2016 at 7:42 PM, Marc Glisse wrote: >>> >>> Hello, >>> >>> the first part is something that was discussed last stage3, and Jakub >>> argued >>> in favor of single_use. The second

Re: [PATCH] Verify that context of local DECLs is the current function

2016-04-27 Thread Martin Jambor
Hi, On Tue, Apr 26, 2016 at 10:58:22AM +0200, Richard Biener wrote: > On Mon, Apr 25, 2016 at 3:22 PM, Martin Jambor wrote: > > Hi, > > > > the patch below moves an assert from expand_expr_real_1 to gimple > > verification. It triggers when we do a sloppy job outlining stuff > > from one functio

[Ada] Remove superfluous use of secondary stack on object initialization

2016-04-27 Thread Arnaud Charlet
This patch improves on the performance of an object initialization with a build-in-place function call, when the return type is not a definite type but has only access discriminants and no controlled components. THe following must execute quietly: gcc -c -gnatDG p.adb grep secondary_stack p

[Ada] Spurious End_Error with Get_Line on strings without line terminators

2016-04-27 Thread Arnaud Charlet
This patch fixes a spurious End_Error raised by Text_IO.Get_Line, when the input line has 499 or 500 characters and does not contain a line terminator. No short example available. Tested on x86_64-pc-linux-gnu, committed on trunk 2016-04-27 Ed Schonberg * a-textio.adb (Get_Line funct

[Ada] Spurious dimensionality errors on multitidimensional aggregates.

2016-04-27 Thread Arnaud Charlet
This patch removes spurious dimensionality errors on aggregates for multi- dimensional arrays of scalar types with dimension specifications. Compiling dimbug.ads below must yield: dimbug.ads:8:33: dimensions mismatch in array aggregate dimbug.ads:8:33: expected dimension [L], found [M] ---

[Ada] Missing error on illegal use of volatile object

2016-04-27 Thread Arnaud Charlet
This patch updates the resolution of actual parameters to flags all effectively volatile objects with enabled property Async_Writers or Effective_Reads which appear in the actual as illegal because the context is interfering. -- Source -- -- volatiles.ads package Volat

Re: [PATCH] Verify that context of local DECLs is the current function

2016-04-27 Thread Richard Biener
On Wed, Apr 27, 2016 at 2:23 PM, Martin Jambor wrote: > Hi, > > On Tue, Apr 26, 2016 at 10:58:22AM +0200, Richard Biener wrote: >> On Mon, Apr 25, 2016 at 3:22 PM, Martin Jambor wrote: >> > Hi, >> > >> > the patch below moves an assert from expand_expr_real_1 to gimple >> > verification. It trig

Re: [PATCH] operand_equal_p checking (PR sanitizer/70683)

2016-04-27 Thread Richard Biener
On Wed, 27 Apr 2016, Jakub Jelinek wrote: > On Tue, Apr 26, 2016 at 03:02:38PM +0200, Jakub Jelinek wrote: > > The debugging hack is too ugly and slows down the compiler (by artificially > > increasing number of collisions), so it is not appropriate, but perhaps we > > can add some internal only u

[Ada] Missing error on classwide precondition on a generic subprogram

2016-04-27 Thread Arnaud Charlet
A generic subprogram is never a primitive operation, and thus a classwide condition for it is not legal. This patch diagnoses such an illegal class- wide condition properly. Example in ACATS test B611003 Tested on x86_64-pc-linux-gnu, committed on trunk 2016-04-27 Ed Schonberg * sem_

[Ada] Fix runtime build failure on vxworks 653 2.5

2016-04-27 Thread Arnaud Charlet
The current conditional compilation directives for vxworks lead to a call with a single argument on some versions, and to a call with two arguments on others. We currently end up in the single argument case for all versions of vxworks 653. This was fine for e.g. 2.2. This isn't fine any more with

[Ada] Crash on illegal use of limited view of type

2016-04-27 Thread Arnaud Charlet
This patch fixes a compiler abort on an illegal program that attempts to make use of the non-limited view of a type in the private part of a unit that has a limited_private with_clause on the unit that declared the type. Compiling unit_test05.adb must yield: unit_test05.ads:46:23: invalid use

[Ada] Incomplete xref information in ALI file

2016-04-27 Thread Arnaud Charlet
This patch fixes the handling of an object declaration whose type definition is a class-wide subtype and whose expression is a function call that returns a classwide type. Previous to this patch the type of the object in the ALI file appeared as the corresponding base type. Executing the following

Re: [PATCH] PR target/70155: Use SSE for TImode load/store

2016-04-27 Thread H.J. Lu
On Wed, Apr 27, 2016 at 5:03 AM, Uros Bizjak wrote: > On Tue, Apr 26, 2016 at 9:50 PM, H.J. Lu wrote: > >>> Here is the updated patch which does that. Ok for trunk if there >>> is no regressions on x86-64? >>> >> >> CSE works with SSE constants now. Here is the updated patch. >> OK for trunk if

Re: [PATCH] PR target/70750: [6/7 Regression] Load and call no longer combined for indirect calls on x86

2016-04-27 Thread H.J. Lu
On Thu, Apr 21, 2016 at 11:29 AM, Uros Bizjak wrote: > On Thu, Apr 21, 2016 at 7:46 PM, H.J. Lu wrote: >> r231923 has >> >> ;; Test for a valid operand for a call instruction. >> ;; Allow constant call address operands in Pmode only. >> (define_special_predicate "call_insn_operand" >>(ior

[Ada] wrong interface type conversion of in-out parameter

2016-04-27 Thread Arnaud Charlet
The compiler silently skips generating the code to perform a type conversion when the all the following conditions occur: 1) the target type of the type conversion is an access to a class-wide interface type; 2) the type conversion is performed when passing an in-out access type actual to a subprog

[Ada] General handling of potential renamings in SPARK

2016-04-27 Thread Arnaud Charlet
This patch implements a mechanism for handling of renamings in SPARK. Since SPARK cannot handle this form of aliasing, a reference to a renamed object is replaced by a reference to the object itself. -- Source -- -- regpat.ads package Regpat is type Program_Data is

[Ada] Detect singular matrices in Solve primitives for vectors and matrices.

2016-04-27 Thread Arnaud Charlet
This patch detects cases when the determinant of a system of equations is exactly Zero, and raises the proper exception, as mandated by RN G.3.2 (68/2) and G.3.2 (89/2). Executing the following: gnatmake -q debug_solve.adb debug_solve must yield: System is: 1.0E+00 x_1 + 0.0E+00

[Ada] Spurious error on variable in private child package body

2016-04-27 Thread Arnaud Charlet
This patch modifies the contract freezing mechanism to suppress freezing when the trigger is the body of an instantiated package. This effectively prevents a spurious attempt to freeze because a) the body instantiation pass does not have all semantic information and b) freezing has already taken pl

Re: [PATCH] PR target/70750: [6/7 Regression] Load and call no longer combined for indirect calls on x86

2016-04-27 Thread Jakub Jelinek
On Wed, Apr 27, 2016 at 05:54:42AM -0700, H.J. Lu wrote: > On Thu, Apr 21, 2016 at 11:29 AM, Uros Bizjak wrote: > > On Thu, Apr 21, 2016 at 7:46 PM, H.J. Lu wrote: > >> r231923 has > >> > >> ;; Test for a valid operand for a call instruction. > >> ;; Allow constant call address operands in Pmod

[Ada] Informational messages that are not warnings

2016-04-27 Thread Arnaud Charlet
Previously, an informational message that was not a warning was treated as an error. This patch changes that, so such an informational message is not an error. There are no such messages in the compiler, so no test is available. This patch is mainly for use by SPARK, which wants to have information

[PATCH] Reduce nesting of parentheses in conditionals generated by genattrtab

2016-04-27 Thread Patrick Palka
On Fri, Mar 4, 2016 at 12:56 PM, Jakub Jelinek wrote: > On Fri, Mar 04, 2016 at 06:49:58PM +0100, Bernd Schmidt wrote: >> On 03/04/2016 06:27 PM, Bernd Schmidt wrote: >> >On 03/04/2016 06:14 PM, Patrick Palka wrote: >> > >> >>I just quickly tested building the generated insn-attrtab.c with and >>

[Ada] Legality check of classwide Pre/Postcondition aspect

2016-04-27 Thread Arnaud Charlet
This patch verifies that classwide Pre/Postconditions cannot be applied to an operation of an untagged synchronized type, given that these are not primitive operations of a tagged type. Tested in ACATS b611007. Tested on x86_64-pc-linux-gnu, committed on trunk 2016-04-27 Ed Schonberg

Re: [PATCH] Reduce nesting of parentheses in conditionals generated by genattrtab

2016-04-27 Thread Jakub Jelinek
On Wed, Apr 27, 2016 at 09:23:47AM -0400, Patrick Palka wrote: > Here's an updated patch that mentions that & and | are also affected. And I > can't see how this change would possibly affect the attr caching stuff since > it > just makes > > (a) OP ((b) OP (c)) > > get emitted as > > (a) O

Re: [PATCH] PR target/70155: Use SSE for TImode load/store

2016-04-27 Thread Uros Bizjak
On Wed, Apr 27, 2016 at 2:51 PM, H.J. Lu wrote: > On Wed, Apr 27, 2016 at 5:03 AM, Uros Bizjak wrote: >> On Tue, Apr 26, 2016 at 9:50 PM, H.J. Lu wrote: >> Here is the updated patch which does that. Ok for trunk if there is no regressions on x86-64? >>> >>> CSE works with SSE con

Re: [PATCH, ARM] Fix gcc.c-torture/execute/loop-2b.c execution failure on cortex-m0

2016-04-27 Thread Thomas Preudhomme
On Thursday 03 March 2016 18:10:38 Thomas Preudhomme wrote: > On Thursday 03 March 2016 15:32:27 Thomas Preudhomme wrote: > > On Thursday 03 March 2016 09:44:31 Ramana Radhakrishnan wrote: > > > On Thu, Mar 3, 2016 at 9:40 AM, Thomas Preudhomme > > > > > > wrote: > > > > On Friday 15 January 2016

Re: [RFC][PATCH][PR40921] Convert x + (-y * z * z) into x - y * z * z

2016-04-27 Thread Richard Biener
On Sat, Apr 23, 2016 at 3:10 PM, kugan wrote: > >>> I am not sure I understand this. I tried doing this. If I add -1 and >>> rhs1 >>> for the NEGATE_EXPR to ops list, when it come to rewrite_expr_tree >>> constant >>> will be sorted early and would make it hard to generate: >>> x + (-y * z * z

Re: [PATCH] PR target/70155: Use SSE for TImode load/store

2016-04-27 Thread H.J. Lu
On Wed, Apr 27, 2016 at 6:28 AM, Uros Bizjak wrote: > On Wed, Apr 27, 2016 at 2:51 PM, H.J. Lu wrote: >> On Wed, Apr 27, 2016 at 5:03 AM, Uros Bizjak wrote: >>> On Tue, Apr 26, 2016 at 9:50 PM, H.J. Lu wrote: >>> > Here is the updated patch which does that. Ok for trunk if there > is n

New template for 'cpplib' made available

2016-04-27 Thread Translation Project Robot
Hello, gentle maintainer. This is a message from the Translation Project robot. (If you have any questions, send them to .) A new POT file for textual domain 'cpplib' has been made available to the language teams for translation. It is archived as: http://translationproject.org/POT-files/c

Re: [RFC][PATCH][PR63586] Convert x+x+x+x into 4*x

2016-04-27 Thread Richard Biener
On Sun, Apr 24, 2016 at 12:02 AM, kugan wrote: > Hi Richard, > > As you have said in the other email, I tried implementing with the > add_reapeats_to_ops_vec but the whole repeat vector is designed for > MULT_EXPR chain. I tried changing it but it turned out to be not > straightforward without lot

New template for 'gcc' made available

2016-04-27 Thread Translation Project Robot
Hello, gentle maintainer. This is a message from the Translation Project robot. (If you have any questions, send them to .) A new POT file for textual domain 'gcc' has been made available to the language teams for translation. It is archived as: http://translationproject.org/POT-files/gcc-

Re: [PATCH] Fixup nb_iterations_upper_bound adjustment for vectorized loops

2016-04-27 Thread Richard Biener
On Tue, Apr 26, 2016 at 2:29 PM, Ilya Enkovich wrote: > 2016-04-22 10:13 GMT+03:00 Richard Biener : >> On Thu, Apr 21, 2016 at 6:09 PM, Ilya Enkovich >> wrote: >>> Hi, >>> >>> Currently when loop is vectorized we adjust its nb_iterations_upper_bound >>> by dividing it by VF. This is incorrect s

Re: [Patch AArch64] Set TARGET_OMIT_STRUCT_RETURN_REG to true.

2016-04-27 Thread James Greenhalgh
On Tue, Apr 26, 2016 at 02:22:58PM +0100, Ramana Radhakrishnan wrote: > As $SUBJECT. The reason this caught my eye on aarch64 is because > the return value register (x0) is not identical to the register in which > the hidden parameter for AArch64 is set (x8). Thus setting this to true > seems to be

[PATCH][AArch64] Define WORD_REGISTER_OPERATIONS to zero and comment why

2016-04-27 Thread Kyrill Tkachov
Hi all, WORD_REGISTER_OPERATIONS is currently cryptically commented out in aarch64.h. In reality, we cannot define it to 1 for aarch64 because operations narrower than word_mode (DImode for aarch64) don't behave like word_mode if they use the W-form of the registers. They'll be performed in SIm

[PATCH][AArch64] Simplify ashl3 expander for SHORT modes

2016-04-27 Thread Kyrill Tkachov
Hi all, The ashl3 expander for QI and HI modes is needlessly obfuscated. The 2nd operand predicate accepts nonmemory_operand but the expand code FAILs if it's not a CONST_INT. We can just demand a const_int_operand in the predicate and remove the extra CONST_INT check. Looking at git blame, it s

[PATCH][AArch64] Delete obsolete CC_ZESWP and CC_SESWP CC modes

2016-04-27 Thread Kyrill Tkachov
Hi all, The CC_ZESWP and CC_SESWP are not used anywhere and seem to be a remmant of some old code that was removed. The various compare+extend patterns in aarch64.md don't use these modes. So it should be safe to remove them to avoid future confusion. Bootstrapped and tested on aarch64. Ok for

Re: [RFC] Update gmp/mpfr/mpc minimum versions

2016-04-27 Thread Bernd Edlinger
On 26.04.2016 21:28, Marc Glisse wrote: > On Tue, 26 Apr 2016, Bernd Edlinger wrote: > >> For instance PR libstdc++/69881: gmp.h did this: >> >> #define __need_size_t /* tell gcc stddef.h we only want size_t */ >> #include /* for size_t */ >> >> I've persuaded Jonathan to work around that in

Contents of PO file 'cpplib-6.1.0.uk.po'

2016-04-27 Thread Translation Project Robot
cpplib-6.1.0.uk.po.gz Description: Binary data The Translation Project robot, in the name of your translation coordinator.

New Ukrainian PO file for 'cpplib' (version 6.1.0)

2016-04-27 Thread Translation Project Robot
Hello, gentle maintainer. This is a message from the Translation Project robot. A revised PO file for textual domain 'cpplib' has been submitted by the Ukrainian team of translators. The file is available at: http://translationproject.org/latest/cpplib/uk.po (This file, 'cpplib-6.1.0.uk.po

[PATCH][ARM] Fix costing of sign-extending load in rtx costs

2016-04-27 Thread Kyrill Tkachov
Hi all, Another costs issue that came out of the investigation for PR 65932 is that sign-extending loads get a higher cost than they should in the arm backend. The problem is that when handling a sign-extend of a MEM we add the cost of the load_sign_extend cost field and then recursively add the

Re: [AArch64] Emit division using the Newton series

2016-04-27 Thread James Greenhalgh
> diff --git a/gcc/config/aarch64/aarch64.c b/gcc/config/aarch64/aarch64.c > index b7086dd..21af809 100644 > --- a/gcc/config/aarch64/aarch64.c > +++ b/gcc/config/aarch64/aarch64.c > @@ -414,7 +414,8 @@ static const struct tune_params generic_tunings = >0, /* max_case_values. */ >0, /* cac

Re: [arm-embedded][PATCH, GCC/ARM, 2/3] Error out for incompatible ARM multilibs

2016-04-27 Thread Thomas Preudhomme
Ping? Best regards, Thomas On Thursday 17 December 2015 17:32:48 Thomas Preud'homme wrote: > Hi, > > We decided to apply the following patch to the ARM embedded 5 branch. > > Best regards, > > Thomas > > > -Original Message- > > From: gcc-patches-ow...@gcc.gnu.org [mailto:gcc-patches

Re: [AArch64] Emit square root using the Newton series

2016-04-27 Thread James Greenhalgh
On Tue, Apr 12, 2016 at 01:14:51PM -0500, Evandro Menezes wrote: > On 04/05/16 17:30, Evandro Menezes wrote: > >On 04/05/16 13:37, Wilco Dijkstra wrote: > >>I can't get any of these to work... Not only do I get a large > >>number of collisions and duplicated > >>code between these patches, when I t

Re: [PING^3] Re: [PATCH 1/4] Add gcc-auto-profile script

2016-04-27 Thread Andi Kleen
Andi Kleen writes: Ping^3 for the patch series! > Andi Kleen writes: > > Ping^2 for the patch series! > >> Andi Kleen writes: >> >> Ping for the patch series! >> >>> From: Andi Kleen >>> >>> Using autofdo is currently something difficult. It requires using the >>> model specific branches take

Re: C, C++: New warning for memset without multiply by elt size

2016-04-27 Thread Jeff Law
On 04/27/2016 03:55 AM, Bernd Schmidt wrote: On 04/26/2016 11:23 PM, Martin Sebor wrote: The documentation for the new option implies that it should warn for calls to memset where the third argument contains the number of elements not multiplied by the element size. But in my (quick) testing it

Re: [PATCH][AArch64] Improve aarch64_modes_tieable_p

2016-04-27 Thread James Greenhalgh
On Fri, Apr 22, 2016 at 01:22:51PM +, Wilco Dijkstra wrote: > Improve modes_tieable by returning true in more cases: allow scalar access > within vectors without requiring an extra move. Removing these moves helps > the register allocator in deciding whether to use integer or FP registers on >

Re: [PATCH, ARM] Fix gcc.c-torture/execute/loop-2b.c execution failure on cortex-m0

2016-04-27 Thread Ramana Radhakrishnan
> > Ping? Note that the patch has been on GCC 6 for more than 3 months now without > any issue reported against it. OK. Ramana > > Best regards, > > Thomas

Re: [PATCH][RFC] Gimplify "into SSA"

2016-04-27 Thread Jeff Law
On 04/21/2016 06:55 AM, Richard Biener wrote: The following patch makes us not allocate decls but SSA names for temporaries required during gimplification. This is basically the same thing as we do when calling the gimplifier on GENERIC expressions from optimization passes (when we are already

Re: [PATCH][AArch64] Fix shift attributes

2016-04-27 Thread James Greenhalgh
On Fri, Apr 22, 2016 at 02:11:52PM +, Wilco Dijkstra wrote: > This patch fixes the attributes of integer immediate shifts which were > incorrectly modelled as register controlled shifts. Also change EXTR > attribute to being a rotate. > > OK for trunk? OK. Thanks for the fix. Thanks, James

Re: [PATCH GCC]Refactor IVOPT.

2016-04-27 Thread Bin.Cheng
On Fri, Apr 22, 2016 at 8:20 AM, Richard Biener wrote: > On Thu, Apr 21, 2016 at 7:26 PM, Bin Cheng wrote: >> Hi, >> This patch refactors IVOPT in three major aspects: >> Firstly it rewrites iv_use groups. Use group is originally introduced only >> for address type uses, this patch makes it gen

Re: moxie-rtems patch for libgcc/config.host

2016-04-27 Thread Jeff Law
On 04/18/2016 03:43 PM, Joel Sherrill wrote: Hi For some unknown reason, moxie-rtems has its own stanza in libgcc/config.host which does not include extra_parts. This results in C++ RTEMS applications not linking. Also the tmake_file variable is overridden by the shared moxie stanza rather than

Re: [PATCH] DWARF: turn dw_loc_descr_node field into hash map for frame offset check

2016-04-27 Thread Pierre-Marie de Rodat
On 04/27/2016 01:31 PM, Richard Biener wrote: Ok. Thanks, Richard. Thank you for the very quick feedback! I just commited the change. -- Pierre-Marie de Rodat

Re: [PATCH][AArch64] print_operand should not fallthrough from register operand into generic operand

2016-04-27 Thread James Greenhalgh
On Fri, Apr 22, 2016 at 02:24:49PM +, Wilco Dijkstra wrote: > Some patterns are using '%w2' for immediate operands, which means that a zero > immediate is actually emitted as 'wzr' or 'xzr'. This not only changes an > immediate operand into a register operand but may emit illegal instructions >

Re: Fix some i386 testcases for -frename-registers

2016-04-27 Thread H.J. Lu
On Wed, Apr 27, 2016 at 2:09 AM, Bernd Schmidt wrote: > On 04/27/2016 02:10 AM, H.J. Lu wrote: >> >> On Tue, Apr 26, 2016 at 3:11 PM, Bernd Schmidt >> wrote: >>> >>> On 04/26/2016 09:39 PM, H.J. Lu wrote: make check-gcc RUNTESTFLAGS="--target_board='unix{-mx32}' i386.exp=avx51

Re: [AArch64] Emit division using the Newton series

2016-04-27 Thread Wilco Dijkstra
James Greenhalgh wrote: > So this is off for all cores currently supported by GCC? > > I'm not sure I understand why we should take this if it will immediately > be dead code? I presume it was meant to have the vector variants enabled with -mcpu=exynos-m1 as that is where you can get a good gain

[PATCH] add -fprolog-pad=N option to c-family

2016-04-27 Thread Torsten Duwe
Hi Maxim, thanks for starting the work on this; I have added the missing command line option. It builds now and the resulting compiler generates a linux kernel with the desired properties, so work can continue there. Torsten diff --git a/gcc/c-family/c-common.c b/gcc/c-family/c-common.c

Contents of PO file 'cpplib-6.1.0.pt_BR.po'

2016-04-27 Thread Translation Project Robot
cpplib-6.1.0.pt_BR.po.gz Description: Binary data The Translation Project robot, in the name of your translation coordinator.

New Brazilian Portuguese PO file for 'cpplib' (version 6.1.0)

2016-04-27 Thread Translation Project Robot
Hello, gentle maintainer. This is a message from the Translation Project robot. A revised PO file for textual domain 'cpplib' has been submitted by the Brazilian Portuguese team of translators. The file is available at: http://translationproject.org/latest/cpplib/pt_BR.po (This file, 'cppl

Re: [PATCH 3/4] Run profile feedback tests with autofdo

2016-04-27 Thread Bernd Schmidt
On 03/28/2016 06:44 AM, Andi Kleen wrote: From: Andi Kleen Extend the existing bprob and tree-prof tests to also run with autofdo. The test runtimes are really a bit too short for autofdo, but it's a reasonable sanity check. This only works natively for now. dejagnu doesn't seem to support a

Re: Fix some i386 testcases for -frename-registers

2016-04-27 Thread Bernd Schmidt
On 04/27/2016 05:16 PM, H.J. Lu wrote: This works for -m32, -mx32 and -m64. OK for trunk? Yes, thanks. Bernd

Re: [RFC] Update gmp/mpfr/mpc minimum versions

2016-04-27 Thread Bernd Edlinger
On 26.04.2016 22:14, Joseph Myers wrote: > On Tue, 26 Apr 2016, Bernd Edlinger wrote: > >> Hi, >> >> as we all know, it's high time now to adjust the minimum supported >> gmp/mpfr/mpc versions for gcc-7. > > I think updating the minimum versions (when using previously built > libraries, not in-tree

  1   2   >