Stream ODR types

2014-09-11 Thread Jan Hubicka
Hi, this patch adds computation and streaming of mangled type names. As suggested by Jason, it simple calls DECL_ASSEMBLER_NAME on all names types and lets C++ supply them. This makes it possible to stablish precise ODR type equivalency at LTO (till now we can do that only for complete class typ

Re: [PATCH] gcc parallel make check

2014-09-11 Thread Jakub Jelinek
On Wed, Sep 10, 2014 at 11:23:34PM +0200, Jakub Jelinek wrote: > On Wed, Sep 10, 2014 at 11:08:22PM +0200, Jakub Jelinek wrote: > > Perhaps better approach might be if we have some way how to synchronize > > among > > multiple expect processes and spawn only as many expects (of course, per > > che

RE: [PATCH][ARM] Fix -fcall-saved-rX for X > 7 with -Os -mthumb

2014-09-11 Thread Thomas Preud'homme
Ping? > -Original Message- > From: gcc-patches-ow...@gcc.gnu.org [mailto:gcc-patches- > ow...@gcc.gnu.org] On Behalf Of Thomas Preud'homme > Sent: Wednesday, August 20, 2014 9:28 AM > To: gcc-patches@gcc.gnu.org > Subject: [PATCH][ARM] Fix -fcall-saved-rX for X > 7 > > This patch makes -fc

Re: [PATCH] gcc parallel make check

2014-09-11 Thread Jakub Jelinek
On Thu, Sep 11, 2014 at 09:51:23AM +0200, Jakub Jelinek wrote: > I can't find how to query the -jN value passed to make check by the user > though, both $(MFLAGS) and $(MAKEFLAGS) only contain something like > --jobserver-fds=3,5 -j from which it is not possible to find out how many > goals would b

Re: Stream ODR types

2014-09-11 Thread Richard Biener
On Thu, 11 Sep 2014, Jan Hubicka wrote: > Hi, > this patch adds computation and streaming of mangled type names. As > suggested by Jason, > it simple calls DECL_ASSEMBLER_NAME on all names types and lets C++ supply > them. > This makes it possible to stablish precise ODR type equivalency at LTO

[AArch64] Tighten predicates on SIMD shift intrinsics

2014-09-11 Thread James Greenhalgh
Hi, There are a set of SIMD shift intrinsics that have very tight predicates on the range of immediates they can accept, but have been written with very loose predicates, bailing out with an error in final if there has been an issue. This is a problem if some pass figures out that a value passed

Re: [PATCH i386 AVX512] [36/n] Extend gather insn patterns.

2014-09-11 Thread Uros Bizjak
On Wed, Sep 10, 2014 at 7:40 PM, Uros Bizjak wrote: >> Patch in the bottom extends gather instructions support. >> >> Bootstrapped. >> AVX-512* tests on top of patch-set all pass >> under simulator. >> >> Is it ok for trunk? >> >> gcc/ >> * config/i386/sse.md >> (define_expand "_g

[PATCH][match-and-simplify] Dump what patterns get applied

2014-09-11 Thread Richard Biener
The following adds dumping what patterns get applied with -details. This is useful for tracking down which patterns cause a miscompile. Applied. Richard. 2014-09-11 Richard Biener * genmatch.c (output_line_directive): Add variant for dump files. (dt_simplify::gen): Write to

RE: [PATCH] RE: gcc parallel make check

2014-09-11 Thread VandeVondele Joost
> could it be that the pattern in normal1 should have been '[ab]*/ de*/ > [ep]*/*' ? I've checked that this fixes the bug in the current trunk split. I.e. files are stil tested, but now only once. Consider this change added to the previously submitted patch.

Re: [PATCH] Introduce LABEL_REF_LABEL

2014-09-11 Thread Richard Biener
On Thu, Sep 11, 2014 at 2:37 AM, David Malcolm wrote: > The following patch adds a macro: > > /* Get the label that a LABEL_REF references. */ > #define LABEL_REF_LABEL(LABREF) XCEXP (LABREF, 0, LABEL_REF) > > and uses it in place of XEXP (foo, 0) for "foo" known to be a > LABEL_REF, througho

Re: [PATCHv2] Vimrc config with GNU formatting

2014-09-11 Thread Richard Biener
On Wed, Sep 10, 2014 at 10:09 AM, Yury Gribov wrote: > Hi all, > > This is a second version of patch which adds a Vim config (.local.vimrc) > to root folder to allow automatic setup of GNU formatting for C/C++/Java/Lex > GCC files. > > I've updated the code with comments from Richard and Bernhard

Fix some tests

2014-09-11 Thread Bernd Schmidt
These are copy&paste errors (except the l3 instead of 13 which is just odd) and they show up on nvptx as type mismatches in the assembly because of the implicit declaration. Two of the tests had ^M characters which I also removed. Tested on x86_64-linux and committed as obvious. Bernd commit

Re: [PATCHv2] Vimrc config with GNU formatting

2014-09-11 Thread pinskia
> On Sep 10, 2014, at 9:47 PM, Yury Gribov wrote: > > Segher Boessenkool kernel.crashing.org> writes: >> I am saying it is very anti-social to make >> people's editor behave differently from what they are used to. >> ... >> The Emacs dir-locals file simply >> configures some settings for files

Re: [PATCHv2] Vimrc config with GNU formatting

2014-09-11 Thread Richard Biener
On Thu, Sep 11, 2014 at 11:06 AM, Richard Biener wrote: > On Wed, Sep 10, 2014 at 10:09 AM, Yury Gribov wrote: >> Hi all, >> >> This is a second version of patch which adds a Vim config (.local.vimrc) >> to root folder to allow automatic setup of GNU formatting for C/C++/Java/Lex >> GCC files. >>

Re: [PATCHv2] Vimrc config with GNU formatting

2014-09-11 Thread Yury Gribov
On 09/11/2014 01:14 PM, pins...@gmail.com wrote: I don't like auto formatting in any editor. Ok, so +1 for moving to contrib/. And some folks already have to deal with two more formatting styles already: Linux kernel and gnu. So if you add auto formatting to one, some folks are going to get c

Re: [PATCHv2] Vimrc config with GNU formatting

2014-09-11 Thread Yury Gribov
On 09/11/2014 01:18 PM, Richard Biener wrote: On Thu, Sep 11, 2014 at 11:06 AM, Richard Biener wrote: >On Wed, Sep 10, 2014 at 10:09 AM, Yury Gribov wrote: >>Hi all, >> >>This is a second version of patch which adds a Vim config (.local.vimrc) >>to root folder to allow automatic setup of GNU

ptx preliminary address space fixes [1/4]

2014-09-11 Thread Bernd Schmidt
I'm getting ready to submit the ptx port and the various changes that are necessary for it. To start with, here are some patches to deal with address space issues. ptx has the concept of an implicit address space: everything (objects on the stack as well as constant data and global variables)

ptx preliminary address space fixes [2/4]

2014-09-11 Thread Bernd Schmidt
This is a bug in SRA which replaces a memory reference without taking care to use the correct address space. Bootstrapped and tested together with the other patches on x86_64-linux. Ok? Bernd commit 6b9be6e3081c313c024aeabe2d70bc0f8146b429 Author: Bernd Schmidt Date: Wed Sep 10 16:32:56

ptx preliminary address space fixes [3/4]

2014-09-11 Thread Bernd Schmidt
The vectorizer can also replace a memory reference without ensuring it uses the correct address space. Bootstrapped and tested together with the other patches on x86_64-linux. Ok? Bernd commit e85dbde1aa3396b5e202aa736f96b232a6e11e86 Author: Bernd Schmidt Date: Wed Sep 10 16:33:40 2014 +

ptx preliminary address space fixes [4/4]

2014-09-11 Thread Bernd Schmidt
This one isn't a wrong-code issue, just a missed optimization. The strlen optimizations need to be made to look through ADDR_SPACE_CONVERT_EXPR to work on ptx. Bootstrapped and tested together with the other patches on x86_64-linux. Ok? Bernd commit 35d765aeba4ea7d0ba829b2b502c8c7af0c2472

Fix some more decl types in the Fortran frontend

2014-09-11 Thread Bernd Schmidt
This shows up as failures of gfortran.dg/bessel_[67].f90 on ptx. According to the man page, the correct declarations are double jn(int n, double x); double yn(int n, double x); and our calls match this, but the argument types are switched in the decls built by the Fortran frontend. On ptx, suc

Re: Fix some more decl types in the Fortran frontend

2014-09-11 Thread FX
Changing the fntype[2] looks wrong to me, as it is also used for powi(double, int) , where the argument order matches the current version: > gfc_define_builtin ("__builtin_powi", mfunc_double[2], > BUILT_IN_POWI, "powi", ATTR_CONST_NOTHROW_LEAF_LIST); (I don’t see any oth

[patch] libstdc++/63219 remove stray template parameter

2014-09-11 Thread Jonathan Wakely
Fix a mistake in the declaration. The trunk patch also fixes a few warnings that show up with -Wsystem-headers. Tested x86_64-linux, committed to trunk and the 4.9 branch. commit 4f02e789f77c1d72a75fad0206dbde7728f41c23 Author: Jonathan Wakely Date: Thu Sep 11 10:38:49 2014 +0100 PR

[PATCH][match-and-simplify] Fix PR41043

2014-09-11 Thread Richard Biener
So I managed to re-introduce PR41043 by implementing the fold_unary (T1)(X * Y) -> (T1)X * (T1)Y pattern on GIMPLE. That is because it re-applies recursively on a large multiplication tree and because if there are multiple uses of SSA names doing that will expand (aka un-CSE) the multiplication tr

[PATCH][match-and-simplify] Complete associate_* patterns

2014-09-11 Thread Richard Biener
The following patch completes transitioning tree-ssa-forwprop.c:associate_* to patterns. Bootstrapped and tested on x86_64-unknown-linux-gnu. Richard. 2014-09-11 Richard Biener * match-plusminus.pd: Complete associate_plusminus patterns. Properly guard all patterns. Add as

Re: [PATCH] RE: gcc parallel make check

2014-09-11 Thread Jonathan Wakely
On 11 September 2014 07:22, VandeVondele Joost wrote: > Jakub, > >> First of all, the -j2 testing shows more tests tested in gcc and libstdc++: >> >>-# of expected passes 10133 >>+# of expected passes 10152 >> >>+PASS: 23_containers/set/modifiers/erase/abi_tag.cc (test for exce

[PATCH 1/n] OpenMP 4.0 offloading infrastructure

2014-09-11 Thread Ilya Verbin
Hello, I would like to start merging offloading-related patches from gomp-4_0-branch to trunk. This is the first patch (from r202620), which adds a splay tree and memory mapping to libgomp. I removed temporarily device 257 from it. Bootstrapped and regtested on x86_64-linux. 2014-09-11 Jakub

Re: ptx preliminary address space fixes [1/4]

2014-09-11 Thread Richard Biener
On Thu, Sep 11, 2014 at 12:11 PM, Bernd Schmidt wrote: > I'm getting ready to submit the ptx port and the various changes that are > necessary for it. To start with, here are some patches to deal with address > space issues. > > ptx has the concept of an implicit address space: everything (objects

Re: ptx preliminary address space fixes [2/4]

2014-09-11 Thread Richard Biener
On Thu, Sep 11, 2014 at 12:12 PM, Bernd Schmidt wrote: > This is a bug in SRA which replaces a memory reference without taking care > to use the correct address space. > > Bootstrapped and tested together with the other patches on x86_64-linux. > Ok? Ok (with adjustments necessary for renaming ap

Re: [PATCH 1/n] OpenMP 4.0 offloading infrastructure

2014-09-11 Thread Jakub Jelinek
On Thu, Sep 11, 2014 at 03:28:02PM +0400, Ilya Verbin wrote: > I would like to start merging offloading-related patches from gomp-4_0-branch > to trunk. > This is the first patch (from r202620), which adds a splay tree and memory > mapping to libgomp. > I removed temporarily device 257 from it.

Re: ptx preliminary address space fixes [3/4]

2014-09-11 Thread Richard Biener
On Thu, Sep 11, 2014 at 12:12 PM, Bernd Schmidt wrote: > The vectorizer can also replace a memory reference without ensuring it uses > the correct address space. > > Bootstrapped and tested together with the other patches on x86_64-linux. > Ok? Seeing this it would be nice to abstract away the ex

Re: [PATCH][match-and-simplify] Complete associate_* patterns

2014-09-11 Thread Marc Glisse
On Thu, 11 Sep 2014, Richard Biener wrote: + /* We can't reassociate floating-point or fixed-point plus or minus +because of saturation to +-Inf. */ + (if (!FLOAT_TYPE_P (type) && !FIXED_POINT_TYPE_P (type)) Do you remember if there was a particular reason not to add || flag_associative

Re: ptx preliminary address space fixes [4/4]

2014-09-11 Thread Richard Biener
On Thu, Sep 11, 2014 at 12:12 PM, Bernd Schmidt wrote: > This one isn't a wrong-code issue, just a missed optimization. The strlen > optimizations need to be made to look through ADDR_SPACE_CONVERT_EXPR to > work on ptx. > > Bootstrapped and tested together with the other patches on x86_64-linux.

Re: [PATCH][match-and-simplify] Complete associate_* patterns

2014-09-11 Thread Richard Biener
On Thu, 11 Sep 2014, Marc Glisse wrote: > On Thu, 11 Sep 2014, Richard Biener wrote: > > > + /* We can't reassociate floating-point or fixed-point plus or minus > > +because of saturation to +-Inf. */ > > + (if (!FLOAT_TYPE_P (type) && !FIXED_POINT_TYPE_P (type)) > > Do you remember if ther

[PATCH][match-and-simplify] Minor fixes to match-plusminus.pd

2014-09-11 Thread Richard Biener
More closely match-up to tree-ssa-forwprop.c code. Committed. Richard. 2014-09-11 Richard Biener * match-plusminus.pd: More closely match tree-ssa-forwprop.c code. Index: gcc/match-plusminus.pd === --- gcc/match-plusmi

[AArch64] Cheap fix for argument types of vmull_high_lane_{us}{16,32}

2014-09-11 Thread James Greenhalgh
Hi, I'd been putting this patch off in the hope that I might find time to move these intrinsics to a C/builtin implementation, but it is probably better to get them right for now and come back to improving them later. All four of these suffer the same problem, their "lane" argument should be a 6

Re: [PATCH 1/n] OpenMP 4.0 offloading infrastructure

2014-09-11 Thread Ilya Verbin
On 11 Sep 13:34, Jakub Jelinek wrote: > I think it is not useful to split patches on in which sequence they were > added to the tree. I'd prefer patches for functional parts for the > differences between trunk and corresponding offloading branch. > So, one patch should be all the libgomp changes e

[PATCH][match-and-simplify] Pattern for simplify_conversion_from_bitmask

2014-09-11 Thread Richard Biener
Applied. Richard. 2014-09-11 Richard Biener * match-plusminus.pd: Fix typo. * match-conversions.pd: Add pattern for simplify_conversion_from_bitmask. Index: gcc/match-conversions.pd === --- gcc/match-con

Re: [PATCH][match-and-simplify] Minor fixes to match-plusminus.pd

2014-09-11 Thread Marc Glisse
/* ~A + 1 -> -A */ (simplify (plus (bit_not @0) integer_onep@1) (if (TREE_CODE (TREE_TYPE (@1)) != COMPLEX_TYPE || (TREE_CODE (@1) == COMPLEX_CST && integer_onep (TREE_REALPART (@1)) && integer_onep (TREE_IMAGPART (@1 (negate @0))) the complex par

Re: [PATCH][match-and-simplify] Minor fixes to match-plusminus.pd

2014-09-11 Thread Richard Biener
On Thu, 11 Sep 2014, Marc Glisse wrote: > /* ~A + 1 -> -A */ > (simplify >(plus (bit_not @0) integer_onep@1) >(if (TREE_CODE (TREE_TYPE (@1)) != COMPLEX_TYPE > || (TREE_CODE (@1) == COMPLEX_CST > && integer_onep (TREE_REALPART (@1)) > && integer_onep (TR

[linaro/gcc-4_9-branch] Merge from gcc-4_9-branch and backports

2014-09-11 Thread Yvan Roux
Hi all we have merged the gcc-4_9-branch into linaro/gcc-4_9-branch up to revision 214896 as r215060. We have also backported this set of revisions: r211717 as r214313 : [AArch32] TARGET_ATOMIC_ASSIGN_EXPAND_FENV hook r212927 as r214314 : [AArch32] Enable arm target in ira-shrinkwrap-prep* testc

[PATCH i386 AVX512] [37/n] Extend max/min insn patterns.

2014-09-11 Thread Kirill Yukhin
Hello, Patch in the bottom extends integer max/min patterns. Also, it seems, like rounding variant was generated for maxmin patterns. Bug fixed. Bootstrapped. AVX-512* tests on top of patch-set all pass under simulator. Is it ok for trunk? gcc/ * config/i386/sse.md (VI128_256): Delete.

[PATCH i386 AVX512] [38/n] Extend vpternlog, valign, vrotate insn patterns.

2014-09-11 Thread Kirill Yukhin
Hello, Patch in the bottom extends patterns for rotate, ternlog and align. Bootstrapped. AVX-512* tests on top of patch-set all pass under simulator. Is it ok for trunk? gcc/ * config/i386/sse.md (define_mode_iterator VI48_AVX512VL): New. (define_expand "_vternlog_maskz")

ptx preliminary rtl patches [2/4]

2014-09-11 Thread Bernd Schmidt
There's some code in get_uncond_jump_length to emit and then delete a label and a jump. On ptx we skip register allocation and reload, and this fails a "reload_completed || bb != NULL" assert in df_insn_delete. Fixed by instead emitting the two insns into a sequence which we then just discard.

ptx preliminary rtl patches [1/4]

2014-09-11 Thread Bernd Schmidt
The nvptx backend is somewhat unusual in that call insns set a pseudo. The combiner is surprised by this and allows combining them into other insns, which remain as INSN rather than CALL_INSN. Aborts ensue. Bootstrapped and tested on x86_64-linux, together with the other patches. Ok? Bernd

ptx preliminary rtl patches [3/4]

2014-09-11 Thread Bernd Schmidt
nvptx will be the first port to use BImode and have STORE_FLAG_VALUE==-1. That has exposed a bug in combine where we can end up calling num_sign_bit_copies for a BImode value. However, the return value is always 1 in that case, so it doesn't tell us anything and is going to be misinterpreted by

ptx preliminary rtl patches [4/4]

2014-09-11 Thread Bernd Schmidt
It turns out that we're calling eliminate_regs for global variables which can't possibly have eliminable regs in their decl. At that point, reg_eliminate can be NULL. This patch avoids unnecessary work, and allows us to add an assert to eliminate_regs later. Bootstrapped and tested on x86_64-l

Re: [PATCH][ARM] Enable auto-vectorization for copysignf

2014-09-11 Thread Christophe Lyon
Hi Jiong, On 9 September 2014 12:59, Ramana Radhakrishnan wrote: > On Mon, Aug 18, 2014 at 11:31 AM, Jiong Wang wrote: >> this patch enable auto-vectorization for copysignf by using vector >> bit selection instruction on arm32 when neon available. >> I've noticed that your new testcase fails (t

C++ PATCH for c++/63139 (variadic alias templates)

2014-09-11 Thread Jason Merrill
This testcase was breaking because multiple substitutions of ContainerEndA> into T... would lose the original arguments when we pull the pattern out of the intermediate expansion. So the added assert guards against that happening again, and we avoid the situation by simplifying the handling of

Re: [PATCH][AArch64 Testsuite] Add test of vld[234]q? intrinsic

2014-09-11 Thread Christophe Lyon
On 9 September 2014 12:19, Marcus Shawcroft wrote: > On 8 September 2014 11:35, Alan Lawrence wrote: >> This adds a test of all the variants of vld2, vld2q, vld3, vld3q, vld4, and >> vld4q. These all use typexNxM structs and the OI/CI/XImode mechanism, so the >> test cross-checks this against pla

Re: [PATCH][ARM] Enable auto-vectorization for copysignf

2014-09-11 Thread Jiong Wang
On 11/09/14 14:43, Christophe Lyon wrote: Hi Jiong, On 9 September 2014 12:59, Ramana Radhakrishnan wrote: On Mon, Aug 18, 2014 at 11:31 AM, Jiong Wang wrote: this patch enable auto-vectorization for copysignf by using vector bit selection instruction on arm32 when neon available. I've no

Re: [PATCH][AArch64 Testsuite] Add test of vld[234]q? intrinsic

2014-09-11 Thread Alan Lawrence
Yes, I had seen that, and the failure is expected. AFAICT the test is correct; but the implementation of vld[234] is incorrect on bigendian, because of https://gcc.gnu.org/bugzilla/show_bug.cgi?id=59810 . HTH, Alan. Christophe Lyon wrote: On 9 September 2014 12:19, Marcus Shawcroft wrote:

[PATCH 4.9] Backported r214946: One-liner: fix type of an add in SIMD registers

2014-09-11 Thread Alan Lawrence
Original patch applied cleanly to 4.9 HEAD as r215175. Marcus Shawcroft wrote: On 20 August 2014 10:25, Alan Lawrence wrote: The SIMD-register variant is miscategorized as "alu_reg" despite not using any ALU registers, and should be "neon_add" for e.g. scheduling. Tested with check-gcc and ch

Re: [AArch64] Cheap fix for argument types of vmull_high_lane_{us}{16,32}

2014-09-11 Thread Marcus Shawcroft
On 11 September 2014 13:15, James Greenhalgh wrote: > > Hi, > > I'd been putting this patch off in the hope that I might find > time to move these intrinsics to a C/builtin implementation, but it > is probably better to get them right for now and come back to improving > them later. > > All four o

RE: [PATCH] RE: gcc parallel make check

2014-09-11 Thread VandeVondele Joost
>> could it be that the pattern in normal1 should have been '[ab]*/ de*/ >> [ep]*/*' ? > >Yes, we are running these tests multiple times: > >PASS: 23_containers/map/modifiers/erase/abi_tag.cc (test for excess errors) >PASS: 23_containers/multimap/modifiers/erase/abi_tag.cc (test for excess >erro

Re: [PATCH] RE: gcc parallel make check

2014-09-11 Thread Jonathan Wakely
On 11 September 2014 15:45, VandeVondele Joost wrote: > >>> could it be that the pattern in normal1 should have been '[ab]*/ de*/ >>> [ep]*/*' ? >> >>Yes, we are running these tests multiple times: >> >>PASS: 23_containers/map/modifiers/erase/abi_tag.cc (test for excess errors) >>PASS: 23_contai

Re: [PATCH] gcc parallel make check

2014-09-11 Thread Jakub Jelinek
On Thu, Sep 11, 2014 at 10:06:40AM +0200, Jakub Jelinek wrote: > There is an option to touch say *-parallel/finished file once any of the > check-parallel-gcc-{1,2,...} goals is done (because when it finishes, it > means all the tests for the particular check-$lang that are parallelizable > have ei

Re: [C++ Patch] PR 61489

2014-09-11 Thread Jason Merrill
Do we need a documentation update? Jason

Re: [PATCH][AArch64 Testsuite] Add test of vld[234]q? intrinsic

2014-09-11 Thread Christophe Lyon
Ha OK, I had misunderstood your first email, and thought you had the test also pass in big endian. Thanks for the clarification. On 11 September 2014 15:56, Alan Lawrence wrote: > Yes, I had seen that, and the failure is expected. AFAICT the test is > correct; but the implementation of vld[234]

Re: [AArch64] Cheap fix for argument types of vmull_high_lane_{us}{16,32}

2014-09-11 Thread James Greenhalgh
On Thu, Sep 11, 2014 at 03:26:49PM +0100, Marcus Shawcroft wrote: > On 11 September 2014 13:15, James Greenhalgh wrote: > > > > Hi, > > > > I'd been putting this patch off in the hope that I might find > > time to move these intrinsics to a C/builtin implementation, but it > > is probably better t

RE: [PATCH 1/4] AArch64: Fix register_move_cost

2014-09-11 Thread Wilco Dijkstra
Patch attached for commit as I don't have write access. > -Original Message- > From: Marcus Shawcroft [mailto:marcus.shawcr...@gmail.com] > Sent: 04 September 2014 16:23 > To: Wilco Dijkstra > Cc: gcc-patches@gcc.gnu.org > Subject: Re: [PATCH 1/4] AArch64: Fix register_move_cost > > On 4

RE: [PATCH 2/4] AArch64: Fix cost for Q register moves

2014-09-11 Thread Wilco Dijkstra
Patch attached for commit as I don't have write access. ChangeLog: 2014-09-11 Wilco Dijkstra * gcc/config/aarch64/aarch64.c (aarch64_register_move_cost): Fix Q register move handling. (generic_regmove_cost): Undo raised FP2FP move cost as Q register moves are now hand

RE: [PATCH 3/4] AArch64: Cleanup inconsistent use of __extension__

2014-09-11 Thread Wilco Dijkstra
OK, I'll skip this patch for now as HAVE_DESIGNATED_INITIALIZERS should always be false, so there is no point in cleaning it up. > -Original Message- > From: Marcus Shawcroft [mailto:marcus.shawcr...@gmail.com] > Sent: 04 September 2014 16:42 > To: Wilco Dijkstra > Cc: gcc-patches@gcc.gnu.

RE: [PATCH 4/4] AArch64: Add regmove_costs for Cortex-A57 and A53

2014-09-11 Thread Wilco Dijkstra
I've kept the integer move costs at 1 - patch attached for commit as I don't have write access. ChangeLog: 2014-09-11 Wilco Dijkstra * gcc/config/aarch64/aarch64.c: (cortexa57_regmove_cost): New cost table for A57. (cortexa53_regmove_cost): New cost table for A53.

Re: [wwwdocs] Mention Cilk Plus support

2014-09-11 Thread Aldy Hernandez
Gerald Pfeifer writes: > Hi Igor, > > On Wed, 10 Sep 2014, Zamyatin, Igor wrote: >> + Complete support for http://cilk.org";>Cilk Plus >> features was added to GCC >> + [2014-09-02] features *were* added, plural. >> + Contributed by Jakub Jelinek, Iyer Balaji and Igor >> Zamyatin. Wh

Re: Fix Libreoffice LTO build failure

2014-09-11 Thread Aldy Hernandez
Jan Hubicka writes: > Hi, > Libreoffice fails to build because ltrans tries to fetch in variable > constructor > that is not shipped there. Fixed thus. > > Bootstrapped/regtested x86_64-linux. > > Honza > > * varpool.c (varpool_node::ctor_useable_for_folding_p): Do not try > to acc

Re: ptx preliminary rtl patches [2/4]

2014-09-11 Thread Steven Bosscher
On Thu, Sep 11, 2014 at 3:25 PM, Bernd Schmidt wrote: > Bootstrapped and tested on x86_64-linux, together with the other patches. > Ok? This is OK. Ciao! Steven

Re: [PATCH][ARM] Enable auto-vectorization for copysignf

2014-09-11 Thread Jiong Wang
On 11/09/14 14:55, Jiong Wang wrote: On 11/09/14 14:43, Christophe Lyon wrote: Hi Jiong, On 9 September 2014 12:59, Ramana Radhakrishnan wrote: On Mon, Aug 18, 2014 at 11:31 AM, Jiong Wang wrote: this patch enable auto-vectorization for copysignf by using vector bit selection instruction o

Re: ptx preliminary rtl patches [3/4]

2014-09-11 Thread Steven Bosscher
On Thu, Sep 11, 2014 at 3:26 PM, Bernd Schmidt wrote: > nvptx will be the first port to use BImode and have STORE_FLAG_VALUE==-1. > That has exposed a bug in combine where we can end up calling > num_sign_bit_copies for a BImode value. However, the return value is always > 1 in that case, so it doe

Re: ptx preliminary rtl patches [4/4]

2014-09-11 Thread Steven Bosscher
On Thu, Sep 11, 2014 at 3:27 PM, Bernd Schmidt wrote: > It turns out that we're calling eliminate_regs for global variables which > can't possibly have eliminable regs in their decl. At that point, > reg_eliminate can be NULL. This patch avoids unnecessary work, and allows us > to add an assert to

[jit] MAINTAINERS: Add myself as jit maintainer

2014-09-11 Thread David Malcolm
Committed to branch dmalcolm/jit: ChangeLog.jit: * MAINTAINERS (Various Maintainers): Add myself as jit maintainer. gcc/jit/ChangeLog.jit: * TODO.rst (Initial Release): Update for addition of myself as maintainer. --- ChangeLog.jit | 4 MAINTAINERS

Re: [PATCHv2] Vimrc config with GNU formatting

2014-09-11 Thread Yury Gribov
On 09/11/2014 02:10 PM, Yury Gribov wrote: On 09/11/2014 01:18 PM, Richard Biener wrote: On Thu, Sep 11, 2014 at 11:06 AM, Richard Biener wrote: >On Wed, Sep 10, 2014 at 10:09 AM, Yury Gribov wrote: >>Hi all, >> >>This is a second version of patch which adds a Vim config (.local.vimrc) >>to r

Re: ptx preliminary rtl patches [3/4]

2014-09-11 Thread Bernd Schmidt
On 09/11/2014 05:55 PM, Steven Bosscher wrote: On Thu, Sep 11, 2014 at 3:26 PM, Bernd Schmidt wrote: nvptx will be the first port to use BImode and have STORE_FLAG_VALUE==-1. That has exposed a bug in combine where we can end up calling num_sign_bit_copies for a BImode value. However, the return

Re: ptx preliminary rtl patches [3/4]

2014-09-11 Thread Steven Bosscher
On Thu, Sep 11, 2014 at 6:06 PM, Bernd Schmidt wrote: > On 09/11/2014 05:55 PM, Steven Bosscher wrote: >> >> On Thu, Sep 11, 2014 at 3:26 PM, Bernd Schmidt wrote: >>> >>> nvptx will be the first port to use BImode and have STORE_FLAG_VALUE==-1. >>> That has exposed a bug in combine where we can end

[PATCH 1/2] Extend libiberty to allow append stdout and stderr to existing files.

2014-09-11 Thread Maxim Ostapenko
Working on ICE debugging patch, I've noted that libiberty interface doesn't allow to append stdout and stderr to existing files. This small patch provides two new flags for pex_run and extends open_write interface to handle the issue. Does this patch look sane? -Maxim libiberty/ChangeLog: 2

Re: ptx preliminary rtl patches [3/4]

2014-09-11 Thread Bernd Schmidt
On 09/11/2014 06:15 PM, Steven Bosscher wrote: On Thu, Sep 11, 2014 at 6:06 PM, Bernd Schmidt wrote: On 09/11/2014 05:55 PM, Steven Bosscher wrote: On Thu, Sep 11, 2014 at 3:26 PM, Bernd Schmidt wrote: nvptx will be the first port to use BImode and have STORE_FLAG_VALUE==-1. That has exposed

[PATCH 2/2] Add patch for debugging compiler ICEs.

2014-09-11 Thread Maxim Ostapenko
Hi, Joseph, Thanks for your review! I've added comments for new functions and replaced POSIX subprocess interfaces with libiberty's ones. In general, when cc1 or cc1plus ICE-es, we try to reproduce the bug by running compiler 3 times and comparing stderr and stdout on each attempt with respe

Re: Fix some more decl types in the Fortran frontend

2014-09-11 Thread Bernd Schmidt
On 09/11/2014 12:37 PM, FX wrote: Changing the fntype[2] looks wrong to me, as it is also used for powi(double, int) , where the argument order matches the current version: Ah, sorry. I only looked at mathbuiltins.def and didn't spot the other use. It looks like fntype[5] is actually what you

Re: Fix some more decl types in the Fortran frontend

2014-09-11 Thread FX
> So it looks like the following patch would be the right thing? I would think so. FX

Re: [PATCH 1/2] Extend libiberty to allow append stdout and stderr to existing files.

2014-09-11 Thread Ian Lance Taylor
On Thu, Sep 11, 2014 at 9:18 AM, Maxim Ostapenko wrote: > > Working on ICE debugging patch, I've noted that libiberty interface doesn't > allow to append stdout and stderr to existing files. > > This small patch provides two new flags for pex_run and extends open_write > interface to handle the is

Re: ptx preliminary rtl patches [3/4]

2014-09-11 Thread Steven Bosscher
On Thu, Sep 11, 2014 at 6:19 PM, Bernd Schmidt wrote: >>> What do you expect that function to do different? It returns the correct >>> value. >>> >> >> No different. Just that if you want to check whether DECL is a global >> variable then we have a predicate for it. So why use TREE_STATIC >> instea

Re: ptx preliminary rtl patches [3/4]

2014-09-11 Thread Bernd Schmidt
On 09/11/2014 06:34 PM, Steven Bosscher wrote: On Thu, Sep 11, 2014 at 6:19 PM, Bernd Schmidt wrote: What do you expect that function to do different? It returns the correct value. No different. Just that if you want to check whether DECL is a global variable then we have a predicate for it.

Re: [PATCH] gcc parallel make check

2014-09-11 Thread Tom Tromey
> "Jakub" == Jakub Jelinek writes: Jakub> I fear that is going to be too expensive, because e.g. all the Jakub> caching that dejagnu and our tcl stuff does would be gone, all Jakub> the tests for lp64 etc. would need to be repeated for each test. In gdb I arranged to have this stuff saved i

Re: DBL_DENORM_MIN should never be 0

2014-09-11 Thread Joseph S. Myers
On Thu, 11 Sep 2014, Marc Glisse wrote: > I don't know what kind of test you have in mind, so I added a runtime test. I > am just guessing that it probably fails on alpha because of PR 58757, I can't > test. Computing d+d may be even more likely to trigger potential issues, if > that's the goal.

Re: [C++ Patch] PR 61489

2014-09-11 Thread Paolo Carlini
Hi, On 09/11/2014 05:06 PM, Jason Merrill wrote: Do we need a documentation update? I agree. Something like the below would do? Thanks, Paolo. 2014-09-11 Paolo Carlini PR c++/61489 * doc/invoke.texi ([-Wmissing-field-initializers]): Update. /cp 2014-09-11

Re: Stream ODR types

2014-09-11 Thread Jason Merrill
On 09/11/2014 03:06 AM, Jan Hubicka wrote: http://kam.mff.cuni.cz/~hubicka/odr-warnings-firefox.txt /aux/hubicka/firefox4/content/media/fmp4/ffmpeg/libav53/include/libavcodec/avcodec.h:997:0: note: the first difference of corresponding definitions is field ‘data’ uint8_t *data[AV_NUM_DAT

Re: [C++ Patch] PR 61489

2014-09-11 Thread Jason Merrill
OK, thanks. Jason

Re: Stream ODR types

2014-09-11 Thread Jan Hubicka
> On Thu, 11 Sep 2014, Jan Hubicka wrote: > > > Hi, > > this patch adds computation and streaming of mangled type names. As > > suggested by Jason, > > it simple calls DECL_ASSEMBLER_NAME on all names types and lets C++ supply > > them. > > This makes it possible to stablish precise ODR type eq

Re: Stream ODR types

2014-09-11 Thread Jan Hubicka
> On 09/11/2014 03:06 AM, Jan Hubicka wrote: > >http://kam.mff.cuni.cz/~hubicka/odr-warnings-firefox.txt > > >/aux/hubicka/firefox4/content/media/fmp4/ffmpeg/libav53/include/libavcodec/avcodec.h:997:0: > > note: the first difference of corresponding definitions is field ‘data’ > > uint8_t *dat

RE: [PATCH] gcc parallel make check

2014-09-11 Thread VandeVondele Joost
> Here is a patch I'm testing now: Hi Jakub, I also tested your patch to compare timings vs a newer patch (v8) I'll send soon == patch v8 == make -j32 -k == check-fortran 4m58.178s check-c++ ~10m check-c ~10m check 15m29.873s == patch Jakub check-c++ ~20m check-fortran

Re: [GOOGLE] Fix gcda build info support

2014-09-11 Thread Teresa Johnson
On Wed, Sep 10, 2014 at 3:31 PM, Xinliang David Li wrote: > Can you share the buildinfo reader code with the merger by defininig > some hooks for different callbacks? Do you mean the two blobs of code guarded by 'if (tag == GCOV_TAG_BUILD_INFO)' that I added here and the existing one in gcov_exit

Re: [GOOGLE] Fix gcda build info support

2014-09-11 Thread Xinliang David Li
Yes, that is what I meant. David On Thu, Sep 11, 2014 at 10:09 AM, Teresa Johnson wrote: > On Wed, Sep 10, 2014 at 3:31 PM, Xinliang David Li wrote: >> Can you share the buildinfo reader code with the merger by defininig >> some hooks for different callbacks? > > Do you mean the two blobs of co

Re: [PATCH] gcc parallel make check

2014-09-11 Thread Jakub Jelinek
On Thu, Sep 11, 2014 at 05:04:56PM +, VandeVondele Joost wrote: > > Here is a patch I'm testing now: > > I also tested your patch to compare timings vs a newer patch (v8) I'll send > soon > > == patch v8 == make -j32 -k == > check-fortran 4m58.178s > check-c++ ~10m > check-c ~10

Re: [PATCH] Implement -fsanitize=object-size

2014-09-11 Thread Marek Polacek
Sorry I let this slide. On Mon, Jul 14, 2014 at 01:54:13PM +0200, Jakub Jelinek wrote: > On Sun, Jul 13, 2014 at 07:55:44PM +0200, Marek Polacek wrote: > > 2014-07-13 Marek Polacek > > > > * ubsan.h (struct ubsan_mismatch_data): > > Missing description. Fixed. > > + gcc_assert (TREE_C

Re: DBL_DENORM_MIN should never be 0

2014-09-11 Thread Marc Glisse
On Thu, 11 Sep 2014, Joseph S. Myers wrote: On Thu, 11 Sep 2014, Marc Glisse wrote: I don't know what kind of test you have in mind, so I added a runtime test. I am just guessing that it probably fails on alpha because of PR 58757, I can't test. Computing d+d may be even more likely to trigger

Re: [PATCH i386 AVX512] [37/n] Extend max/min insn patterns.

2014-09-11 Thread Uros Bizjak
On Thu, Sep 11, 2014 at 3:00 PM, Kirill Yukhin wrote: > Patch in the bottom extends integer max/min patterns. > Also, it seems, like rounding variant was generated > for maxmin patterns. Bug fixed. > > Bootstrapped. > AVX-512* tests on top of patch-set all pass > under simulator. > > Is it ok for

Re: [PATCH i386 AVX512] [38/n] Extend vpternlog, valign, vrotate insn patterns.

2014-09-11 Thread Uros Bizjak
On Thu, Sep 11, 2014 at 3:16 PM, Kirill Yukhin wrote: > Patch in the bottom extends patterns for rotate, ternlog and align. > > Bootstrapped. > AVX-512* tests on top of patch-set all pass > under simulator. > > Is it ok for trunk? > > gcc/ > * config/i386/sse.md > (define_mode_ite

Re: [PATCH] gcc parallel make check

2014-09-11 Thread Jakub Jelinek
On Thu, Sep 11, 2014 at 07:26:37PM +0200, Jakub Jelinek wrote: > right now. The patch below intends to serialize the content of the > problematic *.exp tests (the first runtest to reach one of those will simply > run all the tests from that *.exp file, others will skip it). Forgotten patch below.

Re: [PATCH i386 AVX512] [37/n] Extend max/min insn patterns.

2014-09-11 Thread H.J. Lu
On Thu, Sep 11, 2014 at 11:10 AM, Uros Bizjak wrote: > On Thu, Sep 11, 2014 at 3:00 PM, Kirill Yukhin > wrote: > >> Patch in the bottom extends integer max/min patterns. >> Also, it seems, like rounding variant was generated >> for maxmin patterns. Bug fixed. >> >> Bootstrapped. >> AVX-512* test

RE: [PATCH] gcc parallel make check

2014-09-11 Thread VandeVondele Joost
> And these Fortran inter-test dependencies, which Tobias told me is > PR56408. > For PR56408 we need some fix. BTW, is there anything special about Fortran ? There are at least 180 test files that contain 'dg-additional-sources' some in a very non-local way: ./objc.dg/foreach-2.m: /* {

  1   2   >