[patch] Fix g++.dg/vect/slp-pr50413.cc

Hi, g++.dg/vect/slp-pr50413.cc should check that the basic block in shift () doesn't get vectorized. This patch removes other functions that contain basic blocks that can be vectorizable on some platforms. Tested on x86_64-suse-linux. Committed to trunk. Ira testsuite/ChangeLog: * g++.

Re: [patch] --enable-dynamic-string default for mingw-w64

2011/9/20 JonY : > Hi, > > Its been used in the automated toolchain builds for sometime, seems like > a good idea to enable it by default. It can be easily changed to match > for all mingw as well if needed. > > OK for trunk? > > Index: libstdc++-v3/configure.ac > ==

Re: v{extract,insert,broadcast,perm2}{i,f}128

On Mon, Sep 19, 2011 at 9:08 PM, Jakub Jelinek wrote: > AVX2 prefers v*i128 instructions for vector integer > modes, while AVX only supports v*f128. > In one of my recent patches I've changed vextract* so that > it emits v*i128 instead of v*f128 for AVX2 on integer modes, > but I wonder what is t

[pph] Stream merging information (issue5090041)

Prepare for merging symbols. When writing a cp_binding_level, we emit this_entity first, so that we can identify the context of the bindings early. If this_entity is a namespace, we call alternate routines that track the namespace. These ultimately call pph_write_namespace_tree, which adds addit

[PATCH] Make the pass of 941014-1.c as a normal pass.

Hello, This is an old case written in 1997. Perhaps it intends to cover an old gcc bug. In fact the case itself passed on QEMU for cortex-m3. So I am proposing a patch here to remove the test script to make this pass as a normal pass. Otherwise the pass is regarded as XPASS. Is it ok to trunk? BR

[RFA] timeval-utils.c for libiberty

Hi. This patch adds two functions, timeval_add and timeval_sub, to libiberty. GDB has use for them in a few places and since they're general purpose I wish to check them into libiberty. Ok to check in? 2011-09-19 Doug Evans include/ * timeval-utils.h: New file. libi

Re: [PATCH, testsuite, ARM] Change to expected failure for g++.dg/abi/local1.C on ARM target

On 09/13/2011 09:29 PM, Jiangning Liu wrote: In "C++ ABI for the ARM architecture", it says, This runs contrary to §2.9.1 of [GC++ABI] which states: It is intended that two type_info pointers point to equivalent type descriptions if and only if the pointers are equ

Re: [Patch] PR c++/26256

