[Patch, PR 61720] Clear regex BFS match queue after every iteration

2014-07-06 Thread Tim Shen
This bug shouldn't be introduced, if I wrote clearer code last summer. Sorry :(. The _Executor is a little bit messy. The _M_match_queue is not cleared because it's treated `globally` between iterations (in _M_main_dispatch(..., __bfs)). Add a new file general_testcases.cc; we can gradually move t

Re: [Patch, PR 61720] Clear regex BFS match queue after every iteration

2014-07-06 Thread Tim Shen
On Sun, Jul 6, 2014 at 1:56 AM, Tim Shen wrote: > This bug shouldn't be introduced, if I wrote clearer code last summer. > Sorry :(. The _Executor is a little bit messy. The _M_match_queue is > not cleared because it's treated `globally` between iterations (in > _M_main_dispatch(..., __bfs)). > >

Re: [Patch, testsuite] PR61453 gfortran.dg/bind_c_array_params_2.f90 for targets where a call insn isn't "call"

2014-07-06 Thread Dominique Dhumieres
> On hppa, the ",%r2" uniquely identifies the call. The test passes > with -flto. Then is the following patch OK for hppa*-*-*? +++ gcc/testsuite/gfortran.dg/bind_c_array_params_2.f90 2014-07-05 22:20:49.0 +0200 @@ -16,7 +16,7 @@ integer :: aa(4,4) call test(aa) end -! { dg-final {

[PATCH] microblaze: microblaze.md: Use 'SI' instead of 'VOID' for operand 1 of 'call_value_intern'

2014-07-06 Thread Chen Gang
* microblaze/mocroblaze.md (call_value_intern): Use 'SI' instead of 'VOID' for operand 1, just like 'call_internal1' has done. The related warning: ../../gcc/gcc/config/microblaze/microblaze.md:2172: warning: operand 1 missing mode? Signed-off-by: Chen Gang --- gcc/config/microblaze/m

Re: [PATCH] Add alloc_align and assume_aligned attributes (PR middle-end/60092)

2014-07-06 Thread Gerald Pfeifer
On Thu, 6 Feb 2014, Jakub Jelinek wrote: > As discussed on IRC, this patch introduces two new attributes, > so that the C library (and other headers) have a way to > a) tell the compiler something about functions like aligned_alloc >or memalign > b) tell the compiler the alignment of pointers r

Re: [patch i386]: Expand sibling-tail-calls via accumulator register

2014-07-06 Thread Iain Sandoe
Hello Kai, On 28 May 2014, at 09:43, Kai Tietz wrote: > Index: gcc/config/i386/i386.c > === > --- gcc/config/i386/i386.c(revision 210985) > +++ gcc/config/i386/i386.c(working copy) > @@ -38893,7 +38893,16 @@ x86_output_mi_thu

Re: [Patch, PR 61720] Clear regex BFS match queue after every iteration

2014-07-06 Thread Paolo Carlini
Hi, On 07/06/2014 10:56 AM, Tim Shen wrote: This bug shouldn't be introduced, if I wrote clearer code last summer. Sorry :(. The _Executor is a little bit messy. The _M_match_queue is not cleared because it's treated `globally` between iterations (in _M_main_dispatch(..., __bfs)). Add a new fil

Re: update address taken: don't drop clobbers

2014-07-06 Thread Marc Glisse
On Mon, 30 Jun 2014, Jeff Law wrote: On 06/28/14 16:33, Marc Glisse wrote: In an earlier version of the patch, I was using get_or_create_ssa_default_def (cfun, sym); (I was reusing the same variable). This passed bootstrap+testsuite on all languages except for ada. Indeed, the compiler wanted t

Re: [Patch, testsuite] PR61453 gfortran.dg/bind_c_array_params_2.f90 for targets where a call insn isn't "call"

2014-07-06 Thread John David Anglin
I would change hppa*-*-hpux* to hppa*-*-*. That's what I tested on hppa-linux. I guess if "\[ \t\]_*myBindC" worked on hppa*-*-linux*, then it would probably work on hpux and the target condition could be removed. The reason hpux needed special treatment originally is for every function c

Re: update address taken: don't drop clobbers

2014-07-06 Thread pinskia
> On Jul 6, 2014, at 7:23 AM, Marc Glisse wrote: > >> On Mon, 30 Jun 2014, Jeff Law wrote: >> >>> On 06/28/14 16:33, Marc Glisse wrote: >>> In an earlier version of the patch, I was using >>> get_or_create_ssa_default_def (cfun, sym); >>> (I was reusing the same variable). This passed bootstra

Re: update address taken: don't drop clobbers

2014-07-06 Thread Marc Glisse
On Sun, 6 Jul 2014, pins...@gmail.com wrote: The below patch won't work for parameters. Er, that's why I am testing: TREE_CODE (var) == VAR_DECL (and the patch passed the testsuite with all languages) Could you be more specific about what won't work? -- Marc Glisse

