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 differen

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

2014-11-11 Thread Uros Bizjak
On Mon, Nov 10, 2014 at 10:51 PM, Marc Glisse wrote: > On Mon, 10 Nov 2014, Richard Biener wrote: > >> No extra includes required? > > > 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 to in C++11, and the patch br

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_

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 (gimple

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 p

[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 r

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 > > https://gcc.gnu.org/ml/gcc-patches

Re: [PATCH] c++ify sreal

2014-11-11 Thread Uros Bizjak
On Tue, Nov 11, 2014 at 9:11 AM, Jakub Jelinek 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?

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 wrote: > > >> >>> do $subject, and cleanup for always 64 bit hwi. > >> >>> > >> >>> > >> >>> bootstrapped + regtested x86_64-unknown-linux-gnu, ok? > >> >> > >> >> Ok. Can you please rep

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 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 it was > convenient to

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 O

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 patc

Re: [PATCH][Revisedx2] Fix PR63750

2014-11-11 Thread Richard Biener
On Mon, Nov 10, 2014 at 3:58 PM, FX 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 x86_64-apple-darwin14. >

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 glob

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

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 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, there is no

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 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

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

2014-11-11 Thread Uros Bizjak
On Tue, Nov 11, 2014 at 9:09 AM, Uros Bizjak wrote: > On Mon, Nov 10, 2014 at 10:51 PM, Marc Glisse wrote: >> On Mon, 10 Nov 2014, Richard Biener wrote: >> >>> No extra includes required? >> >> >> is already included in wide-int.h and rtl.h, should probably move >> those. > > Bah, we hit a probl

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 alway

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 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 register_new_assert

[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 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 in cases when capute

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 accordi

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 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 case is

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

2014-11-11 Thread Richard Biener
On Tue, Nov 11, 2014 at 10:41 AM, Uros Bizjak wrote: > On Tue, Nov 11, 2014 at 9:09 AM, Uros Bizjak wrote: >> On Mon, Nov 10, 2014 at 10:51 PM, Marc Glisse wrote: >>> On Mon, 10 Nov 2014, Richard Biener wrote: >>> No extra includes required? >>> >>> >>> is already included in wide-int.h an

[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 gcc_ass

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 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 lis

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 c

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

2014-11-11 Thread FX
> 2014-11-11 Kyrylo Tkachov > >PR fortran/63701 >* trans-expr.c (gfc_get_tree_for_caf_expr): Initialise found to > false. 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 up

[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_struc

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 x

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) un

[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 aarch6

[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 2

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 PR ada/42978 * mlib-utl.adb (ar): Output the options passed to ranlib. -- Eric BotcazouIndex: mlib-utl.adb ==

[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 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-l

[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 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 the original condit

Re: [PATCH] c++ify sreal

2014-11-11 Thread Richard Biener
On Tue, Nov 11, 2014 at 1:08 PM, Andrew Pinski wrote: > On Tue, Nov 11, 2014 at 1:23 AM, Marc Glisse 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

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 wrote: > On Tue, Nov 11, 2014 at 4:52 AM, Patrick Palka 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 definit

Re: [PATCH] c++ify sreal

2014-11-11 Thread Andrew Pinski
On Tue, Nov 11, 2014 at 4:54 AM, Richard Biener wrote: > On Tue, Nov 11, 2014 at 1:08 PM, Andrew Pinski wrote: >> On Tue, Nov 11, 2014 at 1:23 AM, Marc Glisse wrote: >>> On Tue, 11 Nov 2014, Jakub Jelinek wrote: >>> On Tue, Nov 11, 2014 at 08:51:41AM +0100, Uros Bizjak wrote: > > He

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"); > > >>+

[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 inv

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 wrote: > On Tue, Nov 11, 2014 at 4:52 AM, Richard Biener > wrote: >> On Tue, Nov 11, 2014 at 4:52 AM, Patrick Palka wrote: >>> This patch refactors the VRP edge-assertion code to make it always >>> traverse SSA-name definitions in order to find suit

[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 for

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

2014-11-11 Thread Siva Chandra
On Tue, Nov 11, 2014 at 3:38 AM, Jonathan Wakely 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 for the associative containers >>> (set, map, multiset and multimap) and their

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 wrote: > On Tue, Nov 11, 2014 at 3:38 AM, Jonathan Wakely 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 for the associa

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.* OK

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. Th

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 chan

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 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 > > * config/i386/emmintrin.h (_mm_cmpeq_epi8, _mm_cmpeq_epi16, > _mm_cmpeq_epi32,

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 t

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

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 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 Graph

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 wrote: > On Tue, Nov 11, 2014 at 4:52 AM, Patrick Palka 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 definit

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 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 == 0) // new edge

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

[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 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 > > libgomp/ >

[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 wrote: > This patch provides some documentation for the new OpenACC bits in > libgomp. > > Julian > > -xx-xx Thomas Schwinge > James Norris > > libgomp/ > * libgomp.texi: Outline documentation for OpenACC. This pat

[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 l

[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 gcc

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 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 in "vect_permu

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 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 testsuite >

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 wrote: >> Your patch con

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. + tre

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

[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 wrote: > 2014-10-30 Ganesh Gopalasubramanian Check the whitespace in your ChangeLog line. > * config/arm/types.md (define_attr "type"): Add prefetch. The existing schedulers use 'load1'. We can of course split that into two introdu

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

2014-11-11 Thread Marcus Shawcroft
On 30 September 2014 16:00, Jiong Wang 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. > (aarch64_can_eliminate)

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 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 /Marcus

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 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 CUDA

[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 > 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 Fortran Open

Re: Fix libtool.m4 for Darwin >= 10.10

2014-11-11 Thread Jack Howarth
On Tue, Nov 11, 2014 at 9:45 AM, FX 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 configure files st

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 builtin

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 appr

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 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 > > +++ gcc/fortran/dump-parse-

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? Than

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 wrote: > On 07/07/2014 02:55 AM, Thomas Schwinge wrote: > > > On Sun, 6 Jul 2014 16:10:56 -0700, Cesar Philippidis > > wrote: > >> This patch is the first step to enabling parallel reductions in openacc. > I've committed this updated v

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 re

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 lo

[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 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 extensions inst

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 foo; // { dg-error "" } referenced below + template class foo; // { dg-error "" "" { target { ! c++11 } } } referenced b

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 > wrote: > > On 07/07/2014 02:55 AM, Thomas Schwinge wrote: > > > > > On Sun, 6 Jul 2014 16:10:56 -0700, Cesar Philippidis > > > wrote: > > >> This patch is the first step to enabling paral

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 wrote: > > > On 6 November 2014 10:19, Alan Lawrence wrote: >> >> This generates out-of-range errors at compile- (rather than assemble-)time >> for the vqdm*_lane intrinsics, and also provides a single place to do >> bigendian lan

[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_

  1   2   3   >