Re: [PATCH] PR50325 store_bit_field: Fix for big endian targets

2011-11-21 Thread Eric Botcazou
> Yeah, I don't think constants are any different here. One fix might be > to use simplify_expand_binop instead of extract_bit_field, as per the > patch below. The patch also restricts the shifting to forward walks, > as discussed in the PR trail. This looks fine to me, please apply (with a few

Re: RFA: libgcc: move emutls.c from LIB2ADDEH et al to LIB2ADD

2011-11-21 Thread Paolo Bonzini
On 11/21/2011 01:53 AM, Hans-Peter Nilsson wrote: Spotted while looking into (and yes, I fixed the ChangeLog typo before commit) and also mentioned at. Emulating TLS has nothing to do with

Re: [Patch RFC Darwin] provide the crt stuff for tm.

2011-11-21 Thread Iain Sandoe
Hi Richard, Mike, On 21 Nov 2011, at 00:12, Richard Henderson wrote: On 11/20/2011 01:27 PM, Iain Sandoe wrote: comments/OK for trunk? Iain gcc: * config/darwin.h (ENDFILE_SPEC): New. (DARWIN_CRT1_SPEC): Add crttms.o. libgcc: * config/darwin-crt-tm.c: New file. * config.host (d

CFT: Re: libgcc: why emutls.c in LIB2ADDEH instead of LIB2ADD?

2011-11-21 Thread Hans-Peter Nilsson
> From: Paolo Bonzini > Sender: Paolo Bonzini > Date: Mon, 21 Nov 2011 10:20:39 +0100 > H-P, can you try bootstrapping your patch on cygwin and/or mingw too > before applying it? Sorry, I don't have that. Dave? brgds, H-P

Re: CFT: Re: libgcc: why emutls.c in LIB2ADDEH instead of LIB2ADD?

2011-11-21 Thread Iain Sandoe
On 21 Nov 2011, at 09:34, Hans-Peter Nilsson wrote: From: Paolo Bonzini Sender: Paolo Bonzini Date: Mon, 21 Nov 2011 10:20:39 +0100 H-P, can you try bootstrapping your patch on cygwin and/or mingw too before applying it? Sorry, I don't have that. Dave? The reason it was in libgcc_eh (

[Patch testsuite/darwin] adjust new gcov tests for darwin.

2011-11-21 Thread Iain Sandoe
Darwin uses ".private_extern" for hidden visibility, and also we have __USER_LABEL_PREFIX__ set to "_". OK for trunk? Iain gcc/testsuite: * gcc.misc-tests/gcov-16.c: Adjust scan-assembler for Darwin. * gcc.misc-tests/gcov-17.c: Likewise. * g++.dg/gcov/gcov-8.C: Likewis

Re: C++ PATCH for c++/48322 (broken handling of variadic parms on multiple levels)

2011-11-21 Thread Paolo Carlini
On 11/21/2011 03:05 AM, Jason Merrill wrote: On 11/20/2011 08:02 PM, Paolo Carlini wrote: .. also, I was under the impression that c++/48322 was the only reason we couldn't write something very simple, thus no __all_convertible, ie, something using directly: enable_if<__and_...>::value>::type

[Ada] Constraint checks on exit from function calls with out parameters

2011-11-21 Thread Arnaud Charlet
In Ada 2012, a function call with out parameters may generate assignments to force constraint checks. These checks must be properly placed in the code after the declaration or statement that contains the call. Tested on x86_64-pc-linux-gnu, committed on trunk 2011-11-21 Ed Schonberg *

[v3] libstdc++/51185

2011-11-21 Thread Paolo Carlini
Hi, I'm committing the below from Daniel. Thanks! Tested x86_64-linux. Paolo. /// 2011-11-21 Daniel Krugler PR libstdc++/51185 * include/std/type_traits (__is_base_to_derived_ref, __is_lvalue_to_rvalue_ref): Fix. * testsuite/20_util/is_constr

[Ada] Conformance checks on partially parametrized formal packages

2011-11-21 Thread Arnaud Charlet
A formal subprogram of the formal package can be specified with a box default, or can be covered by an others association with a box initialization. In either case there is no need to check its conformance with the actual subprogram that appears in the instantiation of the formal package. This patc

Re: [patch, ia64, libgcc] Patch to fix libunwind build on IA64

2011-11-21 Thread Michael Matz
Hi, On Fri, 18 Nov 2011, Steve Ellcey wrote: > > Oh, so you don't even need -fasynchronous-unwind-tables? Even better > > then > > :) > > Didn't seem to. Do you know of any special tests I should check and/or > run. No. > I didn't see any problems in the GCC test suite after the bootstrap.

Re: [PATCH] PR50325 store_bit_field: Fix for big endian targets

2011-11-21 Thread Richard Sandiford
Eric Botcazou writes: >> Yeah, I don't think constants are any different here. One fix might be >> to use simplify_expand_binop instead of extract_bit_field, as per the >> patch below. The patch also restricts the shifting to forward walks, >> as discussed in the PR trail. > > This looks fine to

[Ada] Invariants must only apply to public subprograms

2011-11-21 Thread Arnaud Charlet
Previously, invariants were applied for IN OUT parameters and return values on all subprograms. This is wrong, they should only be applied for private subprograms. In the following test program, only the exception marked OK should be raised, not the other two (before all three exceptions were raise

[Ada] As we use the default behavior, no need to allocate a mutex attribute

2011-11-21 Thread Arnaud Charlet
Passing a null pointer to pthread_mutex_init for the attribute specify that the default attribute should be used. This is exactly what was done previously by using a mutex attribute with default value. This is just a code clean-up, no change in behavior but we avoid some system calls and furthermo

[Ada] A dispatching call cannot have a stdcall calling convention

2011-11-21 Thread Arnaud Charlet
Issue an error if a pragma convention stdcall is applied to a dispatching subprogram. Such subprogram cannot be used to interface to the Win32 API, so in fact this check does not impose any new restrictions. Tested on x86_64-pc-linux-gnu, committed on trunk 2011-11-21 Pascal Obry * se

[Ada] As we use the default behavior, no need to allocate a cond attribute

2011-11-21 Thread Arnaud Charlet
Passing a null pointer to pthread_cond_init for the attribute specify that the default attribute should be used. This is exactly what was done previously by using a cond attribute with default value. This is just a code clean-up, no change in behavior but we avoid some system calls and furthermore

[Ada] Implement pragma Pure_12 and use it in Ada.Finalization

2011-11-21 Thread Arnaud Charlet
Ada_Finalization is Pure in Ada 2012, but not in earlier versions. This is in accordance with AI05-0212. This patch implements a pragma and apsect Pure_12, which is like Pure but effective only in Ada 2012 mode (analogous to Pure_05 in Ada 2005 mode) The following two test programs show the effect

[Ada] Fix handling of local Restrictions pragmas

2011-11-21 Thread Arnaud Charlet
This patch completely redoes the handling of Restrictions pragmas that occur locally to a unit as a configuration pragma (rather than as an entrhy in a configuration pragma file). The new handling is much more consistent, and fixes a number of problems with inheriting restrictions from with'ed uni

Re: [Patch] make it possible for the target to rename ".tm_clone_table"

2011-11-21 Thread Pedro Alves
On Sunday 20 November 2011 15:34:54, Iain Sandoe wrote: > +#undef TARGET_ASM_TM_CLONE_TABLE_SECTION_NAME > +#define TARGET_ASM_TM_CLONE_TABLE_SECTION darwin_tm_clone_table_section #undef TARGET_ASM_TM_CLONE_TABLE_SECTION probably. -- Pedro Alves

[Ada] Properly recognize NEL as end of line in UTF-8 encoding mode

2011-11-21 Thread Arnaud Charlet
The NEL (NEXT LINE) control code (16#85#) is now properly recognized as a line terminator, and hence can be used to terminate a source line when the source program is encoded in UTF-8 mode. Note that NEL is not recognized as a line terminator in normal 8-bit mode. For an extensive explanation of w

Re: [PATCH] postreload: Invalidate reg_state info@barrier/volatile insns

2011-11-21 Thread Andreas Krebbel
> Let's be conservative instead and distinguish the two cases: in the barrier > case, we don't change anything and just add the missing comment, along the > lines of "Crossing a barrier resets all the use information". In the > volatile > case, we unconditionally invalidate with a similar comm

[Ada] Fix handling of position attributes in Ada 2005 mode

2011-11-21 Thread Arnaud Charlet
A special rule was introduced in Ada 2005 (RM 13.5.2(2/2-4/2)) that specifies that if Position, First_Bit or Last_Bit are applied to a component with a component clause, and the default record bit ordering applies, then the results correspond to the exact values given in the component clause, not n

[Ada] Properly detect passing volatile A.B to non-volatile formal

2011-11-21 Thread Arnaud Charlet
This patch provides proper detection of the error of passing pointer to volatile to pointer to non-volatile in the case of a component reference A.B. The following test program (compiled with -gnatld7 -gnatj60 -gnat2005) shows detection of this error 1. procedure Atomic_Test is 2.

[Ada] Adjustments to setting alignment when size is set

2011-11-21 Thread Arnaud Charlet
This patch reworks the handling when the alignment is not set but the size is set. Basically in this case, we always set a reasonable alignment from the size. This is true even if the size is confirming (we really have no way of telling if a size clause is or is not confirming in the general case).

[Ada] Do not expand checks in Alfa mode

2011-11-21 Thread Arnaud Charlet
In Alfa mode, formal verification backend takes care of checks, hence there is no need for the frontend to insert checks. Tested on x86_64-pc-linux-gnu, committed on trunk 2011-11-21 Yannick Moy * checks.adb (Apply_Access_Check, Apply_Arithmetic_Overflow_Check, Apply_Discrimin

[Ada] Access subprogram definitions as return types of access to subprograms

2011-11-21 Thread Arnaud Charlet
Ada 2005 allows the declaration of an access to function whose return type is itself an access to function, etc. Each anonymous access type generated for this pathological construct has a scope which is the scope of the current declaration. The following must compile quietly in Ada 2005 mode, and

Re: [PATCH] PR50325 store_bit_field: Fix for big endian targets

2011-11-21 Thread Eric Botcazou
> What's the main potential problem you see? The backwards condition: > > (fieldmode == BLKmode ? BYTES_BIG_ENDIAN : WORDS_BIG_ENDIAN) > > should apply the same bit-for-bit mapping between source and target > as the patch applies. Not if the objects don't have the same size. In Ada we have B

Re: [PATCH] postreload: Invalidate reg_state info@barrier/volatile insns

2011-11-21 Thread Eric Botcazou
> 2011-11-21 Andreas Krebbel > > * postreload.c (reload_combine): Mark reg_state as invalid at > volatile insns if there has been a use already. What do we gain in practice by invalidating conditionally? Probably nothing I'd say, so let's invalidate unconditionally like for CALL_P

[Ada] Fix libada build on cygwin

2011-11-21 Thread Eric Botcazou
This (presumably) fixes http://gcc.gnu.org/ml/gcc/2011-11/msg00404.html by always including the main GCC dir in INCLUDES_FOR_SUBDIR. Tested on i586-suse-linux w/ and w/o --disable-libada, applied on the mainline. 2011-11-21 Eric Botcazou * gcc-interface/Makefile.in (INCLUDES_FOR_SUB

Re: [Patch testsuite/darwin] adjust new gcov tests for darwin.

2011-11-21 Thread Nathan Sidwell
On 11/21/11 10:30, Iain Sandoe wrote: Darwin uses ".private_extern" for hidden visibility, and also we have __USER_LABEL_PREFIX__ set to "_". OK for trunk? Iain gcc/testsuite: * gcc.misc-tests/gcov-16.c: Adjust scan-assembler for Darwin. * gcc.misc-tests/gcov-17.c: Likewise. * g++.dg/gcov/gcov

Re: [PATCH, take 2] Fix PR tree-optimization/49960 ,Fix self data dependence

2011-11-21 Thread Jakub Jelinek
On Tue, Nov 15, 2011 at 12:31:39PM +0200, Razya Ladelsky wrote: > This patch fixes the failures described in > http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49960 > It also fixes bzips when run with autopar enabled. Sorry, I've been away and couldn't react to this earlier, but the patch looks wrong

Re: [PATCH] PR50325 store_bit_field: Fix for big endian targets

2011-11-21 Thread Richard Sandiford
Eric Botcazou writes: >> What's the main potential problem you see? The backwards condition: >> >> (fieldmode == BLKmode ? BYTES_BIG_ENDIAN : WORDS_BIG_ENDIAN) >> >> should apply the same bit-for-bit mapping between source and target >> as the patch applies. > > Not if the objects don't have

Re: [PATCH] postreload: Invalidate reg_state info@barrier/volatile insns

2011-11-21 Thread Andreas Krebbel
On 11/21/2011 01:12 PM, Eric Botcazou wrote: >> 2011-11-21 Andreas Krebbel >> >> * postreload.c (reload_combine): Mark reg_state as invalid at >> volatile insns if there has been a use already. > > What do we gain in practice by invalidating conditionally? Probably nothing > I'd say

[Ada] In Alfa mode, do not force evaluation of expressions for checks

2011-11-21 Thread Arnaud Charlet
In Alfa mode, checks are not generated by the frontend, hence there is no need to force the evaluation of expressions for checks. This avoids inserting useless actions in expressions. Tested on x86_64-pc-linux-gnu, committed on trunk 2011-11-21 Yannick Moy * sem_ch3.adb (Constrain_Ind

[Ada] Special case dup2() on Windows

2011-11-21 Thread Arnaud Charlet
Special case when oldfd and newfd are identical and are the standard input, output or error as this makes Windows XP hangs. Tested on x86_64-pc-linux-gnu, committed on trunk 2011-11-21 Pascal Obry * adaint.c (__gnat_dup2): When fd are stdout, stdin or stderr and identical, do

[Ada] Cleanup in sysdep.c: remove unused declaration

2011-11-21 Thread Arnaud Charlet
Tested on x86_64-pc-linux-gnu, committed on trunk 2011-11-21 Tristan Gingold * sysdep.c (mode_read_text, mode_write_text, mode_append_text, mode_read_binary, mode_write_binary, mode_append_binary, mode_read_text_plus, mode_write_text_plus, mode_append_text_plus,

[Ada] Locate error message on the first character of an assertion

2011-11-21 Thread Arnaud Charlet
The source location of an expression may not be the best place to put a message, in the case of a failed assertion. For example, it gets located on the last "and" keyword in a chain of boolean expressiond and'ed together. It is best to put the message on the first character of an assertion, which i

[Ada] In Alfa mode, do not remove side-effects from expression

2011-11-21 Thread Arnaud Charlet
Formal verification constraints already ensure that expressions are free from side-effects, so no need for removal of side-effects in Alfa mode. Tested on x86_64-pc-linux-gnu, committed on trunk 2011-11-21 Yannick Moy * exp_util.adb (Remove_Side_Effects): Do nothing in Alfa mode. Ind

[Ada] Attribute 'Max_Size_In_Storage_Elements and controlled types

2011-11-21 Thread Arnaud Charlet
This patch modifies the way Max_Size_In_Storage_Elements operates when applied to a controlled type. The attribute returns the size of the prefix plus the size of the two hidden pointer which are added by the runtime support for controlled objects on the heap. Tested on x86_64-pc-linux-gnu, commit

Re: [patch] update configury for FreeBSD 10 on gcc-4.6 branch

2011-11-21 Thread Joseph S. Myers
On Sun, 20 Nov 2011, Andreas Tobler wrote: > Committed, thanks. > > Results are here: > > http://gcc.gnu.org/ml/gcc-testresults/2011-11/msg02050.html > > And commit is this one: > > http://gcc.gnu.org/ml/gcc-cvs/2011-11/msg00829.html I don't see this on mainline, only 4.6 branch - am I missin

[wwwdocs] [RFA] Update gcc-4.7/changes.html to document -mcpu=cortex-a7

2011-11-21 Thread Matthew Gretton-Dann
All, The attached patch updates gcc-4.7/changes.html to document the addition of support in the ARM backend for Cortex-A7 via the -mcpu=cortex-a7 command line option. The wording is based upon that used for Cortex-M4 in gcc-4.6/changes.html. Can someone please review, and if appropriate appl

Re: [PATCH, take 2] Fix PR tree-optimization/49960 ,Fix self data dependence

2011-11-21 Thread Razya Ladelsky
gcc-patches-ow...@gcc.gnu.org wrote on 21/11/2011 02:57:07 PM: > From: Jakub Jelinek > To: Razya Ladelsky/Haifa/IBM@IBMIL > Cc: Richard Guenther , GCC Patches patc...@gcc.gnu.org> > Date: 21/11/2011 02:57 PM > Subject: Re: [PATCH, take 2] Fix PR tree-optimization/49960 ,Fix > self data dependen

[libitm, build] Clear hardware capabilities on libitm.so with Sun ld

2011-11-21 Thread Rainer Orth
The libitm execution tests are currently failing on Solaris 10 and up with Sun as/ld: ld.so.1: cancel.exe: fatal: /var/gcc/regression/trunk/11-gcc/build/i386-pc-solaris2.11/./libitm/.libs/libitm.so.0: hardware capability (CA_SUNW_HW_1) unsupported: 0x2000 [ AVX ] FAIL: libitm.c/cancel.c exe

Re: [PATCH, take 2] Fix PR tree-optimization/49960 ,Fix self data dependence

2011-11-21 Thread Jakub Jelinek
On Mon, Nov 21, 2011 at 03:50:10PM +0200, Razya Ladelsky wrote: > what do you mean by 'except for the affine stuff'? I mean that compute_affine_dependence must never be called on gather data refs, that function can't do anything meaningful for them, they are gather data refs exactly because dr_ana

Re: [RFA/testsuite] Update gcc.dg/vshift-*.c tests to use rand and not random

2011-11-21 Thread Jakub Jelinek
On Mon, Nov 21, 2011 at 01:58:18PM +, Matthew Gretton-Dann wrote: > gcc/testsuite/ChangeLog: > > 2011-11-21 Matthew Gretton-Dann > >* gcc.dg/vshift-1.c (main): Call rand instead of random. >* gcc.dg/vshift-3.c (main): Likewise. This is ok for the trunk. Jakub

[libitm, build] Support sun symbol versioning

2011-11-21 Thread Rainer Orth
Symbol versioning support in libitm is currently based on an old version of the code in libgomp, which doesn't support sun style versioning. The following patch corrects this by merging the changes made to libgomp versioning support since, with the exception of parts that aren't used in libitm (sy

[Patch,AVR]: Fix cc0 and loading const_int/const_double

2011-11-21 Thread Georg-Johann Lay
After updating my local copy I get new runtime FAILs in the test suite because of the following sequence, e.g. from gcc.c-torture/execute/990527-1.c: sbiw r28,1 ; 12 addhi3_clobber/1[length = 1] ldi r24,lo8(9) ; 24 *movhi/5[length = 2] clr r25

[testsuite] Adapt c-c++-common/tm/malloc.c for Solaris headers with C++

2011-11-21 Thread Rainer Orth
This test fails on Solaris 2 when compiled as C++: FAIL: c-c++-common/tm/malloc.c -std=gnu++98 scan-tree-dump-times tmmark " malloc .666" 1 FAIL: c-c++-common/tm/malloc.c -std=gnu++11 scan-tree-dump-times tmmark " malloc .666" 1 It scans for ' malloc', but the Solaris 2 headers are C++aware and

Re: [patch] update configury for FreeBSD 10 on gcc-4.6 branch

2011-11-21 Thread Gerald Pfeifer
On Mon, 21 Nov 2011, Joseph S. Myers wrote: > I don't see this on mainline, only 4.6 branch - am I missing something > or is mainline now in a regressed state relative to 4.6? A fix should > always go on mainline before 4.6, 4.6 before 4.5, 4.5 before 4.4, and > unless and until a full merge fr

Re: [PATCH, take 2] Fix PR tree-optimization/49960 ,Fix self data dependence

2011-11-21 Thread Razya Ladelsky
Jakub Jelinek wrote on 21/11/2011 03:59:15 PM: > From: Jakub Jelinek > To: Razya Ladelsky/Haifa/IBM@IBMIL > Cc: GCC Patches , Richard Guenther > > Date: 21/11/2011 03:59 PM > Subject: Re: [PATCH, take 2] Fix PR tree-optimization/49960 ,Fix > self data dependence > > On Mon, Nov 21, 2011 at 0

Re: libtool update

2011-11-21 Thread Andi Kleen
Markus Trippelsdorf writes: > > I have deleted the tarballs because they don't apply cleanly anymore. > But this is not rocket science and you can easily update to the new > libtool yourself by just copying the new version to the gcc root dir > and running "ACLOCAL='aclocal -I .. -I ../config' aut

[RFA/testsuite] Update gcc.dg/vshift-*.c tests to use rand and not random

2011-11-21 Thread Matthew Gretton-Dann
All, [Apologies to those getting this twice - used wrong account to send it initially]. The attached patch updates the gcc.dg/vshift-*.c tests to call the function rand and not random, as random is not available on all targets, but rand should be as it is in the Standard C Library. Can som

[testsuite] Fix ultrasparc_vis[23]_hw tests

2011-11-21 Thread Rainer Orth
The new gcc.target/sparc/vec-init-[1-3]-vis3.c tests might fail on Solaris 10 and 11 with Sun as on non-VIS3 capable hardware (e.g. UltraSPARC T2 or UltraSPARC IV) like this: ld.so.1: vec-init-1-vis3.exe: fatal: vec-init-1-vis3.exe: hardware capability (C A_SUNW_HW_1) unsupported: 0x400 [ VIS3 ]

Re: [PATCH, take 2] Fix PR tree-optimization/49960 ,Fix self data dependence

2011-11-21 Thread Jakub Jelinek
On Mon, Nov 21, 2011 at 04:54:09PM +0200, Razya Ladelsky wrote: > Although compute_affine_dependence() can't do anything meaningful for the > gather data refs, > it may still be assigning values to the dependence relation structure, if > you need to use them. > Therefore I did not skip the call

[Patch libitm] [V2] config-based assessment of weakref capability

2011-11-21 Thread Iain Sandoe
Hello All, This is the last piece needed to get libitm working on Darwin. --- It is take 2 on auto-configury for weakrefs in libitm. It takes into account the comments made by Rainer (and follow-up) on: http://gcc.gnu.org/ml/gcc-patches/2011-11/msg01898.html * moves the checking functions to

Fix PR51125 (was: death@scope broke TM tests)

2011-11-21 Thread Michael Matz
Hi, On Fri, 18 Nov 2011, Aldy Hernandez wrote: > I just CC'ed you on a bug that I believe was caused by your patch. > > I forgot to CC you on the bug before I wrote the comment on it. > > http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51125#c4 > > Perhaps you can take a look? The attached patch

Re: Massive breakage with your libgcc patches

2011-11-21 Thread Rainer Orth
Paolo Bonzini writes: > On 11/07/2011 07:15 PM, Rainer Orth wrote: >> Bernd Schmidt writes: >> >>> On 11/03/11 20:20, Rainer Orth wrote: * config/c6x/t-elf (LIB2ADDEH): Set. * config/c6x/t-c6x-elf: Remove. >>> >>> It builds now, but parts of libgcc are missing. There's no s

Re: Massive breakage with your libgcc patches

2011-11-21 Thread Paolo Bonzini
On 11/21/2011 04:43 PM, Rainer Orth wrote: Paolo Bonzini writes: On 11/07/2011 07:15 PM, Rainer Orth wrote: Bernd Schmidt writes: On 11/03/11 20:20, Rainer Orth wrote: * config/c6x/t-elf (LIB2ADDEH): Set. * config/c6x/t-c6x-elf: Remove. It builds now, but parts of libg

[build] Cleanup rs6000/t-ppccomm configurations (PR other/51022)

2011-11-21 Thread Rainer Orth
As reported in the PR, powerpc-rtems bootstrap (and certainly several other powerpc targets) is currently broken since rs6000/ibm-ldouble.c appears twice in LIB2ADD, once from rs6000/t-ppccomm and rs6000/t-ppccomm-ldbl, which confuses make. It took me a while to understand how we got into that sit

Re: [PATCH] Remove dead labels to increase superblock scope

2011-11-21 Thread Michael Matz
Hi, On Sat, 19 Nov 2011, Tom de Vries wrote: > On 11/18/2011 10:29 PM, Eric Botcazou wrote: > >> For the test-case of PR50764, a dead label is introduced by > >> fixup_reorder_chain in cfg_layout_finalize, called from > >> pass_reorder_blocks. > > > > I presume that there is no reasonable way of

Re: [Patch libitm] [V2] config-based assessment of weakref capability

2011-11-21 Thread Richard Henderson
On 11/21/2011 07:17 AM, Iain Sandoe wrote: > config: > > * weakref.m4: New file. > > libitm: > > * configure.ac: Use GCC_CHECK_ELF_STYLE_WEAKREF. > * alloc_cpp.cc: Generate dummy functions if we don't > HAVE_ELF_STYLE_WEAKREF. > * eh_cpp.cc: Likewise. > * configure: Regen

Re: Memset/memcpy patch

2011-11-21 Thread Michael Zolotukhin
Hi, Continuing investigation of fails on bootstrap I found next problem (besides the problem with unknown alignment described above): there is a mess with size_needed and epilogue_size_needed when we generate epilogue loop which also use SSE-moves, but no unrolled - that's probably the reason of t

Support enforcing use of libgcc_s even with LINK_EH_SPEC

2011-11-21 Thread Rainer Orth
For the last two weeks, testsuite results on Solaris 11/x86 with gld 2.21.1 have been terrible, which hundreds of link failures. One example is spawn /var/gcc/regression/trunk/11-gcc-gas-gld/build/gcc/xgcc -B/var/gcc/regression/trunk/11-gcc-gas-gld/build/gcc/ /vol/gcc/src/hg/trunk/local/libffi/

Re: Minor contrib.texi update

2011-11-21 Thread Jeff Law
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On 11/18/11 19:47, Gerald Pfeifer wrote: > > Just mind the long line Do we wrap earlier in the texi file (first line is 79chars I think)? Or are you referring to an output file? and it's Rawhide (uppercase), I think. Yea, fixed. jeff -BEGIN PGP

Re: [PATCH, take 2] Fix PR tree-optimization/49960 ,Fix self data dependence

2011-11-21 Thread Razya Ladelsky
Jakub Jelinek wrote on 21/11/2011 05:07:54 PM: > From: Jakub Jelinek > To: Razya Ladelsky/Haifa/IBM@IBMIL > Cc: GCC Patches , Richard Guenther > > Date: 21/11/2011 05:08 PM > Subject: Re: [PATCH, take 2] Fix PR tree-optimization/49960 ,Fix > self data dependence > > On Mon, Nov 21, 2011 at 0

Re: [libitm, build] Support sun symbol versioning

2011-11-21 Thread Richard Henderson
On 11/21/2011 06:06 AM, Rainer Orth wrote: > * libitm.so wasn't versioned even with gld, since libitm_la_LDFLAGS > wasn't passed when linking it. foo_LDFLAGS is supposed to be one of those auto variables that gets used when linking foo. I know that the library was successfully versioned when I

Re: [libitm, build] Support sun symbol versioning

2011-11-21 Thread Michael Matz
Hi, On Mon, 21 Nov 2011, Richard Henderson wrote: > On 11/21/2011 06:06 AM, Rainer Orth wrote: > > * libitm.so wasn't versioned even with gld, since libitm_la_LDFLAGS > > wasn't passed when linking it. > > foo_LDFLAGS is supposed to be one of those auto variables that gets used > when linking

Re: [libitm, build] Clear hardware capabilities on libitm.so with Sun ld

2011-11-21 Thread Richard Henderson
On 11/21/2011 05:53 AM, Rainer Orth wrote: > The libitm execution tests are currently failing on Solaris 10 and up > with Sun as/ld: > > ld.so.1: cancel.exe: fatal: > /var/gcc/regression/trunk/11-gcc/build/i386-pc-solaris2.11/./libitm/.libs/libitm.so.0: > hardware capability (CA_SUNW_HW_1) unsup

Re: [build] Cleanup rs6000/t-ppccomm configurations (PR other/51022)

2011-11-21 Thread Paolo Bonzini
On 11/21/2011 05:01 PM, Rainer Orth wrote: As reported in the PR, powerpc-rtems bootstrap (and certainly several other powerpc targets) is currently broken since rs6000/ibm-ldouble.c appears twice in LIB2ADD, once from rs6000/t-ppccomm and rs6000/t-ppccomm-ldbl, which confuses make. It took me a

Re: [libitm, build] Clear hardware capabilities on libitm.so with Sun ld

2011-11-21 Thread Rainer Orth
Richard Henderson writes: > This is only ok if the compiler and library are build with default options. > If you use --with-arch=corei7-avx then we may well use AVX insns all through > the library, not just in the one interface that will only be used if the > user of the library is using avx. >

Re: [PATCH, take 2] Fix PR tree-optimization/49960 ,Fix self data dependence

2011-11-21 Thread Jakub Jelinek
On Mon, Nov 21, 2011 at 06:56:55PM +0200, Razya Ladelsky wrote: > I have some non-affine cases for which compute_affine_dependence is called > (as it is called for > ALL dependences from compte_all_depepndences()), and no harm is done. > I looked a little bit closer into the code, and this is wha

Re: [build] Cleanup rs6000/t-ppccomm configurations (PR other/51022)

2011-11-21 Thread Rainer Orth
Paolo Bonzini writes: > Wrong patch attached. Indeed ;-) # HG changeset patch # Parent e270cbe9e8641882fbcae2c23e927cdfd2be182f Cleanup rs6000/t-ppccomm configurations (PR other/51022) diff --git a/libgcc/config.host b/libgcc/config.host --- a/libgcc/config.host +++ b/libgcc/config.host @@ -85

Re: [Patch,AVR]: Fix cc0 and loading const_int/const_double

2011-11-21 Thread Denis Chertykov
2011/11/21 Georg-Johann Lay : > After updating my local copy I get new runtime FAILs in the test suite because > of the following sequence, e.g. from gcc.c-torture/execute/990527-1.c: > >        sbiw r28,1       ;  12  addhi3_clobber/1        [length = 1] >        ldi r24,lo8(9)   ;  24  *movhi/5  

Re: [build] Cleanup rs6000/t-ppccomm configurations (PR other/51022)

2011-11-21 Thread Joel Sherrill
On 11/21/2011 11:25 AM, Rainer Orth wrote: Paolo Bonzini writes: Wrong patch attached. Indeed ;-) Does this patch apply OK for others? Ranier.. you can just send me the impacted files if you like. I have no local changes to libgcc. $ cat /tmp/libgcc-t-savresfgpr.patch | patch -p1 patchin

Re: [build] Cleanup rs6000/t-ppccomm configurations (PR other/51022)

2011-11-21 Thread Rainer Orth
Joel Sherrill writes: > Does this patch apply OK for others? > > Ranier.. you can just send me the impacted files if you like. I have > no local changes to libgcc. > > $ cat /tmp/libgcc-t-savresfgpr.patch | patch -p1 > patching file libgcc/config.host > Hunk #1 succeeded at 843 (offset -9 lines)

[PATCH, i386]: Move unspec/unspecv constants around

2011-11-21 Thread Uros Bizjak
Hello! This patch moves unspec/unspecv constants to their new homes. The patch also moves a couple of fence patterns from sse.md to sync.md. No functional changes. 2011-11-21 Uros Bizjak * config/i386/mmx.md (unspec) : Move from config/i386/i386.md (unspecv) : Ditto.

Re: [libitm, build] Clear hardware capabilities on libitm.so with Sun ld

2011-11-21 Thread David Miller
From: Rainer Orth Date: Mon, 21 Nov 2011 14:53:33 +0100 > Right now, it is only possible to clear the hardware capabilities > completely, while the new v2 mapfile syntax supports selectively adding > and removing capabilities. It is only available in Solaris 11 and > Solaris 10 Update 10, though

Re: [testsuite] Fix ultrasparc_vis[23]_hw tests

2011-11-21 Thread David Miller
From: Rainer Orth Date: Mon, 21 Nov 2011 16:07:04 +0100 > The new gcc.target/sparc/vec-init-[1-3]-vis3.c tests might fail on > Solaris 10 and 11 with Sun as on non-VIS3 capable hardware > (e.g. UltraSPARC T2 or UltraSPARC IV) like this: > > ld.so.1: vec-init-1-vis3.exe: fatal: vec-init-1-vis3.ex

Re: [PATCH] PR c++/51145 - Alias template in elaborated-type-specifier

2011-11-21 Thread Dodji Seketeli
Jason Merrill writes: > See my comment in the PR. Yes, sorry I have missed it. Here is an updated patch hopefully addressing that comment. I have also updated a bunch of tests as a result of the change from error to note. Bootstrapped and tested on x86_64-unknown-linux-gnu against trunk. Fro

Re: [Patch RFC Darwin] provide the crt stuff for tm.

2011-11-21 Thread Richard Henderson
On 11/21/2011 01:17 AM, Iain Sandoe wrote: > 1. should I be applying this constructor/destructor pair to shared libraries > as well? > (the specs need minor amendment) Yes. r~

Re: [libitm, build] Clear hardware capabilities on libitm.so with Sun ld

2011-11-21 Thread Richard Henderson
On 11/21/2011 09:23 AM, Rainer Orth wrote: > Richard Henderson writes: > >> This is only ok if the compiler and library are build with default options. >> If you use --with-arch=corei7-avx then we may well use AVX insns all through >> the library, not just in the one interface that will only be u

Re: Support enforcing use of libgcc_s even with LINK_EH_SPEC

2011-11-21 Thread Jakub Jelinek
On Mon, Nov 21, 2011 at 05:40:26PM +0100, Rainer Orth wrote: > 2011-11-20 Rainer Orth > > * gcc.c (init_gcc_specs) [USE_SHARED_LIBGCC_FOR_EH]: Always use > libgcc_s. > * config/sol2.h [USE_GLD] (USE_SHARED_LIBGCC_FOR_EH): Define. That's an ugly hack. IMHO we just want to do

[patch, committed] update configury for FreeBSD 10 on trunk

2011-11-21 Thread Andreas Tobler
Here the pointer to the patch I just committed. Test results: http://gcc.gnu.org/ml/gcc-testresults/2011-11/msg02168.html Commit: http://gcc.gnu.org/ml/gcc-cvs/2011-11/msg00886.html And sorry for the inconsistency. Thanks, Andreas

Re: CFT: Re: libgcc: why emutls.c in LIB2ADDEH instead of LIB2ADD?

2011-11-21 Thread Richard Henderson
On 11/21/2011 02:04 AM, Iain Sandoe wrote: > The reason it was in libgcc_eh (AFAIK, the original implementation > pre-dates my GCC days) - is because there can only be one copy of the > static emutls locking entities in a given exe. I guess it was felt > analogous to the "only one unwinder" rule.

[patch] support LTO of transactional memory

2011-11-21 Thread Aldy Hernandez
No sense not supporting LTO in the first TM release, if we can avoid it. OK for trunk, or should I queue for 4.8? This only affects the TM code path. Tested on x86-64 Linux. The testcase only tests for assembly, since I see no way of testing linkage and depending on libitm as well. Plus, w

[Patch,AVR] Light-weight DImode implementation.

2011-11-21 Thread Georg-Johann Lay
This adds support for DImode insns that don't operate byte-wise like NEG, COMPARE, PLUS, MINUS, ASHIFT, LSHIFTRT, ASHIFTRT, ROTATE. The crucial point is that there is no movdi, with the following reasoning as cited from new avr-dimode.md: ;; The purpose of this file is to provide a light-weight D

Re: [libitm, build] Support sun symbol versioning

2011-11-21 Thread Torvald Riegel
On Mon, 2011-11-21 at 15:06 +0100, Rainer Orth wrote: > * _ITM_getThreadnum is the only symbol in libitm.map that isn't present > in the library. It's documented as missing and should perhaps be > removed from the map? Yes, this is not supported anymore. Thanks, Torvald

Re: [C++11] Ping on PR50958

2011-11-21 Thread Jason Merrill
On 11/20/2011 05:24 PM, Ed Smith-Rowland wrote: Ping. There's a patch that should do the literal operator resolution correctly and resolve PR50958: http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50958 Ah, I didn't realize you had attached a patch there. Next time please also send patches to gc

Re: [patch] support LTO of transactional memory

2011-11-21 Thread Richard Henderson
On 11/21/2011 11:31 AM, Aldy Hernandez wrote: > Tested on x86-64 Linux. The testcase only tests for assembly, since I see no > way of testing linkage and depending on libitm as well. All these tests support multi-file linkage (otherwise LTO is moot). You could supply dummy implementations of the

Re: [patch] support LTO of transactional memory

2011-11-21 Thread Richard Henderson
On 11/21/2011 11:31 AM, Aldy Hernandez wrote: > case GIMPLE_DEBUG: > +case GIMPLE_TRANSACTION: >for (i = 0; i < gimple_num_ops (stmt); i++) > { >tree op = gimple_op (stmt, i); > @@ -145,6 +146,8 @@ output_gimple_stmt (struct output_block >else > stream

Re: [libitm, build] Support sun symbol versioning

2011-11-21 Thread Jack Howarth
On Mon, Nov 21, 2011 at 08:35:39PM +0100, Torvald Riegel wrote: > On Mon, 2011-11-21 at 15:06 +0100, Rainer Orth wrote: > > * _ITM_getThreadnum is the only symbol in libitm.map that isn't present > > in the library. It's documented as missing and should perhaps be > > removed from the map? >

Re: Eric Botcazou to join our Ada maintainer team

2011-11-21 Thread Eric Botcazou
> It's my pleasure to announce that Eric Botcazou is joining Arnaud, > Geert and Robert as maintainer for Ada. > > (Turns out that when discussing this many were actually suprised > he was not already. :-) > > Eric, you know the procedure, MAINTAINERS and such. Thanks, file updated thusly.

Re: [libitm, build] Support sun symbol versioning

2011-11-21 Thread Richard Henderson
On 11/21/2011 11:50 AM, Jack Howarth wrote: > On Mon, Nov 21, 2011 at 08:35:39PM +0100, Torvald Riegel wrote: >> On Mon, 2011-11-21 at 15:06 +0100, Rainer Orth wrote: >>> * _ITM_getThreadnum is the only symbol in libitm.map that isn't present >>> in the library. It's documented as missing and sh

Re: [libitm, build] Support sun symbol versioning

2011-11-21 Thread Jack Howarth
On Mon, Nov 21, 2011 at 11:55:00AM -0800, Richard Henderson wrote: > On 11/21/2011 11:50 AM, Jack Howarth wrote: > > On Mon, Nov 21, 2011 at 08:35:39PM +0100, Torvald Riegel wrote: > >> On Mon, 2011-11-21 at 15:06 +0100, Rainer Orth wrote: > >>> * _ITM_getThreadnum is the only symbol in libitm.map

Re: [libitm, build] Support sun symbol versioning

2011-11-21 Thread Richard Henderson
On 11/21/2011 11:58 AM, Jack Howarth wrote: >> > It was probably due to the version number not being applied previously. > Richard, >I asked because we have libssp and libquadmath at 0 so I thought that the > initial release of > libitm would soversioned the same way. Those simply don't seem

[patch] Fix instantiation of transaction expressions.

2011-11-21 Thread Torvald Riegel
This patch fixes the instantiation of transaction expressions. Transaction statements were correctly before via tsubst_expr, so just use this code for expressions in tsubst_copy_and_build too. OK for trunk? commit 08726d496492d5a0fc2b0310983b04689ba17a48 Author: Torvald Riegel Date: Sat Nov 19

[patch] Handle MUST_NOT_THROW_EXPR in voidify_wrapper_expr.

2011-11-21 Thread Torvald Riegel
voidify_wrapper_expr didn't handle MUST_NOT_THROW_EXPR before, but was used by the C++ side gimplify function for MUST_NOT_THROW_EXPR. Handle it like other wrappers which have the inner part in operand 0. OK for trunk? commit 9cb965d2a5cf9ca6708ee85929784982253ded7a Author: Torvald Riegel Date:

Re: [patch] Fix instantiation of transaction expressions.

2011-11-21 Thread Richard Henderson
On 11/21/2011 12:25 PM, Torvald Riegel wrote: > gcc/cp/ > * pt.c (tsubst_copy_and_build): Handle TRANSACTION_EXPR. Ok. > +/* { dg-final { scan-tree-dump-times "ITM_RU4\\s*\\(&global" 2 "tmmark" } } > */ This needs to cater to sizeof(int) != 4. Why not just match "ITM_RU" and leave i

Re: [patch] Handle MUST_NOT_THROW_EXPR in voidify_wrapper_expr.

2011-11-21 Thread Richard Henderson
On 11/21/2011 12:27 PM, Torvald Riegel wrote: > voidify_wrapper_expr didn't handle MUST_NOT_THROW_EXPR before, but was > used by the C++ side gimplify function for MUST_NOT_THROW_EXPR. Handle > it like other wrappers which have the inner part in operand 0. > > OK for trunk? Not ok. This is a c+

[patch] Support noexcept-specifications for transaction statements and expressions.

2011-11-21 Thread Torvald Riegel
This revision of the patch is now complete and passes all the tests I could come up with. Compared to previous iterations, I added parsing of noexcept without explicit true/false. This makes cp_parser_noexcept_specification_opt a bit more complex, but we can now reuse it. The other two patches I

  1   2   >