On 09/17/2011 09:44 AM, Fabien Chêne wrote: I tried various things without success, and I ended up hacking supplement_binding_1 to handle those ENUMERAL_TYPEs. I am all ear for another solution ... Your solution seems reasonable to me, but it needs a comment, along the lines of /* We allow p

Go patch committed: Fix handling of mutually recursive named types

The Go frontend was overloading Named_type::seen_ to mean too many different things. It caused a compiler crash compiling mutually recursive types as in: type T18 *[10]T19 type T19 T18 This patch fixes the problem by splitting off the only complex use of seen_ into a new field. I also changed s

[patch] --enable-dynamic-string default for mingw-w64

Hi, Its been used in the automated toolchain builds for sometime, seems like a good idea to enable it by default. It can be easily changed to match for all mingw as well if needed. OK for trunk? Index: libstdc++-v3/configure.ac ===

Re: [PATCH 3/7] Emit macro expansion related diagnostics

Jason Merrill writes: > On 09/19/2011 09:58 AM, Dodji Seketeli wrote: > > + The part that goes from the third to the heighth line of this > > An extra 'h' snuck in there. :) Oops, fixed in my local copy, sorry. > > > Inside the definition of a macro M, you can have another macro M'. > > And

Re: [PATCH] check_cfg assert fix

On 14/09/2011, at 7:40 AM, Maxim Kuvyrkov wrote: > > OK then, attached is the trivial patch that removes > haifa-sched.c:check_cfg(). Please let me know if you have strong feelings > towards keeping check_cfg(). > > Tested on x86_64-linux-gnu. Absent any requests to the contrary, I will > ch

Re: [C++-11] User defined literals

On 09/19/2011 04:22 AM, Ed Smith-Rowland wrote: +check_literal_operator_args( const_tree decl, Space before the (, not after. Done. I am now storing the numeric string along with the number and the suffix ID for numeric operators. I'm keeping the numeric value because we need it too. Can

Re: [PATCH 2/7] Generate virtual locations for tokens

On 09/18/2011 06:47 AM, Dodji Seketeli wrote: +cpp_hashnode *macro; + + }c; Extra blank line, missing space. +/* Appends a token to the end of the token buffer BUFFER. Note that + this function doesn't enlarge BUFFER; it overwrite the last memory + location of BUFFER that holds a to

Re: [PATCH 3/7] Emit macro expansion related diagnostics

On 09/19/2011 02:29 PM, Jason Merrill wrote: expansion location. So it seems like we ought to be able to get away with only storing one location per token in a macro expansion map. Am I missing something? I notice that here: +/* Resolve the location iter->where into the locus 1/ of th

[PATCH] Distribute inliner's size_time data across entries with similar predicates

Jan, The following patch started as a one-liner for ipa-inline-analysis.c: account_size_time() to merge predicates when we are adding data to entry[0] (i.e., when space for 32 size_time entries is exhausted): @@ -537,6 +592,9 @@ account_size_time (struct inline_summary } else { +

Re: [PATCH] PR49452, prevent post reload combining cross blockage insn

> 2011-09-19 Wei Guozhi > > PR 49452 > * postreload.c (reload_combine): Invalidate use information when > across volatile insn. PR rtl-optimization/49452, otherwise I'm not sure the commit will be xref'ed. -- Eric Botcazou

[patch, Fortran, RFC] Implement library side of {MIN,MAX}{LOC,VAL} with character arguments

Hello world, this patch implements the library side of PR 36313, minloc and friends on character arguments. I haven't started tackling the inline versions yet. I suspect that these are easy for somebody who knows the scalarizer (not me :-) but I'll start looking into how to do it. Unless, of c

Re: [cxx-mem-model] C++ wrappers

On 09/15/2011 06:02 PM, Andrew MacLeod wrote: On 09/15/2011 05:49 PM, Jason Merrill wrote: Do we want to start exporting these from libstdc++? I dont know the ins and outs of the library... the typedefs and specializations are already there, I can write: atomic_char c; c = 'a' in my progra

v{extract,insert,broadcast,perm2}{i,f}128

Hi! AVX2 prefers v*i128 instructions for vector integer modes, while AVX only supports v*f128. In one of my recent patches I've changed vextract* so that it emits v*i128 instead of v*f128 for AVX2 on integer modes, but I wonder what is the prefered way to change the rest of the insn. E.g. we have

Re: [PATCH, MELT] correct meltgc_string_hex_md5sum_file_sequence

On Mon, 19 Sep 2011 20:02:16 +0200 Pierre Vittet wrote: > Hello > > Here is a patch allowing to compute correctly the md5 of a file sequence > even with the bug rapported here: > http://gcc.gnu.org/ml/gcc-patches/2011-09/msg00963.html. > > The function will work with both gcc 4.6 without the pa

Re: [PATCH 3/7] Emit macro expansion related diagnostics

On 09/19/2011 09:58 AM, Dodji Seketeli wrote: + The part that goes from the third to the heighth line of this An extra 'h' snuck in there. :) Inside the definition of a macro M, you can have another macro M'. And M' is going to be eventually expanded into a token FOO. So, to paraphrase wha

Re: [PATCH, i386]: Two cleanups.

Hello! No functional change. 2011-09-19 Uros Bizjak * config/i386/mmx.md (*mov_internal_rex64): Use if_then_else RTX to calculate unit, prefix_rep and prefix_data16 attributes. (*mov_internal): Ditto for unit attribute. (*movv2sf_internal_rex64): Ditto for unit

[PATCH, i386]: Two cleanups.

Hello!

[PATCH, MELT] correct meltgc_string_hex_md5sum_file_sequence

Hello Here is a patch allowing to compute correctly the md5 of a file sequence even with the bug rapported here: http://gcc.gnu.org/ml/gcc-patches/2011-09/msg00963.html. The function will work with both gcc 4.6 without the patch and a gcc with the patch applied. The problem cames from the fact t

[PATCH, i386]: Macroize min/max patterns some more

Hello! 2011-09-19 Uros Bizjak * config/i386/i386.md (maxmin): New code iterator. * config/i386/sse.md (3): Macroize expander from 3 and 3 using maxmin code iterator. (*avx2_3): Macroize isn from *avx2_3 and *avx2_3 using maxmin code itera

Re: [patch] Don't try to reload match_operator

On 19/09/11 16:53, Ulrich Weigand wrote: > Richard Earnshaw wrote: >> On 19/09/11 15:14, Ulrich Weigand wrote: >>> So it seems to me that for match_operator operands, the >>> goal_alternative_win flag should always be true ... >>> >>> Can you find out why this isn't true in your case? >> >> Hmm, I

Re: [PATCH] PR49452, prevent post reload combining cross blockage insn

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On 09/19/11 02:51, Carrot Wei wrote: > Hi > > We should not combine insns cross volatile insns. Combine.c already > does this check, postreload should also do so. > > Bootstrapped and regtested on x86_64-unknown-linux-gnu. Regtested > on arm qemu. >

Re: [patch] Don't try to reload match_operator

Richard Earnshaw wrote: > On 19/09/11 15:14, Ulrich Weigand wrote: > > So it seems to me that for match_operator operands, the > > goal_alternative_win flag should always be true ... > > > > Can you find out why this isn't true in your case? > > Hmm, I think it must be because of this: > >

Re: [patch] Don't try to reload match_operator

On 19/09/11 15:14, Ulrich Weigand wrote: > Richard Earnshaw wrote: > >> This patch fixes a couple of cases where reload incorrectly thinks it >> should be messing around with the result of a match_operator operand. >> Given that it's never even tried to validate the contents of such an >> operand

Re: [PATCH] Improve SSE4.1+ float extraction from V4SFmode

On Mon, Sep 19, 2011 at 1:33 PM, Jakub Jelinek wrote: > As mentioned in an earlier posting, for -msse4.1 and above > on the gcc.target/i386/{sse2,avx}-extract-1.c testcases we > generate inefficient code when trying to extract SFmode > from V4SFmode, unless it is the element 0. > The problem is t

Re: [PATCH, libiberty] correct md5_process_bytes with unaligned pointers

Hello, Ping! I would like to get a return on this patch. I don't know quite well the status of libiberty in GNU, please if I must this patch on another mailing list, please say me on which. Thanks! Pierre Vittet

Re: [PATCH] Improve SSE4.1+ float extraction from V4SFmode

On 09/19/2011 04:33 AM, Jakub Jelinek wrote: > * config/i386/sse.md (*sse4_1_extractps): Change into > define_insn_and_split, add =x 0 n and =x x n alternatives > and split them after reload. Ok. r~

Re: [patch] Don't try to reload match_operator

Richard Earnshaw wrote: > This patch fixes a couple of cases where reload incorrectly thinks it > should be messing around with the result of a match_operator operand. > Given that it's never even tried to validate the contents of such an > operand the changes it tries to make are bogus. I'm wond

[PATCH] [GCC testsuite] SEQUENCE_LENGTH in memcpy-2.c

This patch improves an existing test case for memcpy. The test case memcpy-2.c checks that memory outside the destination is not corrupted. The check fails if SEQUENCE_LENGTH < MAX_OFFSET, although it does not happen with the default values of these macros. This patch fixes the check to work for sm

Re: [patch] Fix PR tree-optmization/50413

On Mon, Sep 19, 2011 at 4:46 AM, Ira Rosen wrote: > Hi, > > When we can't vectorize a certain statement in SLP we mark it as not > vectorizable and continue with the analysis. This is wrong when the > reason for the failure is that we can't analyze a data-ref, because > this way we may miss a data

Re: [PATCH 3/7] Emit macro expansion related diagnostics

Jason Merrill writes: > On 09/16/2011 03:55 AM, Dodji Seketeli wrote: > > +test.c: In function ‘g’: > > +test.c:5:14: error: invalid operands to binary << (have ‘double’ and > > ‘int’) > > +test.c:2:9: note: in expansion of macro 'OPERATE' > > +test.c:5:3: note: expanded from her

Re: ARM 64-bit shift ICE

On 19/09/11 10:12, Paul Brook wrote: In Thumb-2 mode we try and match an "M" constraint (const_int between 0 and 31) with no other alternatives. This fails, and with nowhere else to go we ICE. The fix is to restrict the predicate for these insns to only accept valid const_int shift counts. This

Re: [PATCH] Do not store/stream binfos in jump functions

Hi, On Fri, Sep 16, 2011 at 04:29:44PM +0200, Jan Hubicka wrote: > > > > * ipa-prop.h (jump_func_type): Updated comments. > > (ipa_known_type_data): New type. > > (ipa_jump_func): Use it to describe known type jump functions. > > * ipa-prop.c (ipa_print_node_jump_functions_for_edg

[FYI] fix name of unused TREE_NOT_CHECK4

I caught this by chance: TREE_NOT_CHECK4 was not named properly, deviating from the standard of other TREE_NOT_CHECK* macros, and different from the equivalent macro in the without-tree-checking portion of the macro setting. I've checked this in as obvious, after bootstrapping it along with other

Re: [Ada] fix potential memory corruption in annotated value cache

On Sep 16, 2011, Eric Botcazou wrote: > Yes, modulo Jakub's remark and s/NULL/NULL_TREE for zeroing in.base.from. Thanks, here's what I've just checked in. for gcc/ada/ChangeLog from Alexandre Oliva * gcc-interface/decl.c (annotate_value): Look up expression for insertion in the cache at

Re: PowerPC shrink-wrap support 0 of 3

On 09/19/11 02:16, Alan Modra wrote: > On Sat, Sep 17, 2011 at 03:26:21PM +0200, Bernd Schmidt wrote: >> On 09/17/11 09:16, Alan Modra wrote: >>> This patch series adds shrink-wrap support for PowerPC. The patches >>> are on top of Bernd's "Initial shrink-wrapping patch": >>> http://gcc.gnu.org/ml

[v3] libstdc++/40856

Hi, tested x86_64-linux multilib, committed to mainline. Paolo. 2011-09-19 Paolo Carlini PR libstdc++/40856 * include/std/limits (numeric_limits<__int128_t>, numeric_limits<__uint128_t>): Add. * src/limits.cc:Define. * config/

[patch] Fix PR tree-optmization/50413

Hi, When we can't vectorize a certain statement in SLP we mark it as not vectorizable and continue with the analysis. This is wrong when the reason for the failure is that we can't analyze a data-ref, because this way we may miss a data dependence. This patch fails SLP if the data-refs analysis fa

[PATCH] Improve SSE4.1+ float extraction from V4SFmode

Hi! As mentioned in an earlier posting, for -msse4.1 and above on the gcc.target/i386/{sse2,avx}-extract-1.c testcases we generate inefficient code when trying to extract SFmode from V4SFmode, unless it is the element 0. The problem is that the sse4_1_extractps pattern matches, but doesn't have a

[arm-embedded] Backport mainline 174115 .. 178628

Backport following mainline revs to ARM/embedded-4_6-branch: 174115, 176760, 177594, 178628. Committed. 2011-09-19 Terry Guo Backport r178628 from mainline 2011-09-07 Jiangning Liu PR tree-optimization/46021 * gcc.dg/tree-ssa/20040204-1.c: Don't XFAIL on ar

ARM 64-bit shift ICE

The patch below fixes gcc.c-torture/execute/builtin-bitops-1.c on ARM/Thumb-2 targets. The story here is that ARM doesn't have a 64-bit shift operator, so these get decomposed into something like: low1 = (low >> n) low1 |= (high << (32 - n)) /**/ low2 = high >> (32 - n) low_result = (n > 32) ?

