Re: RTL cprop vs. fixed hard regs

2015-01-16 Thread Alan Modra
On Fri, Jan 16, 2015 at 11:03:24AM -0600, Segher Boessenkool wrote: > On Fri, Jan 16, 2015 at 08:12:27PM +1030, Alan Modra wrote: > > OK, so we need to fix this in the rs6000 backend, but it occurs to me > > that cprop also has a bug here. It shouldn't be touching fixed hard > > registers. > > Wh

Re: RTL cprop vs. fixed hard regs

2015-01-16 Thread Alan Modra
On Fri, Jan 16, 2015 at 09:35:16AM -0700, Jeff Law wrote: > On 01/16/15 02:42, Alan Modra wrote: > > * cprop.c (do_local_cprop): Disallow replacement of fixed > > hard registers. > OK. Extra credit for a testcase, ppc specific is obviously OK. Thanks. Committed revision 219786. I'll see

[patch] libstdc++/60940 unify std::atomic_xxx typedefs with std::atomic types

2015-01-16 Thread Jonathan Wakely
Here's the finished version of the proof-of-concept patch I sent in stage1. This changes the atomic_int typedef to be a synonym for std::atomic instead of std::__atomic_base, and likewise for the other atomic integral types. This fixes PR 60940, so that the non-member atomic ops such as std::ato

[RFC][PATCH 0/3] Re-enable zero/sign extension elimination using value ranges

