Re: [PATCH] Don't necessarily emit object size checks for ARRAY_REFs

2014-11-11 Thread Jakub Jelinek
On Thu, Nov 06, 2014 at 11:19:08PM +0100, Marek Polacek wrote: First part of this patch is about removing the useless check that we talked about earlier today. The rest is about not emitting UBSAN_OBJECT_SIZE checks (those often come with multiple statements to compute a pointer difference)

Re: [PATCH, i386]: Use std::swap

2014-11-11 Thread Uros Bizjak
On Mon, Nov 10, 2014 at 10:51 PM, Marc Glisse marc.gli...@inria.fr wrote: On Mon, 10 Nov 2014, Richard Biener wrote: No extra includes required? utility is already included in wide-int.h and rtl.h, should probably move those. Bah, we hit a problem. std::swap has been moved from algorithm

Re: [PATCH] c++ify sreal

2014-11-11 Thread Jakub Jelinek
On Tue, Nov 11, 2014 at 08:51:41AM +0100, Uros Bizjak wrote: Hello! do $subject, and cleanup for always 64 bit hwi. bootstrapped + regtested x86_64-unknown-linux-gnu, ok? Ok. Can you please replace remaining HOST_WIDE_INT vestiges in there with [u]int64_t please? This patch

Re: [gimple-classes, committed 4/6] tree-ssa-tail-merge.c: Use gassign

2014-11-11 Thread Eric Botcazou
I just don't like all the as_a/is_a stuff enforced everywhere, it means more typing, more temporaries, more indentation. So, as I view it, instead of the checks being done cheaply (yes, I think the gimple checking as we have right now is very cheap) under the hood by the accessors

Re: [Patch,ARM/Thumb1]Fix 'mov' instruction for Thumb-1 UAL

2014-11-11 Thread Ramana Radhakrishnan
On 11/11/14 08:40, Terry Guo wrote: Hi there, Attached patch intends to fix below trunk failure caused by recent thumb-1 UAL patch: /tmp/cc9EfnXy.s: Assembler messages: /tmp/cc9EfnXy.s:69: Error: MOV Rd, Rs with two low registers is not permitted on this architecture -- `mov r6,r7' Now for

[Patch,ARM/Thumb1]Fix 'mov' instruction for Thumb-1 UAL

2014-11-11 Thread Terry Guo
Hi there, Attached patch intends to fix below trunk failure caused by recent thumb-1 UAL patch: /tmp/cc9EfnXy.s: Assembler messages: /tmp/cc9EfnXy.s:69: Error: MOV Rd, Rs with two low registers is not permitted on this architecture -- `mov r6,r7' Now for pre-v6 Thumb-1, the 'movs' will be used

Re: [AARCH64, NEON] Any regression testcase for AARCH64 NEON intrinsics in GCC testsuite?

2014-11-11 Thread Yangfei (Felix)
Hello, I have written a testsuite for AArch32 Neon intrinsics, available at https://gitorious.org/arm-neon-tests I am in the process of converting in into DejaGnu form for integration into GCC. My most recent submission was

Re: [PATCH] c++ify sreal

2014-11-11 Thread Uros Bizjak
On Tue, Nov 11, 2014 at 9:11 AM, Jakub Jelinek ja...@redhat.com wrote: do $subject, and cleanup for always 64 bit hwi. bootstrapped + regtested x86_64-unknown-linux-gnu, ok? Ok. Can you please replace remaining HOST_WIDE_INT vestiges in there with [u]int64_t please? This

Re: [PATCH] c++ify sreal

2014-11-11 Thread Jakub Jelinek
On Tue, Nov 11, 2014 at 09:45:38AM +0100, Uros Bizjak wrote: On Tue, Nov 11, 2014 at 9:11 AM, Jakub Jelinek ja...@redhat.com wrote: do $subject, and cleanup for always 64 bit hwi. bootstrapped + regtested x86_64-unknown-linux-gnu, ok? Ok. Can you please replace remaining

Re: [match-and-simplify] operator-lists in expression

2014-11-11 Thread Richard Biener
On Mon, Nov 10, 2014 at 2:39 PM, Prathamesh Kulkarni bilbotheelffri...@gmail.com wrote: Hi, This patch adds support for operator-lists to be used in expression. I reuse operator-list as the iterator. This is not really valid since user-defined operator-lists cannot be iterator in 'for', but

Fix libtool.m4 for Darwin = 10.10

2014-11-11 Thread FX
libtool.m4 has a globbing pattern that assumes Mac OS version numbers 10.x are one digit for x. That’s unfortunate, especially now that Mac OS 10.10 was released :) libtool has released a new version to fix this bug. The attached patch, bootstrapped and regtested on x86_64-apple-darwin14 (Mac

Re: Fix libtool.m4 for Darwin = 10.10

2014-11-11 Thread Jakub Jelinek
On Tue, Nov 11, 2014 at 09:58:45AM +0100, FX wrote: libtool.m4 has a globbing pattern that assumes Mac OS version numbers 10.x are one digit for x. That’s unfortunate, especially now that Mac OS 10.10 was released :) libtool has released a new version to fix this bug. The attached patch,

Re: [PATCH][Revisedx2] Fix PR63750