Re: [C/C++ PATCH] Implement -Wsizeof-array-argument (PR c/6940)

2014-07-06 Thread Jason Merrill
OK. Jason

Re: [Patch, PR 61720] Clear regex BFS match queue after every iteration

2014-07-06 Thread Tim Shen
On Sun, Jul 6, 2014 at 7:08 AM, Paolo Carlini wrote: > Patch itself looks obvious to me, but I don't understand the > general_testcases.cc idea, do we have something similar elsewhere in library > or compiler?!? I would say, let's just add a normal testcase and close the > bug (mainline and branch

Re: [C++] make TYPE_DECLs public for builtin type and templates

2014-07-06 Thread Jason Merrill
On 07/01/2014 07:40 PM, Jan Hubicka wrote: I want to avoid the overhead of SCC hashing and canonical type computation for these and here I want the concept of anonymous namespace types to be closed upwards. That is if I have type that is not considered anonymous it should not be built from non-

Re: [PATCH] PR preprocessor/60723 - missing system-ness marks for macro

2014-07-06 Thread Jason Merrill
On 07/04/2014 05:13 AM, Dodji Seketeli wrote: >// preprocessed output ># 3 "test.cpp" 3 4 >sys_token ># 3 "test.cpp" >3 ># 3 "test.cpp" 3 4 >sys_token Yeah. For Built-in tokens that are expanded like that we only do track their the location of their expansion, not their spelling location. So

Re: Strenghten assumption about dynamic type changes (placement new)

2014-07-06 Thread Marek Polacek
On Fri, Jul 04, 2014 at 11:39:52PM +0200, Jan Hubicka wrote: > Bootstrapped/regtested x86_64-linux, will commit it after bit more > testing. ... > * g++.dg/ipa/imm-devirt-1.C: Update testcase. > * g++.dg/ipa/imm-devirt-2.C: Update testcase. These testcases fail: ERROR: g++.dg/ipa/imm-

Re: Strenghten assumption about dynamic type changes (placement new)

2014-07-06 Thread Dominique Dhumieres
> I'm fixing that with the following (will commit as obvious). Marek, With your patch g++.dg/ipa/imm-devirt-2.C sitll fails in 32 bit mode because the mangling is C::_ZThn16_N1C3fooEi. This is fixed by something such as --- ../_clean/gcc/testsuite/g++.dg/ipa/imm-devirt-2.C 2014-07-05 23:22:5

Re: Make declaration of wide_int_storage match its definition

2014-07-06 Thread Trevor Saunders
On Sat, Jul 05, 2014 at 09:29:31PM +0200, Jakub Jelinek wrote: > On Sat, Jul 05, 2014 at 09:25:50PM +0200, Gerald Pfeifer wrote: > > On Sat, 5 Jul 2014, pins...@gmail.com wrote: > > > This patch is fine but c++ allows class and struct be used > > > interchangeable. If there is a compilers which do

[GSoC][match-and-simplify] add few test-cases

2014-07-06 Thread Prathamesh Kulkarni
Hi, This patch adds few test-cases for gimple match-and-simplfiy and removes match-2.c [gcc/testsuite/gcc.dg/tree-ssa] * match-2.c: Remove. * match-plusminus.c: New test-case. * match-bitwise.c: Likewise. * match-realimag.c: Likewise. Thanks and Regards, Prathamesh Index: gcc/testsuite/gcc.dg

[wwwdocs,RX,390] gcc-4.9/changes.html editorial

2014-07-06 Thread Gerald Pfeifer
Consistently use command-line option with a dash (cf. https://gcc.gnu.org/codingconventions.html). Improve grammar in s390 entry. Improve markup of RX entry (embedding command-line options in ...). Applied. Gerald Index: gcc-4.9/changes.html =

Re: [fortran, patch] IEEE intrinsic modules (ping)

2014-07-06 Thread FX
Dear Rainer, > Unfortunately, while the patch works fine on Solaris/x86, it broke > Solaris/SPARC bootstrap for trivial reasons: contrary to the ChangeLog, > configure and config.h.in weren't regenerated, thus FPSETSTICKY > wasn't defined. I apologize. Thanks for checking in the fix. > FAIL: gf

[wwwdocs] PATCH for Re: New French mirror

2014-07-06 Thread Gerald Pfeifer
Hi Tim, On Wed, 2 Jul 2014, Tim Semeijn wrote: > I have set up a French gcc mirror. It is located in Roubaix, France. isn't that where they like to torture bikes (and riders) once a year? ;-) > It is reachable through http, ftp and rsync: > > http://mirror.bbln.nl/gcc > ftp://mirror.bbln.nl/gc

Re: [GOMP4, RFC] OpenMP4 offload support for Intel PHI targets.

2014-07-06 Thread Gerald Pfeifer
Hi Kirill, On Wed, 2 Jul 2014, Kirill Yukhin wrote: > I would like to announce creation of a dedicated branch gomp4-offload to > speed up review of FE-independent offload-related features. mind documenting this in https://gcc.gnu.org/svn.html as well? (If this requires more involved configurati

[GRAPHITE] Replacement of isl_int by isl_val

2014-07-06 Thread Mircea Namolaru
Hello, In the isl library used by Graphite, isl_val replaced isl_val (that become obsolete). This patch implements the required changes in Graphite. No regressions for c/c++/fortran on x86-64 Linux. Mircea Index: gcc/graphite-interchange.c ===

Re: [Patch, Fortran] Update gfortran.texi's 2003/2008 status

2014-07-06 Thread Gerald Pfeifer
On Sat, 8 Mar 2014, Tobias Burnus wrote: > An update the gfortran.texi's F2003/F2008 status. I just made the following change on top. Also, I noticed that you used British English for honour. There are now five uses of honor in gcc/fortran/* and five uses of honour. In gcc/doc, and in general,

[patch,gomp-4_0-branch] openacc parallel reduction part 1

2014-07-06 Thread Cesar Philippidis
This patch is the first step to enabling parallel reductions in openacc. The approach I'm using here is a bit different the to the existing method in openmp. For clarity, consider the following example: for (i = 0, i < n; i++) sum += 1; Currently, gcc breaks up the for loop into m partitions, o

[Ping ^ 4] [PATCH] Fix PR 61225

2014-07-06 Thread Zhenqiang Chen
Ping? Thanks! -Zhenqiang On 17 June 2014 12:53, Zhenqiang Chen wrote: > Ping? > > Thanks! > -Zhenqiang > > On 9 June 2014 17:08, Zhenqiang Chen wrote: >> Ping ^2? >> >> Thanks! >> -Zhenqiang >> >> On 28 May 2014 15:02, Zhenqiang Chen wrote: >>> Ping? >>> >>> Thanks! >>> -Zhenqiang >>> >>> On 2

Re: [patch 1/4] change specific int128 -> generic intN

2014-07-06 Thread DJ Delorie
> I'm very skeptical... In any case, having a type whose TYPE_SIZE is smaller > than the size of its MODE is a lie which will bite you back at some point. Except gcc now knows the size of partial int modes. In this case, PSImode is 20 bits and TYPE_SIZE is 20 bits, so they match. The code was

Re: [PATCH] RTEMS: Add multilibs for ARM

2014-07-06 Thread Sebastian Huber
Ping. On 2014-07-02 10:15, Sebastian Huber wrote: This change is necessary to support Cortex-R based chips in RTEMS. This patch should be applied to GCC 4.8, 4.9 and mainline. I do not have write access, so in case this gets approved, please commit it for me. gcc/ChangeLog 2014-07-02 Sebasti

Re: [PATCH] RTEMS: Add Nios 2 support

2014-07-06 Thread Sebastian Huber
Ping. On 2014-06-26 13:43, Sebastian Huber wrote: This patch should be applied to GCC 4.9 and mainline. I do not have write access, so in case this gets approved, please commit it for me. gcc/ChangeLog 2014-06-26 Sebastian Huber * config.gcc (nios2-*-*): Add RTEMS support.

Re: [fortran, patch] IEEE intrinsic modules (ping)

2014-07-06 Thread Janne Blomqvist
On Sun, Jul 6, 2014 at 11:13 PM, FX wrote: > Actually, it makes a lot of sense to change these into static assertions: > this way, any target-specific issues with FP-state buffer size will show up > at libgfortran-building-time, rather than be swept under the rug. > > Since libgfortran is compil

Re: [PATCH 1/2] Enable setting sign and unsigned promoted mode (SPR_SIGNED_AND_UNSIGNED)

2014-07-06 Thread Kugan
On 01/07/14 18:21, Kugan wrote: > On 26/06/14 20:12, Jakub Jelinek wrote: >> On Thu, Jun 26, 2014 at 07:41:22PM +1000, Kugan wrote: >>> 2014-06-26 Kugan Vivekanandarajah >>> >>> * calls.c (precompute_arguments): Use new SUBREG_PROMOTED_SET >>> instead of SUBREG_PROMOTED_UNSIGNED_SET >> >

Re: [PATCH 2/2] Enable elimination of zext/sext

2014-07-06 Thread Kugan
> For -fwrapv I don't see why you'd get into trouble ever, the VRP computation > should be well aware of the -fwrapv semantics and the value ranges should > reflect that. > > For -fno-strict-overflow, I have no idea since it is very weirdly defined. > > In any case, for your example above, the lo