2015-01-16 Thread Kugan
Hi, Due to wrapping in the value ranges, there was a regression in aplha-linux (https://gcc.gnu.org/ml/gcc-patches/2014-08/msg02458.html) and hence I had to revert the patch that enabled zero/sign extension elimination using value range. I have now attempted to propagate this information and enabl

[RFC][PATCH 1/3] Free a bit in SSA_NAME to save wrapped information

2015-01-16 Thread Kugan
Freeing a spare-bit to store wrapped attribute by going back to representing VR_ANTI_RANGE as [max + 1, min - 1] in SSA_NAME. Thanks, Kugan gcc/ChangeLog: 2015-01-16 Kugan Vivekanandarajah * tree-ssanames.c (set_range_info): Change range info representation and represent VR

Re: RTL cprop vs. fixed hard regs

2015-01-16 Thread Segher Boessenkool
On Sat, Jan 17, 2015 at 11:07:12AM +1030, Alan Modra wrote: > On Fri, Jan 16, 2015 at 11:03:24AM -0600, Segher Boessenkool wrote: > > On Fri, Jan 16, 2015 at 08:12:27PM +1030, Alan Modra wrote: > > > OK, so we need to fix this in the rs6000 backend, but it occurs to me > > > that cprop also has a b

[RFC][PATCH 2/3] Propagate and save value ranges wrapped information

2015-01-16 Thread Kugan
This patch propagate value range wrapps attribute and save this to SSA_NAME. Thanks, Kugan gcc/ChangeLog: 2015-01-16 Kugan Vivekanandarajah * builtins.c (determine_block_size): Use new definition of get_range_info. * gimple-pretty-print.c (dump_ssaname_info): Dump n

[RFC][PATCH 3/3] Enable zero/sign extension elimination

2015-01-16 Thread Kugan
Re-enable zero/sign extension elimination using value range that includes wrapped attribute. Thanks, Kugan gcc/ChangeLog: 2015-01-16 Kugan Vivekanandarajah * calls.c (precompute_arguments): Check promoted_for_signed_and_unsigned_p and set the promoted mode. * expr.

Re: [PR libgomp/64625] Remove __OFFLOAD_TABLE__ variable/formal parameter (was: Merge current set of OpenACC changes from gomp-4_0-branch)

2015-01-16 Thread Jack Howarth
Using /sw/share/dejagnu/config/unix.exp as generic interface file for target. Using /sw/src/fink.build/gcc50-5.0.0-1000/gcc-5-20150116/libgomp/testsuite/config/default.exp as tool-and-target-specific interface file. Running /sw/src/fink.build/gcc50-5.0.0-1000/gcc-5-20150116/libgomp/testsuite/li

Re: RTL cprop vs. fixed hard regs

2015-01-16 Thread Alan Modra
On Fri, Jan 16, 2015 at 08:09:51PM -0600, Segher Boessenkool wrote: > On Sat, Jan 17, 2015 at 11:07:12AM +1030, Alan Modra wrote: > > On Fri, Jan 16, 2015 at 11:03:24AM -0600, Segher Boessenkool wrote: > > > On Fri, Jan 16, 2015 at 08:12:27PM +1030, Alan Modra wrote: > > > > OK, so we need to fix t

[rl78] Various fixes and tweaks

2015-01-16 Thread DJ Delorie
Various RL78-specific fixes and tweaks wrt volatiles and addressing modes. Committed. * config/rl78/rl78-real.md (addqi3_real): Allow volatiles. (addhi3_real): Likewise. Fix [HL+0] syntax. (subqi3_real): Likewise. (subhi3_real): Likewise. (cbranchqi4_real

Re: RTL cprop vs. fixed hard regs

2015-01-16 Thread Alan Modra
On Sat, Jan 17, 2015 at 11:16:57AM +1030, Alan Modra wrote: > On Fri, Jan 16, 2015 at 09:35:16AM -0700, Jeff Law wrote: > > On 01/16/15 02:42, Alan Modra wrote: > > > * cprop.c (do_local_cprop): Disallow replacement of fixed > > > hard registers. > > OK. Extra credit for a testcase, ppc specif

[patch] libstdc++/58357 DR 488 std::rotate should return an iterator

2015-01-16 Thread Jonathan Wakely
http://cplusplus.github.io/LWG/lwg-defects.html#488 Tested x86_64-linux, committed to trunk. commit a5ae94562335d47358186f76ca71cc6cf0560ed8 Author: Jonathan Wakely Date: Tue Sep 23 00:11:26 2014 +0100 DR 488 PR libstdc++/58357 * include/bits/algorithmfwd.h (rotate): Return an

[patch] Update C++11 status in libstdc++ docs

2015-01-16 Thread Jonathan Wakely
Update the C++11 library status table and regenerate HTML. Committed to trunk. commit 3413bcff19f3ca144c8b4ba9660d8737d5c12072 Author: Jonathan Wakely Date: Sat Jan 17 03:22:15 2015 + 2015-01-17 Ville Voutilainen Jonathan Wakely * doc/xml/manual/status_cxx2011

Re: [patch libstdc++] Optimize synchronization in std::future if futexes are available.

2015-01-16 Thread David Edelsohn
This patch has broken bootstrap on AIX May I mention that this really should have been tested on systems other than x86 Linux. In file included from /tmp/20150117/powerpc-ibm-aix7.1.0.0/libstdc++-v3/include/ future:44:0, from /nasfarm/edelsohn/src/src/libstdc++-v3/src/c++11/compa

Re: [patch libstdc++] Optimize synchronization in std::future if futexes are available.

2015-01-16 Thread pinskia
> On Jan 16, 2015, at 9:57 PM, David Edelsohn wrote: > > This patch has broken bootstrap on AIX > > May I mention that this really should have been tested on systems > other than x86 Linux. It also broke all newlib targets too. So you could have tested one listed in the sim-test web page.

Re: [patch] DW_AT_producer: Ignore -fpreprocessed

2015-01-16 Thread Jakub Jelinek
On Sat, Jan 17, 2015 at 12:42:21AM +0100, Jan Kratochvil wrote: > Hi, > > I have provided a sufficient fix in GDB for the -fplugin=libcc1plugin feature: > [patch+7.9] compile: Filter out -fpreprocessed > https://sourceware.org/ml/gdb-patches/2015-01/msg00485.html > > But still I think

Re: [patch libstdc++] Optimize synchronization in std::future if futexes are available.

2015-01-16 Thread Hans-Peter Nilsson
On Fri, 16 Jan 2015, pins...@gmail.com wrote: > > On Jan 16, 2015, at 9:57 PM, David Edelsohn wrote: > > > > This patch has broken bootstrap on AIX > > > > May I mention that this really should have been tested on systems > > other than x86 Linux. > > It also broke all newlib targets too. So you c

[PATCH] [PR rtl-optimization/32790] Fix long standing typo/thinko in reg_scan_mark_refs

2015-01-16 Thread Jeff Law
Currently virtually working in PST, not sure if I'll end up in Hawaii or points further west or not. :-) This has been around a long long time. reg_scan_mark_refs counts the number of references to each pseudo in a function. It has to peek at SET_DEST operands in the off chance that they

[PATCH][PR rtl-optimization/pr52773] Do not reference virtual_outgoing_args after vreg instantiation

2015-01-16 Thread Jeff Law
As discussed in the PR and associated patch from Bernd https://gcc.gnu.org/ml/gcc-patches/2013-06/msg01147.html There are cases where we can call into emit_library_call_value after virtual register instantiation is complete. That can result in a reference to a virtual register surviving unti

<    1   2   3