2014-11-11 Thread Richard Biener
On Mon, Nov 10, 2014 at 3:58 PM, FX fxcoud...@gmail.com wrote: My knowledge of C++ is limited, but I think this additional patch to wide-int.h is the proper fix to the issue reported by Jack, no? I’m bootstrapping it right now, it already passed stage 2. Boostrapped succeeded on

Re: Fix libtool.m4 for Darwin = 10.10

2014-11-11 Thread FX
Your patch contains lots of other changes, not just the libtool.m4 change. Please filter those out. Sorry about that. The patch attached should be clean, and the ChangeLog entries formatted as they should. OK to commit? This touches so many area it probably needs a build maintainer or

Re: [PATCH][Revisedx2] Fix PR63750

2014-11-11 Thread FX
Ok. Committed as rev. 217342. Thanks for the review! FX

Re: [PATCH] c++ify sreal

2014-11-11 Thread Marc Glisse
On Tue, 11 Nov 2014, Jakub Jelinek wrote: On Tue, Nov 11, 2014 at 08:51:41AM +0100, Uros Bizjak wrote: Hello! do $subject, and cleanup for always 64 bit hwi. bootstrapped + regtested x86_64-unknown-linux-gnu, ok? Ok. Can you please replace remaining HOST_WIDE_INT vestiges in there with

RE: [2/2][PATCH,ARM]Generate UAL assembly code for Thumb-1 target

2014-11-11 Thread Terry Guo
-Original Message- From: Terry Guo [mailto:terry@arm.com] Sent: Friday, November 07, 2014 6:01 PM To: 'Christian Bruel' Cc: gcc-patches@gcc.gnu.org Subject: RE: [2/2][PATCH,ARM]Generate UAL assembly code for Thumb-1 target -Original Message- From: Christian

Re: [x86, 6/n] Replace builtins with vector extensions

2014-11-11 Thread Kirill Yukhin
Hello Marc, Uroš, On 10 Nov 21:33, Uros Bizjak wrote: On Sun, Nov 9, 2014 at 5:26 PM, Marc Glisse marc.gli...@inria.fr wrote: Hello, and == for integer vectors of size 128. I was surprised not to find _mm_cmplt_epi64 anywhere. Note that I can do the same for size 256, but not 512,

Re: [x86, 6/n] Replace builtins with vector extensions

2014-11-11 Thread Marc Glisse
On Tue, 11 Nov 2014, Kirill Yukhin wrote: Hello Marc, Uroš, On 10 Nov 21:33, Uros Bizjak wrote: On Sun, Nov 9, 2014 at 5:26 PM, Marc Glisse marc.gli...@inria.fr wrote: Hello, and == for integer vectors of size 128. I was surprised not to find _mm_cmplt_epi64 anywhere. Note that I can do

Re: [PATCH, i386]: Use std::swap

2014-11-11 Thread Uros Bizjak
On Tue, Nov 11, 2014 at 9:09 AM, Uros Bizjak ubiz...@gmail.com wrote: On Mon, Nov 10, 2014 at 10:51 PM, Marc Glisse marc.gli...@inria.fr wrote: On Mon, 10 Nov 2014, Richard Biener wrote: No extra includes required? utility is already included in wide-int.h and rtl.h, should probably move

Re: libstdc++ new deque failures

2014-11-11 Thread FX
The patch below break bootstrap on darwin (https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63811): Fix std::deque move construction with non-equal allocators. * include/bits/stl_deque.h (_Deque_base::_Deque_base(_Deque_base)): Dispatch according to whether allocators are always

Re: [PATCH 2/2] Simplify and extend VRP edge-assertion code

2014-11-11 Thread Patrick Palka
This patch failed regtesting -- and on second thought I'm not too confident that the refactoring is strictly an improvement so I will try to fix the main issue (that is to make the test vrp-1.c fail to compile) in a more direct way.

Re: [PATCH 1/2] VRP: Simplify logic for checking if any asserts need to be inserted

2014-11-11 Thread Richard Biener
On Tue, Nov 11, 2014 at 4:51 AM, Patrick Palka patr...@parcs.ath.cx wrote: Hi, This patch tweaks the VRP code to simply inspect the need_assert_for bitmap when determining whether any asserts need to be inserted. Consequently we no longer have to manually keep track of whether a call to

[PATCH] [AArch64, RTL] Bics instruction generation for aarch64

2014-11-11 Thread Alex Velenko
From 98bb6d7323ce79e28be8ef892b919391ed857e1f Mon Sep 17 00:00:00 2001 From: Alex Velenko alex.vele...@arm.com Date: Fri, 31 Oct 2014 18:43:32 + Subject: [PATCH] [AArch64, RTL] Bics instruction generation for aarch64 Hi, This patch adds rtl patterns for aarch64 to generate bics instructions

Re: libstdc++ new deque failures

2014-11-11 Thread Jonathan Wakely
On 11/11/14 10:49 +0100, FX wrote: The patch below break bootstrap on darwin (https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63811): Fix std::deque move construction with non-equal allocators. * include/bits/stl_deque.h (_Deque_base::_Deque_base(_Deque_base)): Dispatch

Re: [gimple-classes, committed 4/6] tree-ssa-tail-merge.c: Use gassign

