[PATCH] Fix get_bit_range and expand_assignment for negative bitpos (PR middle-end/58970)

2013-11-05 Thread Jakub Jelinek
Hi! This is an updated version of the get_bit_range fix, this time it ensures that bitpos is not negative already right after the get_inner_reference call, because various parts of the expansion might be confused by the negative values. As the second testcase shows, even with non-negative bitpos

[driver] try to fix "driver specifies output file twice" bug

2013-11-05 Thread Mingjie Xing
Hello, This patch is trying to fix the bug (driver specifies output file twice when compiling header with -S) http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31316. Changes: * gcc.c (default_compilers): Update c-header specs. By applying the patch, run command $ gcc -S foo.h will just out

Re: [PATCH i386 4/8] [AVX512] [1/n] Add substed patterns.

2013-11-05 Thread Kirill Yukhin
Hello, On 01 Nov 16:19, Kirill Yukhin wrote: > Coould you pls take a look? PING. -- Thanks, K

Re: [RFC] libgcov.c re-factoring and offline profile-tool

2013-11-05 Thread Jan Hubicka
> I wonder if it makes sense to get rid of the conditional compile such as > > #ifdef L_gcov_x > .. > > #endif > > This has the advantage of producing slightly smaller instrumented > binary, but this benefit can also be achieved via -ffunction-sections > and let linker to garbage collect unu

Re: [RFC] libgcov.c re-factoring and offline profile-tool

2013-11-05 Thread Jakub Jelinek
On Tue, Nov 05, 2013 at 10:18:50AM +0100, Jan Hubicka wrote: > > I wonder if it makes sense to get rid of the conditional compile such as > > > > #ifdef L_gcov_x > > .. > > > > #endif > > > > This has the advantage of producing slightly smaller instrumented > > binary, but this benefit can a

Rework doloop interface

2013-11-05 Thread Richard Sandiford
Following on from: http://gcc.gnu.org/ml/gcc-patches/2013-11/msg00092.html it looks like I'll have to "fix" the doloop_begin/end interface after all. The current code goes on to do some rtx arithmetic on invalid CONST_INTs. (FWIW, the arithmetic seems unnecessary and I think we could simply d

Re: [PATCH] preprocessor/58580 - preprocessor goes OOM with warning for zero literals

2013-11-05 Thread Dodji Seketeli
Bernd Edlinger writes: [...] >> if (!string_len) >> { >> string_len = 200; >> - string = XNEWVEC (char, string_len); >> + string = XCNEWVEC (char, string_len); >> } >> + else >> + memset (string, 0, string_len); > > Is this memset still necessary? Of course not ... [...] > If "ptr" is passed

Re: Testsuite / Cilk Plus: Include library path in compile flags in gcc.dg/cilk-plus/cilk-plus.exp

2013-11-05 Thread Iain Sandoe
hi Balaji sorry for a short reply, but I'm traveling this week, On 4 Nov 2013, at 23:02, Iyer, Balaji V wrote: > 2). The C tests are extremely time-consuming (m32/m64) with NO -jxx on the > c/l: > > x86_64-linux (32 cores 2.8G Xeon) : 36m/421m/6m > x86_64-darwin12 (8 cores 2.8G Xeon) : 45m

Re: [PATCH] Introducing SAD (Sum of Absolute Differences) operation to GCC vectorizer.

2013-11-05 Thread James Greenhalgh
On Mon, Nov 04, 2013 at 06:30:55PM +, Cong Hou wrote: > On Mon, Nov 4, 2013 at 2:06 AM, James Greenhalgh > wrote: > > On Fri, Nov 01, 2013 at 04:48:53PM +, Cong Hou wrote: > >> diff --git a/gcc/doc/md.texi b/gcc/doc/md.texi > >> index 2a5a2e1..8f5d39a 100644 > >> --- a/gcc/doc/md.texi > >>

Re: Patch RFA: With -fnon-call-exceptions sync builtins may throw

2013-11-05 Thread Andreas Schwab
Ian Lance Taylor writes: > gcc/testsuite/ChangeLog: > > 2013-11-03 Ian Lance Taylor > > * g++.dg/ext/sync-4.C: New test. Tested on m68k-suse-linux and x86_64-suse-linux and installed as obvious. Andreas. * g++.dg/ext/sync-4.C: Require sync_long_long_runtime support. diff --gi

Re: PATCH: middle-end/58981: movmem/setmem use mode wider than Pmode for size

2013-11-05 Thread Richard Sandiford
"H.J. Lu" writes: > This is the updated patch with md.texi change. The testcase is the same. > Tested on x32. OK to install? Since I commented on the original, this looks good to me, but I can't approve it. Thanks, Richard

RE: [PATCH GCC]Simplify address expression in IVOPT

2013-11-05 Thread bin.cheng
> -Original Message- > From: gcc-patches-ow...@gcc.gnu.org [mailto:gcc-patches- > ow...@gcc.gnu.org] On Behalf Of bin.cheng > Sent: Monday, November 04, 2013 4:35 PM > To: 'Richard Biener' > Cc: GCC Patches > Subject: RE: [PATCH GCC]Simplify address expression in IVOPT > > > > > -O

Re: PR 58958: wrong aliasing info

