libgo patch committed: Update to Go 1.0.3 release

2012-10-02 Thread Ian Lance Taylor
This patch updates libgo to the Go 1.0.3 release. Bootstrapped and ran Go testsuite on x86_64-unknown-linux-gnu. Committed to mainline and 4.7 branch. Ian foo.patch.bz2 Description: patch

Go patch committed: Fix a, b, c := b, a, 1 when a and b already exist

2012-10-02 Thread Ian Lance Taylor
The Go := operator can declare new variables while also referring to existing variables. The Go frontend was miscompiling a case like a, b, c := b, a, 1 where a and b already exist. It was assigning to a and then using the new value of to assign to b. This patch fixes this bug. Bootstrapped and

Re: [PATCH, build]: Compile with -fasynchronous-unwind-tables

2012-10-02 Thread Ian Lance Taylor
On Tue, Oct 2, 2012 at 8:06 PM, Uros Bizjak wrote: > > 2012-10-03 Uros Bizjak > > * configure.ac (noexception_flags): Add -fasynchronous-unwind-tables. > * configure: Regenerate. Thanks for measuring. This is OK if nobody objects within 24 hours. Ian

Re: Convert more non-GTY htab_t to hash_table.

2012-10-02 Thread Ian Lance Taylor
On Tue, Oct 2, 2012 at 12:10 PM, Lawrence Crowl wrote: > On 10/2/12, Richard Guenther wrote: >> >> You are changing a hashtable used by fold checking, did you test >> with fold checking enabled? > > I didn't know I had to do anything beyond the normal make check. > What do I do? Fold checking is

[PATCH, build]: Compile with -fasynchronous-unwind-tables

2012-10-02 Thread Uros Bizjak
On Tue, Oct 2, 2012 at 8:31 PM, Ian Lance Taylor wrote: > > On a related issue, it looks to me that the compiler itself should be > > compiled with -funwind-tables, otherwise there are no backtraces > > generated, even if libbacktrace is linked in and operational. Again, > > x86_6

Re: Second ping: Re: Add a configure option to disable system header canonicalizations (issue6495088)

2012-10-02 Thread Ollie Wild
Tom, this is mainly a libcpp change. Would you mind taking a look? Thanks, Ollie On Mon, Oct 1, 2012 at 9:56 AM, Simon Baldwin wrote: > > Ping, again. > > > On 21 September 2012 12:45, Simon Baldwin wrote: > > > > Ping. > > > > http://gcc.gnu.org/ml/gcc-patches/2012-09/msg00459.html > > > > Fu

Propagate profile counts during switch expansion

2012-10-02 Thread Easwaran Raman
Hi, This patch propagates the profile counts during RTL expansion. In many cases, there is no way to determine the exact count of an edge generated during the expansion. So this patch uses some simple heuristics to estimate the edge counts but ensures that the counts of the basic blocks correspond

Re: Use conditional casting with symtab_node

2012-10-02 Thread Lawrence Crowl
Updated Patch Add functions symtab_node_def::try_function and symtab_node_def::try_variable. These function return a pointer to the more specific type (e.g. cgraph_node*) if and only if the general type (symtab_node aka symtab_node_def*) is an instance of the specific type. These functions are es

Re: RFC: LRA for x86/x86-64 [7/9]

2012-10-02 Thread Vladimir Makarov
On 10/02/2012 06:42 PM, Bernd Schmidt wrote: On 10/03/2012 12:29 AM, Vladimir Makarov wrote: On 12-10-02 7:30 AM, Bernd Schmidt wrote: On 09/28/2012 12:59 AM, Vladimir Makarov wrote: + We keep RTL code at most time in such state that the virtual + registers can be changed by just the corre

Go patch committed: Fix some type reflection strings

2012-10-02 Thread Ian Lance Taylor
This patch to the Go frontend fixes the type reflection strings in a couple of cases to match those generated by the gc compiler. For an empty struct, this generates "struct {}" rather than "struct { }". For a type defined within a function, this generates pkg.type rather than pkg.function_name$

Re: RFC: LRA for x86/x86-64 [7/9]

