Re: [PATCH] Factorize the two read_line functions present in gcov.c and input.c

2013-11-07 Thread Jakub Jelinek
On Thu, Nov 07, 2013 at 07:17:19AM +, Nathan Sidwell wrote: On 11/06/13 21:25, Dodji Seketeli wrote: It appeared that gcov.c and input.c both have a static function named read_line. I guess we ought to keep just one. As a general rule, that's good. Generally yes, but IMHO not in this

Re: [gomp4 1/9] Add missing include.

2013-11-07 Thread Jakub Jelinek
On Wed, Nov 06, 2013 at 08:42:15PM +0100, tho...@codesourcery.com wrote: From: Thomas Schwinge tho...@codesourcery.com libgomp/ * libgomp_g.h: Include stddef.h for size_t. I'm surprised why it is needed, because libgomp.h that includes it includes stdlib.h that should provide

Re: [gomp4 2/9] libgomp: Prepare for testcases without -fopenmp.

2013-11-07 Thread Jakub Jelinek
On Wed, Nov 06, 2013 at 08:42:16PM +0100, tho...@codesourcery.com wrote: From: Thomas Schwinge tho...@codesourcery.com libgomp/ * testsuite/lib/libgomp.exp (libgomp_init): Don't add -fopenmp to ALWAYS_CFLAGS. * testsuite/libgomp.c++/c++.exp (ALWAYS_CFLAGS): Add

Re: [gomp4 3/9] OpenACC: Recognize -fopenacc.

2013-11-07 Thread Jakub Jelinek
On Wed, Nov 06, 2013 at 08:42:17PM +0100, tho...@codesourcery.com wrote: From: Thomas Schwinge tho...@codesourcery.com gcc/c-family/ * c.opt (fopenacc): New option. gcc/fortran/ * lang.opt (fopenacc): New option. * invoke.texi (-fopenacc): Document it.

Re: [gomp4 4/9] OpenACC: The runtime library will be implemented in libgomp, too.

2013-11-07 Thread Jakub Jelinek
On Wed, Nov 06, 2013 at 08:42:18PM +0100, tho...@codesourcery.com wrote: --- gcc/config/arc/arc.h +++ gcc/config/arc/arc.h @@ -174,7 +174,7 @@ along with GCC; see the file COPYING3. If not see %(linker) %l LINK_PIE_SPEC %X %{o*} %{A} %{d} %{e*} %{m} %{N} %{n} %{r}\ %{s} %{t}

Re: [gomp4 5/9] OpenACC: preprocessor definition, Fortran integer parameter.

2013-11-07 Thread Jakub Jelinek
On Wed, Nov 06, 2013 at 08:42:19PM +0100, tho...@codesourcery.com wrote: From: Thomas Schwinge tho...@codesourcery.com gcc/c-family/ * c-cppbuiltin.c (c_cpp_builtins): Conditionally define _OPENACC. gcc/fortran/ * cpp.c (cpp_define_builtins): Conditionally define

Re: [gomp4 7/9] OpenACC: Use OpenMP's lowering and expansion passes.

2013-11-07 Thread Jakub Jelinek
On Wed, Nov 06, 2013 at 08:42:21PM +0100, tho...@codesourcery.com wrote: From: Thomas Schwinge tho...@codesourcery.com gcc/ * gimplify.c (gimplify_body): Consider flag_openacc additionally to flag_openmp. * omp-low.c (execute_expand_omp, execute_lower_omp)

Re: [gomp4 6/9] OpenACC: Infrastructure for builtins.

2013-11-07 Thread Jakub Jelinek
On Wed, Nov 06, 2013 at 08:42:20PM +0100, tho...@codesourcery.com wrote: From: Thomas Schwinge tho...@codesourcery.com gcc/ * oacc-builtins.def: New file. * Makefile.in (BUILTINS_DEF): Add oacc-builtins.def. * builtins.def (DEF_GOACC_BUILTIN): New macro.

Re: [gomp4 8/9] OpenACC: Basic support for #pragma acc in the C front end.

2013-11-07 Thread Jakub Jelinek
On Wed, Nov 06, 2013 at 08:42:22PM +0100, tho...@codesourcery.com wrote: From: Thomas Schwinge tho...@codesourcery.com gcc/c-family/ * c-pragma.c (oacc_pragmas): New array. (c_pp_lookup_pragma, init_pragma): Handle it. gcc/ * doc/invoke.texi (-fopenacc):

Re: [gomp4 9/9] OpenACC: Basic support for #pragma acc parallel.

2013-11-07 Thread Jakub Jelinek
On Wed, Nov 06, 2013 at 08:53:00PM +0100, Thomas Schwinge wrote: Forgot to pass the --patience switch to Git, so the diff algorithm decided to first patch the existing expand_omp_taskreg into expand_oacc_parallel, and then later re-add expand_omp_taskreg. Here's a more readable version of

Re: [gomp4] rewrite simd clone argument adjustment to avoid regimplification

2013-11-07 Thread Jakub Jelinek
On Wed, Nov 06, 2013 at 05:37:03PM -0700, Aldy Hernandez wrote: Hmmm, good point. I've moved update_stmt and company to the caller, and modified the caller to call regimplify_operands only for GIMPLE_RETURN which is the special case. Can't you (later) handle that without regimplification too?

Re: [PATCH] Fix PR58941

