Re: [PATCH v2, testsuite]: Add dg-error for unsupported floating suffix

2012-11-15 Thread Uros Bizjak
On Thu, Nov 15, 2012 at 7:44 PM, Uros Bizjak wrote: >>> >> No, the intention of this test is to check if target can handle these >>> >> suffixes through TARGET_C_MODE_FOR_SUFFIX. Please note that in >>> >> particular tests, -std=x compile switches are added to compile flags. >>> > >>> > But -std=

Re: [PATCH] Vzeroupper placement/47440

2012-11-15 Thread Uros Bizjak
On Fri, Nov 9, 2012 at 2:28 PM, Uros Bizjak wrote: > Finally, having a post-reload mode-switching pass, we can double-check > that there are no live SSE registers at vzeroupper insertion point. As > vzeroupper is only an optimization, we want to play safe and cancel > vzeroupper insertion in this

RE: [PATCH, i386]: AMD bdver3 enablement

2012-11-15 Thread Gopalasubramanian, Ganesh
Thank Uros for the comments. The changes are committed to trunk http://gcc.gnu.org/viewcvs?view=revision&revision=193548 http://gcc.gnu.org/viewcvs?view=revision&revision=193549 Regards Ganesh -Original Message- From: Uros Bizjak [mailto:ubiz...@gmail.com] Sent: Wednesday, November 14,

Re: VEC re-write [patch 24/25]

2012-11-15 Thread Nathan Sidwell
On 11/15/12 21:54, Diego Novillo wrote: 2012-11-15 Diego Novillo * gcc/config/vxworks.c (vxworks_emutls_var_fields): (vxworks_emutls_var_init): looks right to me. and in general ... Hurrah! Go Templates!

[PATCH ARM]Define LOGICAL_OP_NON_SHORT_CIRCUIT for ARM target

2012-11-15 Thread Bin Cheng
Hi, This patch defines LOGICAL_OP_NON_SHORT_CIRCUIT for ARM target and prefers short circuit for armv6-m and Thumb2+Os. I tested the patch on arm-none-eabi on armv6-m/Thumb2 for both Os/O2. The patch introduces new fails on ARMv6-m: gcc/testsuite/gcc.dg/pr19105.c gcc/testsuite/gcc.dg/tree-ssa/ssa

Re: expansion of vector shifts...