2014-11-11 Thread Richard Biener
On Tue, Nov 11, 2014 at 8:26 AM, Jakub Jelinek ja...@redhat.com wrote: On Mon, Nov 10, 2014 at 05:27:50PM -0500, David Malcolm wrote: On Sat, 2014-11-08 at 14:56 +0100, Jakub Jelinek wrote: On Sat, Nov 08, 2014 at 01:07:28PM +0100, Richard Biener wrote: To be constructive here - the above

Re: [PATCH, i386]: Use std::swap

2014-11-11 Thread Richard Biener
On Tue, Nov 11, 2014 at 10:41 AM, Uros Bizjak ubiz...@gmail.com wrote: On Tue, Nov 11, 2014 at 9:09 AM, Uros Bizjak ubiz...@gmail.com wrote: On Mon, Nov 10, 2014 at 10:51 PM, Marc Glisse marc.gli...@inria.fr wrote: On Mon, 10 Nov 2014, Richard Biener wrote: No extra includes required?

[PATCH][fortran] PR 63701 Make sure variable is always used initialised

2014-11-11 Thread Kyrill Tkachov
Hi all, As this trivial PR says, found is not initialised, later conditionally set to true in the for loop that follows and gcc_asserted in the end. It is expected that the found = true; statement will always be hit, but in case something elsewhere goes wrong and it is not, we want the

Re: [x86, 6/n] Replace builtins with vector extensions

2014-11-11 Thread Kirill Yukhin
On 11 Nov 10:28, Marc Glisse wrote: On Tue, 11 Nov 2014, Kirill Yukhin wrote: Hello Marc, Uroš, On 10 Nov 21:33, Uros Bizjak wrote: On Sun, Nov 9, 2014 at 5:26 PM, Marc Glisse marc.gli...@inria.fr wrote: Hello, and == for integer vectors of size 128. I was surprised not to find

Re: [C PATCH] warn for empty struct -Wc++-compat