[Ada] DSA code generation reorganization

This change causes the compiler to copy components from runtime record type System.Partition_Interface.RACW_Stub_Type instead of hard-coding the component list in Build_Stub_Type. This allows the structure of that type to be changed in the PCS without having to change the compiler. Tested on x86_6

[Ada] Ignore references to renamed Standard constants in Alfa mode

Since we are reaching through renamings in Alfa mode, we may end up with a reference to a standard constants. Ignore those. Tested on x86_64-pc-linux-gnu, committed on trunk 2011-09-19 Yannick Moy * lib-xref.adb (Generate_Reference): Ignore references to constants in Standard.

[Ada] Expand set membership test in Alfa mode

Expansion for set membership in normal mode is also useful in Alfa mode for formal verification, hence apply it too in that case. Tested on x86_64-pc-linux-gnu, committed on trunk 2011-09-19 Yannick Moy * exp_alfa.adb, exp_alfa.ads (Expand_Alfa_N_In): New function for expansio

[Ada] Change SIGADAABRT to SIGABRT on Darwin

The GNAT tasking runtimes using a signal (SIGADAABRT) for asynchronous task abortion. On most platforms, SIGADAABRT is SIGABRT, but Darwin used to use SIGTERM for that purpose. This change makes Darwin consistent with the majority of platforms. This allows tasking programs to install their own hand