2013-11-05 Thread Marc Glisse
On Mon, 4 Nov 2013, Richard Biener wrote: Well, you cannot use the size argument unchanged for the null return case. You could fallback to get_base_address and -1 size in that case. Like this? Bootstrap+testsuite on x86_64-unknown-linux-gnu. (I think I'll disable cilk for my future bootstraps

Re: [PATCH] Fix ipcp_transform_function (PR tree-optimization/58984)

2013-11-05 Thread Richard Biener
On Mon, 4 Nov 2013, Jakub Jelinek wrote: > Hi! > > This patch fixes PR58984, where determine_known_aggregate_parts > notices that o.f0 = 1 store (because of ESRA) and p.f0 = 1 > store (because the field isn't a bitfield) are known constants > at offset 0 of the first parameter, but doesn't record

Re: Aliasing: look through pointer's def stmt

2013-11-05 Thread Marc Glisse
On Mon, 4 Nov 2013, Richard Biener wrote: Marc Glisse wrote: On Mon, 4 Nov 2013, Richard Biener wrote: Well, host_integer_p (, 0) looks correct to me. But ... Ok, I'll put it back. Er, actually host_integerp(, 0) can't work, because arithmetic on pointers is done with unsigned integers

Re: PR 58958: wrong aliasing info

2013-11-05 Thread Jakub Jelinek
On Tue, Nov 05, 2013 at 11:40:02AM +0100, Marc Glisse wrote: > >Well, you cannot use the size argument unchanged for the null > >return case. You could fallback to get_base_address and -1 size > >in that case. > > Like this? Bootstrap+testsuite on x86_64-unknown-linux-gnu. > (I think I'll disable

Re: libsanitizer merge from upstream r191666

2013-11-05 Thread Uros Bizjak
Hello! 2013-11-04 Kostya Serebryany * All source files: Merge from upstream r191666. * merge.sh: Added lsan. * configure.ac (AC_CONFIG_FILES): Added lsan. * Makefile.am (SUBDIRS): Added lsan. * sanitizer_common/Makefile.am (sanitizer_common_files): Added

RE: [PATCH] preprocessor/58580 - preprocessor goes OOM with warning for zero literals

2013-11-05 Thread Bernd Edlinger
Hi, you're welcome. Just one more thought on the design. If you want to have at least a chance to survive something like: dd if=/dev/zero of=test.c bs=10240 count=1000 gcc -Wall test.c Then you should change the implementation of read_line to _not_ returning something like 100GB of zeros

Re: [PATCH GCC]Simplify address expression in IVOPT

2013-11-05 Thread Yufeng Zhang
On 11/05/13 10:13, bin.cheng wrote: Index: gcc/tree-affine.c === --- gcc/tree-affine.c (revision 204117) +++ gcc/tree-affine.c (working copy) @@ -874,10 +874,11 @@ debug_aff (aff_tree *val) fprintf (stderr, "\n"); } -/* Re

Re: Testsuite / Cilk Plus: Include library path in compile flags in gcc.dg/cilk-plus/cilk-plus.exp

2013-11-05 Thread Jakub Jelinek
Hi! On Mon, Nov 04, 2013 at 11:02:13PM +, Iyer, Balaji V wrote: See my other mail on this topic, the number of different option combinations is just excessive and must be reduced to a reasonable minimum. > 2). The C tests are extremely time-consuming (m32/m64) with NO -jxx on the > c/l: >

Re: libsanitizer merge from upstream r191666

2013-11-05 Thread H.J. Lu
It is a different failure. There are 3 problems: 1. Hard coded 64-bit registers for pointers in x86-64 asm statements. 2. Treat WORD_SIZE == 32 as ia32 for machine state on x86-64. 3. On x86-64, assume ia32 FS system calls when LP64 is false. H.J. On Mon, Nov 4, 2013 at 10:35 PM, Konstantin Sere

Re: Testsuite / Cilk Plus: Include library path in compile flags in gcc.dg/cilk-plus/cilk-plus.exp

2013-11-05 Thread Jakub Jelinek
On Tue, Nov 05, 2013 at 12:21:04PM +0100, Jakub Jelinek wrote: > Tests that many seconds or more on fast machines, especially if you run them > 25 times, are simply not appropriate for gcc testsuite, at least not by > default. We have run_expensive_tests (from GCC_RUN_EXPENSIVE_TESTS in > environm

Re: [PATCH] preprocessor/58580 - preprocessor goes OOM with warning for zero literals

2013-11-05 Thread Dodji Seketeli
Bernd Edlinger writes: > If you want to have at least a chance to survive something like: > > > dd if=/dev/zero of=test.c bs=10240 count=1000 > > gcc -Wall test.c > > > Then you should change the implementation of read_line to > _not_ returning something like 100GB of zeros. I'd say that in

Re: Remove SHIFT_COUNT_TRUNCATED from double-int.c

2013-11-05 Thread Richard Biener
On Mon, Nov 4, 2013 at 9:36 PM, Richard Sandiford wrote: > ...as suggested by Richard. This means that out-of-range shift values > produce the same results on all targets at the tree level. The rtl level > isn't affected since it explicitly truncates the count. > > Tested on mips64-linux-gnu. O

Re: [PATCH GCC]Simplify address expression in IVOPT

2013-11-05 Thread Bin.Cheng
On Tue, Nov 5, 2013 at 7:19 PM, Yufeng Zhang wrote: > On 11/05/13 10:13, bin.cheng wrote: >> >> Index: gcc/tree-affine.c >> === >> --- gcc/tree-affine.c (revision 204117) >> +++ gcc/tree-affine.c (working copy) >> @@ -874,10 +874,

[PATCH, SH] Cleanup/simplify str builtins

2013-11-05 Thread Christian Bruel
Hello, This patch is just for code simplification, Main changes are that I now use adjust_address instead of adjust_automodify_address and the prob variables are globalized to ease tuning and avoid duplication. No regression for sh-none-elf. Prerequisite for upcoming builtin_strlen patch. Many

Re: [PATCH 0/6] Conversion of gimple types to C++ inheritance (v3)

2013-11-05 Thread Richard Biener
On Mon, Nov 4, 2013 at 10:43 PM, David Malcolm wrote: > On Mon, 2013-11-04 at 08:19 -0500, Andrew MacLeod wrote: >> On 11/01/2013 06:58 PM, David Malcolm wrote: >> > On Fri, 2013-11-01 at 22:57 +0100, Jakub Jelinek wrote: >> >> On Fri, Nov 01, 2013 at 05:47:14PM -0400, Andrew MacLeod wrote: >> >>>

Re: [RFA][PATCH] Isolate erroneous paths optimization

2013-11-05 Thread Richard Biener
On Tue, Nov 5, 2013 at 2:57 AM, Jeff Law wrote: > On 11/04/13 06:19, Richard Biener wrote: >> >> On Thu, Oct 31, 2013 at 7:11 AM, Jeff Law wrote: >>> >>> >>> I've incorporated the various suggestions from Marc and Richi, except for >>> Richi's to integrate this into jump threading. >>> >>> I've a

[C++ Patch Ping] PR 58724

2013-11-05 Thread Paolo Carlini
Hi, http://gcc.gnu.org/ml/gcc-patches/2013-10/msg01166.html Thanks! Paolo.

Re: Rework doloop interface

2013-11-05 Thread Richard Biener
On Tue, Nov 5, 2013 at 10:33 AM, Richard Sandiford wrote: > Following on from: > > http://gcc.gnu.org/ml/gcc-patches/2013-11/msg00092.html > > it looks like I'll have to "fix" the doloop_begin/end interface after all. > The current code goes on to do some rtx arithmetic on invalid CONST_INTs.

[SH] Split addi,subdi,negdi before reload

2013-11-05 Thread Oleg Endo
Hello, It seems that splitting multi-word insns before reload results in slightly better code on average (according to CSiBE). The attached patch implements that. Tested on rev. 204263 with make -k -j4 check RUNTESTFLAGS="--target_board=sh-sim \{-m2/-ml,-m2/-mb,-m2a/-mb,-m2a-single/-mb,-m4/-ml,-m

Re: PATCH: middle-end/58981: movmem/setmem use mode wider than Pmode for size

2013-11-05 Thread Richard Biener
On Tue, 5 Nov 2013, Richard Sandiford wrote: > "H.J. Lu" writes: > > This is the updated patch with md.texi change. The testcase is the same. > > Tested on x32. OK to install? > > Since I commented on the original, this looks good to me, but I can't > approve it. Approved then. Thanks, Rich

Re: [PATCH, MPX, 2/X] Pointers Checker [7/25] Suppress BUILT_IN_CHKP_ARG_BND optimizations.

2013-11-05 Thread Ilya Enkovich
2013/11/4 Richard Biener : > Richard Biener wrote: >>On Thu, Oct 31, 2013 at 10:02 AM, Ilya Enkovich >> wrote: >>> Hi, >>> >>> Here is a patch which hadles the problem with optimization of >>BUILT_IN_CHKP_ARG_BND calls. Pointer Bounds Checker expects that >>argument of this call is a default SSA_

[PATCH, SH] Implement builtin_strlen

2013-11-05 Thread Christian Bruel
Hello, This patch inlines strlen when optimizing for speed. A strlen body is now inlined as: mov r4,r0 tst #3,r0 bf/s.L6 mov r4,r1 mov #0,r3 .L4: mov.l @r1+,r2 cmp/str r3,r2 bf .L4 add #-4,r1 .

Re: Aliasing: look through pointer's def stmt

2013-11-05 Thread Richard Biener
On Tue, Nov 5, 2013 at 11:50 AM, Marc Glisse wrote: > On Mon, 4 Nov 2013, Richard Biener wrote: > >> Marc Glisse wrote: >>> >>> On Mon, 4 Nov 2013, Richard Biener wrote: >>> Well, host_integer_p (, 0) looks correct to me. But ... >>> >>> >>> Ok, I'll put it back. > > > Er, actually host_int

Re: PR 58958: wrong aliasing info

2013-11-05 Thread Richard Biener
On Tue, Nov 5, 2013 at 11:40 AM, Marc Glisse wrote: > On Mon, 4 Nov 2013, Richard Biener wrote: > >> Well, you cannot use the size argument unchanged for the null return case. >> You could fallback to get_base_address and -1 size in that case. > > > Like this? Bootstrap+testsuite on x86_64-unknown

[PATCH] Add POST_LINK_SPEC for adding possibility of additional steps after linking

2013-11-05 Thread Andris Pavenis
Attached patch adds a possibility to add additional build steps after linking. Without this patch only possibility is to redefine entire LINK_COMMAND_SPEC. Currently only DJGPP seems to need it 2013-11-05Andris Pavenis * gcc/gcc.c: Add macro POST_LINK SPEC for specifying additional

Re: [PATCH, PR 53001] Re: Patch to split out new warning flag for floating point conversion

2013-11-05 Thread Dodji Seketeli
Sorry for my late reply on this. I just have one very small nit for one ChangeLog entry, expressed below. If nobody objects in the next 48 hours, I'd say this is OK to commit with the nit fixed. I am not seeing your name in the MAINTAINERS file. Have you filed copyright assignment to the FSF an

Re: [PATCH GCC]Simplify address expression in IVOPT

2013-11-05 Thread Yufeng Zhang
On 11/05/13 11:45, Bin.Cheng wrote: On Tue, Nov 5, 2013 at 7:19 PM, Yufeng Zhang wrote: > On 11/05/13 10:13, bin.cheng wrote: >> >> Index: gcc/tree-affine.c >> === >> --- gcc/tree-affine.c (revision 204117) >> +++ gcc/tree-

Re: [PATCH GCC]Simplify address expression in IVOPT

2013-11-05 Thread Richard Biener
On Tue, Nov 5, 2013 at 11:13 AM, bin.cheng wrote: > > >> -Original Message- >> From: gcc-patches-ow...@gcc.gnu.org [mailto:gcc-patches- >> ow...@gcc.gnu.org] On Behalf Of bin.cheng >> Sent: Monday, November 04, 2013 4:35 PM >> To: 'Richard Biener' >> Cc: GCC Patches >> Subject: RE: [PATCH

Re: [PATCH, MPX, 2/X] Pointers Checker [7/25] Suppress BUILT_IN_CHKP_ARG_BND optimizations.

2013-11-05 Thread Richard Biener
On Tue, Nov 5, 2013 at 1:02 PM, Ilya Enkovich wrote: > 2013/11/4 Richard Biener : >> Richard Biener wrote: >>>On Thu, Oct 31, 2013 at 10:02 AM, Ilya Enkovich >>> wrote: Hi, Here is a patch which hadles the problem with optimization of >>>BUILT_IN_CHKP_ARG_BND calls. Pointer Bounds

Re: [PATCH GCC]Simplify address expression in IVOPT

2013-11-05 Thread Richard Biener
On Tue, Nov 5, 2013 at 1:18 PM, Yufeng Zhang wrote: > On 11/05/13 11:45, Bin.Cheng wrote: >> >> On Tue, Nov 5, 2013 at 7:19 PM, Yufeng Zhang wrote: >>> >>> > On 11/05/13 10:13, bin.cheng wrote: >> >> Index: gcc/tree-affine.c >> ==

Re: [PATCH 0/6] Conversion of gimple types to C++ inheritance (v3)

2013-11-05 Thread David Malcolm
On Tue, 2013-11-05 at 12:47 +0100, Richard Biener wrote: > On Mon, Nov 4, 2013 at 10:43 PM, David Malcolm wrote: > > On Mon, 2013-11-04 at 08:19 -0500, Andrew MacLeod wrote: > >> On 11/01/2013 06:58 PM, David Malcolm wrote: > >> > On Fri, 2013-11-01 at 22:57 +0100, Jakub Jelinek wrote: > >> >> On

Re: [PATCH 0/6] Conversion of gimple types to C++ inheritance (v3)

2013-11-05 Thread Richard Biener
On Tue, Nov 5, 2013 at 1:30 PM, David Malcolm wrote: > On Tue, 2013-11-05 at 12:47 +0100, Richard Biener wrote: >> On Mon, Nov 4, 2013 at 10:43 PM, David Malcolm wrote: >> > On Mon, 2013-11-04 at 08:19 -0500, Andrew MacLeod wrote: >> >> On 11/01/2013 06:58 PM, David Malcolm wrote: >> >> > On Fri,

Re: [PATCH, MPX, 2/X] Pointers Checker [7/25] Suppress BUILT_IN_CHKP_ARG_BND optimizations.

2013-11-05 Thread Ilya Enkovich
2013/11/5 Richard Biener : > On Tue, Nov 5, 2013 at 1:02 PM, Ilya Enkovich wrote: >> 2013/11/4 Richard Biener : >>> Richard Biener wrote: On Thu, Oct 31, 2013 at 10:02 AM, Ilya Enkovich wrote: > Hi, > > Here is a patch which hadles the problem with optimization of BUILT_I

Re: [PATCH, MPX, 2/X] Pointers Checker [8/25] Languages support

2013-11-05 Thread Ilya Enkovich
2013/11/2 Joseph S. Myers : > On Thu, 31 Oct 2013, Ilya Enkovich wrote: > >> This patch adds support Pointer Bounds Checker into c-family and LTO >> front-ends. The main purpose of changes in front-end is to register all >> statically initialized objects for checker. We also need to register >> s

Re: [PATCH, PR 53001] Re: Patch to split out new warning flag for floating point conversion, [gnu.org #746725]

2013-11-05 Thread Josh Cogliati
Donald R Robertson III or the current copyright clerk, Can you check and make sure that my copyright assignment paperwork is finished? I was number: 746725 It should have been received September 20, 2013. Thank you. Joshua Cogliati On Tue, 11/5/1

Re: [PATCH, MPX, 2/X] Pointers Checker [8/25] Languages support

2013-11-05 Thread Ilya Enkovich
2013/11/4 Richard Biener : > On Thu, Oct 31, 2013 at 10:11 AM, Ilya Enkovich > wrote: >> Hi, >> >> This patch adds support Pointer Bounds Checker into c-family and LTO >> front-ends. The main purpose of changes in front-end is to register all >> statically initialized objects for checker. We

Re: [PATCH, MPX, 2/X] Pointers Checker [8/25] Languages support

2013-11-05 Thread Jakub Jelinek
On Tue, Nov 05, 2013 at 04:54:38PM +0400, Ilya Enkovich wrote: > 2013/11/2 Joseph S. Myers : > > On Thu, 31 Oct 2013, Ilya Enkovich wrote: > > > >> This patch adds support Pointer Bounds Checker into c-family and LTO > >> front-ends. The main purpose of changes in front-end is to register all > >>

Re: [PATCH i386 4/8] [AVX512] [1/n] Add substed patterns.

2013-11-05 Thread Kirill Yukhin
Hello, Small correction. On 01 Nov 16:19, Kirill Yukhin wrote: > +(define_insn "avx512f_store_mask" > + [(set (match_operand:VI48F_512 0 "memory_operand" "=m") > + (vec_merge:VI48F_512 > + (match_operand:VI48F_512 1 "register_operand" "v") > + (match_dup 0) > + (match_operan

[patch] move phi_ssa_name_p.

2013-11-05 Thread Andrew MacLeod
I noticed that gimple.h::phi_ssa_name_p is used in exactly one location, tree-outof-ssa.c. Its used in an expression, and the name isn't really very clear. I renamed it and rolled the rest of the expression into the new function, and made it static within tree-outof-ssa.c. Bootstraps on x86

[PATCH] loop-{iv,unswitch}.c fixes (PR rtl-optimization/58997)

2013-11-05 Thread Jakub Jelinek
Hi! Apparently, for iv->extend == IV_UNKNOWN_EXTEND if iv->mode != iv->extend_mode get_iv_value returns a value in iv->mode mode, while otherwise in iv->extend_mode. This makes some sense, because with IV_UNKNOWN_EXTEND the upper bits are unknown, so there is nothing reasonable to return in the e

Re: [PATCH, MPX, 2/X] Pointers Checker [7/25] Suppress BUILT_IN_CHKP_ARG_BND optimizations.

2013-11-05 Thread Richard Biener
On Tue, Nov 5, 2013 at 1:52 PM, Ilya Enkovich wrote: > 2013/11/5 Richard Biener : >> On Tue, Nov 5, 2013 at 1:02 PM, Ilya Enkovich wrote: >>> 2013/11/4 Richard Biener : Richard Biener wrote: >On Thu, Oct 31, 2013 at 10:02 AM, Ilya Enkovich > wrote: >> Hi, >> >> Here is a

Re: [PATCH, SH] Implement builtin_strlen

2013-11-05 Thread Kaz Kojima
Christian Bruel wrote: > No regressions for sh-none-elf. OK for trunk ? OK. Regards, kaz

Re: [PATCH, MPX, 2/X] Pointers Checker [8/25] Languages support

2013-11-05 Thread Ilya Enkovich
2013/11/5 Jakub Jelinek : > On Tue, Nov 05, 2013 at 04:54:38PM +0400, Ilya Enkovich wrote: >> 2013/11/2 Joseph S. Myers : >> > On Thu, 31 Oct 2013, Ilya Enkovich wrote: >> > >> >> This patch adds support Pointer Bounds Checker into c-family and LTO >> >> front-ends. The main purpose of changes in

Re: [PATCH, MPX, 2/X] Pointers Checker [8/25] Languages support

2013-11-05 Thread Richard Biener
On Tue, Nov 5, 2013 at 2:02 PM, Ilya Enkovich wrote: > 2013/11/4 Richard Biener : >> On Thu, Oct 31, 2013 at 10:11 AM, Ilya Enkovich >> wrote: >>> Hi, >>> >>> This patch adds support Pointer Bounds Checker into c-family and LTO >>> front-ends. The main purpose of changes in front-end is to reg

Re: [patch] move phi_ssa_name_p.

2013-11-05 Thread Richard Biener
On Tue, Nov 5, 2013 at 2:06 PM, Andrew MacLeod wrote: > I noticed that gimple.h::phi_ssa_name_p is used in exactly one location, > tree-outof-ssa.c. Its used in an expression, and the name isn't really very > clear. > > I renamed it and rolled the rest of the expression into the new function, > a

Re: [PATCH, MPX, 2/X] Pointers Checker [8/25] Languages support

2013-11-05 Thread Jakub Jelinek
On Tue, Nov 05, 2013 at 05:13:12PM +0400, Ilya Enkovich wrote: > It's sad I cannot just initialize bounds in Bounds Tables for .tdata, > memcpy would do all the job for me copying them for each new TLS Why do you think so? glibc will surely use an internal version of memcpy rather than the global

Re: [PATCH, MPX, 2/X] Pointers Checker [8/25] Languages support

2013-11-05 Thread Ilya Enkovich
2013/11/5 Richard Biener : > On Tue, Nov 5, 2013 at 2:02 PM, Ilya Enkovich wrote: >> 2013/11/4 Richard Biener : >>> On Thu, Oct 31, 2013 at 10:11 AM, Ilya Enkovich >>> wrote: Hi, This patch adds support Pointer Bounds Checker into c-family and LTO front-ends. The main purpo

[PATCH] Fix PR58941

2013-11-05 Thread Richard Biener
The following fixes PR58941 - we fail to detect a trailing array access in get_ref_base_and_extent because, while we remember the type to check, we still apply an extra offset that confuses us. Fixed by handling trailing arrays at places we view-convert. Bootstrapped and tested on x86_64-unknown-

Re: libsanitizer merge from upstream r191666

2013-11-05 Thread H.J. Lu
Another problem is internal_syscall casts pointers to uint64. It doesn't work for x32 since 32-bit pointers are signed extended to int64. We can need to cast pointer to uptr first. On Tue, Nov 5, 2013 at 3:23 AM, H.J. Lu wrote: > It is a different failure. There are 3 problems: > > 1. Hard cod

Re: [PATCH, MPX, 2/X] Pointers Checker [8/25] Languages support

2013-11-05 Thread Ilya Enkovich
2013/11/5 Jakub Jelinek : > On Tue, Nov 05, 2013 at 05:13:12PM +0400, Ilya Enkovich wrote: >> It's sad I cannot just initialize bounds in Bounds Tables for .tdata, >> memcpy would do all the job for me copying them for each new TLS > > Why do you think so? glibc will surely use an internal version

Re: libsanitizer merge from upstream r191666

2013-11-05 Thread Richard Biener
On Tue, Nov 5, 2013 at 2:24 PM, H.J. Lu wrote: > Another problem is internal_syscall casts pointers to > uint64. It doesn't work for x32 since 32-bit pointers are > signed extended to int64. We can need to cast pointer > to uptr first. Another issue is that it breaks with 2.6.32 kernel headers

Re: Fix __GCC_IEC_559 determination for 32-bit x86

2013-11-05 Thread Joseph S. Myers
On Tue, 5 Nov 2013, Jakub Jelinek wrote: > Besides: > +FAIL: gcc.dg/iec-559-macros-9.c (test for excess errors) > > that this patch supposedly fixes on i686-linux I'm also seeing: > > +FAIL: gcc.dg/pch/save-temps-1.c -O0 -g -I. -Dwith_PCH (test for excess > errors) I see no obvious reason for

Re: [PATCH, MPX, 2/X] Pointers Checker [8/25] Languages support

2013-11-05 Thread Richard Biener
On Tue, Nov 5, 2013 at 2:20 PM, Ilya Enkovich wrote: > 2013/11/5 Richard Biener : >> On Tue, Nov 5, 2013 at 2:02 PM, Ilya Enkovich wrote: >>> 2013/11/4 Richard Biener : On Thu, Oct 31, 2013 at 10:11 AM, Ilya Enkovich wrote: > Hi, > > This patch adds support Pointer Bounds

Re: [PATCH, MPX, 2/X] Pointers Checker [10/25] Calls copy and verification

2013-11-05 Thread Ilya Enkovich
2013/11/4 Richard Biener : > On Thu, Oct 31, 2013 at 10:24 AM, Ilya Enkovich > wrote: >> Hi, >> >> Here is a patch to support of instrumented code in calls verifiers and calls >> copy with skipped args. >> >> Thanks, >> Ilya >> -- >> >> gcc/ >> >> 2013-10-29 Ilya Enkovich >> >> * cgra

Re: [PATCH, MPX, 2/X] Pointers Checker [8/25] Languages support

2013-11-05 Thread Ilya Enkovich
2013/11/5 Richard Biener : > On Tue, Nov 5, 2013 at 2:20 PM, Ilya Enkovich wrote: >> 2013/11/5 Richard Biener : >>> On Tue, Nov 5, 2013 at 2:02 PM, Ilya Enkovich >>> wrote: 2013/11/4 Richard Biener : > On Thu, Oct 31, 2013 at 10:11 AM, Ilya Enkovich > wrote: >> Hi, >>

Re: [PATCH, MPX, 2/X] Pointers Checker [6/25] Instrumentation pass

2013-11-05 Thread Joseph S. Myers
On Tue, 5 Nov 2013, Ilya Enkovich wrote: > On 01 Nov 21:59, Joseph S. Myers wrote: > > On Thu, 31 Oct 2013, Ilya Enkovich wrote: > > > > > * tree-chkp.c: New. > > > > This file includes tm.h. Inclusion of tm.h in front-end and GIMPLE files > > is discouraged (well, we'd like to convert all t

Re: [PATCH, MPX, 2/X] Pointers Checker [6/25] Instrumentation pass

2013-11-05 Thread Ilya Enkovich
2013/11/5 Joseph S. Myers : > On Tue, 5 Nov 2013, Ilya Enkovich wrote: > >> On 01 Nov 21:59, Joseph S. Myers wrote: >> > On Thu, 31 Oct 2013, Ilya Enkovich wrote: >> > >> > > * tree-chkp.c: New. >> > >> > This file includes tm.h. Inclusion of tm.h in front-end and GIMPLE files >> > is discourage

[Patch, AArch64] Define vec_extract.

2013-11-05 Thread Tejas Belagod
Hi, The attached patch defines standard pattern name vec_extract for aarch64. Tested on aarch64-none-elf and aarch64_be-none-elf. OK for trunk? Thanks, Tejas Belagod ARM. Changelog: 2013-11-05 Tejas Belagod gcc/ * config/aarch64/aarch64-simd.md (vec_extract): New.diff --git a/gcc/

Re: [PATCH, MPX, 2/X] Pointers Checker [8/25] Languages support

2013-11-05 Thread Richard Biener
On Tue, Nov 5, 2013 at 2:37 PM, Ilya Enkovich wrote: > 2013/11/5 Richard Biener : >> On Tue, Nov 5, 2013 at 2:20 PM, Ilya Enkovich wrote: >>> 2013/11/5 Richard Biener : On Tue, Nov 5, 2013 at 2:02 PM, Ilya Enkovich wrote: > 2013/11/4 Richard Biener : >> On Thu, Oct 31, 2013 at

Re: [C++ Patch] PR 58724

2013-11-05 Thread Jason Merrill
OK. Jason

[PATCH 1/4] Cast pointers to uptr for 64-bit syscalls

2013-11-05 Thread H.J. Lu
internal_syscall casts pointers to uint64. It doesn't work for x32 since 32-bit pointers are signed extended to int64. This patch casts pointers to uptr first. Tested with x32, x86-64 and x86. Please install it. Thanks. H.J. --- libsanitizer/ChangeLog.x32 | 20

RE: PR 58958: wrong aliasing info

2013-11-05 Thread Iyer, Balaji V
> -Original Message- > From: Jakub Jelinek [mailto:ja...@redhat.com] > Sent: Tuesday, November 5, 2013 6:02 AM > To: Marc Glisse; Iyer, Balaji V > Cc: Richard Biener; GCC Patches > Subject: Re: PR 58958: wrong aliasing info > > On Tue, Nov 05, 2013 at 11:40:02AM +0100, Marc Glisse wrote:

[PATCH 2/4] Fix internal_clone for x32

2013-11-05 Thread H.J. Lu
We need to allcate 2 64-bit integers to restore fn and arg with pop, which only pop 64-bit integer into 64-bit register. Also pointers are 32-bit for x32. This patch properly loads r8/r10 fpr syscall. Please install it. Thanks. H.J. --- libsanitizer/ChangeLog.x32 | 6 +++

[Patch, AArch64] Add w -> w constraint to vec_set.

2013-11-05 Thread Tejas Belagod
Hi, The attached patch adds a w -> w constraint to vec_set. Tested on aarch64-none-elf and aarch64_be-none-elf. OK for trunk? Thanks, Tejas Belagod ARM. Changelog: 2013-11-05 Tejas Belagod gcc/ * config/aarch64/aarch64-simd.md (vec_set): Add w -> w option to the constraint

[PATCH 3/4] Use 64-bit system types for x86-64

2013-11-05 Thread H.J. Lu
x32 uses the same file system calls as x86-64. This patch fixes it for x32. Tested on x32, x86-64 and x86. Please install it. Thanks. H.J. --- libsanitizer/ChangeLog.x32 | 14 ++ .../sanitizer_common/sanitizer_platform_limits_linux.cc| 2 +- .

Re: [PATCH] decide edge's hotness when there is profile info

2013-11-05 Thread Teresa Johnson
Ping. Thanks, Teresa On Wed, Oct 30, 2013 at 1:15 PM, Teresa Johnson wrote: > On Fri, Oct 18, 2013 at 2:17 PM, Jan Hubicka wrote: >>> Here is the patch updated to use the new parameter from r203830. >>> Passed bootstrap and regression tests. >>> >>> 2013-10-18 Jan Hubicka >>> Tere

[PATCH 4/4] Check __x86_64__ for FPU state

2013-11-05 Thread H.J. Lu
X32 uses the same FPU state as x86-64. Please install it. Thanks. H.J. --- libsanitizer/ChangeLog.x32 | 6 ++ libsanitizer/sanitizer_common/sanitizer_platform_limits_posix.cc | 2 +- 2 files changed, 7 insertions(+), 1 deletion(-) diff --git a/libsanit

Re: [PATCH, MPX, 2/X] Pointers Checker [8/25] Languages support

2013-11-05 Thread Ilya Enkovich
2013/11/5 Richard Biener : > On Tue, Nov 5, 2013 at 2:37 PM, Ilya Enkovich wrote: >> 2013/11/5 Richard Biener : >>> On Tue, Nov 5, 2013 at 2:20 PM, Ilya Enkovich >>> wrote: 2013/11/5 Richard Biener : > On Tue, Nov 5, 2013 at 2:02 PM, Ilya Enkovich > wrote: >> 2013/11/4 Richard

Re: [PATCH GCC]Simplify address expression in IVOPT

2013-11-05 Thread Bin.Cheng
On Tue, Nov 5, 2013 at 8:29 PM, Richard Biener wrote: > On Tue, Nov 5, 2013 at 1:18 PM, Yufeng Zhang wrote: >> On 11/05/13 11:45, Bin.Cheng wrote: >>> >>> On Tue, Nov 5, 2013 at 7:19 PM, Yufeng Zhang wrote: > On 11/05/13 10:13, bin.cheng wrote: > > >> > >> Index: gcc/tree

Re: [wide-int] Restore VAX build

2013-11-05 Thread Jan-Benedict Glaw
On Sun, 2013-11-03 08:29:12 -0500, Kenneth Zadeck wrote: > On Nov 3, 2013, at 5:24 AM, Richard Sandiford > wrote: > > Index: gcc/config/vax/vax.c > > === > > --- gcc/config/vax/vax.c2013-11-03 10:24:01.013238719 + > > +++ g

Re: [wide-int] Restore VAX build

2013-11-05 Thread Kenneth Zadeck
On 11/05/2013 09:12 AM, Jan-Benedict Glaw wrote: On Sun, 2013-11-03 08:29:12 -0500, Kenneth Zadeck wrote: On Nov 3, 2013, at 5:24 AM, Richard Sandiford wrote: Index: gcc/config/vax/vax.c === --- gcc/config/vax/vax.c2013-11-

Re: [PATCH, MPX, 2/X] Pointers Checker [7/25] Suppress BUILT_IN_CHKP_ARG_BND optimizations.

2013-11-05 Thread Ilya Enkovich
2013/11/5 Richard Biener : > On Tue, Nov 5, 2013 at 1:52 PM, Ilya Enkovich wrote: >> >> For input parameter P I need to have >> BOUNDS = __builtin_arg_bnd (P) >> to somehow refer to bounds of P in GIMPLE. Optimizations may modify >> __builtin_arg_bnd (P) replacing P with its copy or some value.

[PATCH] Fix PR58492

2013-11-05 Thread Richard Biener
This fixes PR58492 - when late IPA passes are run all IPA transforms are applied and the last fixup-cfg is run. This breaks the IL when for example late local-pure-const makes changes that are not fixed up for in the callers. Bootstrap and tests running on x86_64-unknown-linux-gnu. Richard. 20

Re: libsanitizer merge from upstream r191666

2013-11-05 Thread Bill Schmidt
Hi Kostya, As an aside, all of these asan tests have failed on powerpc64le-unknown-linux-gnu since we began testing that target. I have not yet had time to investigate why. Do you think there may be an implicit or explicit assumption anywhere that PowerPC64 is big endian? This is generally not s

Re: RFA: Change behaviour of %* in spec strings

2013-11-05 Thread Joseph S. Myers
On Thu, 17 Oct 2013, Nick Clifton wrote: > 2013-10-17 Nick Clifton > > * gcc.c (do_spec_1): Do not insert a space after a %* substitution > unless it is the last part of a spec substring. > * doc/invoke.texi (Spec Files): Document space insertion > behaviour of %*. O

Re: [PATCH, MPX, 2/X] Pointers Checker [6/25] Instrumentation pass

2013-11-05 Thread Joseph S. Myers
On Tue, 5 Nov 2013, Ilya Enkovich wrote: > > So the next question is why this file includes expr.h. It's a tree-* > > file. The presumption is that it should not need anything to do with RTL > > and so shouldn't need to include expr.h, rtl.h or tm.h, directly or > > indirectly. > > > > If there

[PATCH] Fix PR58955

2013-11-05 Thread Richard Biener
This fixes the wrong direction of dependence edges in loop distribution (this happens when you think that if you choose the wrong direction a testcase will trip and thus you don't think hard enough ...). Bootstrapped and tested on x86_64-unknown-linux-gnu, applied. Richard. 2013-11-05 Richard

patch implementing a new pass for register-pressure relief through live range shrinkage

2013-11-05 Thread Vladimir Makarov
I'd like to add a new experimental optimization to the trunk. This optimization was discussed on RA BOF of this summer GNU Cauldron. It is a register pressure relief through live-range shrinkage. It is implemented on the scheduler base and uses register-pressure insn scheduling infrastructur

Re: [Patch] Implementation of n3793

2013-11-05 Thread Jonathan Wakely
On 3 November 2013 11:30, Paolo Carlini wrote: > On 11/03/2013 12:19 PM, Jonathan Wakely wrote: >> >> Yes, Paolo pointed out these are failing on 32-bit targets, I've got a >> patch coming. Luc is there any reason not to just replace all those large >> constants with 0x1234ABCD, which fits in a lon

[C11-atomic] Miscellaneous fixes 8/n

2013-11-05 Thread Joseph S. Myers
I've applied this further patch to C11-atomic branch to ensure that the c11-atomic-exec-5.c test is only run where floating-point exceptions are actually supported, to avoid spurious failures for soft-float configurations (or any systems that have pthreads but not ). 2013-11-05 Joseph Myers

Re: [Patch] Implementation of n3793

2013-11-05 Thread Paolo Carlini
Hi, On 11/05/2013 04:51 PM, Jonathan Wakely wrote: On 3 November 2013 11:30, Paolo Carlini wrote: On 11/03/2013 12:19 PM, Jonathan Wakely wrote: Yes, Paolo pointed out these are failing on 32-bit targets, I've got a patch coming. Luc is there any reason not to just replace all those large cons

Re: libsanitizer merge from upstream r191666

2013-11-05 Thread Peter Bergner
On Tue, 2013-11-05 at 08:19 +0100, Jakub Jelinek wrote: > On Mon, Nov 04, 2013 at 05:48:31PM -0800, Konstantin Serebryany wrote: > > Hi Peter. > > Does this also mean that asan in llvm trunk is broken for Power? > > We'll need to fix it there too (or, in fact, first). > > I bet on all targets, not

[PATCH] gengtype: support empty GTY-marked structs

2013-11-05 Thread David Malcolm
I'm attaching a patch which allows gengtype to handle GTY-marked structs that have no fields. These are useful for supporting the "have a subclass for every gimple code" idea from: http://gcc.gnu.org/ml/gcc-patches/2013-11/msg00057.html (and am bootstrapping a patch that does that, which needed

[PATCH, i386]: Enable soft-float multilibs for x86-32 RTEMS

2013-11-05 Thread Uros Bizjak
Hello! Attached patch enables soft-float multilibs for x86-32 RTEMS. The patch activates SFmode and DFmode soft-float support routines. The XFmode is mapped to DFmode due to lack of XFmode support in soft-float. We already disable FPU return registers for -mno-80387, so ABI is already changed for

Re: [PATCH, i386]: Enable soft-float multilibs for x86-32 RTEMS

2013-11-05 Thread Joel Sherrill
On 11/5/2013 10:26 AM, Uros Bizjak wrote: > On Tue, Nov 5, 2013 at 5:23 PM, Uros Bizjak wrote: > >> Attached patch enables soft-float multilibs for x86-32 RTEMS. The >> patch activates SFmode and DFmode soft-float support routines. The >> XFmode is mapped to DFmode due to lack of XFmode support

Re: [PATCH, i386]: Enable soft-float multilibs for x86-32 RTEMS

2013-11-05 Thread Uros Bizjak
On Tue, Nov 5, 2013 at 5:23 PM, Uros Bizjak wrote: > Attached patch enables soft-float multilibs for x86-32 RTEMS. The > patch activates SFmode and DFmode soft-float support routines. The > XFmode is mapped to DFmode due to lack of XFmode support in > soft-float. We already disable FPU return reg

Re: [RFC] libgcov.c re-factoring and offline profile-tool

2013-11-05 Thread Xinliang David Li
Those functions are not referencing each other, but they get used in different logical groups, so at least control granularity can be improved. For instance, 1) all gcov user interfaces such as gcov_dump, gcov_flush, gcov_reset are either not used at all, or all of them are used -- there is no need

Re: [PATCH] gengtype: support empty GTY-marked structs

2013-11-05 Thread Jeff Law
On 11/05/13 09:20, David Malcolm wrote: I'm attaching a patch which allows gengtype to handle GTY-marked structs that have no fields. These are useful for supporting the "have a subclass for every gimple code" idea from: http://gcc.gnu.org/ml/gcc-patches/2013-11/msg00057.html (and am bootstra

  1   2   >