Re: [PATCH/IPA] Fix ipa-polymorphic-call when size of Pmode is not the size of pointers in user code

2014-11-20 Thread Jan Hubicka
Hi, For ILP32 on AARCH64, we have ptr_mode != Pmode (we have ptr_mode being SImode while Pmode is DImode and POINTER_SIZE is 32). This breaks ipa-polymorphic-call assumption that Pmode is the correct mode for pointers. Right now before this patch we get many testcase failures in the C++

Re: [PATCH][x86] Add clwb,pcommit,avx512avbmi,avx512ifma.

2014-11-20 Thread Uros Bizjak
On Wed, Nov 19, 2014 at 6:32 PM, Ilya Tocar tocarip.in...@gmail.com wrote: Hi, New revision of Intel ISA reference [1] has new instructions: Clwb, pcommit and new flavors of AVX512. Patch bellow adds them. I understand that stage 1 is closed, however those changes shouldn't affect anything

Re: [PATCH, PR63742][ARM] Fix arm *movhi_insn_arch4 pattern for big-endian

2014-11-20 Thread Ramana Radhakrishnan
On 19/11/14 09:29, Yangfei (Felix) wrote: Sorry for missing the point. It seems to me that 't2' here will conflict with condition of the pattern *movhi_insn_arch4: TARGET_ARM arm_arch4 (register_operand (operands[0], HImode) || register_operand (operands[1],

RE: [PATCH][wwwdocs] Update 5.0 changes.html with Thumb1 UAL

2014-11-20 Thread Terry Guo
-Original Message- From: Kyrill Tkachov [mailto:kyrylo.tkac...@arm.com] Sent: Tuesday, November 18, 2014 11:08 PM To: Terry Guo; gcc-patches@gcc.gnu.org Cc: ger...@pfeifer.com Subject: Re: [PATCH][wwwdocs] Update 5.0 changes.html with Thumb1 UAL On 18/11/14 02:48, Terry Guo

Re: [PATCH, PR63742][ARM] Fix arm *movhi_insn_arch4 pattern for big-endian

2014-11-20 Thread Yangfei (Felix)
On 19/11/14 09:29, Yangfei (Felix) wrote: Sorry for missing the point. It seems to me that 't2' here will conflict with condition of the pattern *movhi_insn_arch4: TARGET_ARM arm_arch4 (register_operand (operands[0], HImode) || register_operand

Re: [PATCH 2/2, AArch64, v2] Pipeline model for APM XGene-1.

2014-11-20 Thread Kyrill Tkachov
Hi Philipp, I don't mind it being in config/arm if you plan to wire it up later, good to know. Another comment inline Thanks, Kyrill On 19/11/14 21:42, Philipp Tomsich wrote: Here's an updated patch with Kyrill's and Andrew's comments integrated. I left the file in the

Re: [PATCH, PR63742][ARM] Fix arm *movhi_insn_arch4 pattern for big-endian

2014-11-20 Thread Yangfei (Felix)
On 19/11/14 09:29, Yangfei (Felix) wrote: Sorry for missing the point. It seems to me that 't2' here will conflict with condition of the pattern *movhi_insn_arch4: TARGET_ARM arm_arch4 (register_operand (operands[0], HImode) || register_operand

[PATCH] Fix PR63962

2014-11-20 Thread Richard Biener
When moving tree-ssa-forwprop.c:associate_plusminus to match.pd patterns a single-use restriction escaped my eye. It is indeed important for non-simplifications like (ptr p+ off1) p+ off2 - ptr p+ (off1 + off2) to not un-CSE. The association is most useful to enable later re-association as

Re: [patch v2, aarch64] additional bics patterns

2014-11-20 Thread Richard Earnshaw
On 19/11/14 18:22, Sandra Loosemore wrote: On 11/13/2014 10:47 AM, Andrew Pinski wrote: On Thu, Nov 13, 2014 at 9:42 AM, Sandra Loosemore san...@codesourcery.com wrote: On 11/13/2014 10:27 AM, Richard Earnshaw wrote: On 13/11/14 17:05, Ramana Radhakrishnan wrote: On Thu, Nov 13, 2014 at

[PATCH, ifcvt] Fix PR63917

2014-11-20 Thread Zhenqiang Chen
Hi, r217646 enhances ifcvt to handle cbranchcc4 instruction. But ifcvt does not strictly check the dependence before moving instructions before IF. Then some instructions, which clobber CC, are inserted before the cbranchcc4 instruction. For the case in the patch, ifcvt transfers code from

[Ada] Missing interface conversion in access type

2014-11-20 Thread Arnaud Charlet
The compiler silently skips the generation of code to perform the conversion of an access type whose designated type is a class-wide interface type, thus causing unexpected problems at runtime in dispatching calls to the target object. After this patch the following test compiles and executes

[Ada] Lift limitation of inter-unit inlining with generic packages

2014-11-20 Thread Arnaud Charlet
This change lifts the arbitrary limitation on the number of iterations that can be executed between loading of the inlined bodies and instantiation of the generic bodies of external units when inter-unit inlining is activated. It was previously limited to 1 but this may be not sufficient in some

Re: [PATCH 2/2, AArch64, v2] Pipeline model for APM XGene-1.

2014-11-20 Thread Dr . Philipp Tomsich
Kyrill, I don't mind it being in config/arm if you plan to wire it up later, good to know. Another comment inline…. I’ll clean up the missing xgene1_ and the mistyped xgene_ prefix and resubmit. +(define_insn_reservation div 2 + (and (eq_attr tune xgene1) + (eq_attr type

Re: [PATCH 2/2, AArch64, v2] Pipeline model for APM XGene-1.

2014-11-20 Thread Kyrill Tkachov
Hi Philipp, On 20/11/14 10:47, Dr. Philipp Tomsich wrote: Kyrill, I don't mind it being in config/arm if you plan to wire it up later, good to know. Another comment inline…. I’ll clean up the missing xgene1_ and the mistyped xgene_ prefix and resubmit. +(define_insn_reservation div 2 +

[Ada] Fix costly call to Following_Address_Clause

2014-11-20 Thread Arnaud Charlet
This change makes is so that Following_Address_Clause is invoked only if this is really necessary from Analyze_Object_Declaration. This saves about 1% of the compilation time at low optimization levels. No functional changes. Tested on x86_64-pc-linux-gnu, committed on trunk 2014-11-20 Eric

[Ada] Handling of function calls to predefined operators in ASIS

2014-11-20 Thread Arnaud Charlet
An operator that is called in functional notation is rewritten as an operator so that its operands can be properly resolved. ASIS needs the semantic info to be available on the original node, so in ASIS mode the resolved operands are linked back to the original call. This patch takes into account

[Ada] Improper assignment on indexing operation with implicit dereference

2014-11-20 Thread Arnaud Charlet
If the left-hand side of an assignment is an Ada 2012 generalized indexing with an implicit derenference, the compiler must verify that the type of the access discriminant that provides the implicit dereference is not an access_to_constant. Compiling ada_test.adb must yield:

[Ada] Rework win32_wait to behave more like the UNIX waitpid()

2014-11-20 Thread Arnaud Charlet
The following changes are importants: - It is possible to have multiple tasks waiting for a child process to terminate. - When a child terminates, a single wait call will receive the corresponding process id. - A call to wait will handle new incoming child processes. Tested on

[Ada] Attributes 'Old and 'Update must preserve the tag of their prefix

2014-11-20 Thread Arnaud Charlet
The patch modifies the expansion of attributes 'Old and 'Update to ensure that the tag of a tagged prefix is not modified as a result attribute evaluation. -- Source -- -- types.ads package Types is type Root is tagged record X : Integer; end record;

Re: [PATCH 2/2, AArch64, v2] Pipeline model for APM XGene-1.

2014-11-20 Thread Ramana Radhakrishnan
On Wed, Nov 19, 2014 at 9:42 PM, Philipp Tomsich philipp.toms...@theobroma-systems.com wrote: Here's an updated patch with Kyrill's and Andrew's comments integrated. I left the file in the config/arm-directory, as XGene-family is capable of executing ARMv7 and we will wire this into the 32bit

[Ada] Interaction between 'Loop_Entry, 'Old, 'Update and Extensions_Visible

2014-11-20 Thread Arnaud Charlet
This patch the following SPARK rule (the part about 'Loop_Entry, 'Old, 'Update) If the Extensions_Visible aspect is False for a subprogram, then certain restrictions are imposed on the use of any parameter of the subprogram which is of a specific tagged type. Such a parameter shall not

[Ada] Add missing SPARK_Mode aspects/pragmas on formal containers

2014-11-20 Thread Arnaud Charlet
While the library of formal maps/sets correctly set SPARK_Mode on spec (On) and private part / body (Off), it was not the case for lists and vectors, thus causing some errors in GNATprove when instantiating such formal containers because bodies contain non-SPARK features (e.g. access types in

[Ada] Generate VC in GNATprove instead of error for empty range check

2014-11-20 Thread Arnaud Charlet
Range checks on empty ranges typically correspond to deactivated code based on a given configuration (say, dead code inside a loop over the empty range). In GNATprove mode, instead of issuing an error message (which would stop analysis), enable the range check so that GNATprove will issue a

[Ada] Give error message if duplicate Linker_Section given

2014-11-20 Thread Arnaud Charlet
Like other similar pragmas, we should disallow duplicate pragma or aspect Linker_Section for non-overloadable entities (for the case of overloading, the pragma only applies to previous entities which do not have such a pragma). The following should compile with the given error: 1. package

RE: [PATCH] If using branch likelies in MIPS sync code fill the delay slot with a nop

2014-11-20 Thread Matthew Fortune
Ok to commit? gcc/ * config/mips/mips.c (mips_process_sync_loop): Place a nop in the delay slot of the branch likely instruction. With an updated ChangeLog to account for the changes in the callers, OK. Matthew

[PATCH x86, PR60451] Expand even/odd permutation using pack insn.

2014-11-20 Thread Evgeny Stupachenko
Hi, The patch expand even/odd permutation using: and, and, pack in odd case shift, shift, pack in even case instead of current pshufb, pshufb, or or big set of unpack insns. AVX2/CORE bootstrap and make check passed. expensive tests are in progress Is it ok for trunk? Evgeny 2014-11-20

Re: [PATCH x86, PR60451] Expand even/odd permutation using pack insn.

2014-11-20 Thread Jakub Jelinek
On Thu, Nov 20, 2014 at 02:36:26PM +0300, Evgeny Stupachenko wrote: + /* Only V8HI, V16QI, V16HI and V32QI modes are more profitable than general + shuffles. */ I think switch (d-vmode) would be more readable. + op = gen_reg_rtx (d-vmode); + t = gen_reg_rtx (V4DImode); +

[PATCH, ARM] Fix PR63718, Thumb1 bootstrap -- disable fuse-caller-save for Thumb1

2014-11-20 Thread Tom de Vries
Richard, This patch fixes PR63718, which currently breaks Thumb1 bootstrap. The problem is that in Thumb1 mode, we emit the epilogue in RTL, but the last insn - epilogue_insns - does not accurately model the corresponding insns emitted in the asm file. F.i., the asm file may contain an insn:

[Ada] gnat1: back end switch -G nnn (PR ada/47500)

2014-11-20 Thread Arnaud Charlet
On platform where the switch is allowed, the gcc driver, when called with -Gnnn (nnn is a non negative number) invokes the compiler (gnat1) with -G nnn. This patch skips the argument nnn after -G, so that it is not taken as a source file name. Tested on x86_64-pc-linux-gnu, committed on trunk

Re: [PATCH, i386]: Fix PR 63966, inconsistent operand constraints compiling libcpp

2014-11-20 Thread Uros Bizjak
On Wed, Nov 19, 2014 at 9:59 PM, Uros Bizjak ubiz...@gmail.com wrote: Hello! libcpp/lex.c includes ../gcc/config/i386/cpuid.h, and is picked up by the system compiler during stage1. Recently, cpuid.h was changed to account for %ebx changes and now uses b asm constraint for i686 even with

Re: [PATCH] driver: ignore SIGINT while waiting on subprocesses to finish

2014-11-20 Thread Patrick Palka
On Tue, Nov 18, 2014 at 11:14 AM, Michael Matz m...@suse.de wrote: Hi, On Mon, 17 Nov 2014, Richard Biener wrote: This means I can no longer interrupt a compile that is running too long? No, that's not what it means, cc1 will also get the SIGINT. You should instead debug the actual

Re: [PATCH, ifcvt] Fix PR63917

2014-11-20 Thread H.J. Lu
On Thu, Nov 20, 2014 at 1:48 AM, Zhenqiang Chen zhenqiang.c...@arm.com wrote: Hi, r217646 enhances ifcvt to handle cbranchcc4 instruction. But ifcvt does not strictly check the dependence before moving instructions before IF. Then some instructions, which clobber CC, are inserted before the

Re: [PATCH x86, PR60451] Expand even/odd permutation using pack insn.

2014-11-20 Thread Uros Bizjak
On Thu, Nov 20, 2014 at 12:36 PM, Evgeny Stupachenko evstu...@gmail.com wrote: Hi, The patch expand even/odd permutation using: and, and, pack in odd case shift, shift, pack in even case instead of current pshufb, pshufb, or or big set of unpack insns. AVX2/CORE bootstrap and make check

Re: LTO streaming of TARGET_OPTIMIZE_NODE

2014-11-20 Thread Bernd Schmidt
On 11/13/2014 05:06 AM, Jan Hubicka wrote: this patch adds infrastructure for proper streaming and merging of TREE_TARGET_OPTION. This breaks the offloading path via LTO since it introduces an incompatibility in LTO format between host and offload machine. A very quick patch to fix it is

Another ptx offloading patch

2014-11-20 Thread Bernd Schmidt
Now that I've managed to put together and test all the submitted OpenACC patches I found there was one piece missing. The problem is that omp-low on the host likes to generate function names like _main._omp_fn. On ptx, the dot is not allowed in identifiers, so we have to rewrite this to use a

Re: OpenACC middle end changes

2014-11-20 Thread Bernd Schmidt
On 11/20/2014 07:52 AM, Jakub Jelinek wrote: On Thu, Nov 20, 2014 at 03:19:11AM +0100, Bernd Schmidt wrote: Thomas had apparently already pointed out an issue with the new gomp_target class (there are multiple similar types of statements we want to handle with OpenACC, they have different codes

Re: gimple-classes-v2-option-3 git branch committed to svn trunk as r217787

2014-11-20 Thread Richard Biener
On Thu, Nov 20, 2014 at 12:05 AM, Andrew MacLeod amacl...@redhat.com wrote: On 11/19/2014 05:24 PM, David Malcolm wrote: On Wed, 2014-11-19 at 22:36 +0100, Richard Biener wrote: On November 19, 2014 10:09:56 PM CET, Andrew MacLeod amacl...@redhat.com wrote: On 11/19/2014 03:43 PM, Richard

Re: gimple-classes-v2-option-3 git branch committed to svn trunk as r217787

2014-11-20 Thread Richard Biener
On Wed, Nov 19, 2014 at 11:24 PM, David Malcolm dmalc...@redhat.com wrote: On Wed, 2014-11-19 at 22:36 +0100, Richard Biener wrote: On November 19, 2014 10:09:56 PM CET, Andrew MacLeod amacl...@redhat.com wrote: On 11/19/2014 03:43 PM, Richard Biener wrote: On November 19, 2014 8:26:23 PM

Re: bitmap fix for current

2014-11-20 Thread Richard Biener
On Thu, Nov 20, 2014 at 1:18 AM, Mike Stump mikest...@comcast.net wrote: On Nov 14, 2014, at 2:26 AM, Richard Biener richard.guent...@gmail.com wrote: On Fri, Nov 14, 2014 at 2:10 AM, Jeff Law l...@redhat.com wrote: On 11/13/14 12:37, Mike Stump wrote: I was doing a merge, and it failed to

Re: [PATCH] Disable an unsafe VRP transformation when -fno-strict-overflow is set

2014-11-20 Thread Richard Biener
On Thu, Nov 20, 2014 at 4:21 AM, Patrick Palka patr...@parcs.ath.cx wrote: VRP may simplify a conditional like i = 5 to i == 5 if it is known that the lower bound of i's range is 5, e.g. [5, +INF]. But if the upper bound of i's range is also overflow infinity, i.e. [5, +INF(OVF)] then this

Re: LTO streaming of TARGET_OPTIMIZE_NODE

2014-11-20 Thread Richard Biener
On Thu, 20 Nov 2014, Bernd Schmidt wrote: On 11/13/2014 05:06 AM, Jan Hubicka wrote: this patch adds infrastructure for proper streaming and merging of TREE_TARGET_OPTION. This breaks the offloading path via LTO since it introduces an incompatibility in LTO format between host and

[PATCH] PR63426 Fix various signed integer overflows

2014-11-20 Thread Markus Trippelsdorf
Running the testsuite after bootstrap-ubsan on gcc112 shows several issues. See https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63426 for the full list. This patch fixes several of them. Tested on powerpc64-unknown-linux-gnu. OK for trunk? Thanks. 2014-11-20 Markus Trippelsdorf

RE: [PATCH, committed] Update Automake files

2014-11-20 Thread Bernd Edlinger
Hello Jan-Benedict, Hi! This patch updates the files taken from Automake. Committed. MfG, JBG the updated version of missing will confuse the gmp-4.3.2 configure script if it is installed in-tree with contrib/download_prerequisites and flex is not installed: ... checking readline

Re: [PATCH x86, PR60451] Expand even/odd permutation using pack insn.

2014-11-20 Thread Evgeny Stupachenko
Thank you. Patch with proposed fixes: diff --git a/gcc/config/i386/i386.c b/gcc/config/i386/i386.c index 085eb54..09c0057 100644 --- a/gcc/config/i386/i386.c +++ b/gcc/config/i386/i386.c @@ -48322,6 +48322,120 @@ expand_vec_perm_vpshufb2_vpermq_even_odd (struct expand_vec_perm_d *d) return

Re: gimple-classes-v2-option-3 git branch committed to svn trunk as r217787

2014-11-20 Thread Andrew MacLeod
On 11/20/2014 08:08 AM, Richard Biener wrote: On Thu, Nov 20, 2014 at 12:05 AM, Andrew MacLeod amacl...@redhat.com wrote: On 11/19/2014 05:24 PM, David Malcolm wrote: On Wed, 2014-11-19 at 22:36 +0100, Richard Biener wrote: On November 19, 2014 10:09:56 PM CET, Andrew MacLeod

Re: [PATCH] PR63426 Fix various signed integer overflows

2014-11-20 Thread David Edelsohn
On Thu, Nov 20, 2014 at 8:27 AM, Markus Trippelsdorf mar...@trippelsdorf.de wrote: Running the testsuite after bootstrap-ubsan on gcc112 shows several issues. See https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63426 for the full list. This patch fixes several of them. Tested on

Re: LTO streaming of TARGET_OPTIMIZE_NODE

2014-11-20 Thread Bernd Schmidt
On 11/20/2014 02:20 PM, Richard Biener wrote: On Thu, 20 Nov 2014, Bernd Schmidt wrote: On 11/13/2014 05:06 AM, Jan Hubicka wrote: this patch adds infrastructure for proper streaming and merging of TREE_TARGET_OPTION. This breaks the offloading path via LTO since it introduces an

[PATCH] PR lto/63968: 175.vpr from cpu2000 fails to build with LTO

2014-11-20 Thread Martin Liška
Hello. As I reimplemented fibheap to C++ template, Honza told me that replace_key method actually supports just decrement operation. Old implementation suppress any feedback if we try to increase key: fibheap.c: ... /* If we wanted to, we could actually do a real increase by redeleting and

[PATCH] Fix target/63977

2014-11-20 Thread Richard Henderson
My mistake yesterday. I thought I'd tested both x86_64 -m64/-m32, but not so. Anyway, as the comment says, the backend keeps querying the static chain, and if you don't early out, it sets ix86_static_chain_on_stack, at which point the setting is permanent and affects prologue generation, and not

[Ada] Spurious errors on extension aggregate for limited type

2014-11-20 Thread Arnaud Charlet
This patch fixes two errors in the handling of extension aggregates for limited types: Ancestor part of extension aggregate can itself be an extension aggregate as well as a function call that is rewritten as a reference. The following must compile quietly: gcc -c p2.adb gcc -c

[Ada] Inter-unit inlining of expression functions with -gnatn1

2014-11-20 Thread Arnaud Charlet
This enables inter-unit inlining of expression functions with -gnatn1, or more simply with -O1/-O2 -gnatn. These functions are automatically candidates for inlining, but there were actually inlined across units only with -gnatn2, or more simply -O3 -gnatn. The following program must compile

[Ada] Type conversion to String causes Constraint_Error

2014-11-20 Thread Arnaud Charlet
This patch modifies the mechanism which creates a subtype from an arbitrary expression. The mechanism now captures the bounds of all index constraints when the expression is of an array type. -- Source -- -- pack.ads with Ada.Finalization; use Ada.Finalization;

Re: [PATCH x86, PR60451] Expand even/odd permutation using pack insn.

2014-11-20 Thread Richard Henderson
On 11/20/2014 12:36 PM, Evgeny Stupachenko wrote: + /* Required for pack. */ + if (!TARGET_SSE4_2 || d-one_operand_p) +return false; Why the SSE4_2 check here when... + + /* Only V8HI, V16QI, V16HI and V32QI modes are more profitable than general + shuffles. */ + if (d-vmode

[Ada] Debugging information for inlined predefined units

2014-11-20 Thread Arnaud Charlet
The compiler suppresses debugging information on predefined units that are inlined in the code, because stepping into run-time units often complicates debugging activity. We make an exception for calls that appear in the source, when the unit is part of the Ada hierarchy, to facilitate monitoring

Re: [AArch64, Patch] Add range-check for Symbol + offset addressing.

2014-11-20 Thread Tejas Belagod
On 14/11/14 17:33, Marcus Shawcroft wrote: On 14 November 2014 08:12, Tejas Belagod tejas.bela...@arm.com wrote: 2014-11-14 Tejas Belagod tejas.bela...@arm.com gcc/ * config/aarch64/aarch64-protos.h (aarch64_classify_symbol): Fixup prototype. *

Re: [PATCH] driver: ignore SIGINT while waiting on subprocesses to finish

2014-11-20 Thread Michael Matz
Hi, On Thu, 20 Nov 2014, Patrick Palka wrote: -wrapper is specifically also for invoking cc1 with gdb from the driver (that's the usecase documented with -wrapper), so it better should work as intended. I don't know what problems Patrick had with that, though. For me gcc -wrapper

Re: [PATCH] PR jit/63969: Fix segfault in error-handling when driver isn't found

2014-11-20 Thread David Malcolm
On Wed, 2014-11-19 at 23:09 -0800, Mike Stump wrote: On Nov 19, 2014, at 10:23 PM, David Malcolm dmalc...@redhat.com wrote: It's not clear to me if I can approve my own patches to the jit So, to answer that, we look at MAINTAINERS, and look up your name: Various

[Ada] Improvements to handling of unchecked union discriminants

2014-11-20 Thread Arnaud Charlet
This patch avoids issuing a warning for a missing component clause for a discriminant in an unchecked union, and also avoids printing a line for such a component in the -gnatR2 output. The following program: 1. with Interfaces; 2. procedure Test_Union is 3. type Test_Type (Flag

Re: [COMMITTED 1/3] Make TARGET_STATIC_CHAIN allow a function type

2014-11-20 Thread Richard Henderson
On 11/19/2014 08:56 PM, H.J. Lu wrote: On Wed, Nov 19, 2014 at 10:04 AM, Jakub Jelinek ja...@redhat.com wrote: On Wed, Nov 19, 2014 at 03:58:50PM +0100, Richard Henderson wrote: As opposed to always being a decl. This is a prerequisite to allowing the static chain to be loaded for indirect

Re: [PATCH x86, PR60451] Expand even/odd permutation using pack insn.

2014-11-20 Thread Evgeny Stupachenko
Good point! gen_shift also requires only SSE2. That way we can optimize out interleave sequence for V16QI mode in expand_vec_perm_even_odd_1. Thanks! Evgeny Updated patch: diff --git a/gcc/config/i386/i386.c b/gcc/config/i386/i386.c index 085eb54..054089b 100644 --- a/gcc/config/i386/i386.c +++

Re: [PATCH] gcc/ubsan.c: Extend 'pretty_name' space to avoid memory overflow

2014-11-20 Thread Chen Gang
On 11/17/14 18:52, Chen Gang wrote: What you said sound reasonable to me. I shall try to send patch v2 within this week (use pretty_printer). Thanks. On 11/17/14 16:15, Marek Polacek wrote: On Mon, Nov 17, 2014 at 08:38:19AM +0100, Jakub Jelinek wrote: I think easiest would be to

Re: [PATCH] microblaze: microblaze.md: Use 'SI' instead of 'VOID' for operand 1 of 'call_value_intern'

2014-11-20 Thread Chen Gang
Oh, sorry, after ran more than 10 days, the qemu crashed :-( After checked the output log, and compare with the original log, we know we have finished more than 90% test, and it is OK (no any new issues). I guess the reason is I started too many other things on this machine. Next, I shall try

[PATCH][doc] Document cortex-a17 and cortex-a17.cortex-a7 -m{cpu,tune} options

2014-11-20 Thread Kyrill Tkachov
Hi all, As Joseph reminded, new -mcpu options should be documented in invoke.texi. This adds the documentation for the cortex-a17 and cortex-a17.cortex-a7 values. Ok to go in if the corresponding support patches posted earlier are accepted? Thanks, Kyrill 2014-11-19 Kyrylo Tkachov

Re: gimple-classes-v2-option-3 git branch committed to svn trunk as r217787

2014-11-20 Thread Michael Matz
Hi, On Thu, 20 Nov 2014, Richard Biener wrote: I don't think this API will make the non-C++-fans happier; I think the objection to the work I just merged is that it's adding more C++ than those people are comfortable with. How so? It's already super-ugly in those views. We decided to

[PATCH] sh: char isn't signed

2014-11-20 Thread Segher Boessenkool
An sh compiler fails to build on systems that have plain char unsigned. Fix that. 2014-11-20 Segher Boessenkool seg...@kernel.crashing.org gcc/ PR target/60111 * config/sh/sh.c: Use signed char for signed field. --- gcc/config/sh/sh.c | 2 +- 1 file changed, 1 insertion(+),

Re: [PATCH] sh: char isn't signed

2014-11-20 Thread Oleg Endo
On Thu, 2014-11-20 at 07:41 -0800, Segher Boessenkool wrote: An sh compiler fails to build on systems that have plain char unsigned. Fix that. Ouch. Thanks for spotting this. OK for trunk, 4.9 and 4.8. Cheers, Oleg

[Ada] Source in multi-unit source has unique object file name

2014-11-20 Thread Arnaud Charlet
Two units, one in a multi-source file and one in another source with the same base file name do not have the same object file name. No error during processing of the following project file should be reported: project Prj is package Naming is for Spec (foo_bar) use foo_bar.ads at 2;

Re: [PATCH, committed] Update Automake files

2014-11-20 Thread Jan-Benedict Glaw
Hi Bernd, On Thu, 2014-11-20 14:34:00 +0100, Bernd Edlinger bernd.edlin...@hotmail.de wrote: This patch updates the files taken from Automake. Committed. the updated version of missing will confuse the gmp-4.3.2 configure script if it is installed in-tree with

Re: [PATCH] PR63426 Fix various signed integer overflows

2014-11-20 Thread Jakub Jelinek
On Thu, Nov 20, 2014 at 02:27:52PM +0100, Markus Trippelsdorf wrote: 2014-11-20 Markus Trippelsdorf mar...@trippelsdorf.de * emit-rtl.c (const_wide_int_htab_hash): Likewise. * loop-iv.c (determine_max_iter): Likewise. (iv_number_of_iterations): Likewise. *

Re: [PATCH][doc] Document cortex-a17 and cortex-a17.cortex-a7 -m{cpu,tune} options

2014-11-20 Thread Richard Earnshaw
On 20/11/14 15:31, Kyrill Tkachov wrote: Hi all, As Joseph reminded, new -mcpu options should be documented in invoke.texi. This adds the documentation for the cortex-a17 and cortex-a17.cortex-a7 values. Ok to go in if the corresponding support patches posted earlier are accepted?

Re: [PATCH 10/21] PR jit/63854: Fix leak of worklist within jit-recording.c

2014-11-20 Thread Richard Biener
On Wed, Nov 19, 2014 at 9:02 PM, David Malcolm dmalc...@redhat.com wrote: On Wed, 2014-11-19 at 09:59 -0700, Jeff Law wrote: On 11/19/14 03:46, David Malcolm wrote: Fix this leak: 160 bytes in 5 blocks are definitely lost in loss record 154 of 228 at 0x4A0645D: malloc (in

Re: gimple-classes-v2-option-3 git branch committed to svn trunk as r217787

2014-11-20 Thread Richard Biener
On Thu, Nov 20, 2014 at 4:34 PM, Michael Matz m...@suse.de wrote: Hi, On Thu, 20 Nov 2014, Richard Biener wrote: I don't think this API will make the non-C++-fans happier; I think the objection to the work I just merged is that it's adding more C++ than those people are comfortable with.

[PR63762][4.9] Backport the patch which fixes GCC generates UNPREDICTABLE STR with Rn = Rt for arm

2014-11-20 Thread Renlin Li
Hi all, This is a backport for gcc-4_9-branch of the patch [PR63762]GCC generates UNPREDICTABLE STR with Rn = Rt for arm posted in: https://gcc.gnu.org/ml/gcc-patches/2014-11/msg02253.html arm-none-eabi has been test on the model, no new issues. bootstrapping and regression tested on x86,

[Ada] PR ada/63931

2014-11-20 Thread Arnaud Charlet
Fixing version number according to new GCC naming scheme. PR ada/63931 * gnatvsn.ads (Library_Version): Switch to 5. Index: gnatvsn.ads === --- gnatvsn.ads (revision 217874) +++

Re: [PATCH 10/21] PR jit/63854: Fix leak of worklist within jit-recording.c

2014-11-20 Thread Jeff Law
On 11/20/14 09:01, Richard Biener wrote: Is there a governance distinction here, between patch review vs decisions of the steering committee? i.e. do changes to the maintainers part of the MAINTAINERS file require higher-level approval? Yes, reviewers and maintainers are appointed by the

Re: [PATCH 1/2] teach mklog to get name / email from git config when available

2014-11-20 Thread Tom de Vries
On 09-05-14 16:47, Diego Novillo wrote: I would probably use git config directly here. It would work with both git and svn checkouts (if you have a global .git configuration). But testing for .git is fine with me as well. I like Peter's idea of having a ~/.mklog file to override. This would

Re: [PATCH x86, PR60451] Expand even/odd permutation using pack insn.

2014-11-20 Thread Evgeny Stupachenko
Bootstrap / make check passed with updated patch. Is it still ok? It looks like we don't need expand_vec_perm_vpshufb2_vpermq_even_odd any more with the patch. However the clean up will be in the separate patch after appropriate testing. Modified ChangeLog: 2014-11-20 Evgeny Stupachenko

Re: [patch] Warn on undefined loop exit

2014-11-20 Thread Richard Biener
On Wed, Nov 19, 2014 at 9:19 PM, Andrew Stubbs a...@codesourcery.com wrote: On 19/11/14 16:39, Marek Polacek wrote: On Wed, Nov 19, 2014 at 04:32:43PM +, Andrew Stubbs wrote: +if (warning_at (gimple_location (elt-stmt), +

Add to maintainers list.

2014-11-20 Thread Alex Velenko
2014-11-20 Alex Velenko alex.vele...@arm.com *MAINTAINERS (write-after-approval): Add myself. diff --git a/MAINTAINERS b/MAINTAINERS index 11a28ef..eada4e9 100644 --- a/MAINTAINERS +++ b/MAINTAINERS @@ -566,6 +566,7 @@ David Ung dav...@mips.com Neil

Re: [PATCH][AArch64] Add bounds checking to vqdm*_lane intrinsics via a qualifier that also flips endianness

2014-11-20 Thread Charles Baylis
On 20 November 2014 07:49, Marcus Shawcroft marcus.shawcr...@gmail.com wrote: On 19 November 2014 19:05, Charles Baylis charles.bay...@linaro.org wrote: PR target/63870 * config/aarch64/aarch64-builtins.c (aarch64_simd_expand_args): Pass expression to

[PATCH] PR ipa/63909 ICE: SIGSEGV in ipa_icf_gimple::func_checker::compare_bb()

2014-11-20 Thread Martin Liška
Hello. Following patch fixes ICE in IPA ICF. Problem was that number of non-debug statements in a BB can change (for instance by IPA split), so that the number is recomputed. Patch can bootstrap on x86_64-linux-pc and no regression has been seen. Ready for trunk? Thanks, Martin gcc/ChangeLog:

[PATCH, i386] Add new arg values for __builtin_cpu_supports

2014-11-20 Thread Ilya Enkovich
Hi, MPX runtime checks some feature bits in order to check MPX is fully supported. Runtime does it by cpuid calls but there is a __builtin_cpu_supports which may be used for that. Unfortunately currently it doesn't support required bits. Will it be OK to add them for trunk? Thanks, Ilya --

Re: [PATCH] PR ipa/63909 ICE: SIGSEGV in ipa_icf_gimple::func_checker::compare_bb()

2014-11-20 Thread Richard Biener
On Thu, Nov 20, 2014 at 5:30 PM, Martin Liška mli...@suse.cz wrote: Hello. Following patch fixes ICE in IPA ICF. Problem was that number of non-debug statements in a BB can change (for instance by IPA split), so that the number is recomputed. Huh, so can it get different for both candidates?

Re: [PATCH, i386] Add new arg values for __builtin_cpu_supports

2014-11-20 Thread Jakub Jelinek
On Thu, Nov 20, 2014 at 07:36:03PM +0300, Ilya Enkovich wrote: Hi, MPX runtime checks some feature bits in order to check MPX is fully supported. Runtime does it by cpuid calls but there is a __builtin_cpu_supports which may be used for that. Unfortunately currently it doesn't support

[PATCH][ARM] Make issue rate part of per-core tuning structs

2014-11-20 Thread Kyrill Tkachov
Hi all, This patch makes the arm_issue_rate function lookup the issue rate of the process from the tuning structs. This makes it look more like the aarch64 mechanism and centralises a processor-specific construct to the tuning structs, thus not forcing us to remember to update the

Re: [PATCH 1/2] teach mklog to get name / email from git config when available

2014-11-20 Thread Segher Boessenkool
On Thu, Nov 20, 2014 at 05:22:20PM +0100, Tom de Vries wrote: +my $conf = $ENV{HOME}/.mklog; +if (-f $conf) { +open (CONF, $conf) + or die Could not open file '$conf' for reading: $!\n; +while (CONF) { + if (m/^\s*NAME\s*=\s*(.*)\s*$/) { The final \s* never matches anything

Re: [AArch64, Patch] Add range-check for Symbol + offset addressing.

2014-11-20 Thread Marcus Shawcroft
On 20 November 2014 14:33, Tejas Belagod tejas.bela...@arm.com wrote: The same patch applies cleanly to 4.9. OK to commit? Thanks, Tejas. Provided it regresses ok, yes. /Marcus

Re: [PATCH][ARM] Make issue rate part of per-core tuning structs

2014-11-20 Thread Kyrill Tkachov
I should say that the patch context depends on the macro fusion hook implementation posted here: https://gcc.gnu.org/ml/gcc-patches/2014-11/msg00958.html Kyrill On 20/11/14 16:43, Kyrill Tkachov wrote: Hi all, This patch makes the arm_issue_rate function lookup the issue rate of the process

[PATCH] Fix ubsan and C++14 constexpr ICEs (PR sanitizer/63956)

2014-11-20 Thread Marek Polacek
This patch fixes a bunch of ICEs related to C++14 constexprs and -fsanitize=undefined. We should ignore ubsan internal functions and ubsan builtins in constexpr functions in cxx_eval_call_expression. Also add proper printing of internal functions into the C++ printer. Bootstrapped/regtested on

Re: [PATCH] Fix ubsan and C++14 constexpr ICEs (PR sanitizer/63956)

2014-11-20 Thread Jakub Jelinek
On Thu, Nov 20, 2014 at 06:14:52PM +0100, Marek Polacek wrote: This patch fixes a bunch of ICEs related to C++14 constexprs and -fsanitize=undefined. We should ignore ubsan internal functions and ubsan builtins in constexpr functions in cxx_eval_call_expression. Also add proper printing of

[gomp4] fix a fortran bootstrap failure

2014-11-20 Thread Cesar Philippidis
This patch resolves a bootstrap failure in gomp-4_0-branch, which I probably introduced after I switched the cache error message from a gfc_error to a sorry. The code parameter isn't being used anymore by resolve_oacc_cache, so I've explicitly marked it as unused. I've applied this patch to

Re: [PATCH] Fix ICEs in simplify_immed_subreg on OImode/XImode subregs (PR target/63910)

2014-11-20 Thread Jakub Jelinek
On Wed, Nov 19, 2014 at 02:23:47PM -0800, Mike Stump wrote: On Nov 19, 2014, at 1:57 PM, Jakub Jelinek ja...@redhat.com wrote: Though, following patch is just fine for me too, I don't think it will make a significant difference: This version is fine by me. Richard, are you ok with that

[PATCH] Fix ICE with non-lvalue vector subscripts and make sure non-lvalue vector subscripts aren't used as lvalues (PR target/63764)

2014-11-20 Thread Jakub Jelinek
Hi! This patch fixes ICEs if a non-lvalue vector (say cast of one vector to another vector type) was subscripted and used as lhs. The following patch, if *vecp is not lvalue, will copy it to a temporary variable which can be made addressable for the subscription, and afterwards wrap it into a

Re: SRA: don't drop clobbers

2014-11-20 Thread Martin Jambor
Hi, On Mon, Nov 03, 2014 at 10:46:49PM +0100, Marc Glisse wrote: On Mon, 3 Nov 2014, Marc Glisse wrote: On Mon, 3 Nov 2014, Martin Jambor wrote: I just applied your patch on top of trunk revision 217032 on my Ah, that explains it, thanks. This patch is a follow-up to r217034. Still, I

Re: [Aarch64][BE][2/2] Fix vector load/stores to not use ld1/st1

2014-11-20 Thread Marcus Shawcroft
On 14 November 2014 16:48, Alan Hayward alan.hayw...@arm.com wrote: This is a new version of my BE patch from a few weeks ago. This is part 2 and covers all the aarch64 changes. When combined with the first patch, It fixes up movoi/ci/xi for Big Endian, so that we end up with the lab of a

[PATCH] Fix tree-ssa-strlen ICE introduced by r211956 (PR tree-optimization/61773)

2014-11-20 Thread Jakub Jelinek
Hi! Before the r211956 changes, the only places that set si-stmt were required to check that stpcpy has been declared (with the right prototype) to signal the strlen pass that it can use stpcpy for optimization. But r211956 sets si-stmt also for malloca call, which isn't in any way related to

Re: New patch: [AArch64] [BE] [1/2] Make large opaque integer modes endianness-safe.

2014-11-20 Thread Marcus Shawcroft
On 13 November 2014 10:09, David Sherwood david.sherw...@arm.com wrote: gcc/: 2014-11-13 David Sherwood david.sherw...@arm.com * config/aarch64/aarch64-protos.h (aarch64_simd_attr_length_rglist, aarch64_reverse_mask): New decls. *

[ia64 PATCH] Fix up ia64 attribute handling (PR target/61137)

2014-11-20 Thread Jakub Jelinek
Hi! Seems the gcc.target/ia64/small-addr-1.c testcase is failing on ia64 since r210262 but clearly has been failing for much longer if compiled with C++ (just there is insufficient testsuite coverage). The problem is that for the model attribute (and apparently common_object on VMS too), the

Re: [PATCH, ifcvt] Fix PR63917

2014-11-20 Thread Richard Henderson
On 11/20/2014 10:48 AM, Zhenqiang Chen wrote: +/* Check X clobber CC reg or not. */ + +static bool +clobber_cc_p (rtx x) +{ + RTX_CODE code = GET_CODE (x); + int i; + + if (code == CLOBBER + REG_P (XEXP (x, 0)) + (GET_MODE_CLASS (GET_MODE (XEXP (x, 0))) == MODE_CC)) +

[PATCH] rs6000: Follow up for signed integer overflow fix

2014-11-20 Thread Markus Trippelsdorf
On 2014.11.20 at 08:59 -0500, David Edelsohn wrote: On Thu, Nov 20, 2014 at 8:27 AM, Markus Trippelsdorf mar...@trippelsdorf.de wrote: Running the testsuite after bootstrap-ubsan on gcc112 shows several issues. See https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63426 for the full list.

  1   2   >