[Ada] Add support for use of Annotate pragmas as configuration pragmas

Tested on x86_64-pc-linux-gnu, committed on trunk 2011-09-19 Steve Baird * snames.ads-tmpl: Move declaration of Name_Annotate into range of configuration pragma names so that Is_Configuration_Pragma_Name will return True for Name_Annotate. Make corresponding change in

[arm-embedded] Backport mainline 177890, 177891

Backport following mainline revs to ARM/embedded-4_6-branch: 177890, 177891. Committed. 2011-09-19 Joey Ye Backport r177891 from mainline 2011-08-19 Matthew Gretton-Dann PR target/49437 * config/arm/arm.c (arm_output_epilogue): Properly handle epilogue

[arm-embedded] Backport mainline 171449 .. 177759

Backport following mainline revs to ARM/embedded-4_6-branch: 171449, 172777, 174894, 175588, 176867, 177759 Committed. 2011-09-19 Jiangning Liu Backport r177759 from mainline 2011-08-15 Ramana Radhakrishnan PR target/50022 * config/arm/arm.c (output_move_d

[PATCH] PR49452, prevent post reload combining cross blockage insn

Hi We should not combine insns cross volatile insns. Combine.c already does this check, postreload should also do so. Bootstrapped and regtested on x86_64-unknown-linux-gnu. Regtested on arm qemu. thanks Carrot ChangeLog: 2011-09-19 Wei Guozhi PR 49452 * postreload.c (reloa

[PATCH] Fix PR 48374

Hello, The problem here is the case where the selective scheduler doesn't expect having a block with zero successors. The patch is near obvious which is why it was forgotten for nearly half a year, but still it applies cleanly and fixes the testcase, full testing is in progress. OK for trunk

Re: [arm-embedded] Simply enable GCC to support -march=armv6s-m as GAS does.

On 19 Sep 2011, at 07:50, "Terry Guo" wrote: > Hello, > > I patched arm-arches.def and re-generated arm-tables.opt using command > "./genopt.sh ../arm > arm-tables.opt" in directory gcc/config/arm. Now the > updated patch is as below. Is it OK to trunk? > > BR, > Terry > > 2011-09-19 Terry G

[Ada] Do not perform tagged type expansion in Alfa mode

Tagged type expansion should not be performed in the formal verification mode. It was previously performed, to avoid some errors, which are now corrected. Tested on x86_64-pc-linux-gnu, committed on trunk 2011-09-19 Yannick Moy * gnat1drv.adb (Adjust_Global_Switches): Set tagged type

[Ada] Implement new Aspect control restrictions

Ada 2012 AI-241. Restriction No_Implementation_Aspect_Specifications disallows any implementation defined aspect specifications. It is included in the profile No_Implementation_Extensions. Restriction No_Implementation_Of_Aspects => Aspect_Identifier disallows a specified aspect specification. The

[Ada] Deal with references for Alfa mode through multiple renamings

Get the enclosing entity through possible multiple renamings, not only once, which may come from source or from the translation of generic instantiations. Only for the Alfa mode for formal verification. Tested on x86_64-pc-linux-gnu, committed on trunk 2011-09-19 Yannick Moy * lib-xr

[Ada] Expression functions do not freeze

The body that is created for an expression function does not freeze. When a new declaration and body are created for an expression function, the new body must be inserted at the end of the current declarative part or package spec, to prevent premature freezing of related types. The following must c

[Ada] Correct references in Alfa mode for use of renamings

In Alfa mode, consider the underlying entity renamed instead of the renaming for the reference, because the latter is needed to compute a valid set of effects for the enclosing subprogram. If no such enclosing object, then it could be a reference to any location not tracked individually, like heap-

[arm-embedded] Backport mainline 174803, 175208, 175427

Backport from mainline to ARM/embedded-4_6-branch. Committed. 2011-09-19 Jiangning Liu Backport r175427 from mainline 2011-06-27 Richard Guenther PR tree-optimization/49169 * fold-const.c (get_pointer_modulus_and_residue): Don't rely on the alignmen

[arm-embedded] Backport mainline 174526

Committed 2011-09-06 chengbin Backport cortex-r5 from mainline based on r174526 * config/arm/arm-cores.def: Add cortex-r5. Add DIV flags to Cortex-A15. * config/arm/arm-tune.md: Regenerate. * config/arm/arm.c (FL_DIV): Rename... (FL_THUMB_DIV):