2014-11-11 Thread Marek Polacek
On Tue, Nov 11, 2014 at 04:45:46AM +0530, Prathamesh Kulkarni wrote: Index: gcc/c/c-decl.c === --- gcc/c/c-decl.c(revision 217287) +++ gcc/c/c-decl.c(working copy) @@ -606,6 +606,8 @@ /* If warn_cxx_compat, a list of

Re: [C PATCH] warn for empty struct -Wc++-compat

2014-11-11 Thread Marc Glisse
On Tue, 11 Nov 2014, Marek Polacek wrote: @@ -7506,12 +7509,19 @@ /* Finish up struct info used by -Wc++-compat. */ static void -warn_cxx_compat_finish_struct (tree fieldlist) +warn_cxx_compat_finish_struct (tree fieldlist, location_t record_loc) { unsigned int ix; tree x; struct

Re: [PATCH][fortran] PR 63701 Make sure variable is always used initialised

2014-11-11 Thread FX
2014-11-11 Kyrylo Tkachov kyrylo.tkac...@arm.com PR fortran/63701 * trans-expr.c (gfc_get_tree_for_caf_expr): Initialise found to false.init-found.patch OK, thanks for the patch. FX

[Patch AArch64] Fix up BSL expander for floating point types

2014-11-11 Thread James Greenhalgh
Hi, As Ramana hinted here: https://gcc.gnu.org/ml/gcc-patches/2014-11/msg00607.html There are two issues with the way we've defined our BSL pattern. We pun types around in a way that is scary and quite likely unsafe, and we haven't canonicalized the pattern so combine is unlikely to pick it

[x86, 7/n] Replace builtins with vector extensions

2014-11-11 Thread Marc Glisse
Hello, last patch, extending == and to size 256. Regtested as usual. Is the branch ready to be merged into trunk? -- Marc GlisseIndex: ChangeLog.x86-intrinsics-ext === --- ChangeLog.x86-intrinsics-ext(revision 217319) +++

Re: [C PATCH] warn for empty struct -Wc++-compat

2014-11-11 Thread Marek Polacek
On Tue, Nov 11, 2014 at 12:13:32PM +0100, Marc Glisse wrote: On Tue, 11 Nov 2014, Marek Polacek wrote: @@ -7506,12 +7509,19 @@ /* Finish up struct info used by -Wc++-compat. */ static void -warn_cxx_compat_finish_struct (tree fieldlist) +warn_cxx_compat_finish_struct (tree fieldlist,

Re: [PATCH] libstdc++ - Add xmethods for associative containers (ordered and unordered)

2014-11-11 Thread Jonathan Wakely
On 10/11/14 21:49 +, Jonathan Wakely wrote: On 09/11/14 16:00 -0800, Siva Chandra wrote: Hello, Attached is a patch which adds xmethods for the associative containers (set, map, multiset and multimap) and their unordered versions. I think the GDB Python API is not rich enough to implement

Re: [gimple-classes, committed 4/6] tree-ssa-tail-merge.c: Use gassign

2014-11-11 Thread Bernd Schmidt
On 11/11/2014 09:30 AM, Eric Botcazou wrote: I just don't like all the as_a/is_a stuff enforced everywhere, it means more typing, more temporaries, more indentation. So, as I view it, instead of the checks being done cheaply (yes, I think the gimple checking as we have right now is very cheap)

[PATCH][AArch64] Implement TARGET_SCHED_MACRO_FUSION_PAIR_P

2014-11-11 Thread Kyrill Tkachov
Hi all, This is the aarch64 implementation of the macro fusion hook, used to fuse mov+movk instructions together. A new field is declared in the tuning struct and as we add more fuseable ops in the future we will fill in more bits in the fuseable_ops field. Bootstrapped and tested on

[PATCH][ARM] Implement TARGET_SCHED_MACRO_FUSION_PAIR_P

2014-11-11 Thread Kyrill Tkachov
Hi all, This is the arm implementation of the macro fusion hook. It tries to fuse movw+movt operations together. It also tries to take lo_sum RTXs into account since those generate movt instructions as well. Bootstrapped and tested on arm-none-linux-gnueabihf. Ok for trunk? Thanks, Kyrill

Re: [7/7] nvptx testsuite patches: Return addresses

2014-11-11 Thread Bernd Schmidt
On 11/10/2014 09:19 PM, H.J. Lu wrote: I checked in this patch to revert the accidental checkin. Sorry about that, and thanks for fixing it. Bernd

Fix PR ada/42978

2014-11-11 Thread Eric Botcazou
This makes it so that gnatmake echoes the full command line passed to ranlib. Tested on x86_64-suse-linux, applied on the mainline. 2014-11-11 Simon Wright si...@pushface.org PR ada/42978 * mlib-utl.adb (ar): Output the options passed to ranlib. -- Eric BotcazouIndex:

[PATCH][ARM/AArch64] Improve modeled latency between FP operations and FP-GP register moves

2014-11-11 Thread Kyrill Tkachov
Hi all, This patch models the latency of moves between FP and GP registers on the A15 and A57 a bit more accurately by splitting the reservations for FP-GP and GP-FP moves and adding an appropriate bypass. Bootstrapped and tested on arm-none-linux-gnueabihf and aarch64-none-linux-gnu. Ok

Re: [PATCH] c++ify sreal

2014-11-11 Thread Andrew Pinski
On Tue, Nov 11, 2014 at 1:23 AM, Marc Glisse marc.gli...@inria.fr wrote: On Tue, 11 Nov 2014, Jakub Jelinek wrote: On Tue, Nov 11, 2014 at 08:51:41AM +0100, Uros Bizjak wrote: Hello! do $subject, and cleanup for always 64 bit hwi. bootstrapped + regtested x86_64-unknown-linux-gnu, ok?

[PATCH] Look through widening type conversions for possible edge assertions

2014-11-11 Thread Patrick Palka
This patch is a replacement for the 2nd VRP refactoring patch. It simply teaches VRP to look through widening type conversions when finding suitable edge assertions, e.g. bool p = x != y; int q = (int) p; if (q == 0) // new edge assert: p == 0 and therefore x == y The new testcase requires that

Re: [PATCH 2/2] Simplify and extend VRP edge-assertion code

2014-11-11 Thread Richard Biener
On Tue, Nov 11, 2014 at 4:52 AM, Patrick Palka patr...@parcs.ath.cx wrote: This patch refactors the VRP edge-assertion code to make it always traverse SSA-name definitions in order to find suitable edge assertions to insert. Currently SSA-name definitions get traversed only when the LHS of

Re: [PATCH] c++ify sreal

2014-11-11 Thread Richard Biener
On Tue, Nov 11, 2014 at 1:08 PM, Andrew Pinski pins...@gmail.com wrote: On Tue, Nov 11, 2014 at 1:23 AM, Marc Glisse marc.gli...@inria.fr wrote: On Tue, 11 Nov 2014, Jakub Jelinek wrote: On Tue, Nov 11, 2014 at 08:51:41AM +0100, Uros Bizjak wrote: Hello! do $subject, and cleanup for always

Re: [PATCH 2/2] Simplify and extend VRP edge-assertion code

2014-11-11 Thread Andrew Pinski
On Tue, Nov 11, 2014 at 4:52 AM, Richard Biener richard.guent...@gmail.com wrote: On Tue, Nov 11, 2014 at 4:52 AM, Patrick Palka patr...@parcs.ath.cx wrote: This patch refactors the VRP edge-assertion code to make it always traverse SSA-name definitions in order to find suitable edge assertions

Re: [PATCH] c++ify sreal

2014-11-11 Thread Andrew Pinski
On Tue, Nov 11, 2014 at 4:54 AM, Richard Biener richard.guent...@gmail.com wrote: On Tue, Nov 11, 2014 at 1:08 PM, Andrew Pinski pins...@gmail.com wrote: On Tue, Nov 11, 2014 at 1:23 AM, Marc Glisse marc.gli...@inria.fr wrote: On Tue, 11 Nov 2014, Jakub Jelinek wrote: On Tue, Nov 11, 2014 at

Re: [C PATCH] warn for empty struct -Wc++-compat

2014-11-11 Thread Joseph Myers
On Tue, 11 Nov 2014, Marek Polacek wrote: + if (fieldlist == NULL_TREE) +{ + warning_at (record_loc, OPT_Wc___compat, + empty %s has size 0 in C, 1 in C++, + (struct_parse_info-code == RECORD_TYPE) ? struct : union); +} + I think this won't

[PATCH][SPARC] default with_cpu to ultrasparc in sparc64-*-linux* targets

2014-11-11 Thread Jose E. Marchesi
Hi. If no --with-cpu is specified at configure time gcc/config.gcc sets the cpu option in configure_default_options to `v9' in sparc64 targets. This leads to the usage of the following spec by the driver: %{!m32:%{!mcpu=*:-mcpu=v9}} Which in turn triggers the usage of -Av9 by default when

Re: [PATCH 2/2] Simplify and extend VRP edge-assertion code

2014-11-11 Thread Richard Biener
On Tue, Nov 11, 2014 at 1:56 PM, Andrew Pinski pins...@gmail.com wrote: On Tue, Nov 11, 2014 at 4:52 AM, Richard Biener richard.guent...@gmail.com wrote: On Tue, Nov 11, 2014 at 4:52 AM, Patrick Palka patr...@parcs.ath.cx wrote: This patch refactors the VRP edge-assertion code to make it

[Build, patch] Remove CLooG from the main configure.ac

2014-11-11 Thread Tobias Burnus
Now that CLooG is no longer used by GCC, it makes sense to also remove it from the main configure file. Especially as the in-tree build currently only works if also CLooG is available. Build on x86-64-gnu-linux - and tested that Graphite still works.* OK for the trunk? [* I did see a failure

Re: [PATCH] libstdc++ - Add xmethods for associative containers (ordered and unordered)

2014-11-11 Thread Siva Chandra
On Tue, Nov 11, 2014 at 5:03 AM, Siva Chandra sivachan...@google.com wrote: On Tue, Nov 11, 2014 at 3:38 AM, Jonathan Wakely jwak...@redhat.com wrote: On 10/11/14 21:49 +, Jonathan Wakely wrote: On 09/11/14 16:00 -0800, Siva Chandra wrote: Hello, Attached is a patch which adds xmethods

Re: [Build, patch] Remove CLooG from the main configure.ac

2014-11-11 Thread Tobias Grosser
On 11.11.2014 14:01, Tobias Burnus wrote: Now that CLooG is no longer used by GCC, it makes sense to also remove it from the main configure file. Especially as the in-tree build currently only works if also CLooG is available. Build on x86-64-gnu-linux - and tested that Graphite still works.*

Re: [C++ Patch] PR 63265

2014-11-11 Thread Paolo Carlini
Hi, On 11/10/2014 06:16 PM, Jason Merrill wrote: I don't think we want to suppress this warning in general. The problem in this PR is that the warning code is failing to recognize that the first operand is constant false. Thanks. Then, shall we do something like the below? Passes testing.

Re: [patch] OpenACC fortran front end

2014-11-11 Thread Ilya Verbin
Hi, On 11 Nov 08:10, Jakub Jelinek wrote: For the middle-end and libgomp changes, can you talk to the Intel folks to update their git branch to latest trunk (so that you have the nvptx bits in there) and send middle-end and libgomp diffs against that? As far as I remember, most of the changes

Re: [x86, 7/n] Replace builtins with vector extensions

2014-11-11 Thread Uros Bizjak
On Tue, Nov 11, 2014 at 12:35 PM, Marc Glisse marc.gli...@inria.fr wrote: last patch, extending == and to size 256. Regtested as usual. Is the branch ready to be merged into trunk? 2014-11-10 Marc Glisse marc.gli...@inria.fr * config/i386/emmintrin.h (_mm_cmpeq_epi8,

Re: [C++ Patch] PR 63265

2014-11-11 Thread Jason Merrill
On 11/11/2014 08:04 AM, Paolo Carlini wrote: - tree cond = RECUR (TREE_OPERAND (t, 0)); + tree cond + = maybe_constant_value (fold_non_dependent_expr_sfinae + (RECUR (TREE_OPERAND (t, 0)), tf_none)); I like this approach, but if the result of

[PATCH][17/n] Merge from match-and-simplify, plus/minus association patterns

2014-11-11 Thread Richard Biener
This merges patterns from associate_plusminus and adjusts them with details from their fold-const.c pendants. It also fixes missing flag_sanitize checks on negate contraction on the way. This shows places where folds STRIP_NOPs was important (but also shows where it may create wrong code - sth

Re: Add the latest C++ SD-6 additions.

2014-11-11 Thread Jason Merrill
On 11/11/2014 12:52 AM, Ed Smith-Rowland wrote: I'll might put this to the SD-6 list because it would be nice to have clarity - even if it's implementation defined. Sounds good. I was thinking that defining to 0 tells the user this isn't supported which seems more useful than this may or may

Re: [Build, patch] Remove CLooG from the main configure.ac

2014-11-11 Thread Richard Biener
On Tue, Nov 11, 2014 at 2:01 PM, Tobias Burnus tobias.bur...@physik.fu-berlin.de wrote: Now that CLooG is no longer used by GCC, it makes sense to also remove it from the main configure file. Especially as the in-tree build currently only works if also CLooG is available. Build on

Re: [PATCH 2/2] Simplify and extend VRP edge-assertion code

2014-11-11 Thread Patrick Palka
On Tue, Nov 11, 2014 at 7:52 AM, Richard Biener richard.guent...@gmail.com wrote: On Tue, Nov 11, 2014 at 4:52 AM, Patrick Palka patr...@parcs.ath.cx wrote: This patch refactors the VRP edge-assertion code to make it always traverse SSA-name definitions in order to find suitable edge assertions

Re: [PATCH] Look through widening type conversions for possible edge assertions

2014-11-11 Thread Richard Biener
On Tue, Nov 11, 2014 at 1:10 PM, Patrick Palka patr...@parcs.ath.cx wrote: This patch is a replacement for the 2nd VRP refactoring patch. It simply teaches VRP to look through widening type conversions when finding suitable edge assertions, e.g. bool p = x != y; int q = (int) p; if (q ==

Pending LTO review for OpenACC trunk-merge patches (was: Re: [patch] OpenACC fortran front end)

2014-11-11 Thread Tobias Burnus
Ilya Verbin wrote: On 11 Nov 08:10, Jakub Jelinek wrote: For the middle-end and libgomp changes, can you talk to the Intel folks to update their git branch to latest trunk (so that you have the nvptx bits in there) and send middle-end and libgomp diffs against that? As far as I

[PATCH 2/5] OpenACC 2.0 support for libgomp - temporarily work around missing __builtin_acc_on_device (repost)

2014-11-11 Thread Julian Brown
On Tue, 23 Sep 2014 19:19:55 +0100 Julian Brown jul...@codesourcery.com wrote: The patches implementing __builtin_acc_on_device are still in processing. For the time being this patch removes the dependency on that builtin in the OpenACC runtime. Julian -xx-xx Julian Brown

[PATCH 3/5] OpenACC 2.0 support for libgomp - outline documentation (repost)

2014-11-11 Thread Julian Brown
On Tue, 23 Sep 2014 19:20:14 +0100 Julian Brown jul...@codesourcery.com wrote: This patch provides some documentation for the new OpenACC bits in libgomp. Julian -xx-xx Thomas Schwinge tho...@codesourcery.com James Norris jnor...@codesourcery.com libgomp/

[PATCH 5/5] OpenACC 2.0 support for libgomp - temporary test harness tweaks

2014-11-11 Thread Julian Brown
Hi, As mentioned in the previous mail in this series, testing the OpenACC runtime support in libgomp is going to be awkward until the associated middle-end pieces are ready. This stop-gap patch helps to allow tests (that don't use any of the pragmas, only calling the run-time library directly) to

[PATCH] Extend shift permutations on power of 2 cases

2014-11-11 Thread Evgeny Stupachenko
Hi, The patch extends shift permutations technique on power of 2 cases (previously even/odd transformations was used unconditionally). Basically the patch just add loop for load group of length 2, like it is done in vect_permute_load_chain function. For Silvermont it reduces insn sequence for

[PATCH] Fix for ipa/63795, ipa/63622

2014-11-11 Thread Martin Liška
Hello. Following patch adds checking for aliasing support. Patch can bootstrap on x86_64-apple-darwin1 and is part of patches needed for bootstrap restory on the target. I plan to introduce additional patch that will cover testsuite failures for the target. Ready for trunk? Thanks, Martin

Re: [PATCH] Extend shift permutations on power of 2 cases

2014-11-11 Thread Richard Biener
On Tue, Nov 11, 2014 at 3:21 PM, Evgeny Stupachenko evstu...@gmail.com wrote: Hi, The patch extends shift permutations technique on power of 2 cases (previously even/odd transformations was used unconditionally). Basically the patch just add loop for load group of length 2, like it is done

Re: [PATCH] Fix for ipa/63795, ipa/63622

2014-11-11 Thread Richard Biener
On Tue, Nov 11, 2014 at 3:22 PM, Martin Liška mli...@suse.cz wrote: Hello. Following patch adds checking for aliasing support. Patch can bootstrap on x86_64-apple-darwin1 and is part of patches needed for bootstrap restory on the target. I plan to introduce additional patch that will cover

Re: Fix libtool.m4 for Darwin = 10.10

2014-11-11 Thread Jack Howarth
FX, It looks like you missed patching a few configure files... libjava/classpath/configure libjava/configure are definitely needed while libgo/configure zlib/configure should be added for completeness. Jack On Tue, Nov 11, 2014 at 4:15 AM, FX fxcoud...@gmail.com

Re: [PATCH] Fix some ICF gimple_call handling issues

2014-11-11 Thread Martin Liška
On 11/11/2014 12:11 AM, Jakub Jelinek wrote: On Mon, Nov 10, 2014 at 10:08:54PM +0100, Richard Biener wrote: @@ -662,9 +662,49 @@ func_checker::compare_gimple_call (gimpl t1 = gimple_call_fndecl (s1); t2 = gimple_call_fndecl (s2); Just drop these and compare gimple_call_fn only. +

Re: Fix libtool.m4 for Darwin = 10.10

2014-11-11 Thread FX
It looks like you missed patching a few configure files... libjava/classpath/configure libjava/configure Aren’t those under external control? i.e. maintained out of GCC tree? libgo/configure zlib/configure Those are maintained upstream, and we import them directly. I’ve filed a bug

[PATCH] Fix for mklog

2014-11-11 Thread Marat Zakirov
Hi all! I found another issue of mklog. Example: --- a/gcc/asan.h +++ b/gcc/asan.h @@ -103,4 +103,14 @@ asan_intercepted_p (enum built_in_function fcode) || fcode == BUILT_IN_STRNCMP || fcode == BUILT_IN_STRNCPY; } + +/* Convert LEN to HOST_WIDE_INT if possible. + Returns

Re: [PATCH, aarch64] Add prefetch support

2014-11-11 Thread Marcus Shawcroft
On 30 October 2014 08:54, Gopalasubramanian, Ganesh ganesh.gopalasubraman...@amd.com wrote: 2014-10-30 Ganesh Gopalasubramanian ganesh.gopalasubraman...@amd.com Check the whitespace in your ChangeLog line. * config/arm/types.md (define_attr type): Add prefetch. The existing

Re: [PATCH][AArch64] LR register not used in leaf functions

2014-11-11 Thread Marcus Shawcroft
On 30 September 2014 16:00, Jiong Wang jiong.w...@arm.com wrote: gcc/ * config/aarch64/aarch64.h (CALL_USED_REGISTERS): Mark LR as caller-save. (EPILOGUE_USES): Guard the check by epilogue_completed. * config/aarch64/aarch64.c (aarch64_layout_frame): Explictly check for LR.

Re: [PATCH][AArch64] Properly guard CUMULATIVE_ARGS definition and remove 'enum' from machine_mode in aarch64.h

2014-11-11 Thread Marcus Shawcroft
On 31 October 2014 11:21, Kyrill Tkachov kyrylo.tkac...@arm.com wrote: Hi all, Following up from https://gcc.gnu.org/ml/gcc-patches/2014-10/msg03153.html this fixes up the aarch64 port accordingly to guard CUMULATIVE_ARGS properly so that we can remove the enum keyword from machine_mode. OK

Re: [PATCH] Fix for mklog

2014-11-11 Thread Diego Novillo
On 11/11/14 09:46, Marat Zakirov wrote: Attached patch make mklog to stop search for changes inside function once '}' occur. Ok, to commit? OK. Thanks. Diego.

Re: [patch] OpenACC fortran front end

2014-11-11 Thread Julian Brown
On Tue, 11 Nov 2014 08:10:29 +0100 Jakub Jelinek ja...@redhat.com wrote: On Mon, Nov 10, 2014 at 02:43:38PM -0800, Cesar Philippidis wrote: I'll post a separate patch with the fortran tests later. If anyone wants to test this patch, please use gomp-4_0-branch instead. You don't need a

[gomp4] Re: FWD: Re: OpenACC subarray specifications in the GCC Fortran front end

2014-11-11 Thread Thomas Schwinge
Hi! On Thu, 24 Jul 2014 15:11:08 +0200, I wrote: On Wed, 23 Jul 2014 17:42:32 -0700, Cesar Philippidis ce...@codesourcery.com wrote: On 07/11/2014 03:29 AM, Jakub Jelinek wrote: On Fri, Jul 11, 2014 at 12:11:10PM +0200, Thomas Schwinge wrote: To avoid duplication of work: with Jakub's

Re: Fix libtool.m4 for Darwin = 10.10

2014-11-11 Thread Jack Howarth
On Tue, Nov 11, 2014 at 9:45 AM, FX fxcoud...@gmail.com wrote: It looks like you missed patching a few configure files... libjava/classpath/configure libjava/configure Aren’t those under external control? i.e. maintained out of GCC tree? However these are maintained, the libjava

Re: [PATCH] __builtin_*_overflow builtins (PR c/59708)

2014-11-11 Thread Uros Bizjak
Hello! This patch implements what I understood from Joseph's https://gcc.gnu.org/ml/gcc/2013-10/msg00280.html and also adds clang compatible builtins (which implement small subset of the typegeneric ones). Besides the clang compatibility builtins, there are 3 new type-generic builtins,

Re: [C++ Patch] PR 63265

2014-11-11 Thread Paolo Carlini
Hi, On 11/11/2014 02:19 PM, Jason Merrill wrote: On 11/11/2014 08:04 AM, Paolo Carlini wrote: -tree cond = RECUR (TREE_OPERAND (t, 0)); +tree cond + = maybe_constant_value (fold_non_dependent_expr_sfinae + (RECUR (TREE_OPERAND (t, 0)), tf_none)); I like this

Re: Fix libtool.m4 for Darwin = 10.10

2014-11-11 Thread FX
Since you are simply patching all the configure files, the question seems academic unless you switch to properly regenerating all of the configure files using a fixed libtool.m4. I am actually proposing to fix libtool.m4 and regenerate the configure scripts (which gives the same result as

[gomp4] Re: FWD: Re: OpenACC subarray specifications in the GCC Fortran front end

2014-11-11 Thread Thomas Schwinge
Hi! On Mon, 28 Jul 2014 10:00:46 -0700, Cesar Philippidis ce...@codesourcery.com wrote: On 07/25/2014 09:01 AM, Thomas Schwinge wrote: [...] you may directly fold in the following patch to nuke the unused OMP_LIST_COPY (or do that later). --- gcc/fortran/dump-parse-tree.c +++

Re: [PATCH] AIX: Filename-based shared library versioning for libgcc_s

2014-11-11 Thread David Edelsohn
Michael, Why does the configure change match with p*-*-aix... instead of power* or powerpc*? Yes, it's unique and will match, but why make it as short as possible, which doesn't match other uses? In your documentation, how are you distinguishing between Dynamic Linking and Runtime Linking?

Re: [patch,gomp-4_0-branch] openacc parallel reduction part 1

2014-11-11 Thread Thomas Schwinge
Hi! On Tue, 8 Jul 2014 07:28:24 -0700, Cesar Philippidis cesar_philippi...@mentor.com wrote: On 07/07/2014 02:55 AM, Thomas Schwinge wrote: On Sun, 6 Jul 2014 16:10:56 -0700, Cesar Philippidis cesar_philippi...@mentor.com wrote: This patch is the first step to enabling parallel

Re: Fix libtool.m4 for Darwin = 10.10

2014-11-11 Thread Jakub Jelinek
On Tue, Nov 11, 2014 at 03:59:03PM +0100, FX wrote: Since you are simply patching all the configure files, the question seems academic unless you switch to properly regenerating all of the configure files using a fixed libtool.m4. I am actually proposing to fix libtool.m4 and regenerate

Re: RFC: Update ISL under gcc/infrastructure/ ? // Remove CLooG?

2014-11-11 Thread Jack Howarth
Tobias, The only new regression seen in gcc trunk when using isl 0.14 with my mockup isl_0.14.diff patch is the failure... UNRESOLVED: gcc.dg/graphite/isl-codegen-loop-dumping.c scan-tree-dump-times graphite ISL AST generated by ISL: \\nfor (int c1 = 0; c1 n - 1; c1 += 1)\\n

Re: [C++ Patch] PR 63265

2014-11-11 Thread Jason Merrill
OK. Jason

Re: [GRAPHITE, PATCH] Loop unroll and jam optimization

2014-11-11 Thread Mircea Namolaru
Many thanks. Here is the new patch that fixes the main problem of the previous one (i.e separation of the loop after unroll and jam) as well as the problems raised by you (see comments below). Now the code with the separation class option looks: ISL AST generated by ISL: { for (int c0 = 0;

Re: [GRAPHITE, PATCH] Loop unroll and jam optimization

2014-11-11 Thread Mircea Namolaru
Changed the option to -floop-unroll-and jam as you suggested. The patch takes advantage of the new isl based code generator introduced recently in GCC (in fact of the possible options for building the AST). The code generated for this optimization in the case of non-constant loop

[x86, merge] Replace builtins with vector extensions

2014-11-11 Thread Marc Glisse
Hello, here is the combined patch+ChangeLog. I'll run a last regtest just before committing. Ok for trunk? 2014-11-12 Marc Glisse marc.gli...@inria.fr gcc/ * config/i386/xmmintrin.h (_mm_add_ps, _mm_sub_ps, _mm_mul_ps, _mm_div_ps, _mm_store_ss, _mm_cvtss_f32): Use vector

Re: [PATCH] Fix PR56480 aka DR374. Allow explicit specialization in enclosing namespace.

2014-11-11 Thread Jason Merrill
On 11/08/2014 06:57 AM, Markus Trippelsdorf wrote: +++ b/gcc/testsuite/g++.old-deja/g++.pt/explicit73.C @@ -7,9 +7,9 @@ // the template namespace N { - template class T class foo; // { dg-error } referenced below + template class T class foo; // { dg-error { target { ! c++11 } } }

Re: [patch,gomp-4_0-branch] openacc parallel reduction part 1

2014-11-11 Thread Thomas Schwinge
Hi! On Tue, 11 Nov 2014 16:03:05 +0100, I wrote: On Tue, 8 Jul 2014 07:28:24 -0700, Cesar Philippidis cesar_philippi...@mentor.com wrote: On 07/07/2014 02:55 AM, Thomas Schwinge wrote: On Sun, 6 Jul 2014 16:10:56 -0700, Cesar Philippidis cesar_philippi...@mentor.com wrote: This

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

2014-11-11 Thread Charles Baylis
Resending as text/plain On 11 November 2014 15:14, Charles Baylis charles.bay...@linaro.org wrote: On 6 November 2014 10:19, Alan Lawrence alan.lawre...@arm.com wrote: This generates out-of-range errors at compile- (rather than assemble-)time for the vqdm*_lane intrinsics, and also provides

[PATCH] Remove pedantic_lvalues

2014-11-11 Thread Richard Biener
As pre-approved by Joseph the following removes pedantic_lvalues which the C FE now handles itself without help from fold-const.c. Bootstrapped and tested on x86_64-unknown-linux-gnu, applied to trunk. The C++ FE is still not happy without NON_LVALUE_EXPRs though. Richard. 2014-11-11 Richard

Re: [RFC PATCH, AARCH64] Add support for -mlong-calls option

2014-11-11 Thread Richard Earnshaw
On 27/10/14 09:21, Yangfei (Felix) wrote: +/* Handle pragmas for compatibility with Intel's compilers. */ +#define REGISTER_TARGET_PRAGMAS() do { \ + c_register_pragma (0, long_calls, aarch64_pr_long_calls); \ + c_register_pragma (0,

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

2014-11-11 Thread Alan Lawrence
[Resending in gcc-patches-accepted form] I'm working on a patch for vget_lane (that removes the be_checked_get_lane thing which isn't an intrinsic). Other than that, no not yet - loads and stores I was thinking to wait until David Sherwood + Alan Hayward's patches have been settled, but

  1   2   3   >