2013-11-07 Thread Richard Biener
On Wed, 6 Nov 2013, Richard Sandiford wrote: Richard Biener rguent...@suse.de writes: --- 599,615 exp = TREE_OPERAND (exp, 0); } + /* We need to deal with variable arrays ending structures. */ + if (seen_variable_array_ref +maxsize != -1 +

Re: [PATCH] Improve VRP assert creation for loops

2013-11-07 Thread Richard Biener
On Wed, 6 Nov 2013, Jakub Jelinek wrote: On Tue, Nov 05, 2013 at 02:00:16PM -0800, Cong Hou wrote: I'm also curious -- did this code show up in a particular benchmark, if so, which one? I didn't find this problem from any benchmark, but from another concern about loop upper

Re: [wide-int] Remove SHIFT_COUNT_TRUNCATED uses at tree/gimple level

2013-11-07 Thread Kenneth Zadeck
I very strongly disagree with this. The standard needs to be high than does it pass the test suite. What we are introducing is a case where the program will behave one way with optimization and another way without it. While, this is always true for timing dependent code, it is pretty rare

Re: [wide-int] Remove SHIFT_COUNT_TRUNCATED uses at tree/gimple level

2013-11-07 Thread Richard Biener
On Thu, 7 Nov 2013, Kenneth Zadeck wrote: I very strongly disagree with this. The standard needs to be high than does it pass the test suite. What we are introducing is a case where the program will behave one way with optimization and another way without it. While, this is always

Re: [PATCH] Improve VRP assert creation for loops

2013-11-07 Thread Jakub Jelinek
On Thu, Nov 07, 2013 at 09:48:46AM +0100, Richard Biener wrote: --- gcc/tree-vrp.c.jj 2013-11-06 08:48:01.0 +0100 +++ gcc/tree-vrp.c 2013-11-06 09:32:19.205104029 +0100 @@ -92,6 +92,42 @@ static sbitmap *live; static bool live_on_edge (edge e, tree name) { + if

Re: [PATCH] Improve VRP assert creation for loops

2013-11-07 Thread Richard Biener
On Thu, 7 Nov 2013, Jakub Jelinek wrote: On Thu, Nov 07, 2013 at 09:48:46AM +0100, Richard Biener wrote: --- gcc/tree-vrp.c.jj 2013-11-06 08:48:01.0 +0100 +++ gcc/tree-vrp.c2013-11-06 09:32:19.205104029 +0100 @@ -92,6 +92,42 @@ static sbitmap *live; static bool

Re: [PATCH] Factorize the two read_line functions present in gcov.c and input.c

2013-11-07 Thread Dodji Seketeli
I was a bit too hasty in committing this patch, thinking the review was done. I have reverted it yesterday night. Let's try again after a night of sleep. Bernd Edlinger bernd.edlin...@hotmail.de writes: I still do not see how this is supposed to work: If the previous invocation of get_line

Re: patch to fix PR58784 (ARM LRA crash)

2013-11-07 Thread Yvan Roux
Hi, I've tested LRA on ARM in several configuration and it occurs that only one regression is observed in Fortran for targets A15 and A9 in hard and soft fp amd Thumb mode enabled by default (ARMv5 is clean). The failing test case is gfortran.dg/realloc_on_assign_11.f90 in -O3 and the error seems

Re: [C] Fix PR57258: unused variable warning is emitted for volatile variables

2013-11-07 Thread Joey Ye
- warning_at (DECL_SOURCE_LOCATION (p), - OPT_Wunused_but_set_variable, - variable %qD set but not used, p); + { +if (!TREE_THIS_VOLATILE (p)) + warning_at (DECL_SOURCE_LOCATION (p), +OPT_Wunused_but_set_variable, +variable %qD set but not used, p); + } I'd prefer

[rl78] Use canonical const_int for one_cmplqi2

2013-11-07 Thread Richard Sandiford
This patch just changes a QImode (const_int 255) to (const_int -1), since the canonical form is to sign-extend. As things stand the pattern trips a new assert added on the wide-int branch. Tested by building rl78-elf before and after the patch and making sure that there were no changes in

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

2013-11-07 Thread Ilya Enkovich
2013/11/6 Ilya Enkovich enkovich@gmail.com: 2013/11/5 Jeff Law l...@redhat.com: On 11/04/13 06:27, Richard Biener wrote: On Thu, Oct 31, 2013 at 10:02 AM, Ilya Enkovich enkovich@gmail.com wrote: Hi, Here is a patch which hadles the problem with optimization of

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

2013-11-07 Thread Richard Biener
On Wed, Nov 6, 2013 at 9:56 PM, Andrew MacLeod amacl...@redhat.com wrote: On 11/06/2013 06:31 AM, Richard Biener wrote: On Wed, Nov 6, 2013 at 12:02 PM, Bernd Schmidt ber...@codesourcery.com wrote: Maybe we need to revisit it? As one of those who were not in favour of the C++ move, can I

Re: PATCH: PR target/59034: FAIL gcc.c-torture/compile/20031208-1.c

2013-11-07 Thread H.J. Lu
On Wed, Nov 6, 2013 at 11:42 PM, Uros Bizjak ubiz...@gmail.com wrote: On Thu, Nov 7, 2013 at 7:19 AM, H.J. Lu hongjiu...@intel.com wrote: We should use Pmode with stack_pointer_rtx. OK for trunk and 4.8 branch? OK everywhere. I checked it into trunk and 4.8 branch. For 4.7, I only

Re: [PATCH, i386]: Fix PR 59021, new vzeroupper instructions generated with -mavx

2013-11-07 Thread Uros Bizjak
On Wed, Nov 6, 2013 at 11:06 PM, Eric Botcazou ebotca...@adacore.com wrote: Attached patch fixes PR 59021, where new vzeroupper instructions are generated for -mavx after Vlad's useless insn removal patch. The problem was, that we depent on (useless) moves to AVX256 function argument

Re: Re-factor tree.h - Part 1

2013-11-07 Thread Richard Biener
On Wed, Nov 6, 2013 at 6:10 PM, Diego Novillo dnovi...@google.com wrote: On Wed, Nov 6, 2013 at 2:04 AM, Marc Glisse marc.gli...@inria.fr wrote: On Tue, 5 Nov 2013, Diego Novillo wrote: This is the first patch in a series of patches to cleanup tree.h to reduce the exposure it has all over the

Re: [patch] Create gimple-expr..[ch] ... was Re: RFC: gimple.[ch] break apart

2013-11-07 Thread Basile Starynkevitch
On Tue, Nov 05, 2013 at 11:26:46AM -0500, Andrew MacLeod wrote: I decided to name the new file gimple-expr.[ch] instead of gimple-decl This will eventually split into gimple-type.[ch], gimple-decl.[ch], and gimple-expr.[ch]. Since we are adding *new* C++ files, can't we please name

Re: [PATCH]Fix computation of offset in ivopt

2013-11-07 Thread Richard Biener
On Wed, Nov 6, 2013 at 6:06 PM, Richard Sandiford rdsandif...@googlemail.com wrote: Hi, bin.cheng bin.ch...@arm.com writes: Index: gcc/tree-ssa-loop-ivopts.c === --- gcc/tree-ssa-loop-ivopts.c(revision 203267) +++

Re: [PATCH] Improve VRP assert creation for loops

2013-11-07 Thread Jakub Jelinek
On Thu, Nov 07, 2013 at 10:32:10AM +0100, Richard Biener wrote: I'm looking for adjusting of live compute - either by adjusting the algorithm or by special casing the latches. Like for example with the following (untested, needs cleanup - the PHI processing can be factored out from

Re: [PATCH] Improve VRP assert creation for loops

2013-11-07 Thread Richard Biener
On Thu, 7 Nov 2013, Jakub Jelinek wrote: On Thu, Nov 07, 2013 at 10:32:10AM +0100, Richard Biener wrote: I'm looking for adjusting of live compute - either by adjusting the algorithm or by special casing the latches. Like for example with the following (untested, needs cleanup - the PHI

[PATCH] Fix casting in get_ref_base_and_extent

2013-11-07 Thread Richard Biener
As noticed by Richard. Bootstrapped and tested on x86_64-unknown-linux-gnu, applied. Richard. 2013-11-07 Richard Biener rguent...@suse.de * tree-dfa.c (get_ref_base_and_extent): Fix casting. Index: gcc/tree-dfa.c ===

[PATCH][2/2] Get TREE_OVERFLOW somewhat under control

2013-11-07 Thread Richard Biener
This fixes CCP and DOM to not spread TREE_OVERFLOW eventually set from fold. I've chosen to change the lattice updating which is easiest. Bootstrapped and tested on x86_64-unknown-linux-gnu, applied. Richard. 2013-11-07 Richard Biener rguent...@suse.de * tree-ssa-ccp.c

[PATCH, MPX, 2/X] Pointers Checker. Remove checker language hook.

2013-11-07 Thread Ilya Enkovich
Hi, Here is a patch to remove language hook used by Pointer Bounds Checker. To disable checker on non C languages option is moved to c.opt. Thanks, Ilya -- gcc/ 2013-11-06 Ilya Enkovich ilya.enkov...@intel.com * common.opt (fcheck-pointer-bounds): Move to ... *

[PATCH][AArch64][committed] Add comment on why plus_constant is not used in aarch64_legitimize_reload_address

2013-11-07 Thread Kyrill Tkachov
Hi all, I've committed this patch as obvious. It adds a comment in aarch64_legitimize_reload_address explaining that we need the RTL structure to be preserved before push_reload and using plus_constant would fold that, causing ICEs. Thanks, Kyrill [gcc/] 2013-11-07 Kyrylo Tkachov

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

2013-11-07 Thread Ilya Enkovich
Hi, Here is an updated patch version. Thanks, Ilya -- diff --git a/gcc/cgraph.c b/gcc/cgraph.c index 52d9ab0..9d7ae85 100644 --- a/gcc/cgraph.c +++ b/gcc/cgraph.c @@ -3030,40 +3030,54 @@ gimple_check_call_args (gimple stmt, tree fndecl, bool args_count_match) { for (i = 0, p =

Re: [PATCH, MPX, 2/X] Pointers Checker. Remove checker language hook.

2013-11-07 Thread Richard Biener
On Thu, Nov 7, 2013 at 12:46 PM, Ilya Enkovich enkovich@gmail.com wrote: Hi, Here is a patch to remove language hook used by Pointer Bounds Checker. To disable checker on non C languages option is moved to c.opt. Ok. Thanks, Richard. Thanks, Ilya -- gcc/ 2013-11-06 Ilya

RE: [PATCH] Factorize the two read_line functions present in gcov.c and input.c

2013-11-07 Thread Bernd Edlinger
Hi, just some thoughts... fgetc will definitely be much faster than fread 16K and fseek back to the end of line position. Note: fgetc is already buffered and not too slow on average, but only if you do not fseek around. In that case the buffered file-stream data is lost. Well, reading 16K

[Commited] Fix for PR59029

2013-11-07 Thread Yury Gribov
Preapproved by Jakub in http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59029 diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 4991a3a..535b670 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,10 @@ +2013-11-07 Yury Gribov y.gri...@samsung.com + Jakub Jelinek ja...@redhat.com + + PR

Re: [Commited] Fix for PR59029

2013-11-07 Thread Marek Polacek
On Thu, Nov 07, 2013 at 04:32:56PM +0400, Yury Gribov wrote: + PR sanitizer/59029 + * gcc/asan.c (get_mem_refs_of_builtin_call): Allow + integer literals as addresses in instrumented builtins. + The prefix gcc/ hasn't been dropped as it should. Marek

[ia64] [PR target/57491] internal compiler error: in ia64_split_tmode -O2, quadmath

2013-11-07 Thread Kirill Yukhin
Hello, I've looked into RTL after register allocation. Insn which lead to assert is: (insn 77 180 79 4 (set (reg/v:TF 44 loc12 [orig:359 T8 ] [359]) (mem:TF (post_modify:DI (reg/f:DI 14 r14 [435]) (plus:DI (reg/f:DI 14 r14 [435]) (reg:DI 45 loc13

Re: [Commited] Fix for PR59029

2013-11-07 Thread Yury Gribov
Yup, Jakub already pointed this out. Should I fix the changelog with another commit? --- From: Marek Polacek pola...@redhat.com Sent: Thursday, November 07, 2013 4:38PM To: Yury Gribov y.gri...@samsung.com Cc: gcc-patches@gcc.gnu.org, Jakub Jelinek

Re: [PATCH] Factorize the two read_line functions present in gcov.c and input.c

2013-11-07 Thread Jakub Jelinek
On Thu, Nov 07, 2013 at 01:25:00PM +0100, Bernd Edlinger wrote: just some thoughts... fgetc will definitely be much faster than fread 16K and fseek back to the end of line position. Note: fgetc is already buffered and not too slow on average, but only if you do not fseek around. In

Re: [Commited] Fix for PR59029

2013-11-07 Thread Jakub Jelinek
On Thu, Nov 07, 2013 at 04:48:10PM +0400, Yury Gribov wrote: Yup, Jakub already pointed this out. Should I fix the changelog with another commit? Yes, just fix up the ChangeLog and commit, for ChangeLog changes of course you don't add a new ChangeLog entry. Jakub

Re: [Commited] Fix for PR59029

2013-11-07 Thread Yury Gribov
Should I fix the changelog with another commit? Yes, just fix up the ChangeLog and commit Fixed. -Y

RE: [PATCH, PR 57748] Check for out of bounds access, Part 2

2013-11-07 Thread Bernd Edlinger
Hi, On Fri, 25 Oct 2013 12:51:13, Richard Biener wrote: On Fri, Oct 25, 2013 at 12:02 PM, Bernd Edlinger bernd.edlin...@hotmail.de wrote: Hi, Eh ... even register struct { int i; int a[0]; } asm (ebx); works. Also with int a[1] but not with a[2]. So just handling trailing arrays makes

RE: [PATCH, PR 57748] Check for out of bounds access, Part 2

2013-11-07 Thread Bernd Edlinger
oops - this time with attachments... Hi, On Fri, 25 Oct 2013 12:51:13, Richard Biener wrote: On Fri, Oct 25, 2013 at 12:02 PM, Bernd Edlinger bernd.edlin...@hotmail.de wrote: Hi, Eh ... even register struct { int i; int a[0]; } asm (ebx); works. Also with int a[1] but not with a[2].

[C++ Patch/RFC] PR 58176 (ICE with nullptr at -O0 in output_constant)

2013-11-07 Thread Paolo Carlini
Hi, at -O0 we ICE for this valid testcase in output_constant because NULLPTR_TYPE is not handled. Should I dig further because we never want nullptr to reach varasm? Because otherwise the patchlet works fine, I checked that expand_expr can cope perfectly well with NULLPTR_TYPE as TREE_TYPE

Re: [C] Fix PR57258: unused variable warning is emitted for volatile variables

2013-11-07 Thread Joseph S. Myers
On Thu, 7 Nov 2013, Mingjie Xing wrote: 2013/11/6 Richard Biener richard.guent...@gmail.com: You miss a testcase. Also why should the warning be omitted for unused automatic volatile variables? They cannot be used in any way. Richard. Thanks. I've updated the patch with a test

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

2013-11-07 Thread Joseph S. Myers
On Thu, 7 Nov 2013, Richard Biener wrote: Well, I'm betting that you'll re-invent sth like 'tree' just don't call it 'tree' ;) You need to transparently refer to constants, SSA names and decls (at least) as GIMPLE statement operands. You probably will make a gimple statement operand base

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

2013-11-07 Thread Joseph S. Myers
On Thu, 7 Nov 2013, Ilya Enkovich wrote: Here is a new split. I still include rtl.h into tree-chkp.c for MEM_P usage. Is it OK? I have no further comments on this patch. -- Joseph S. Myers jos...@codesourcery.com

Generally link to libgomp for -ftree-parallelize-loops=* (was: [gomp4 4/9] OpenACC: The runtime library will be implemented in libgomp, too.)

2013-11-07 Thread Thomas Schwinge
Hi! On Thu, 7 Nov 2013 09:15:45 +0100, Jakub Jelinek ja...@redhat.com wrote: On Wed, Nov 06, 2013 at 08:42:18PM +0100, tho...@codesourcery.com wrote: --- gcc/config/arc/arc.h +++ gcc/config/arc/arc.h @@ -174,7 +174,7 @@ along with GCC; see the file COPYING3. If not see %(linker) %l

PATCH: Don't set misaligned_prologue_used twice

2013-11-07 Thread H.J. Lu
I checked in this patch to remove redundant setting of misaligned_prologue_used. H.J. --- Index: ChangeLog === --- ChangeLog (revision 204511) +++ ChangeLog (working copy) @@ -1,3 +1,8 @@ +2013-11-07 H.J. Lu

Re: [C++ Patch/RFC] PR 58176 (ICE with nullptr at -O0 in output_constant)

2013-11-07 Thread Jason Merrill
OK.

Re: [PATCH] remove nolonger needed {cgraph,varpool}_node_{,asm_}name () functions

2013-11-07 Thread Václav Zeman
On 11/07/2013 01:58 AM, tsaund...@mozilla.com wrote: From: Trevor Saunders tsaund...@mozilla.com Hi, I admit its another c++ification, but the functions are useless, and if I'm changing the name of the called function its just easier to drop the class name bit all together. Trev [...]

Re: [Patch, RTL] Eliminate redundant vec_select moves.

2013-11-07 Thread Tejas Belagod
Richard Sandiford wrote: Tejas Belagod tbela...@arm.com writes: Richard Sandiford wrote: Tejas Belagod tbela...@arm.com writes: Richard Sandiford wrote: Tejas Belagod tbela...@arm.com writes: + /* This is big-endian-safe because the elements are kept in target + memory order. So, for

Re: [PATCH] Use get_range_info during number of iterations analysis

2013-11-07 Thread Jakub Jelinek
On Wed, Nov 06, 2013 at 03:21:04PM -0700, Jeff Law wrote: 2013-11-06 Jakub Jelinek ja...@redhat.com * tree-ssa-loop-niter.c: Include tree-ssanames.h. (determine_value_range): Add loop argument. Use get_range_info to improve range. (bound_difference): Adjust caller.

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

2013-11-07 Thread Richard Biener
On Thu, Nov 7, 2013 at 2:44 PM, Joseph S. Myers jos...@codesourcery.com wrote: On Thu, 7 Nov 2013, Richard Biener wrote: Well, I'm betting that you'll re-invent sth like 'tree' just don't call it 'tree' ;) You need to transparently refer to constants, SSA names and decls (at least) as GIMPLE

RE: [PATCH] Factorize the two read_line functions present in gcov.c and input.c

2013-11-07 Thread Bernd Edlinger
On Thu, 7 Nov 2013 13:48:14, Jakub Jelinek wrote: On Thu, Nov 07, 2013 at 01:25:00PM +0100, Bernd Edlinger wrote: just some thoughts... fgetc will definitely be much faster than fread 16K and fseek back to the end of line position. Note: fgetc is already buffered and not too slow on

Re: Generally link to libgomp for -ftree-parallelize-loops=* (was: [gomp4 4/9] OpenACC: The runtime library will be implemented in libgomp, too.)

2013-11-07 Thread Jakub Jelinek
On Thu, Nov 07, 2013 at 02:58:31PM +0100, Thomas Schwinge wrote: On Thu, 7 Nov 2013 09:15:45 +0100, Jakub Jelinek ja...@redhat.com wrote: On Wed, Nov 06, 2013 at 08:42:18PM +0100, tho...@codesourcery.com wrote: --- gcc/config/arc/arc.h +++ gcc/config/arc/arc.h @@ -174,7 +174,7 @@ along

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

2013-11-07 Thread Andrew MacLeod
On 11/07/2013 05:08 AM, Richard Biener wrote: 2 - I really believe gimple needs a type system different from front end trees, that is my primary motivation. I'm tired of jumping through hoops to do anything slightly different, and I got fed up with it. With a separate type system for gimple,

Re: [Patch, RTL] Eliminate redundant vec_select moves.

2013-11-07 Thread Richard Sandiford
Tejas Belagod tbela...@arm.com writes: Richard Sandiford wrote: Tejas Belagod tbela...@arm.com writes: Richard Sandiford wrote: Tejas Belagod tbela...@arm.com writes: Richard Sandiford wrote: Tejas Belagod tbela...@arm.com writes: + /* This is big-endian-safe because the elements are kept

Re: [PATCH] Add gimple subclasses for every gimple code (was Re: [PATCH 0/6] Conversion of gimple types to C++ inheritance (v3))

2013-11-07 Thread Michael Matz
Hi, On Wed, 6 Nov 2013, David Malcolm wrote: I don't like that. The empty classes are just useless, they imply a structure that isn't really there, some of the separate gimple codes are basically selectors of specific subtypes of a generic concept, without additional data or methods;

Re: [PATCH] [libiberty] MAX_PATH problems with mingw gcc

2013-11-07 Thread Ian Lance Taylor
On Wed, Nov 6, 2013 at 11:55 PM, Vladimir Simonov vladimir.simo...@acronis.com wrote: -Original Message- From: Ian Lance Taylor [mailto:i...@google.com] Sent: Wednesday, November 06, 2013 6:42 PM To: Joey Ye Cc: gcc-patches; d...@redhat.com; Vladimir Simonov Subject: Re: [PATCH]

[PATCH, ARM, LRA] Fixed bootstrap failure in Thumb mode

2013-11-07 Thread Yvan Roux
Hi, this patch fixed an LRA cycling due to secondary reload (Thumb mode). Notice that this patch is a prerequisite to turn on LRA by default on ARM. Bootstrapped on a9 and a15 without any regression in the testsuite as LRA is off by default and with the regression reported in the thread bellow

[PATCH] Don't simplify_conversion_from_bitmask on x 1 (PR tree-optimization/59014)

2013-11-07 Thread Marek Polacek
Here, forward propagation turned _6 = a.1_5 1; _7 = (_Bool) _6; into _7 = (_Bool) a.1_5; but that's wrong: e.g. if a = 2 then (_Bool) _6 is 0, but (_Bool) a.1_5 is 1. If a is an odd number, this is correct, but we don't know the value of a, so I disabled this optimization for x 1 cases.

Re: [gomp4] rewrite simd clone argument adjustment to avoid regimplification

2013-11-07 Thread Aldy Hernandez
On 11/07/13 00:38, Jakub Jelinek wrote: On Wed, Nov 06, 2013 at 05:37:03PM -0700, Aldy Hernandez wrote: Hmmm, good point. I've moved update_stmt and company to the caller, and modified the caller to call regimplify_operands only for GIMPLE_RETURN which is the special case. Can't you (later)

Re: [PATCH] Add check for aarch64 in vect_cmdline_needed

2013-11-07 Thread Cesar Philippidis
On 11/6/13, 5:06 PM, Joseph S. Myers wrote: You should be testing aarch64*-*-* so as to match aarch64_be targets. Thank you for catching that. Please commit this new patch if is OK. I don't have SVN access. Thanks, Cesar 2013-11-06 Cesar Philippidis ce...@codesourcery.com

Re: [gomp4] rewrite simd clone argument adjustment to avoid regimplification

2013-11-07 Thread Jakub Jelinek
On Thu, Nov 07, 2013 at 08:17:13AM -0700, Aldy Hernandez wrote: But as discussed on IRC, I wonder whether we can do without the following in the attached patch: + tree repl = make_ssa_name (TREE_TYPE (retval), NULL); + stmt = gimple_build_assign (repl,

Re: [PATCH] Don't simplify_conversion_from_bitmask on x 1 (PR tree-optimization/59014)

2013-11-07 Thread Jakub Jelinek
On Thu, Nov 07, 2013 at 04:15:11PM +0100, Marek Polacek wrote: Here, forward propagation turned _6 = a.1_5 1; _7 = (_Bool) _6; into _7 = (_Bool) a.1_5; but that's wrong: e.g. if a = 2 then (_Bool) _6 is 0, but (_Bool) a.1_5 is 1. If a is an odd number, this is correct, but we don't

Re: [PATCH] Don't simplify_conversion_from_bitmask on x 1 (PR tree-optimization/59014)

2013-11-07 Thread Richard Biener
On Thu, Nov 7, 2013 at 4:15 PM, Marek Polacek pola...@redhat.com wrote: Here, forward propagation turned _6 = a.1_5 1; _7 = (_Bool) _6; into _7 = (_Bool) a.1_5; but that's wrong: e.g. if a = 2 then (_Bool) _6 is 0, but (_Bool) a.1_5 is 1. ? (_Bool) 2 should truncate the value to

Re: [PATCH] Don't simplify_conversion_from_bitmask on x 1 (PR tree-optimization/59014)

2013-11-07 Thread Jakub Jelinek
On Thu, Nov 07, 2013 at 04:39:03PM +0100, Richard Biener wrote: On Thu, Nov 7, 2013 at 4:15 PM, Marek Polacek pola...@redhat.com wrote: Here, forward propagation turned _6 = a.1_5 1; _7 = (_Bool) _6; into _7 = (_Bool) a.1_5; but that's wrong: e.g. if a = 2 then (_Bool) _6 is 0,

[PATCH] make has_gate and has_execute useless

2013-11-07 Thread tsaunders
From: Trevor Saunders tsaund...@mozilla.com Hi, This is the result of seeing what it would take to get rid of the has_gate and has_execute flags on pass_data. It turns out not much, but I wanted confirmation this part is ok before I go deal with all the places that initialize the fields. I

Re: RFC: simd enabled functions (omp declare simd / elementals)

2013-11-07 Thread Martin Jambor
Hi, On Thu, Oct 31, 2013 at 10:04:45PM -0500, Aldy Hernandez wrote: Hello gentlemen. I'm CCing all of you, because each of you can provide valuable feedback to various parts of the compiler which I touch. I have sprinkled love notes with your names throughout the post :). sorry it took me

Re: [PATCH] Don't simplify_conversion_from_bitmask on x 1 (PR tree-optimization/59014)

2013-11-07 Thread Marek Polacek
On Thu, Nov 07, 2013 at 04:39:03PM +0100, Richard Biener wrote: On Thu, Nov 7, 2013 at 4:15 PM, Marek Polacek pola...@redhat.com wrote: Here, forward propagation turned _6 = a.1_5 1; _7 = (_Bool) _6; into _7 = (_Bool) a.1_5; but that's wrong: e.g. if a = 2 then (_Bool) _6 is 0,

Re: Implement C11 _Atomic

2013-11-07 Thread Uros Bizjak
On Wed, Nov 6, 2013 at 12:21 AM, Joseph S. Myers jos...@codesourcery.com wrote: This patch, relative to trunk and based on work done on the C11-atomic branch, adds support for C11 _Atomic. It is intended to include all the required language support. It does not include the stdatomic.h

Clean up atomic tests

2013-11-07 Thread Joseph S. Myers
This patch cleans up various issues with the tests of atomics built-in functions and libatomic functions, in preparation for adapting those tests to add test coverage of stdatomic.h macros. The tests were missing a return type for main (C11 doesn't allow implicit int return types). Some tests

Re: Implement C11 _Atomic

2013-11-07 Thread Jakub Jelinek
On Tue, Nov 05, 2013 at 11:21:56PM +, Joseph S. Myers wrote: 2013-11-05 Andrew MacLeod amacl...@redhat.com Joseph Myers jos...@codesourcery.com * tree-core.h (enum cv_qualifier): Add TYPE_QUAL_ATOMIC. (enum tree_index): Add TI_ATOMICQI_TYPE, TI_ATOMICHI_TYPE,

Re: Cilk Library

2013-11-07 Thread Jeff Law
On 11/07/13 06:11, Thomas Schwinge wrote: Hi! On Wed, 9 Oct 2013 18:32:11 +, Iyer, Balaji V balaji.v.i...@intel.com wrote: * Makefile.def: Add libcilkrts to target_modules. Make libcilkrts depend on libstdc++ and libgcc. [...] * Makefile.in: Added

Re: Re-factor tree.h - Part 1

2013-11-07 Thread Jeff Law
On 11/07/13 10:24, Diego Novillo wrote: On Thu, Nov 7, 2013 at 5:29 AM, Richard Biener richard.guent...@gmail.com wrote: Moved to fold-const.c: size_low_cst Same as int_cst_value just with lack of any checking? It may be. It's used by the POINTER_EXPR_PLUS handler. I will try to

Committed: arc_ifcvt: take commutativity into account

2013-11-07 Thread Joern Rennecke
tmp Description: Binary data

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

2013-11-07 Thread Joseph S. Myers
On Thu, 7 Nov 2013, Rong Xu wrote: Thanks Joseph for these detailed comments/suggestions. The fixed patch is attached to this email. The only thing left out is the Texinfo manual. Do you mean this tool should have its it's own texi file in gcc/doc? Its own texi file, probably included as a

Re: [PATCH] make has_gate and has_execute useless

2013-11-07 Thread Jeff Law
On 11/07/13 09:00, tsaund...@mozilla.com wrote: From: Trevor Saunders tsaund...@mozilla.com Hi, This is the result of seeing what it would take to get rid of the has_gate and has_execute flags on pass_data. It turns out not much, but I wanted confirmation this part is ok before I go deal

[wide-int, committed] Fix nds32 build

2013-11-07 Thread Richard Sandiford
Get the new port building on wide-int. Seemed pretty obvious so I went ahead and installed it. Thanks, Richard Index: gcc/config/nds32/nds32.c === --- gcc/config/nds32/nds32.c2013-11-05 13:06:54.744239262 + +++

Re: fixincludes patch RFA: Fix fenv.h on Ubuntu Precise

2013-11-07 Thread Bruce Korb
On 11/06/13 15:29, Ian Lance Taylor wrote: When fenv.h is not fixed, libquadmath does not build. This patch works around the problem. Bootstrapped and tested on x86_64-unknown-linux-gnu. OK for mainline? Hi Ian, Yes, please. This time, I'm on my dev box and looked at the code. You

wide-int testing results

2013-11-07 Thread Richard Sandiford
I wanted to make sure that each backend still builds with wide-int and that there weren't any unexplained changes in assembly output. I arbitrarily picked one target for each CPU: aarch64-linux-gnueabi alpha-linux-gnu arc-elf arm-linux-gnueabi avr-rtems bfin-elf c6x-elf cr16-elf cris-elf

Re: fixincludes patch RFA: Fix fenv.h on Ubuntu Precise

2013-11-07 Thread Bruce Korb
So is this the right patch? $ svn diff inclhack.def Index: inclhack.def === --- inclhack.def(revision 204533) +++ inclhack.def(working copy) @@ -1738,7 +1738,7 @@ versions. */ fix = { hackname =

Re: [Patch, RTL] Eliminate redundant vec_select moves.

2013-11-07 Thread Tejas Belagod
Richard Sandiford wrote: Tejas Belagod tbela...@arm.com writes: Richard Sandiford wrote: Tejas Belagod tbela...@arm.com writes: Richard Sandiford wrote: Tejas Belagod tbela...@arm.com writes: Richard Sandiford wrote: Tejas Belagod tbela...@arm.com writes: + /* This is big-endian-safe

Re: [gomp4] rewrite simd clone argument adjustment to avoid regimplification

2013-11-07 Thread Martin Jambor
Hi, On Wed, Nov 06, 2013 at 05:37:03PM -0700, Aldy Hernandez wrote: On 11/06/13 15:48, Jakub Jelinek wrote: On Wed, Nov 06, 2013 at 03:24:40PM -0700, Aldy Hernandez wrote: I have checked the following patch with the attached testcases that were previously ICEing, and with a handful of

Re: wide-int testing results

2013-11-07 Thread Kenneth Zadeck
I doubt that this list is comprehensive. When i many of these things a long time ago, I was not that interested in bit for bit compatibly as long as was never introducing any problems.in some cases it would have been hard to replicate some of the end cases with the wide-int code. On

Re: Implement C11 _Atomic

2013-11-07 Thread Uros Bizjak
On Thu, Nov 7, 2013 at 5:45 PM, Jakub Jelinek ja...@redhat.com wrote: On Tue, Nov 05, 2013 at 11:21:56PM +, Joseph S. Myers wrote: 2013-11-05 Andrew MacLeod amacl...@redhat.com Joseph Myers jos...@codesourcery.com * tree-core.h (enum cv_qualifier): Add TYPE_QUAL_ATOMIC.

Re: [patch] Create gimple-expr..[ch] ... was Re: RFC: gimple.[ch] break apart

2013-11-07 Thread Diego Novillo
On Thu, Nov 7, 2013 at 8:23 AM, Andrew MacLeod amacl...@redhat.com wrote: On 11/07/2013 05:36 AM, Basile Starynkevitch wrote: On Tue, Nov 05, 2013 at 11:26:46AM -0500, Andrew MacLeod wrote: I decided to name the new file gimple-expr.[ch] instead of gimple-decl This will eventually

Re: [wide-int] Remove SHIFT_COUNT_TRUNCATED uses at tree/gimple level

2013-11-07 Thread Richard Sandiford
Kenneth Zadeck zad...@naturalbridge.com writes: I very strongly disagree with this. The standard needs to be high than does it pass the test suite. What we are introducing is a case where the program will behave one way with optimization and another way without it. While, this is always

RE: Initial submission of OpenACC support integrated into OpenMP's lowering and expansion passes

2013-11-07 Thread Evgeny Gavrin
Hi, Thomas! This is really great! I've looked at your changes and in most of front-end parts it looks reasonable to me. As you know, we're like-minded with you about how OpenACC's front-ends should look like. So, I think it's good that you have working flow for your implementation. Now we can

Re: Clean up atomic tests

2013-11-07 Thread Mike Stump
On Nov 7, 2013, at 8:43 AM, Joseph S. Myers jos...@codesourcery.com wrote: This patch cleans up various issues with the tests of atomics built-in functions and libatomic functions, in preparation for adapting those tests to add test coverage of stdatomic.h macros. The tests were missing a

Re: [wide-int, committed] Fix nds32 build

2013-11-07 Thread Mike Stump
On Nov 7, 2013, at 9:47 AM, Richard Sandiford rdsandif...@googlemail.com wrote: Get the new port building on wide-int. Seemed pretty obvious so I went ahead and installed it. Looks good.

Re: wide-int testing results

2013-11-07 Thread Richard Sandiford
Kenneth Zadeck zad...@naturalbridge.com writes: I doubt that this list is comprehensive. Hmm? It was supposed to be one target for each CPU, so if you think I've missed one, please point it out. It certainly wasn't supposed to be every target triple that gcc supports. Even one target per CPU

RE: [PATCH] Factorize the two read_line functions present in gcov.c and input.c

2013-11-07 Thread Bernd Edlinger
On 11/07/13 09:32, Dodji Seketeli wrote: From the above, what I can say is that input.o was already linked with gcov. But I think it's minimal enough to only drag libcpp and the diagnostic subsystem. I disagree. While input.o was available to gcov, I don't think it was being pulled into

Re: [PATCH] make has_gate and has_execute useless

2013-11-07 Thread Trevor Saunders
On Thu, Nov 07, 2013 at 10:30:16AM -0700, Jeff Law wrote: On 11/07/13 09:00, tsaund...@mozilla.com wrote: From: Trevor Saunders tsaund...@mozilla.com Hi, This is the result of seeing what it would take to get rid of the has_gate and has_execute flags on pass_data. It turns out not

Re: fixincludes patch RFA: Fix fenv.h on Ubuntu Precise

2013-11-07 Thread Ian Lance Taylor
On Thu, Nov 7, 2013 at 8:48 AM, Bruce Korb bk...@gnu.org wrote: This time, I'm on my dev box and looked at the code. You remembered correctly that the first file name in the list of file names needs to not have wild card characters so that the testing scheme can create a file by that name. A

Re: Implement C11 _Atomic

2013-11-07 Thread Joseph S. Myers
On Thu, 7 Nov 2013, Uros Bizjak wrote: Please note that following code form fenv.c won't generate overflow exception on x87: if (excepts FP_EX_OVERFLOW) { volatile float max = __FLT_MAX__; r = max * max; } r being volatile is intended to ensure that the result

  1   2   >