2012-11-15 Thread David Miller
From: Richard Sandiford Date: Mon, 29 Oct 2012 10:14:53 + > ...given that the code is like you say written: > > if (SHIFT_COUNT_TRUNCATED) > { > if (CONST_INT_P (op1) > ... > else if (GET_CODE (op1) == SUBREG > && subreg_lowpart_p (op1) > &

[PATCH, MIPS] Fix linking of applications with -msym32

2012-11-15 Thread Maxim Kuvyrkov
Richard, This is the GCC patch of the change to fix building executables with -msym32. It is a one-line change. See http://sourceware.org/ml/binutils/2012-11/msg00225.html for the main discussion. Thank you, -- Maxim Kuvyrkov CodeSourcery / Mentor Graphics gcc-msym32.ChangeLog Descriptio

Re: [PATCH] asan testsuite (take 3)

2012-11-15 Thread Konstantin Serebryany
On Thu, Nov 15, 2012 at 5:01 PM, Andrew Pinski wrote: > On Wed, Nov 14, 2012 at 2:59 PM, Jakub Jelinek wrote: >> On Wed, Nov 14, 2012 at 11:12:05AM -0800, Mike Stump wrote: >>> On Nov 14, 2012, at 8:22 AM, Jakub Jelinek wrote: >>> > On Wed, Nov 14, 2012 at 12:11:13PM +0100, Jakub Jelinek wrote:

Re: [PATCH] asan testsuite (take 3)

2012-11-15 Thread Andrew Pinski
On Wed, Nov 14, 2012 at 2:59 PM, Jakub Jelinek wrote: > On Wed, Nov 14, 2012 at 11:12:05AM -0800, Mike Stump wrote: >> On Nov 14, 2012, at 8:22 AM, Jakub Jelinek wrote: >> > On Wed, Nov 14, 2012 at 12:11:13PM +0100, Jakub Jelinek wrote: >> >> Anyway, once asan_symbolize actually symbolizes the ou

[PATCH] Change build g++ to xg++ like gcc is done (PR 54279)

2012-11-15 Thread Andrew Pinski
Hi, If the PATH contains the current working directory (yes a bad idea but it could happen with our users), the build fails because it finds the newly created g++ which might not find the correct cc1plus. See the thread starting at http://gcc.gnu.org/ml/gcc-patches/2012-08/msg01032.html . This

[PATCH] Fix part of PR bootstrap/55051 (issue6846063)

2012-11-15 Thread Teresa Johnson
This patch addresses the bogus "Invocation mismatch" messages seen in parallel profiledbootstrap builds of gcc. See PR bootstrap/55051 for a discussion of why this is occurring and why this checking is inaccurate. Profilebootstrapped and tested on x86_64-unknown-linux-gnu. Ok for trunk? 2012-11-

Re: [PATCH 00/13] Request to merge Address Sanitizer in

2012-11-15 Thread Konstantin Serebryany
I see no problems with committing mach_override to gcc. The code should be verbatim copy from llvm/projects/compiler-rt/lib/interception/mach_override Note that this code comes with an MIT license and was not developed by Google (we did add quite a few patches). Sorry for delay with replies, I am

Re: [patch] Fix PR middle-end/55321

2012-11-15 Thread Eric Botcazou
> While its true that this call is nononlocal, there are plenty of other > builtins that we expand with just emit_library_call (as opposed to > emit_libcall_block) that also need this sort of treatment. I'm a little skeptical, although __sync_synchronize is probably not the only one indeed. I'll

Re: RFC/A: set_mem_attributes_minus_bitpos tweak

2012-11-15 Thread Eric Botcazou
> Tested on x86_64-linux-gnu. OK to install? > > Richard > > > gcc/ > * expr.c (expand_assignment): Don't set MEM_KEEP_ALIAS_SET_P here. > * emit-rtl.c (set_mem_attributes_minus_bitpos): Handle DECL_BIT_FIELDs, > using their size instead of the COMPONENT_REF's. Fine with me.

Re: [PATCH] Enable building of libsanitizer on sparc linux again.

2012-11-15 Thread David Miller
From: Dodji Seketeli Date: Thu, 15 Nov 2012 11:56:40 +0100 > David Miller wrote > >> From: Dodji Seketeli >> Date: Wed, 14 Nov 2012 14:26:40 +0100 >> >> > I guess we could do that. That would build libsanitizer, but asan will >> > still not be available on sparc if the asan_shadow_offset() t

Re: VEC re-write [patch 18/25]

2012-11-15 Thread Richard Sandiford
Thanks for all your work on this. dnovi...@google.com (Diego Novillo) writes: > * config/mips/mips.c: Use new vec API in vec.h. Looks good to me. Just a couple of minor nits: > @@ -4013,11 +4013,9 @@ struct mips_multi_member { > typedef struct mips_multi_member mips_multi_member; > > /

[PATCH] Function Multiversioning Bug, checking for function versions

2012-11-15 Thread Sriraman Tallam
Hi, Currently, function multiversioning determines that two functions are different by comparing the arch type and isa flags that are set after the target string is processed. This leads to cases where the versions become identical when the command-line target options are altered. For example

Re: Fix PRE heuristic for partial insertions

2012-11-15 Thread Jakub Jelinek
On Thu, Nov 15, 2012 at 11:04:12PM +0100, Steven Bosscher wrote: > On Thu, Nov 15, 2012 at 4:45 PM, Jakub Jelinek wrote: > > On Thu, Nov 15, 2012 at 11:25:55AM +0100, Jan Hubicka wrote: > >> PR tree-optimization/54717 > >> * tree-ssa-pre.c (do_partial_partial_insertion): Consider also e

Re: [PATCH][Revisedx3] Enable libsanitizer on darwin

2012-11-15 Thread Mike Stump
On Nov 15, 2012, at 9:42 AM, Jack Howarth wrote: > The attached patch assumes that the current mach_override/mach_override.h and > mach_override/mach_override.c files have been imported by the libsanitizer > maintainers > from llvm compiler-rt svn for use by darwin. The patch adds darwin to the

Re: Fix PRE heuristic for partial insertions

2012-11-15 Thread Steven Bosscher
On Thu, Nov 15, 2012 at 4:45 PM, Jakub Jelinek wrote: > On Thu, Nov 15, 2012 at 11:25:55AM +0100, Jan Hubicka wrote: >> PR tree-optimization/54717 >> * tree-ssa-pre.c (do_partial_partial_insertion): Consider also edges >> with ANTIC_IN. > > As Richard is still away, Steven, could

VEC re-write [patch 25/25]

2012-11-15 Thread Diego Novillo
2012-11-15 Diego Novillo Adjust for new vec API (http://gcc.gnu.org/wiki/cxx-conversion/cxx-vec) * epiphany/resolve-sw-modes.c: Use new vec API in vec.h. diff --git a/gcc/config/epiphany/resolve-sw-modes.c b/gcc/config/epiphany/resolve-sw-modes.c index ec0dfcc..9704553 100644

VEC re-write [patch 24/25]

2012-11-15 Thread Diego Novillo
2012-11-15 Diego Novillo * gcc/config/vxworks.c (vxworks_emutls_var_fields): (vxworks_emutls_var_init): diff --git a/gcc/config/vxworks.c b/gcc/config/vxworks.c index 9eeefc0..e305904 100644 --- a/gcc/config/vxworks.c +++ b/gcc/config/vxworks.c @@ -96,23 +96,24 @@ vxworks_emutl

VEC re-write [patch 11/25]

2012-11-15 Thread Diego Novillo
2012-11-15 Diego Novillo Adjust for new vec API (http://gcc.gnu.org/wiki/cxx-conversion/cxx-vec) * objc-act.c: Use new vec API in vec.h. * objc-act.h: Likewise. * objc-gnu-runtime-abi-01.c: Likewise. * objc-next-runtime-abi-01.c: Likewise. * objc

VEC re-write [patch 09/25]

2012-11-15 Thread Diego Novillo
2012-11-15 Diego Novillo Adjust for new vec API (http://gcc.gnu.org/wiki/cxx-conversion/cxx-vec) * boehm.c: Use new vec API in vec.h. * class.c: Likewise. * constants.c: Likewise. * decl.c: Likewise. * expr.c: Likewise. * java-tree.h: Lik

VEC re-write [patch 23/25]

2012-11-15 Thread Diego Novillo
2012-11-15 Diego Novillo Adjust for new vec API (http://gcc.gnu.org/wiki/cxx-conversion/cxx-vec) * config/vms/vms.c: Use new vec API in vec.h. * vmsdbgout.c: Likewise. diff --git a/gcc/config/vms/vms.c b/gcc/config/vms/vms.c index d23e8a8..65bf42a 100644 --- a/gcc/conf

VEC re-write [patch 20/25]

2012-11-15 Thread Diego Novillo
2012-11-15 Diego Novillo Adjust for new vec API (http://gcc.gnu.org/wiki/cxx-conversion/cxx-vec) * config/rs6000/rs6000-c.c: Use new vec API in vec.h. * config/rs6000/rs6000.c: Likewise. diff --git a/gcc/config/rs6000/rs6000-c.c b/gcc/config/rs6000/rs6000-c.c index 295

VEC re-write [patch 22/25]

2012-11-15 Thread Diego Novillo
2012-11-15 Diego Novillo Adjust for new vec API (http://gcc.gnu.org/wiki/cxx-conversion/cxx-vec) * config/spu/spu-c.c: Use new vec API in vec.h. diff --git a/gcc/config/spu/spu-c.c b/gcc/config/spu/spu-c.c index 905030d..6fa8d17 100644 --- a/gcc/config/spu/spu-c.c +++ b/gcc/co

VEC re-write [patch 21/25]

2012-11-15 Thread Diego Novillo
2012-11-15 Diego Novillo Adjust for new vec API (http://gcc.gnu.org/wiki/cxx-conversion/cxx-vec) * config/rx/rx.c: Use new vec API in vec.h. diff --git a/gcc/config/rx/rx.c b/gcc/config/rx/rx.c index 5d31eac..8cd9253 100644 --- a/gcc/config/rx/rx.c +++ b/gcc/config/rx/rx.c @@

VEC re-write [patch 19/25]

2012-11-15 Thread Diego Novillo
2012-11-15 Diego Novillo Adjust for new vec API (http://gcc.gnu.org/wiki/cxx-conversion/cxx-vec) * config/pa/pa.c: Use new vec API in vec.h. diff --git a/gcc/config/pa/pa.c b/gcc/config/pa/pa.c index afcfd1a..8b93aa9 100644 --- a/gcc/config/pa/pa.c +++ b/gcc/config/pa/pa.c @@

VEC re-write [patch 18/25]

2012-11-15 Thread Diego Novillo
2012-11-15 Diego Novillo Adjust for new vec API (http://gcc.gnu.org/wiki/cxx-conversion/cxx-vec) * config/mips/mips.c: Use new vec API in vec.h. diff --git a/gcc/config/mips/mips.c b/gcc/config/mips/mips.c index 01f6b61..ebe21a9 100644 --- a/gcc/config/mips/mips.c +++ b/gcc/co

VEC re-write [patch 17/25]

2012-11-15 Thread Diego Novillo
2012-11-15 Diego Novillo Adjust for new vec API (http://gcc.gnu.org/wiki/cxx-conversion/cxx-vec) * config/mep/mep.c: Use new vec API in vec.h. diff --git a/gcc/config/mep/mep.c b/gcc/config/mep/mep.c index 79611a8..a44e521 100644 --- a/gcc/config/mep/mep.c +++ b/gcc/config/mep

VEC re-write [patch 10/25]

2012-11-15 Thread Diego Novillo
2012-11-15 Diego Novillo Adjust for new vec API (http://gcc.gnu.org/wiki/cxx-conversion/cxx-vec) * lto-lang.c: Use new vec API in vec.h. * lto-partition.c: Likewise. * lto-partition.h: Likewise. * lto.c: Likewise. diff --git a/gcc/lto/lto-lang.c b/gcc/l

VEC re-write [patch 14/25]

2012-11-15 Thread Diego Novillo
2012-11-15 Diego Novillo Adjust for new vec API (http://gcc.gnu.org/wiki/cxx-conversion/cxx-vec) * config/darwin.c: Use new vec API in vec.h. diff --git a/gcc/config/darwin.c b/gcc/config/darwin.c index e56205b..6645270 100644 --- a/gcc/config/darwin.c +++ b/gcc/config/darwin.

VEC re-write [patch 15/25]

2012-11-15 Thread Diego Novillo
2012-11-15 Diego Novillo Adjust for new vec API (http://gcc.gnu.org/wiki/cxx-conversion/cxx-vec) * config/i386/i386.c: Use new vec API in vec.h. diff --git a/gcc/config/i386/i386.c b/gcc/config/i386/i386.c index c295849..fc0ba9b 100644 --- a/gcc/config/i386/i386.c +++ b/gcc/co

VEC re-write [patch 13/25]

2012-11-15 Thread Diego Novillo
2012-11-15 Diego Novillo Adjust for new vec API (http://gcc.gnu.org/wiki/cxx-conversion/cxx-vec) * config/c6x/c6x.c: Use new vec API in vec.h. diff --git a/gcc/config/c6x/c6x.c b/gcc/config/c6x/c6x.c index 32807d8..175e119 100644 --- a/gcc/config/c6x/c6x.c +++ b/gcc/config/c6x

VEC re-write [patch 16/25]

2012-11-15 Thread Diego Novillo
2012-11-15 Diego Novillo Adjust for new vec API (http://gcc.gnu.org/wiki/cxx-conversion/cxx-vec) * config/ia64/ia64.c: Use new vec API in vec.h. diff --git a/gcc/config/ia64/ia64.c b/gcc/config/ia64/ia64.c index 66f85de..9a7528f 100644 --- a/gcc/config/ia64/ia64.c +++ b/gcc/co

VEC re-write [patch 07/25]

2012-11-15 Thread Diego Novillo
2012-11-15 Diego Novillo Adjust for new vec API (http://gcc.gnu.org/wiki/cxx-conversion/cxx-vec) * frontend-passes.c: Use new vec API in vec.h. * trans-array.c: Likewise. * trans-common.c: Likewise. * trans-decl.c: Likewise. * trans-expr.c: Likew

VEC re-write [patch 08/25]

2012-11-15 Thread Diego Novillo
2012-11-15 Diego Novillo Adjust for new vec API (http://gcc.gnu.org/wiki/cxx-conversion/cxx-vec) * go-lang.c: Use new vec API in vec.h. * gofrontend/expressions.cc: Likewise. * gofrontend/gogo-tree.cc: Likewise. * godump.c: Likewise. diff --git a/gcc/go

VEC re-write [patch 12/25]

2012-11-15 Thread Diego Novillo
2012-11-15 Diego Novillo Adjust for new vec API (http://gcc.gnu.org/wiki/cxx-conversion/cxx-vec) * config/bfin/bfin.c: Use new vec API in vec.h. diff --git a/gcc/config/bfin/bfin.c b/gcc/config/bfin/bfin.c index 2c01cf7..f2d8473 100644 --- a/gcc/config/bfin/bfin.c +++ b/gcc/co

VEC re-write [patch 06/25]

2012-11-15 Thread Diego Novillo
[ The patch is too big for e-mail. It's available at http://www.airs.com/~dnovillo/pub/vec-rewrite/06vec.diff ] 2012-11-15 Diego Novillo Adjust for new vec API (http://gcc.gnu.org/wiki/cxx-conversion/cxx-vec) * Make-lang.in: Remove dependencies on vecir.h and vecprim.h ever

VEC re-write [patch 03/25]

2012-11-15 Thread Diego Novillo
[ The patch is too big for e-mail. It's available at http://www.airs.com/~dnovillo/pub/vec-rewrite/06vec.diff ] 2012-11-15 Diego Novillo Adjust for new vec API (http://gcc.gnu.org/wiki/cxx-conversion/cxx-vec) * coretypes.h (uchar): Define. * alias.c: Use new vec API

Re: [PATCH] Fix up var-tracking notes emitted in between bbs (PR middle-end/43631)

2012-11-15 Thread Steven Bosscher
On Thu, Nov 15, 2012 at 12:02 AM, Jakub Jelinek wrote: > Hi! > > Steven has been complaining for some years that var-tracking inserts > NOTE_INSN_VAR_LOCATION (and NOTE_INSN_CALL_ARG_LOCATION) notes sometimes > in between basic blocks, but with BLOCK_FOR_INSN set (or sometimes extends > a bb ending

VEC re-write [patch 02/25]

2012-11-15 Thread Diego Novillo
This patch removes the special handling for VEC() that used to exist in gengtype. Additionally, it allows gengtype to recognize templates of more than one argument and introduces the concept of an undefined type (useful for template arguments that may or may not be types). When a TYPE_UNDEFINED

VEC re-write [patch 01/25]

2012-11-15 Thread Diego Novillo
I have split the VEC rewrite into 25 patches. The only patches that make actual changes are #1 (vec.c and vec.h) and #2 (gengtype). All the others are mechanical side-effects from the first patch. I will still appreciate if maintainers can take a look at the other patches to make sure I have not

Re: [patch] Performance patch for MIPS conditional move in expr.c

2012-11-15 Thread Andrew Pinski
On Thu, Nov 15, 2012 at 1:24 PM, Andrew Pinski wrote: > On Thu, Nov 15, 2012 at 12:58 PM, Richard Sandiford > wrote: >> Andrew Pinski writes: >>> 2012-07-26 Andrew Pinski >>> >>> Bug #3261 >>> * config/mips/mips.md (*mov_on_): >>> Remove mode check from comparisons. >>>

Re: [patch] Performance patch for MIPS conditional move in expr.c

2012-11-15 Thread Andrew Pinski
On Thu, Nov 15, 2012 at 12:58 PM, Richard Sandiford wrote: > Andrew Pinski writes: >> 2012-07-26 Andrew Pinski >> >> Bug #3261 >> * config/mips/mips.md (*mov_on_): >> Remove mode check from comparisons. >> (*mov_on_): Likewise. >> (*mov_on__ne): New pattern to

Re: [PATCH] [DOC] [MIPS] add microMIPS option into doc

2012-11-15 Thread Richard Sandiford
Jia Liu writes: > 2012-11-15 Jia Liu > >* gcc/doc/invoke.texi: Add microMIPS option. I'd rather leave this until the GCC support is added. Mentor have some patches for this, but I'm afraid I keep finding things to complain about... FWIW, the last on-list discussion about it was:

Re: [patch] Performance patch for MIPS conditional move in expr.c

2012-11-15 Thread Richard Sandiford
Andrew Pinski writes: > 2012-07-26 Andrew Pinski > > Bug #3261 > * config/mips/mips.md (*mov_on_): > Remove mode check from comparisons. > (*mov_on_): Likewise. > (*mov_on__ne): New pattern to match > when (ne A 0) can be just A. > > * tes

Re: [Committed] Add testcase

2012-11-15 Thread Hans-Peter Nilsson
On Fri, 9 Nov 2012, Andrew Pinski wrote: > Committed the testcase as obvious after a quick test to make sure it > works. Note someone might need to mark the testcase as only > executable on targets which have 32bit ints. Someone like you? There are plenty of greppable effective-target attributes

Re: [4/8] Add bit_field_mode_iterator

2012-11-15 Thread Richard Henderson
On 11/15/2012 04:10 AM, Richard Sandiford wrote: > "next" was supposed to be "find and return another mode" rather than "++". > Did you think it was confusing because "next" sounded too much like the > latter? I wasn't keen on "next" being find-and-return, though I didn't actually find it confusi

Re: [patch] Fix PR middle-end/55321

2012-11-15 Thread Ramana Radhakrishnan
On 11/15/12 20:05, Richard Henderson wrote: On 11/15/2012 12:01 PM, Ramana Radhakrishnan wrote: I believe this is by choice because no one has yet written an unwinder for the ARM exception tables for Ada :( . Ada is supposed to be using the same libgcc unwinder as the rest of the compiler. S

Re: [C++ PATCH] Fix checking failure in cp_tree_equal with ALIGNOF_EXPR (PR PR c++/55337)

2012-11-15 Thread Jason Merrill
OK. Jason

[PATCH] Fix dom ICE (PR tree-optimization/55329)

2012-11-15 Thread Jakub Jelinek
Hi! On the following testcase we ICE, because tree_ssa_dominator_optimize modifies the bitmap while iterating it. In particular, it contained just a single bit in it, bitmap_clear_bit turned the bitmap into empty bitmap and bitmap_set_bit on a lower bit reused the same bitmap_element with lower i

Fix PR 53743 and other -freorder-blocks-and-partition failures (issue6823047)

2012-11-15 Thread Teresa Johnson
Revised patch that fixes failures encountered when enabling -freorder-blocks-and-partition, including the failure reported in PR 53743. This includes new verification code to ensure no cold blocks dominate hot blocks contributed by Steven Bosscher. I attempted to make the handling of partition up

[PATCH] Fix substitute_and_fold ICE (PR tree-optimization/55331)

2012-11-15 Thread Jakub Jelinek
Hi! On the following testcase substitute_and_fold ICEs because memmove of length 1 on an empty class is optimized away, and this function wasn't prepared to handle that. Fixed thusly, bootstrapped/regtested on x86_64-linux and i686-linux, ok for trunk/4.7? 2012-11-15 Jakub Jelinek PR

[C++ PATCH] Fix checking failure in cp_tree_equal with ALIGNOF_EXPR (PR PR c++/55337)

2012-11-15 Thread Jakub Jelinek
Hi! case SIZEOF_EXPR: shares the code with case ALIGNOF_EXPR, but only on the former one can use SIZEOF_EXPR_TYPE_P. Fixed thusly, bootstrapped/regtested on x86_64-linux and i686-linux, ok for trunk? 2012-11-15 Jakub Jelinek PR c++/55337 * tree.c (cp_tree_equal) : Use SIZEOF_

Re: [patch] Fix PR middle-end/55321

2012-11-15 Thread Richard Henderson
On 11/15/2012 12:01 PM, Ramana Radhakrishnan wrote: > I believe this is by choice because no one has yet written an unwinder for > the ARM exception tables for Ada :( . Ada is supposed to be using the same libgcc unwinder as the rest of the compiler. So this cannot be it, exactly. Perhaps some

Re: [patch] Fix PR middle-end/55321

2012-11-15 Thread Ramana Radhakrishnan
r~ PS: ARM still uses sjlj exceptions for Ada? I thought with the obsolescence of pre-eabi targets that we'd always use unwind tables now. I believe this is by choice because no one has yet written an unwinder for the ARM exception tables for Ada :( . regards, Ramana

Re: [patch] Fix PR middle-end/55321

2012-11-15 Thread Richard Henderson
On 11/15/2012 11:34 AM, Eric Botcazou wrote: > The problem is that get_loop_latch_edges finds no latch edges for a loop > because the header of the loop doesn't dominate any of its predecessors. > The reason is that a new edge is added during RTL expansion, which changes > the > dominance info.

Re: RFC/A: set_mem_attributes_minus_bitpos tweak

2012-11-15 Thread Richard Sandiford
Eric Botcazou writes: >> expand_assignment calls: >> >>if (MEM_P (to_rtx)) >> { >>/* If the field is at offset zero, we could have been given >> the DECL_RTX of the parent struct. Don't munge it. */ to_rtx = >> shallow_copy_rtx (to_rtx); >> >>

Re: [PATCH 00/13] Request to merge Address Sanitizer in

2012-11-15 Thread Jack Howarth
On Thu, Nov 01, 2012 at 08:52:33PM +0100, do...@redhat.com wrote: > From: Dodji Seketeli > > Hello, > > The set of patches following this message represents the work that > happened on the asan branch to build up the Address Sanitizer work > started in the Google branch. > > Address Sanitizer (

[patch] Fix PR middle-end/55321

2012-11-15 Thread Eric Botcazou
Hi, this is the build failure of the Ada runtime on the ARM: +===GNAT BUG DETECTED==+ | 4.8.0 2012 (experimental) (armv5tel-unknown-linux-gnueabi) GCC error:| | in merge_latch_edges, at cfgloop.c:678 | | Err

Re: [6/8] Add strict volatile handling to bit_field_mode_iterator

2012-11-15 Thread Eric Botcazou
> OK. The current recursive force-mem-to-reg cases in store_bit_field_1 > and extract_bit_field_1 don't handle -fstrict-volatile-bitfields at all, > so this patch was trying to fix what seemed like an oversight. Is it OK > to leave the code as-is (not handling -fstrict-volatile-bitfields), > or d

Re: [PATCH v4] Add support for sparc fused compare-and-branch.

2012-11-15 Thread David Miller
From: Eric Botcazou Date: Thu, 15 Nov 2012 09:16:26 +0100 >> The bootstrap comparison failure no longer happens, and this is fully >> regstrapped on sparc-linux-gnu w/--with-cpu=niagara4, and I also did a >> quick bootstrap check using --with-cpu=niagara3. >> >> Eric, any objections to committin

[COMMITTED PATCH] add myself to write after approval list

2012-11-15 Thread Roland McGrath
2012-11-15 Roland McGrath * MAINTAINERS (Write After Approval): Add myself. --- a/MAINTAINERS +++ b/MAINTAINERS @@ -457,6 +457,7 @@ Simon Martin simar...@users.sourceforge.net Ranjit Mathew rmat...@hotmail.com M

Re: [PATCH v2, testsuite]: Add dg-error for unsupported floating suffix

2012-11-15 Thread Uros Bizjak
On Thu, Nov 15, 2012 at 5:44 PM, Jakub Jelinek wrote: >> >> No, the intention of this test is to check if target can handle these >> >> suffixes through TARGET_C_MODE_FOR_SUFFIX. Please note that in >> >> particular tests, -std=x compile switches are added to compile flags. >> > >> > But -std=c++

Re: [PATCH] Update source location for PRE inserted stmt

2012-11-15 Thread Dehao Chen
Yeah, at least for the unittest I provided, the coverage info will be wrong without the patch. Thanks, Dehao On Thu, Nov 15, 2012 at 10:30 AM, Xinliang David Li wrote: > I probably made too general statement in this topic. However for the > PRE case, I believe the choice of not using UNKNOWN loc

Re: [PATCH] Update source location for PRE inserted stmt

2012-11-15 Thread Xinliang David Li
I probably made too general statement in this topic. However for the PRE case, I believe the choice of not using UNKNOWN location is still better. thanks, David On Thu, Nov 15, 2012 at 9:23 AM, Eric Botcazou wrote: >> The randomness here means that if we set UNKNOWN_LOCATION to insn, it >> can

Re: PATCH: PR other/55333: libsanitizer StackTrace::FastUnwindStack wrong x32

2012-11-15 Thread Konstantin Serebryany
On Thu, Nov 15, 2012 at 9:49 AM, Xinliang David Li wrote: > I am sensing some optimization here :) Is it really important to > collect the full stack trace for the allocation context? Not important if you want to *find* a bug. Deadly important if you want to *analyze* the bug. The free() traces

Re: PATCH: PR other/55333: libsanitizer StackTrace::FastUnwindStack wrong x32

2012-11-15 Thread Xinliang David Li
I am sensing some optimization here :) Is it really important to collect the full stack trace for the allocation context? You care about actual site where the allocation happens -- which might usually be the calls to the malloc like wrappers. The distance from there to the leaf should not he too fa

Re: [6/8] Add strict volatile handling to bit_field_mode_iterator

2012-11-15 Thread Richard Sandiford
Eric Botcazou writes: >> The idea was to centralise the knowledge about what modes are valid >> rather than requiring every client to know the rules. From that point >> of view it seems inconsistent for the new interface to handle the >> bitregion_{start,end} restrictions (a correctness issue) bu

[PATCH][Revisedx3] Enable libsanitizer on darwin

2012-11-15 Thread Jack Howarth
The attached patch assumes that the current mach_override/mach_override.h and mach_override/mach_override.c files have been imported by the libsanitizer maintainers from llvm compiler-rt svn for use by darwin. The patch adds darwin to the supported target list in configure.tgt and defines USIN

Re: PATCH: PR other/55333: libsanitizer StackTrace::FastUnwindStack wrong x32

2012-11-15 Thread Konstantin Serebryany
On Thu, Nov 15, 2012 at 9:25 AM, Dmitry Vyukov wrote: > On Thu, Nov 15, 2012 at 9:19 PM, Jakub Jelinek wrote: >> On Thu, Nov 15, 2012 at 09:05:13AM -0800, Konstantin Serebryany wrote: >>> +dvyukov, +glider, +samsonov >>> >>> Sorry I am lagging behind e-mail, but I am sure Dmitry, Alexander or >>>

Re: [PATCH] Update source location for PRE inserted stmt

2012-11-15 Thread Eric Botcazou
> The randomness here means that if we set UNKNOWN_LOCATION to insn, it > can get source location anywhere. Even with some small code layout > changes, the location for that insn could change. I would hope that in > the future, we add an assertion when emitting instruction to enforce > that INSN_LO

Re: [PATCH v2, testsuite]: Add dg-error for unsupported floating suffix

2012-11-15 Thread Jakub Jelinek
On Thu, Nov 15, 2012 at 05:42:32PM +0100, Uros Bizjak wrote: > On Thu, Nov 15, 2012 at 5:34 PM, Jakub Jelinek wrote: > > On Thu, Nov 15, 2012 at 05:31:42PM +0100, Uros Bizjak wrote: > >> No, the intention of this test is to check if target can handle these > >> suffixes through TARGET_C_MODE_FOR_S

(patch,committed) libquadmath: Update math/fmaq.c

2012-11-15 Thread Tobias Burnus
Dear all, I have committed (Rev. 193538) attached patch, which does an other update from GLIBC. Tobias PS: I still want to update libquadmath's strtod and printf. Index: libquadmath/ChangeLog === --- libquadmath/ChangeLog (Revisi

Re: PATCH: PR other/55333: libsanitizer StackTrace::FastUnwindStack wrong x32

2012-11-15 Thread Dmitry Vyukov
On Thu, Nov 15, 2012 at 9:19 PM, Jakub Jelinek wrote: > On Thu, Nov 15, 2012 at 09:05:13AM -0800, Konstantin Serebryany wrote: >> +dvyukov, +glider, +samsonov >> >> Sorry I am lagging behind e-mail, but I am sure Dmitry, Alexander or >> Alexey may submit the patch upstream. >> Please make sure to

Re: PATCH: PR other/55333: libsanitizer StackTrace::FastUnwindStack wrong x32

2012-11-15 Thread Jakub Jelinek
On Thu, Nov 15, 2012 at 09:05:13AM -0800, Konstantin Serebryany wrote: > +dvyukov, +glider, +samsonov > > Sorry I am lagging behind e-mail, but I am sure Dmitry, Alexander or > Alexey may submit the patch upstream. > Please make sure to comment the reason for using a separate typedef. > > We need

Re: PATCH: PR other/55333: libsanitizer StackTrace::FastUnwindStack wrong x32

2012-11-15 Thread H.J. Lu
On Thu, Nov 15, 2012 at 09:05:13AM -0800, Konstantin Serebryany wrote: > +dvyukov, +glider, +samsonov > > Sorry I am lagging behind e-mail, but I am sure Dmitry, Alexander or > Alexey may submit the patch upstream. > Please make sure to comment the reason for using a separate typedef. Here is the

Re: [6/8] Add strict volatile handling to bit_field_mode_iterator

2012-11-15 Thread Eric Botcazou
> The idea was to centralise the knowledge about what modes are valid > rather than requiring every client to know the rules. From that point > of view it seems inconsistent for the new interface to handle the > bitregion_{start,end} restrictions (a correctness issue) but not the > volatility rest

Re: PATCH: PR other/55333: libsanitizer StackTrace::FastUnwindStack wrong x32

2012-11-15 Thread Konstantin Serebryany
+dvyukov, +glider, +samsonov Sorry I am lagging behind e-mail, but I am sure Dmitry, Alexander or Alexey may submit the patch upstream. Please make sure to comment the reason for using a separate typedef. We need our custom unwinder based on frame pointers to remain the default choice on x86[_64]

Re: [PATCH] Update source location for PRE inserted stmt

2012-11-15 Thread Dehao Chen
On Thu, Nov 15, 2012 at 8:46 AM, Eric Botcazou wrote: > > > But UNKNOWN_LOCATION is effectively wrong as well. If other > > optimizations move the statements above the inserted instruction, then > > the new instruction ends up inheriting whatever location happens to be > > in the previous stateme

Re: Fix PRE heuristic for partial insertions

2012-11-15 Thread Jan Hubicka
> On Thu, Nov 15, 2012 at 11:25:55AM +0100, Jan Hubicka wrote: > > PR tree-optimization/54717 > > * tree-ssa-pre.c (do_partial_partial_insertion): Consider also edges > > with ANTIC_IN. > > As Richard is still away, Steven, could you please comment on this? > > > Index: tree-ssa-pre.c

Re: [PATCH] Update source location for PRE inserted stmt

2012-11-15 Thread Eric Botcazou
> But UNKNOWN_LOCATION is effectively wrong as well. If other > optimizations move the statements above the inserted instruction, then > the new instruction ends up inheriting whatever location happens to be > in the previous statement. That's correct, UNKNOWN_LOCATION isn't a panacea either, alt

Re: [PATCH v2, testsuite]: Add dg-error for unsupported floating suffix

2012-11-15 Thread Uros Bizjak
On Thu, Nov 15, 2012 at 5:34 PM, Jakub Jelinek wrote: > On Thu, Nov 15, 2012 at 05:31:42PM +0100, Uros Bizjak wrote: >> No, the intention of this test is to check if target can handle these >> suffixes through TARGET_C_MODE_FOR_SUFFIX. Please note that in >> particular tests, -std=x compile switch

Re: [PATCH] Copy libsanitizer from llvm at revision 167890

2012-11-15 Thread Dmitry Vyukov
On Thu, Nov 15, 2012 at 8:22 PM, Jakub Jelinek wrote: > > On Thu, Nov 15, 2012 at 08:17:34PM +0400, Dmitry Vyukov wrote: > > +2012-11-15 Dmitry Vyukov > > + > > + * MAINTAINERS: (libsanitizer, asan.c): Add myself, > > + Kostya Serebryany (k...@google.com) and > > + Jakub Jelinek (ja...@redhat.c

Re: [PATCH v2, testsuite]: Add dg-error for unsupported floating suffix

2012-11-15 Thread Jakub Jelinek
On Thu, Nov 15, 2012 at 05:31:42PM +0100, Uros Bizjak wrote: > No, the intention of this test is to check if target can handle these > suffixes through TARGET_C_MODE_FOR_SUFFIX. Please note that in > particular tests, -std=x compile switches are added to compile flags. But -std=c++11 (well, perhap

Re: [ping] Re: [patch v2] support for multiarch systems

2012-11-15 Thread Eric Botcazou
> ahh, this is with GNU make 3.80. Checked in the following patch as obvious. Thanks! -- Eric Botcazou

Re: [PATCH v2, testsuite]: Add dg-error for unsupported floating suffix

2012-11-15 Thread Uros Bizjak
On Thu, Nov 15, 2012 at 5:25 PM, Jakub Jelinek wrote: > On Thu, Nov 15, 2012 at 05:20:48PM +0100, Uros Bizjak wrote: >> This revision auto-detect support for Q and W suffixes. >> >> 2012-11-15 Uros Bizjak >> >> * lib/target_suports.exp >> (check_effective_target_has_w_floating_suffi

Re: [PATCH] PR other/55291: Add support for GCC multilib run-time libraries to libsanitizer

2012-11-15 Thread Paolo Bonzini
Il 15/11/2012 17:28, H.J. Lu ha scritto: > On Thu, Nov 15, 2012 at 8:08 AM, Paolo Bonzini wrote: >> Il 15/11/2012 17:02, H.J. Lu ha scritto: >>> I can reproduce it with --enable-version-specific-runtime-libs. I am >>> taking a look. >>> > > I am checking in this patch. > >

Re: [PATCH] PR other/55291: Add support for GCC multilib run-time libraries to libsanitizer

2012-11-15 Thread H.J. Lu
On Thu, Nov 15, 2012 at 8:08 AM, Paolo Bonzini wrote: > Il 15/11/2012 17:02, H.J. Lu ha scritto: >> I can reproduce it with --enable-version-specific-runtime-libs. I am >> taking a look. >> >>> > >>> > I am checking in this patch. >>> > >> This is what I checked in. > > libssp et a

Re: [PATCH v2, testsuite]: Add dg-error for unsupported floating suffix

2012-11-15 Thread Jakub Jelinek
On Thu, Nov 15, 2012 at 05:20:48PM +0100, Uros Bizjak wrote: > This revision auto-detect support for Q and W suffixes. > > 2012-11-15 Uros Bizjak > > * lib/target_suports.exp > (check_effective_target_has_w_floating_suffix): New procedure. > (check_effective_target_has_q_floa

Re: [PATCH] Copy libsanitizer from llvm at revision 167890

2012-11-15 Thread Jakub Jelinek
On Thu, Nov 15, 2012 at 08:17:34PM +0400, Dmitry Vyukov wrote: > +2012-11-15 Dmitry Vyukov > + > + * MAINTAINERS: (libsanitizer, asan.c): Add myself, > + Kostya Serebryany (k...@google.com) and > + Jakub Jelinek (ja...@redhat.com). > + Rename area for Dodji Seketeli (do...@redhat.com). If there

[PATCH v2, testsuite]: Add dg-error for unsupported floating suffix

2012-11-15 Thread Uros Bizjak
On Thu, Nov 15, 2012 at 1:35 AM, Uros Bizjak wrote: > Attached patch fixes following testsuite failure > > FAIL: g++.dg/cpp0x/gnu_fext-numeric-literals.C (test for excess errors) > FAIL: g++.dg/cpp0x/std_fext-numeric-literals.C (test for excess errors) > > on targets that don't support Q and W fl

C++ PATCH for c++/54903 (auto static data member template)

2012-11-15 Thread Jason Merrill
It's OK for a static data member of a dependent class instantiation to still have 'auto' type, because we can't instantiate its initializer yet. So let's not bother complaining about auto decls in templates. Tested x86_64-pc-linux-gnu, applying to trunk. commit 10c430cf47ad234b240b06d4efdecdab

Re: [PATCH] PR other/55291: Add support for GCC multilib run-time libraries to libsanitizer

2012-11-15 Thread Paolo Bonzini
Il 15/11/2012 17:02, H.J. Lu ha scritto: >>> >> I can reproduce it with --enable-version-specific-runtime-libs. I am >>> >> taking a look. >>> >> >> > >> > I am checking in this patch. >> > > This is what I checked in. libssp et al. do not need any of this stuff. What's special about libsanitize

Re: [PATCH] PR other/55291: Add support for GCC multilib run-time libraries to libsanitizer

2012-11-15 Thread H.J. Lu
On Thu, Nov 15, 2012 at 7:14 AM, H.J. Lu wrote: > On Thu, Nov 15, 2012 at 6:44 AM, H.J. Lu wrote: >> On Thu, Nov 15, 2012 at 6:19 AM, Markus Trippelsdorf >> wrote: >>> On 2012.11.15 at 06:01 -0800, H.J. Lu wrote: On Thu, Nov 15, 2012 at 12:47 AM, Markus Trippelsdorf wrote: > On 2

[PATCH] libgcc refactor aarch64 sfp-machine.h

2012-11-15 Thread Marcus Shawcroft
This patch reorganizes the AArch64 sfp-machine.h file, splitting out FP_HANDLE_EXCEPTIONS into a new file sfp-exceptions.c following the same idiom used in ia64 and i386. OK ? Cheers /Marcus 2012-11-15 Marcus Shawcroft * config/aarch64/sfp-machine.h (FP_RND_MASK): Define. (

Re: Fix PRE heuristic for partial insertions

2012-11-15 Thread Jakub Jelinek
On Thu, Nov 15, 2012 at 11:25:55AM +0100, Jan Hubicka wrote: > PR tree-optimization/54717 > * tree-ssa-pre.c (do_partial_partial_insertion): Consider also edges > with ANTIC_IN. As Richard is still away, Steven, could you please comment on this? > Index: tree-ssa-pre.c > ===

Re: [PATCH] Enable building of libsanitizer on sparc linux again.

2012-11-15 Thread Diego Novillo
On Thu, Nov 15, 2012 at 5:56 AM, Dodji Seketeli wrote: > David Miller wrote > >> From: Dodji Seketeli >> Date: Wed, 14 Nov 2012 14:26:40 +0100 >> >> > I guess we could do that. That would build libsanitizer, but asan will >> > still not be available on sparc if the asan_shadow_offset() target h

  1   2   >