2012-10-02 Thread Bernd Schmidt
On 10/03/2012 12:29 AM, Vladimir Makarov wrote: > On 12-10-02 7:30 AM, Bernd Schmidt wrote: >> On 09/28/2012 12:59 AM, Vladimir Makarov wrote: >>> + We keep RTL code at most time in such state that the virtual >>> + registers can be changed by just the corresponding hard registers >>> + (with

Re: RFC: LRA for x86/x86-64 [0/9]

2012-10-02 Thread Steven Bosscher
On Mon, Oct 1, 2012 at 1:11 AM, Steven Bosscher wrote: > On Mon, Oct 1, 2012 at 12:44 AM, Vladimir Makarov wrote: >> Actually, I don't see there is a problem with LRA right now. I think we >> should first to solve a whole compiler memory footprint problem for this >> test because cpu utilizati

Re: RFC: LRA for x86/x86-64 [7/9]

2012-10-02 Thread Vladimir Makarov
On 12-10-02 7:30 AM, Bernd Schmidt wrote: On 09/28/2012 12:59 AM, Vladimir Makarov wrote: + We keep RTL code at most time in such state that the virtual + registers can be changed by just the corresponding hard registers + (with zero offsets) and we have the right RTL code. To achieve this

Go patch committed: Fix parse of (<- chan <- chan <- int)(x)

2012-10-02 Thread Ian Lance Taylor
http://code.google.com/p/go/issues/detail?id=4110 points out that the Go frontend is misparsing some channel operations. The parsing in this area is rather complex for a recursive descent parser (though straightforward for an LALR parser). In any case, this patch fixes the problem. Bootstrapped

Go patch committed: Update testsuite

2012-10-02 Thread Ian Lance Taylor
This patch updates the Go testsuite to the current master testsuite. All the tests should pass. The complete patch is too large to include here, and consists simply of copying files from the master repository. I have included only the patch to the testsuite driver, go-test.exp. The Go testsuite wa

[C++ PATCH] Fix ICE with COMPOUND_EXPR in constexpr (PR c++/54777)

2012-10-02 Thread Jakub Jelinek
Hi! We ICE on the following testcase, because cxx_eval_constant_expression on COMPOUND_EXPR uses STRIP_NOPS (op1) - needed for the check whether it is an artificial COMPOUND_EXPR. Unfortunately that means it uses op1 without NOP_EXPRs even if it is a user comma expression. Fixed thusly, bootstra

Re: PATCH: PR target/54785: Document -mprefer-avx128

2012-10-02 Thread Uros Bizjak
On Tue, Oct 2, 2012 at 11:01 PM, H.J. Lu wrote: > > This patch documents -mprefer-avx128. OK for trunk and 4.7? > > 2012-10-02 H.J. Lu > > PR target/54785 > * doc/invoke.texi: Document -mprefer-avx128. OK everywhere. Thanks, Uros.

[Patch, Fortran, committed] PR 54778: an ICE on invalid OO code

2012-10-02 Thread Janus Weil
Hi all, I have just committed as obvious a one-line patch to fix an ICE-on-invalid OOP problem: http://gcc.gnu.org/viewcvs?view=revision&revision=192005 Cheers, Janus

[Committed] Fix truncate of a memory for vector mode

2012-10-02 Thread Andrew Pinski
Hi, When I implemented the simplification of a truncate of a memory, I did not think about the case where we would have a truncate of a vector mode. This fixes this case. Committed as obvious after a bootstrap and test on x86_64-linux-gnu and also a build and test for arm-linux-gnueabi. Thanks,

PATCH: PR target/54785: Document -mprefer-avx128

2012-10-02 Thread H.J. Lu
Hi, This patch documents -mprefer-avx128. OK for trunk and 4.7? Thanks. H.J. --- 2012-10-02 H.J. Lu PR target/54785 * doc/invoke.texi: Document -mprefer-avx128. diff --git a/gcc/doc/invoke.texi b/gcc/doc/invoke.texi index 7578dda..0e7e441 100644 --- a/gcc/doc/invoke.texi +

Re: status of -fstack-protector-strong?

2012-10-02 Thread Kees Cook
Han, Have you done full testsuite runs with and without this patch? I know you mentioned you've done builds on both x86_64 and arm; it might be nice to compare tests too. Thanks, -Kees On Mon, Sep 10, 2012 at 5:26 PM, Matthias Klose wrote: > On 08.09.2012 01:07, Kees Cook wrote: >> Hi, >> >> I

Re: PR 53889: Add __gthread_recursive_mutex_destroy

2012-10-02 Thread Jonathan Wakely
On 2 October 2012 07:02, Ian Lance Taylor wrote: > > The libgcc part of this is OK. Thanks, I've committed it and closed the PR.

Re: PATCH: PR target/54741: Check SSE and YMM state support for -march=native

2012-10-02 Thread Uros Bizjak
On Tue, Oct 2, 2012 at 9:35 PM, H.J. Lu wrote: > This patch checks SSE and YMM state support for -march=native. Tested > on Linux/x86-64. OK to install? > > 2012-10-02 H.J. Lu > > PR target/54741 > * config/i386/driver-i386.c (XCR_XFEATURE_ENABLED_MASK): New. > (XSTA

[MIPS] Adjust baddu patterns for recent simplify-rtx.c change

2012-10-02 Thread Richard Sandiford
As promised, here's the patch to adjust the MIPS BADDU patterns for the new (subreg (plus)) simplification. Tested on mipsisa32-elf and mipsisa64-elf. Applied. Richard gcc/ * config/mips/mips.md (*baddu_si_eb, *baddu_si_el): Merge into... (*baddu_si): ...this new pattern. Inde

PATCH: PR target/54741: Check SSE and YMM state support for -march=native

2012-10-02 Thread H.J. Lu
Hi, This patch checks SSE and YMM state support for -march=native. Tested on Linux/x86-64. OK to install? Thanks. H.J. --- 2012-10-02 H.J. Lu PR target/54741 * config/i386/driver-i386.c (XCR_XFEATURE_ENABLED_MASK): New. (XSTATE_FP): Likewise. (XSTATE_SSE):

Re: [PATCH v2, rtl-optimization]: Fix PR54457, [x32] Fail to combine 64bit index + constant

2012-10-02 Thread Richard Sandiford
Andrew Pinski writes: > On Thu, Sep 27, 2012 at 11:13 AM, Uros Bizjak wrote: >> 2012-09-27 Uros Bizjak >> >> PR rtl-optimization/54457 >> * simplify-rtx.c (simplify_subreg): >> Simplify (subreg:M (op:N ((x:N) (y:N)), 0) >> to (op:M (subreg:M (x:N) 0) (subreg:M (

[wwwdocs] Buildstat update for 4.7

2012-10-02 Thread Tom G. Christensen
Latest results for 4.7.x -tgc Testresults for 4.7.2 alphaev68-dec-osf5.1a (2) hppa2.0w-hp-hpux11.00 hppa2.0w-hp-hpux11.11 hppa64-hp-hpux11.11 i386-apple-darwin10.8.0 i686-pc-linux-gnu powerpc-apple-darwin8.11.0 x86_64-apple-darwin10.8.0 x86_64-apple-darwin12.2.0 Testresults for

[wwwdocs] Buildstat update for 4.6

2012-10-02 Thread Tom G. Christensen
Latest results for 4.6.x -tgc Testresults for 4.6.3 alphaev68-dec-osf5.1a Testresults for 4.6.2 alphaev68-dec-osf5.1a Testresults for 4.6.1 alphaev68-dec-osf5.1a (2) Testresults for 4.6.0 alphaev68-dec-osf5.1a Index: buildstat.html =

Re: Convert more non-GTY htab_t to hash_table.

2012-10-02 Thread Lawrence Crowl
On 10/2/12, Richard Guenther wrote: > On Mon, 1 Oct 2012, Lawrence Crowl wrote: > > Change more non-GTY hash tables to use the new type-safe > > template hash table. Constify member function parameters that > > can be const. Correct a couple of expressions in formerly > > uninstantiated template

Re: [PR54551] global dead debug pseudo tracking in fast-dce

2012-10-02 Thread Alexandre Oliva
On Sep 25, 2012, Jakub Jelinek wrote: > On Sun, Sep 23, 2012 at 07:59:37AM -0300, Alexandre Oliva wrote: >> This patch introduces a global mode of dead_debug tracking for use in >> fast DCE. If a debug use reaches the top of a basic block before >> finding its death point, the pending and subseq

[PR53135] Use block4 form for large debug expressions

2012-10-02 Thread Alexandre Oliva
This patch fixes a crash in dwarf2out because of a too-large debug expression. Jakub approved it for trunk and 4.7 branches in bugzilla. I'm installing it in the trunk momentarily, and later today on 4.7 after I give it a spin there. Regstrapped on x86_64-linux-gnu and i686-linux-gnu. I'm keepin

[wwwdocs] Buildstat update for 4.5

2012-10-02 Thread Tom G. Christensen
Latest results for 4.5.x -tgc Testresults for 4.5.4: alphaev68-dec-osf5.1a hppa2.0w-hp-hpux11.00 hppa64-hp-hpux11.00 Testresults for 4.5.3: alphaev68-dec-osf5.1a i386-pc-solaris2.8 Testresults for 4.5.2: alphaev68-dec-osf5.1a Testresults for 4.5.1: alphaev68-dec-osf5.1a Testresu

[PR54177] Deal with var_lowpart failure in function parameters

2012-10-02 Thread Alexandre Oliva
Uros has already taken care of the main patch for the problem, but I feel it's appropriate to protect vt_add_function_parameter should val_lowpart actually return NULL. I'm checking this in as obvious. Regstrapped on x86_64-linux-gnu and i686-linux-gnu. Deal with var_lowpart failure in function

Re: abs(long long)

2012-10-02 Thread Marc Glisse
On Tue, 2 Oct 2012, Gabriel Dos Reis wrote: Whining on this list about libstdc++ internal macros and your dislike of them is not going to produce anything today or tomorrow. Other compilers using libstdc++ was just an extra argument. Even if g++ was the only compiler on earth, I would still c

Re: [PATCH v2, libbacktrace]: Compile with -funwind-tables

2012-10-02 Thread Ian Lance Taylor
On Tue, Oct 2, 2012 at 10:48 AM, Uros Bizjak wrote: > On Tue, Oct 2, 2012 at 7:44 PM, Gabriel Dos Reis > wrote: > > On a related issue, it looks to me that the compiler itself should be > compiled with -funwind-tables, otherwise there are no backtraces > generated, even if libbackt

[wwwdocs] Buildstat update for 4.4

2012-10-02 Thread Tom G. Christensen
Latest results for 4.4.x -tgc Testresults for 4.4.7: alphaev68-dec-osf5.1a hppa2.0w-hp-hpux11.00 hppa2.0w-hp-hpux11.11 hppa64-hp-hpux11.00 hppa64-hp-hpux11.11 i386-pc-solaris2.8 Testresults for 4.4.1: alphaev68-dec-osf5.1a Index: buildstat.html

Re: [PATCH] fix up fixincludes for VxWorks and fix testing

2012-10-02 Thread rbmj
Forgot to attach... On 10/2/2012 2:11 PM, rbmj wrote: Patch 2: [fixincludes] Clean up fixincludes test machinery TODO Prior to commit: * fixincl.x: Regenerate ChangeLog 2012-09-23 Bruce Korb * check.tpl: export TEST_MODE=true for testing * fixincl.c (te_verbose): extract to fix

Re: [PATCH] Add a new option "-fstack-protector-strong" (patch / doc inside)

2012-10-02 Thread 沈涵
Hi, any one got a chance to take look at this patch? It seems that some other guys are also interested in this patch, the clang developer is also proposing implement this "-fstack-protect-strong" option. Patch has just been merged with newest trunk and fixed a bug reported by Kees. Tested fox x8

Re: [PATCH] fix up fixincludes for VxWorks and fix testing

2012-10-02 Thread rbmj
Patch 4: Minor changes to fix compilation on VxWorks ChangeLog [gcc]: * gcov-io.c (gcov_open): Pass third argument to open() unconditionally ChangeLog [libstdc++-v3]: * libstdc++-v3/config/os/vxworks/os_defines.h: Define NOMINMAX >From 420bf6c2b0bde5f1689663b477add8fc9df2a6f0 Mon Sep 17 00:00:00

Re: [PATCH] fix up fixincludes for VxWorks and fix testing

2012-10-02 Thread rbmj
Patch 3: Add --enable-libstdcxx option at top level configure TODO prior to commit: * configure: regenerate ChangeLog: * configure.ac: Add --enable-libstdcxx option >From 3f0d38b7b7b70659a57ac4266701a71a5f948860 Mon Sep 17 00:00:00 2001 From: rbmj Date: Tue, 2 Oct 2012 13:54:21 -0400 Subject

Re: [PATCH] fix up fixincludes for VxWorks and fix testing

2012-10-02 Thread rbmj
Patch 2: [fixincludes] Clean up fixincludes test machinery TODO Prior to commit: * fixincl.x: Regenerate ChangeLog 2012-09-23 Bruce Korb * check.tpl: export TEST_MODE=true for testing * fixincl.c (te_verbose): extract to fixlib.h (run_compiles): in test mode, if the

Re: [PATCH] fix up fixincludes for VxWorks and fix testing

2012-10-02 Thread rbmj
Forgot to attach. On 10/2/2012 2:09 PM, rbmj wrote: Patch 1: [fixincludes] Fixes for VxWorks TODO Prior to commit: * fixincl.x: Regenerate ChangeLog [fixincludes]: 2012-06-19 Robert Mason * fixinc.in: Check to see if the machine_name fix needs to be disabled. viz. vxworks must

Re: [PATCH] fix up fixincludes for VxWorks and fix testing

2012-10-02 Thread rbmj
Patch 1: [fixincludes] Fixes for VxWorks TODO Prior to commit: * fixincl.x: Regenerate ChangeLog [fixincludes]: 2012-06-19 Robert Mason * fixinc.in: Check to see if the machine_name fix needs to be disabled. viz. vxworks must not check the machine name for fix applicabilit

Re: [PATCH] fix up fixincludes for VxWorks and fix testing

2012-10-02 Thread rbmj
On 9/23/2012 7:19 PM, Bruce Korb wrote: The attached patch needs to be split into two and I will do that before I actually push the thing. Since I have run out of play time this weekend and since I will be in the Ukraine in two weeks for two weeks, this patch is unlikely to get pushed before th

Re: [PATCH v2, libbacktrace]: Compile with -funwind-tables

2012-10-02 Thread Uros Bizjak
On Tue, Oct 2, 2012 at 7:44 PM, Gabriel Dos Reis wrote: >>> > On a related issue, it looks to me that the compiler itself should be >>> > compiled with -funwind-tables, otherwise there are no backtraces >>> > generated, even if libbacktrace is linked in and operational. Again, >>> > x86_64-linux-

Re: [PATCH v2, libbacktrace]: Compile with -funwind-tables

2012-10-02 Thread Gabriel Dos Reis
On Tue, Oct 2, 2012 at 12:14 PM, Jakub Jelinek wrote: > On Tue, Oct 02, 2012 at 10:12:38AM -0700, Ian Lance Taylor wrote: >> On Tue, Oct 2, 2012 at 8:22 AM, Uros Bizjak wrote: >> > >> > On a related issue, it looks to me that the compiler itself should be >> > compiled with -funwind-tables, other

Re: [PATCH] Rs6000 infrastructure cleanup (switches), revised patch #2d

2012-10-02 Thread David Edelsohn
On Mon, Oct 1, 2012 at 7:11 PM, Michael Meissner wrote: > 2012-10-01 Michael Meissner > > * config/rs6000/rs6000.c (rs6000_option_override_internal): If > -mcpu= is not specified and the compiler is not configured > using --with-cpu=, use the bits from the TARGET_DEFAULT

Re: [PATCH v2, libbacktrace]: Compile with -funwind-tables

2012-10-02 Thread Jakub Jelinek
On Tue, Oct 02, 2012 at 10:12:38AM -0700, Ian Lance Taylor wrote: > On Tue, Oct 2, 2012 at 8:22 AM, Uros Bizjak wrote: > > > > On a related issue, it looks to me that the compiler itself should be > > compiled with -funwind-tables, otherwise there are no backtraces > > generated, even if libbacktr

Re: [PATCH v2, libbacktrace]: Compile with -funwind-tables

2012-10-02 Thread Ian Lance Taylor
On Tue, Oct 2, 2012 at 8:22 AM, Uros Bizjak wrote: > > On a related issue, it looks to me that the compiler itself should be > compiled with -funwind-tables, otherwise there are no backtraces > generated, even if libbacktrace is linked in and operational. Again, > x86_64-linux-gnu host defaults to

Re: abs(long long)

2012-10-02 Thread Gabriel Dos Reis
On Tue, Oct 2, 2012 at 8:07 AM, Marc Glisse wrote: > Or do you mean: > always call __builtin_llabs (whether we have an llabs or not), and let the > compiler replace it with either (x<0)?-x:x or a library call (I assume it > never does that unless it has seen a corresponding declaration)? See wha

RE: [Patch] Fix PR53397

2012-10-02 Thread Kumar, Venkataramanan
Hi Richi, (Snip) > + (!cst_and_fits_in_hwi (step)) > +{ > + if( loop->inner != NULL) > +{ > + if (dump_file && (dump_flags & TDF_DETAILS)) > +{ > + fprintf (dump_file, "Reference %p:\n", (void *) ref); > + fprintf (dump_file, "(base "

Re: abs(long long)

2012-10-02 Thread Gabriel Dos Reis
On Tue, Oct 2, 2012 at 9:34 AM, Daniel Krügler wrote: > 2012/10/2 Marc Glisse : >> Here I am talking of a library issue: the wording that says that there are >> sufficient overloads such that integer types call the double version of math >> functions. It is fairly obvious that it doesn't apply to

Re: abs(long long)

2012-10-02 Thread Gabriel Dos Reis
On Tue, Oct 2, 2012 at 8:07 AM, Marc Glisse wrote: >>> The library installed by the system was compiled with g++, and is then >>> used >>> with clang++. If we can avoid installing 2 config.h files to make that >>> work... >> >> >> Two things: >> 1. that is clearly a clang problem. I don't think

[AARCH64-4.7][PATCH] Reload fix backported to aarch64-4.7-branch.

2012-10-02 Thread Tejas Belagod
Hi, I've backported Ulrich's reload fix(attached) http://gcc.gnu.org/ml/gcc-patches/2012-07/msg01421.html to aarch64-4.7-branch and committed it. SendingChangeLog.aarch64 Sendingreload.c Transmitting file data .. Committed revision 191987. Thanks, Tejas. diff --git a/gcc/rel

Re: [PATCH] Rs6000 infrastructure cleanup (switches), revised patch #2c

2012-10-02 Thread Michael Meissner
On Tue, Oct 02, 2012 at 10:13:25AM +0200, Gunther Nikl wrote: > Michael Meissner wrote: > > Segher Boessenkool asked me on IRC to break out the fix in the last change. > > This patch is just the change to set the default options if the user did not > > use -mcpu= and the compiler was not configured

Re: RFC: LRA for x86/x86-64 [4/9]

2012-10-02 Thread Vladimir Makarov
On 10/01/2012 02:51 PM, Richard Sandiford wrote: Vladimir Makarov writes: +/* Return register bank of given hard regno for the current target. */ +DEFHOOK +(register_bank, + "A target hook which returns the register bank number to which the\ + register @var{hard_regno} belongs to. The smalle

RFA: Fix OP_INOUT handling of web.c:union_match_dups

2012-10-02 Thread Joern Rennecke
Similar to PR43742, the ARCompact port gets an ICE from the current mainline version of web.c:union_match_dups for its zero overhead loop pattern. My first attempt at rectifying this was equivalent in effect to the patch from comment #1 from this patch; that seemed to work well enough. Later I stu

Re: [PATCH v2, libbacktrace]: Compile with -funwind-tables

2012-10-02 Thread Uros Bizjak
On Tue, Oct 2, 2012 at 3:08 PM, Ian Lance Taylor wrote: >> 2012-10-02 Uros Bizjak >> >> PR other/54761 >> * configure.ac (EXTRA_FLAGS): New. >> * Makefile.am (AM_FLAGS): Add $(EXTRA_FLAGS). >> * configure, Makefile.in: Regenerate. > > This is OK. Thanks, committ

Re: RFC: LRA for x86/x86-64 [8/9]

2012-10-02 Thread Vladimir Makarov
On 10/02/2012 01:01 AM, Jeff Law wrote: On 09/27/2012 04:59 PM, Vladimir Makarov wrote: The following patch adds a code neccessary for correct work of LRA (function ira_setup_eliminable_regset) and for correct work of the compiler when LRA is used (see file dwarf2out.c). 2012-09-27 Vladimir

Re: RFC: LRA for x86/x86-64 [0/9]

2012-10-02 Thread Vladimir Makarov
On 10/02/2012 12:22 AM, Jeff Law wrote: On 10/01/2012 07:14 PM, Vladimir Makarov wrote: Analogous live ranges are used in IRA as intermidiate step to build a conflict graph. Actually, the first approach was to use IRA code to assign hard registers to pseudos (e.g. Jeff Law tried this appro

Re: abs(long long)

2012-10-02 Thread Daniel Krügler
2012/10/2 Marc Glisse : > Here I am talking of a library issue: the wording that says that there are > sufficient overloads such that integer types call the double version of math > functions. It is fairly obvious that it doesn't apply to abs(long) for > instance which has an explicit overload. For

Re: [PATCH] Fix PR47799 - debug info for early-inlining with LTO

2012-10-02 Thread Jakub Jelinek
On Mon, Oct 01, 2012 at 02:05:50PM +0200, Richard Guenther wrote: > 2012-10-01 Richard Guenther > > PR lto/47788 > * tree-streamer-out.c (write_ts_block_tree_pointers): For > inlined functions outer scopes write the ultimate origin > as BLOCK_ABSTRACT_ORIGIN and BLOCK_SO

Re: RFC: LRA for x86/x86-64 [7/9]

2012-10-02 Thread Richard Sandiford
Richard Sandiford writes: >> +/* Merge ranges R1 and R2 and returns the result. The function >> + maintains the order of ranges and tries to minimize size of the >> + result range list. */ >> +lra_live_range_t >> +lra_merge_live_ranges (lra_live_range_t r1, lra_live_range_t r2) >> +{ >> +

Re: [PATCH] limited C++ parsing support for gengtype

2012-10-02 Thread Diego Novillo
Aaron, I'm currently fixing other issues with gengtype and I needed this patch on top of them. I will be rolling both patches into a single one and commit them today/tomorrow. If you were working on further fixes to this, please give me a chance to commit this one first. Thanks. Diego.

Re: RFC: LRA for x86/x86-64 [7/9]

2012-10-02 Thread Richard Sandiford
Vladimir Makarov writes: > This is the major patch containing all new files. The patch also adds > necessary calls to LRA from IRA.As the patch is too big, it continues in > the next email. > > 2012-09-27 Vladimir Makarov > > * Makefile.in (LRA_INT_H): New. > (OBJS): Add lra.o, lra

[PATCH] Fix PR54735

2012-10-02 Thread Richard Guenther
This fixes PR54735 - a bad interaction of non-up-to-date virtual SSA form, update-SSA and cfg cleanup. Morale of the story: cfg cleanup can remove blocks and thus release SSA names - SSA update is rightfully confused when such released SSA name is still used at update time. The following patch f

Re: [PATCH] Vector CONSTRUCTOR verifier

2012-10-02 Thread Richard Guenther
On Tue, Oct 2, 2012 at 3:01 PM, Jakub Jelinek wrote: > Hi! > > As discussed in the PR and on IRC, this patch verifies that vector > CONSTRUCTOR in GIMPLE is either empty CONSTRUCTOR, or contains scalar > elements of type compatible with vector element type (then the verification > is less strict,

Re: [PATCH v2, libbacktrace]: Compile with -funwind-tables

2012-10-02 Thread Ian Lance Taylor
On Tue, Oct 2, 2012 at 2:01 AM, Uros Bizjak wrote: > > 2012-10-02 Uros Bizjak > > PR other/54761 > * configure.ac (EXTRA_FLAGS): New. > * Makefile.am (AM_FLAGS): Add $(EXTRA_FLAGS). > * configure, Makefile.in: Regenerate. This is OK. Thanks. Ian

Re: abs(long long)

2012-10-02 Thread Marc Glisse
On Tue, 2 Oct 2012, Gabriel Dos Reis wrote: I understand that it is originally a library issue, but I don't think it makes sense to resolve it in isolation of that core issue. They seem mostly orthogonal to me, since the library only uses an informal language describing the desired outcome an

[PATCH] Vector CONSTRUCTOR verifier

2012-10-02 Thread Jakub Jelinek
Hi! As discussed in the PR and on IRC, this patch verifies that vector CONSTRUCTOR in GIMPLE is either empty CONSTRUCTOR, or contains scalar elements of type compatible with vector element type (then the verification is less strict, allows less than TYPE_VECTOR_SUBPARTS elements and allows non-NUL

[Ada] Small fixes to Eliminated overflow mode

2012-10-02 Thread Arnaud Charlet
This patch cleans up some documentation issues for eliminated mode, and fixes some errors for marginal cases. Not worth trying to concoct tests for these cases, which were found by code review, not from any reported bugs. Also forbid use of Eliminated mode if Long_Long_Integer'Size is not 64. Also

Re: [PATCH RFA] Implement register pressure directed hoist pass

2012-10-02 Thread Jeff Law
On 09/29/2012 12:37 AM, Bin Cheng wrote: Hi Steven, This is the updated patch according to your comments. Please review. I also re-collected code size data and found it is improved by about 0.24% for mips, which is better than previous data. I believe this should be caused by recent changes in t

Re: vec_cond_expr adjustments

2012-10-02 Thread Richard Guenther
On Mon, Oct 1, 2012 at 5:57 PM, Marc Glisse wrote: > [merging both threads, thanks for the answers] > > > On Mon, 1 Oct 2012, Richard Guenther wrote: > optabs should be fixed instead, an is_gimple_val condition is implicitely val != 0. >>> >>> >>> For vectors, I think it should be v

[Ada] Ada/C++ missing call to constructor with defaults

2012-10-02 Thread Arnaud Charlet
When the type of an object is a CPP type and the object initialization requires calling its default C++ constructor, the Ada compiler did not generate the call to a C++ constructor which has all parameters with defaults (and hence it covers the default C++ constructor). The following test must now

[Ada] Get rid of internal use of N_Return_Statement

2012-10-02 Thread Arnaud Charlet
This patch goes almost all the way in removing N_Return_Statement, and replacing it by N_Simple_Return_Statement. No test, since no functional effect. Tested on x86_64-pc-linux-gnu, committed on trunk 2012-10-02 Robert Dewar * sinfo.adb, sinfo.ads, sem_util.adb, sem_util.ads, types.h,

Re: [Patch] Fix PR53397

2012-10-02 Thread Richard Guenther
On Mon, 1 Oct 2012, venkataramanan.ku...@amd.com wrote: > Hi, > > The below patch fixes the FFT/Scimark regression caused by useless prefetch > generation. > > This fix tries to make prefetch less aggressive by prefetching arrays in the > inner loop, when the step is invariant in the entire loo

Re: [SH] PR 50457 - Cleanup linux-atomic

2012-10-02 Thread Kaz Kojima
Oleg Endo wrote: > This is the patch as proposed in the PR to make > libgcc/config/sh/linux-atomic use the appropriate compiler generated > atomic built-in functions depending on the currently selected > atomic-model. > > Tested on 191894 with 'make all-gcc' and by compiling code to see if the >

Re: [SH] PR 51244 - Handle T bit -> 0x7FFFFFFF / 0x80000000

2012-10-02 Thread Kaz Kojima
Oleg Endo wrote: > This handles the case where the T bit is stored to a reg as the value > 0x7FFF or 0x8000. > Tested on rev 191894 with > make -k check RUNTESTFLAGS="--target_board=sh-sim > \{-m2/-ml,-m2/-mb,-m2a/-mb,-m4/-ml,-m4/-mb,-m4a/-ml,-m4a/-mb}" > > and no new failures. > OK? OK.

Re: RFC: LRA for x86/x86-64 [7/9]

2012-10-02 Thread Bernd Schmidt
On 09/28/2012 12:59 AM, Vladimir Makarov wrote: > + We keep RTL code at most time in such state that the virtual > + registers can be changed by just the corresponding hard registers > + (with zero offsets) and we have the right RTL code. To achieve this > + we should add initial offs

Re: RFC: LRA for x86/x86-64 [7/9]

2012-10-02 Thread Richard Sandiford
Hi Vlad, Vladimir Makarov writes: > This is the major patch containing all new files. The patch also adds > necessary calls to LRA from IRA.As the patch is too big, it continues in > the next email. > > 2012-09-27 Vladimir Makarov > > * Makefile.in (LRA_INT_H): New. > (OBJS): Add

PATCH trunk: gengtype honoring mark_hook-s inside struct inide union-s

2012-10-02 Thread Basile Starynkevitch
Hello All, As I observed in http://gcc.gnu.org/ml/gcc/2010-07/msg00248.html and in http://gcc.gnu.org/ml/gcc/2012-10/msg3.html the mark_hook GTY annotation is sometimes incorrectly ingored by gengtype. The example in http://gcc.gnu.org/ml/gcc/2012-10/msg3.html demonstrates that incorrect

[Ada] Couple of minor tweaks

2012-10-02 Thread Eric Botcazou
This avoids applying the NRV optimization for small structures and creating useless elaboration variables for loops. Tested on x86_64-suse-linux, applied on the mainline and 4.7 branch. 2012-10-02 Eric Botcazou * gcc-interfaces/decl.c (elaborate_expression_1): Use the variable for

[SH] PR 50457 - Cleanup linux-atomic

2012-10-02 Thread Oleg Endo
Hello, This is the patch as proposed in the PR to make libgcc/config/sh/linux-atomic use the appropriate compiler generated atomic built-in functions depending on the currently selected atomic-model. Tested on 191894 with 'make all-gcc' and by compiling code to see if the __SH_ATOMIC_MODEL_*__ de

Re: [PATCH] Changes in mode switching

2012-10-02 Thread Uros Bizjak
On Tue, Oct 2, 2012 at 12:08 PM, Vladimir Yakovlev wrote: > Will we wait for LRA commit or is it possiple to commit to trank > vzeroupper patch now? Since we can emit vzeroupper now, we will wait for LRA. Uros.

Re: [PATCH] Changes in mode switching

2012-10-02 Thread Vladimir Yakovlev
Will we wait for LRA commit or is it possiple to commit to trank vzeroupper patch now? 2012/10/2 Uros Bizjak : > On Tue, Oct 2, 2012 at 11:35 AM, Vladimir Yakovlev > wrote: > The compiler with the patch and without post_reload.patch is built and > works > successfully. It has the on

Re: [PATCH] Changes in mode switching

2012-10-02 Thread Uros Bizjak
On Tue, Oct 2, 2012 at 11:35 AM, Vladimir Yakovlev wrote: The compiler with the patch and without post_reload.patch is built and works successfully. It has the only failure with avx-vzeroupper-3 test because of post reload problem. >>> >>> Ok, can you please elaborate a bit on

Re: [PATCH] Add option for dumping to stderr (issue6190057)

2012-10-02 Thread Gabriel Dos Reis
On Tue, Oct 2, 2012 at 4:31 AM, Richard Guenther wrote: > On Mon, Oct 1, 2012 at 8:39 PM, Gabriel Dos Reis > wrote: >> On Mon, Oct 1, 2012 at 1:27 PM, Michael Meissner >> wrote: >>> On Mon, Oct 01, 2012 at 02:02:26PM -0400, Michael Meissner wrote: Your change on September 30th, breaks the p

Re: [PATCH] Changes in mode switching

2012-10-02 Thread Vladimir Yakovlev
2012/9/30 Uros Bizjak : > On Thu, Sep 20, 2012 at 8:35 AM, Uros Bizjak wrote: >> On Thu, Sep 20, 2012 at 8:06 AM, Vladimir Yakovlev >> wrote: >>> The compiler with the patch and without post_reload.patch is built and works >>> successfully. It has the only failure with avx-vzeroupper-3 test beca

Re: RFC: LRA for x86/x86-64 [0/9]

2012-10-02 Thread Paolo Bonzini
Il 02/10/2012 10:49, Steven Bosscher ha scritto: > On Tue, Oct 2, 2012 at 10:29 AM, Paolo Bonzini wrote: >> Il 02/10/2012 09:28, Steven Bosscher ha scritto: My experience shows that these lists are usually 1-2 elements. Although in > this case, there are pseudos with huge number e

Re: abs(long long)

2012-10-02 Thread Gabriel Dos Reis
On Tue, Oct 2, 2012 at 4:21 AM, Marc Glisse wrote: > On Tue, 2 Oct 2012, Gabriel Dos Reis wrote: > >> On Tue, Oct 2, 2012 at 3:57 AM, Marc Glisse wrote: >>> >>> (Forgot libstdc++...) >>> >>> >>> Hello, >>> >>> here is the patch from PR54686. Several notes: >>> >>> * I'll have to ask experts if st

Re: [PATCH] Add option for dumping to stderr (issue6190057)

2012-10-02 Thread Richard Guenther
On Mon, Oct 1, 2012 at 8:39 PM, Gabriel Dos Reis wrote: > On Mon, Oct 1, 2012 at 1:27 PM, Michael Meissner > wrote: >> On Mon, Oct 01, 2012 at 02:02:26PM -0400, Michael Meissner wrote: >>> Your change on September 30th, breaks the powerpc port because the >>> REPORT_DETAILS value in the enumerati

Re: [PATCH] Fix test breakage, was: Add option for dumping to stderr (issue6190057)

2012-10-02 Thread Richard Guenther
On Tue, Oct 2, 2012 at 1:31 AM, Sharad Singhai wrote: > Here is a patch to fix test breakage caused by r191883. Bootstrapped > on x86_64 and tested with > make -k check RUNTESTFLAGS="--target_board=unix/\{,-m32\}". > > Okay for trunk? Ok. Thanks, Richard. > Thanks, > Sharad > > 2012-10-01 Shar

Re: [PATCH] Fix powerpc breakage, was: Add option for dumping to stderr (issue6190057)

2012-10-02 Thread Richard Guenther
On Tue, Oct 2, 2012 at 1:11 AM, Xinliang David Li wrote: > On Mon, Oct 1, 2012 at 4:05 PM, Sharad Singhai wrote: >> Thanks for tracking down and fixing the powerpc port. >> >> The "dump_kind_p ()" check is redundant but canonical form here. I >> think blocks of dump code guarded by "if dump_kind_

Re: Convert more non-GTY htab_t to hash_table.

2012-10-02 Thread Richard Guenther
On Mon, 1 Oct 2012, Lawrence Crowl wrote: > Change more non-GTY hash tables to use the new type-safe template hash table. > Constify member function parameters that can be const. > Correct a couple of expressions in formerly uninstantiated templates. > > The new code is 0.362% faster in bootstrap

Re: abs(long long)

2012-10-02 Thread Marc Glisse
On Tue, 2 Oct 2012, Gabriel Dos Reis wrote: On Tue, Oct 2, 2012 at 3:57 AM, Marc Glisse wrote: (Forgot libstdc++...) Hello, here is the patch from PR54686. Several notes: * I'll have to ask experts if std::abs(unsigned) (yes, a weird thing to do, but still) is meant to return a double...

[AARCH64-4.7] Merge from upstream gcc-4_7-branch r191881

2012-10-02 Thread Sofiane Naci
Hi, I have just merged upstream gcc-4_7-branch on the aarch64-4.7-branch up to r191881. Thanks Sofiane

Re: [RFC] Make vectorizer to skip loops with small iteration estimate

2012-10-02 Thread Richard Guenther
On Mon, 1 Oct 2012, Jan Hubicka wrote: > > > > > > So the unvectorized cost is > > > SIC * niters > > > > > > The vectorized path is > > > SOC + VIC * ((niters-PL_ITERS-EP_ITERS)/VF) + VOC > > > The scalar path of vectorizer loop is > > > SIC * niters + SOC > > > >

Re: abs(long long)

2012-10-02 Thread Gabriel Dos Reis
On Tue, Oct 2, 2012 at 3:57 AM, Marc Glisse wrote: > (Forgot libstdc++...) > > > Hello, > > here is the patch from PR54686. Several notes: > > * I'll have to ask experts if std::abs(unsigned) (yes, a weird thing to do, > but still) is meant to return a double... don't we have a core issue about p

Re: [PATCH v2, libbacktrace]: Compile with -funwind-tables

2012-10-02 Thread Uros Bizjak
On Tue, Oct 2, 2012 at 10:08 AM, Andreas Schwab wrote: >> +if test "x$GCC" = "xyes"; then >> + CFLAGS="$CFLAGS -funwind-tables" >> +fi >> + > > Don't modify CFLAGS, instead you should substitute a new variable that > is added to AM_CFLAGS. CFLAGS is reserved for the user to override. Thanks, a

abs(long long)

2012-10-02 Thread Marc Glisse
(Forgot libstdc++...) Hello, here is the patch from PR54686. Several notes: * I'll have to ask experts if std::abs(unsigned) (yes, a weird thing to do, but still) is meant to return a double... * I still don't like the configure-time _GLIBCXX_USE_INT128, I think it should use defined(__SIZEOF

  1   2   >