gcc-python-plugin status update: static analysis, and HTML reports

2011-07-15 Thread David Malcolm
I've written up a status update on the gcc-python-plugin on my blog here: http://dmalcolm.livejournal.com/6560.html Summarizing that blog post, I've revamped the internals of how my checker script so that it can detect various kinds of CPython reference count bug, and it can now render bug reports

Vladimir Makarov appointed Register Allocation Maintainer

2011-07-17 Thread David Edelsohn
I am pleased to announce that the GCC Steering Committee has promoted Vladimir Makarov to Register Allocation Maintainer. Please join me in congratulating Vlad. Please update your listing in the MAINTAINERS file. Happy hacking! David

Re: PATCH RFA: Build stages 2 and 3 with C++

2011-07-19 Thread David Edelsohn
#x27;size_t' has not been declared - David

Re: PATCH RFA: Build stages 2 and 3 with C++

2011-07-20 Thread David Edelsohn
e, external codebases, but at least they do not change from build to build, even if they are built in the tree. - David

Re: PATCH RFA: Build stages 2 and 3 with C++

2011-07-20 Thread David Edelsohn
AIX needs libsupc++ for libstdc++ static linking. * Makefile.tpl (POSTSTAGE1_CONFIGURE_FLAGS): Add libsupc++ to link directories. * Makefile.in: Rebuild. Index: Makefile.tpl === --- Makefile.tpl(revision 17648

Re: PATCH RFA: Build stages 2 and 3 with C++

2011-07-20 Thread David Edelsohn
1Ev + .lglobl H.114.._ZN10__cxxabiv176_GLOBAL__N__farm_dje_src_src_libstdc___v3_libsupc___vec.cc__2322ABD117uncatch_exceptionD2Ev + .lglobl H.121.._ZN10__cxxabiv176_GLOBAL__N__farm_dje_src_src_libstdc___v3_libsupc___vec.cc__2322ABD117uncatch_exceptionD1Ev - David

Re: PATCH RFA: Build stages 2 and 3 with C++

2011-07-20 Thread David Edelsohn
e them non-public. This is not the global constructor/destructor issue with names generated by collect2. But ELF or SVR4 is able to provide a unique name without resorting to random numbers. - David

Re: PATCH RFA: Build stages 2 and 3 with C++

2011-07-21 Thread David Edelsohn
d runtime, although the build time now is much longer on AIX. Thanks, David

Re: Copyright Assignment forms

2011-07-25 Thread David Edelsohn
copyright assignment > that I need to fill out. Sent off list. - David

Re: conversion: immediate-value -> memory ref

2011-07-25 Thread David Edelsohn
On Mon, Jul 25, 2011 at 11:08 AM, Hagen Meyer wrote: > But HOW can I force the operand into memory? > I.e. "force_const_to_memref" needs to be defined somehow. > Any hints? varasm.c:force_const_mem() ? - David

ANN: gcc-python-plugin 0.5

2011-07-27 Thread David Malcolm
://fedoraproject.org/wiki/Features/GccPythonPlugin Enjoy! Dave Detailed change notes follow Version 0.5 === David Malcolm (7): Override all locale information with LC_ALL=C when running selftests Revamp support for options in selftests Add note about ccache Improvemen

ANN: gcc-python-plugin 0.6

2011-08-02 Thread David Malcolm
gcc-python-plugin is a plugin for GCC 4.6 onwards which embeds the CPython interpreter within GCC, allowing you to write new compiler warnings in Python, generate code visualizations, etc. Tarball releases are available at: https://fedorahosted.org/releases/g/c/gcc-python-plugin/ Prebuilt-docum

gcc-python-plugin finds its first bug in itself

2011-08-05 Thread David Malcolm
gcc-python-plugin [1] now provides a gcc-with-cpychecker harness that runs gcc with an additional pass that checks CPython API calls (internally, it's using the gcc python plugin to run a python script that does the work). I tried rebuilding the plugin using make CC=../other-build/gcc-with-cpych

Re: Just what are rtx costs?

2011-08-22 Thread David Edelsohn
y returns true or false for rtx_costs as necessary for its computation. If a port wants to compute rtx_costs without recursion, it already has that control. Thanks, David

Re: ARM Linux EABI: unwinding through a segfault handler

2011-08-25 Thread David Daney
ing it. I think all Linux ABIs should support unwinding through signal handlers, so adding this makes sense to me. David Daney So, suggestions welcome. Is there a nice way to detect a signal frame?

Re: role of dump_file notably for/in plugins?

2011-08-31 Thread David Malcolm
On Wed, 2011-08-31 at 16:28 +0200, Richard Guenther wrote: > On Wed, Aug 31, 2011 at 4:24 PM, Basile Starynkevitch > wrote: > > Hello Folks > > > > What is the intended role of the dump_file [the one known in tree-pass.h > > near line 101] for plugins? > > > > May plugins print their arbitrary thi

Re: [PLUGIN] dlopen and RTLD_NOW

2011-09-06 Thread David Daney
m C++ symbols only when present. With RTLD_NOW, the plugin fails to load in cc1 as symbol resolution is forced at load time. Can you supply weak binding implementations for the missing functions? That might allow the linking to succeed. David Daney

Re: [PLUGIN] dlopen and RTLD_NOW

2011-09-06 Thread David Daney
On 09/06/2011 10:55 AM, David Daney wrote: On 09/05/2011 12:50 AM, Romain Geissler wrote: Hi Is there any particular reason to load plugin with the RTLD_NOW option? This option force .so symbol resolution to be completely made at load time, but this could be done only when a symbol is needed

Re: Volatile qualification on pointer and data

2011-09-21 Thread David Brown
nt. So the compiler does it's best to generate code for a volatile read of an immediate constant. David

Re: Volatile qualification on pointer and data

2011-09-21 Thread David Brown
On 21/09/2011 10:21, Paulo J. Matos wrote: On 21/09/11 08:03, David Brown wrote: Asking to read it by a volatile read does not change the nature of "foo" - the compiler can still implement it as a compile-time constant. But since I am accessing the data through the pointer and t

Re: Volatile qualification on pointer and data

2011-09-21 Thread David Brown
On 21/09/2011 15:57, Ian Lance Taylor wrote: David Brown writes: On 21/09/2011 10:21, Paulo J. Matos wrote: On 21/09/11 08:03, David Brown wrote: Asking to read it by a volatile read does not change the nature of "foo" - the compiler can still implement it as a compile-time const

Re: Volatile qualification on pointer and data

2011-09-22 Thread David Brown
On 21/09/2011 16:57, Paulo J. Matos wrote: On 21/09/11 15:21, David Brown wrote: And since this situation would not occur in real code (at least, not code that is expected to do something useful other than test the compiler's code generation), there is no harm in making sub-optimal object

Re: Volatile qualification on pointer and data

2011-09-22 Thread David Brown
On 21/09/2011 20:50, Georg-Johann Lay wrote: David Brown schrieb: On 21/09/2011 15:57, Ian Lance Taylor wrote: David Brown writes: On 21/09/2011 10:21, Paulo J. Matos wrote: On 21/09/11 08:03, David Brown wrote: Asking to read it by a volatile read does not change the nature of &quo

AIX libstdc++ missing symbols

2011-09-23 Thread David Edelsohn
(libstdc++.so.6). Any idea what has changed and why those symbols no longer are exported by libstdc++? This seems like a libstdc++ ABI change if they really disappeared. Thanks, David

Re: Volatile qualification on pointer and data

2011-09-24 Thread David Brown
e object itself. Qualifying the object just states the minimum qualifiers needed to legally access it. David, is your "can't make sense" backed up by a standard? There is no "lying to the compiler", there is only conforming and non-conforming code. I don't t

Re: Volatile qualification on pointer and data

2011-09-25 Thread David Brown
On 24/09/2011 18:25, John Regehr wrote: it. And while I think the compiler should be allowed to generate the optimised code of 4.6 (i.e., the change is not a bug IMHO), I fully understand the idea of generating the older, slower, but definitely correct code of 4.5. My understanding is that the

Re: Volatile qualification on pointer and data

2011-09-25 Thread David Brown
On 25/09/11 16:16, Andreas Schwab wrote: David Brown writes: There is a big difference between defining an object as "const", and merely declaring it as const or accessing it as const. When you access it as const, you are saying "/I/ won't change the object with th

Re: Volatile qualification on pointer and data

2011-09-25 Thread David Brown
On 25/09/11 17:15, Dave Korn wrote: On 25/09/2011 13:56, David Brown wrote: There is a big difference between defining an object as "const", and merely declaring it as const or accessing it as const. When you access it as const, you are saying "/I/ won't change the obj

Re: Volatile qualification on pointer and data

2011-09-26 Thread David Brown
On 26/09/2011 02:37, Miles Bader wrote: David Brown writes: So what advantages would there be in declaring a volatile buffer like this to be "const"? At best, you are helping the compiler check that you don't accidentally write to it in your own code. That's actua

float "op-and-halve"

2011-09-30 Thread David Miller
I'm planning to support some new instructions found in recent sparc cpus, specifically VIS 3.0 adds a series of "X and halve" floating-point instructions where X is one of "add" or "subtract". There are variants which negate the result as well. They operate similar to FMA in that all the operati

Re: Merging gdc (GNU D Compiler) into gcc

2011-10-04 Thread David Brown
available universally in gcc, if that doesn't involve a lot of extra work, even though it is of little use on "big" systems (Linux, Windows, etc.). mvh., David

Re: Merging gdc (GNU D Compiler) into gcc

2011-10-05 Thread David Brown
On 04/10/2011 23:47, Andrew Pinski wrote: On Tue, Oct 4, 2011 at 2:40 PM, David Brown wrote: "naked" functions are often useful in embedded systems, and are therefore useful (and implemented) on many gcc targets. It would make sense to have the attribute available universally in gc

Re: Merging gdc (GNU D Compiler) into gcc

2011-10-05 Thread David Brown
On 05/10/2011 12:00, Andi Kleen wrote: David Brown writes: Some toolchains are configured to have a series of "init" sections at startup (technically, that's a matter of the default linker scripts and libraries rather than the compiler). You can get code to run at specif

RE: Heapless C/C++

2011-10-10 Thread David Paterson
ize the shifting of objects at the > other end only. So, instead of a stack and a heap, you now have a stack and "something that looks exactly like a heap but we'll call it a stacky-thing" which will be used for all the allocations that would have gone on the heap. I think we're back at square one here... Regards, David P.

Re: VIS2 pattern review

2011-10-13 Thread David Miller
From: Richard Henderson Date: Wed, 12 Oct 2011 17:49:19 -0700 > There's a code sample 7-1 that illustrates a 16x16 multiply: > > fmul8sux16 %f0, %f1, %f2 > fmul8ulx16 %f0, %f1, %f3 > fpadd16%f2, %f3, %f4 Be wary of code examples that don't even assemble (even numbered floa

Re: VIS2 pattern review

2011-10-13 Thread David Miller
From: David Miller Date: Thu, 13 Oct 2011 14:26:36 -0400 (EDT) > product = src1 * src2; > > scaled = (product & 0x0000) >> 8; > if (product & 0x80) > scaled++; In fact, all of the partitioned multiply instructions scale the r

Re: VIS2 pattern review

2011-10-13 Thread David Miller
te comment, represent using vec_select of a vec_concat. (vec_interleave_lowv8qi, vec_interleave_highv8qi): New insns. (fmul8x16_vis, fmul8x16au_vis, fmul8sux16_vis, fmuld8sux16_vis): Reimplement as unspecs and remove inaccurate comments. (vis3_shift_p

Re: VIS2 pattern review

2011-10-13 Thread David Miller
From: Richard Henderson Date: Thu, 13 Oct 2011 13:06:19 -0700 > On 10/13/2011 12:55 PM, David Miller wrote: >> -(define_insn "_vis" >> +(define_insn "" > > Missing a "3" on the end. Otherwise these look ok. Thanks for finding that. >&g

Re: VIS2 pattern review

2011-10-13 Thread David Miller
From: Eric Botcazou Date: Fri, 14 Oct 2011 00:41:42 +0200 >> Unfortunately, that would involve some ABI changes for the VIS >> builtins. I'm trending towards considering just changing things >> anyways since the VIS intrinsics were next to unusable beforehand. > > Could you elaborate? The call

Re: AIX library issues

2011-10-18 Thread David Edelsohn
th:/gsa/ausgsa/projects/r/ruby/lib:/usr/lib:/lib and relink libstdc++ (or edit the path in the shared object header directly). - David

Re: adding destroyable objects into Ggc

2011-10-19 Thread David Malcolm
On Wed, 2011-10-19 at 00:45 -0500, Gabriel Dos Reis wrote: > On Wed, Oct 19, 2011 at 12:22 AM, Chiheng Xu wrote: > > > I recommend people interested in automatic dynamic memory management > > to read this book: > > Garbage Collection: Algorithms For Automatic Dynamic Memory > > Management(Richard

Re: AIX library issues

2011-10-23 Thread David Edelsohn
ile libgomp.a (which never would be referenced) and the reentrant (pthreads) libraries for PPC64 and PPC32 should be archived into libgomp_r.a. The benefit has not been shown to be worth the effort. - David

Re: AIX library issues

2011-10-24 Thread David Edelsohn
on AIX seem to place it in the "out of sight, out of mind" category. If you are a developer or ISV or your company uses GCC on AIX, tell your IBM sales representative or executive contact that it is important to your business. - David

extending fpmuls

2011-10-24 Thread David Miller
While working on some test cases I noticed that the 'fsmuld' instruction on sparc was not being matched by the combiner for things like: double fsmuld (float a, float b) { return a * b; } Combine does try to match: (set x (float_extend:DF (mul:SF y z))) instead of what backends (and

Re: extending fpmuls

2011-10-25 Thread David Miller
From: Jakub Jelinek Date: Tue, 25 Oct 2011 10:00:50 +0200 > I bet > double fsmuld (float a, float b) > { > return (double) a * b; > } > instead will match your pattern, then the operands are first extended > into double and then multiplied into a double product. Right, in existing testcases I'

Re: AIX library issues

2011-10-25 Thread David Edelsohn
meone keeping it up to date with AIX. On the other hand, if there is enough external interest in GNU Binutils, IBM may lose control of the toolchain for its platform. Thanks, David

Re: Potentially merging cxx-mem-model with mainline.

2011-10-26 Thread David Gilbert
On 26 October 2011 16:38, Andrew MacLeod wrote: > I'd like to have the cxx-mem-model branch considered for merging with > mainline before we end stage 1 for GCC 4.7. > > What it is > == > > GCC has had the __sync built-ins for atomic operations for a number of years > now.  They implement

cprop_reg problem on sparc

2011-10-27 Thread David Miller
Although copy_value() in regcprop.c tries to avoid recording cases where substitutions would be illegal, there are some bad cases it still can let through. On 64-bit sparc, integer regs are 64-bit and float regs are (basically) 32-bit. So HARD_REGNO_NREGS(float_reg, DFmode) is 2, and HARD_REGNO_

Re: cprop_reg problem on sparc

2011-10-27 Thread David Miller
From: Eric Botcazou Date: Thu, 27 Oct 2011 15:17:40 +0200 >> To reproduce build gcc.c-torture/execute/ieee/mzero.c with >> "-m64 -mcpu=niagara3 -O2" on sparc. > > AFAICS there is no such file as gcc.c-torture/execute/ieee/mzero.c. Sorry, the final path component should be "mzero2.c"

Re: cprop_reg problem on sparc

2011-10-27 Thread David Miller
From: Eric Botcazou Date: Thu, 27 Oct 2011 15:17:40 +0200 >> On 64-bit sparc, integer regs are 64-bit and float regs are >> (basically) 32-bit. So HARD_REGNO_NREGS(float_reg, DFmode) is 2, and >> HARD_REGNO_NREGS(integer_reg, DImode) is 1. >> >> cprop sees the sequence: >> >> (insn 330 172 230 .

Re: cprop_reg problem on sparc

2011-10-27 Thread David Miller
From: Eric Botcazou Date: Thu, 27 Oct 2011 23:11:33 +0200 >> Sorry, the final path component should be "mzero2.c" > > Thanks. I think we that need the same treatment in: ... > as: ... > i.e. we need to bail out if we are narrowing and this is a big-endian target. I quickly tried the patch be

Re: cprop_reg problem on sparc

2011-10-27 Thread David Miller
eLog |5 + gcc/regcprop.c |8 2 files changed, 13 insertions(+), 0 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 403fb60..54e059e 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2011-10-27 David S. Miller + + * regcprop.c (copyprop_hardreg

scalar vector shift expansion problem on 64-bit

2011-10-27 Thread David Miller
I'm getting an ICE on 64-bit sparc for some vector test cases but I'm not sure where the fix belongs. When the compiler expands a vecor shift by scalar into a vector shift by a vector it uses expand_vector_broadcast(), which has a comment which states: "The mode of OP must be the element mode of

PR c++/39480 not really fixed

2011-10-28 Thread David Miller
g++.dg/init/copy7.C makes sure that memcpy() is not emitted with src and dst equal. The fix installed absolutely relies upon a backend implementing the movmem pattern, and essentially that such a pattern will always succeed to emit for arbitrary circumstances. However 1) not all platforms implem

Re: PR c++/39480 not really fixed

2011-10-28 Thread David Miller
From: Richard Guenther Date: Fri, 28 Oct 2011 11:27:25 +0200 > On Fri, Oct 28, 2011 at 9:48 AM, David Miller wrote: >> >> g++.dg/init/copy7.C makes sure that memcpy() is not emitted with >> src and dst equal. > > The testcase is bogus and should be removed. See th

Re: PR c++/39480 not really fixed

2011-10-28 Thread David Miller
From: Richard Guenther Date: Fri, 28 Oct 2011 12:47:30 +0200 > Then we have to fix the middle-end which will happily expand > block-moves to memcpy with exact overlap (a = a is valid in C). > See the PR and the C testcases therein. > > Just trying to avoid this in the C++ frontend is bogus. Agr

vector shift regression on sparc

2011-10-29 Thread David Miller
gcc.dg/pr48616.c segfaults on sparc as of a day or two ago vectorizable_shift() crashes because op1_vectype is NULL and we hit this code path: /* Vector shifted by vector. */ if (!scalar_shift_arg) { optab = optab_for_tree_code (code, vectype, optab_vector); if (vect_print_d

Re: [PATCH 1/1] sparc leon: add -Aleon architecture to GAS

2011-11-01 Thread David Miller
Please post binutils patches with the binutils development list CC:'d.

Re: [PATCH 1/1] sparc leon: Use -Aleon assembler switch for -mcpu=leon arch

2011-11-01 Thread David Miller
GCC patches are to be posted to gcc-patches, not gcc.

Re: [PATCH 1/1] sparc leon: add -Aleon architecture to GAS

2011-11-01 Thread David Miller
From: Konrad Eisele Date: Tue, 01 Nov 2011 10:19:04 +0100 > David Miller wrote: >> >> Please post binutils patches with the binutils development list CC:'d. >> >> > > Is the binutils development list bug-binut...@gnu.org ? No, it's binut...@sourceware.org

Re: Potentially merging the transactional-memory branch into mainline.

2011-11-01 Thread David Edelsohn
? GCC has a history of merging and exposing technology previews. Why should the bar be placed higher for this feature? The feature is isolated and does not appear that it will interfere with other parts of GCC. Aldy, RTH, Torvald and Red Hat appear ready to address any problems promptly. - David

Re: scalar vector shift expansion problem on 64-bit

2011-11-01 Thread David Miller
From: David Miller Date: Fri, 28 Oct 2011 01:05:54 -0400 (EDT) > So should expand_vector_broadcast() really provide this invariant to > the vec_init expander, or does the vec_init expander need to tidy > things up with gen_lowpart() etc. calls? Richard I don't know if you had a

serious libgcc regression added recently

2011-11-02 Thread David Miller
My sparc-linux-gnu builds with --enable-targets=all is failing with: ../../../../gcc/libgcc/config/sparc/lb1spc.S: Assembler messages: ../../../../gcc/libgcc/config/sparc/lb1spc.S:124: Error: detected global register use not covered by .register pseudo-op ../../../../gcc/libgcc/config/sparc/lb1s

Re: serious libgcc regression added recently

2011-11-02 Thread David Miller
From: Joel Sherrill Date: Wed, 2 Nov 2011 16:29:16 -0500 > Is this similar to what I just got for sparc-rtems when compiling > libgcc2 with -mcpu=v8? > > /tmp/cczMc4jN.s: Assembler messages: > /tmp/cczMc4jN.s:16: Error: Hardware capability "mul32" not enabled for > "smul". > /tmp/cczMc4jN.s:18:

Re: serious libgcc regression added recently

2011-11-02 Thread David Miller
From: David Miller Date: Wed, 02 Nov 2011 18:30:56 -0400 (EDT) > From: Joel Sherrill > Date: Wed, 2 Nov 2011 16:29:16 -0500 > >> Is this similar to what I just got for sparc-rtems when compiling >> libgcc2 with -mcpu=v8? >> >> /tmp/cczMc4jN.s: Assembler messa

Re: serious libgcc regression added recently

2011-11-02 Thread David Miller
From: David Miller Date: Wed, 02 Nov 2011 18:43:52 -0400 (EDT) > So t-softmul gets appended anyways, and this causes us to try and > build config/sparc/lb1spc.S for the 64-bit libgcc which we should > never do. I tried the patch below but it just results in syntax errors in the Make

Re: serious libgcc regression added recently

2011-11-02 Thread David Miller
From: Andrew Pinski Date: Wed, 2 Nov 2011 16:40:13 -0700 > On Wed, Nov 2, 2011 at 4:28 PM, David Miller wrote: >> +LIB1ASMSRC = `if test x$$($(CC) -print-multi-os-directory) \ >> +                       = x../lib64; then echo sparc/lb1spc.S; fi` >> +LIB1ASMFUNCS = `if

Re: serious libgcc regression added recently

2011-11-02 Thread David Miller
From: "Joseph S. Myers" Date: Thu, 3 Nov 2011 00:22:49 + (UTC) > On Wed, 2 Nov 2011, David Miller wrote: > >> Actually the problem is that libgcc/config.host checks ${host} >> to decide whether to append config/sparc/t-softmul to the tmake >> variable.

Re: serious libgcc regression added recently

2011-11-02 Thread David Miller
bgcc/ChangeLog @@ -1,3 +1,11 @@ +2011-11-02 David S. Miller + + * configure.ac: Set host_address on sparc too. + * configure: Regenerate. + * config.host: Add sparc/t-linux64 and sparc/t-softmul conditionally + based upon host_address. + * config/sparc/t-linux6

Re: serious libgcc regression added recently

2011-11-03 Thread David Miller
From: Jakub Jelinek Date: Thu, 3 Nov 2011 09:22:51 +0100 > On Wed, Nov 02, 2011 at 11:41:08PM -0400, David Miller wrote: >> --- a/libgcc/configure.ac >> +++ b/libgcc/configure.ac >> @@ -255,11 +255,12 @@ AC_CACHE_CHECK([whether assembler supports CFI >>

Re: serious libgcc regression added recently

2011-11-04 Thread David Miller
ns(+), 20 deletions(-) diff --git a/libgcc/ChangeLog b/libgcc/ChangeLog index ec06a09..d3f091e 100644 --- a/libgcc/ChangeLog +++ b/libgcc/ChangeLog @@ -1,3 +1,8 @@ +2011-11-04 David S. Miller + + * configure.ac: Test for 64-bit addresses on !x86 using __LP64__. + * configure: Rebuild. + 2

Re: [C++11] Reclaiming fixed-point suffixes for user-defined literals.

2011-11-05 Thread David Brown
On 04/11/11 20:35, 3dw...@verizon.net wrote: Greetings, Now that C++11 user-defined literals are in trunk I was thinking about reclaiming some of the numeric suffixes that are currently recognized by gcc in the preprocessor. The C++11 spec stipulates that any suffix that is recognized by the im

Re: [C++11] Reclaiming fixed-point suffixes for user-defined literals.

2011-11-05 Thread David Brown
On 05/11/11 18:29, Ed Smith-Rowland wrote: On 11/05/2011 08:36 AM, David Brown wrote: On 04/11/11 20:35, 3dw...@verizon.net wrote: Greetings, Now that C++11 user-defined literals are in trunk I was thinking about reclaiming some of the numeric suffixes that are currently recognized by gcc in

Re: [C++11] Reclaiming fixed-point suffixes for user-defined literals.

2011-11-06 Thread David Brown
On 05/11/11 21:43, Gabriel Dos Reis wrote: On Sat, Nov 5, 2011 at 2:30 PM, David Brown A C++ template class for "_Fract" support would be straightforward to write, and could easily support the formats in N1169. But it would be very hard to do so in a way that generates small and

Re: [C++11] Reclaiming fixed-point suffixes for user-defined literals.

2011-11-06 Thread David Brown
On 06/11/11 16:40, Jonathan Wakely wrote: On 6 November 2011 15:03, David Brown wrote: Obviously C++ is going to get features that C does not - that's fair enough. But it is seldom that there is a good reason for C++ not supporting the additions to C standards. Some of the difference

Re: [C++11] Reclaiming fixed-point suffixes for user-defined literals.

2011-11-08 Thread David Brown
On 08/11/2011 05:27, Hans-Peter Nilsson wrote: On Sun, 6 Nov 2011, Joern Rennecke wrote: Quoting David Brown: Take an example using a processor I know well, the AVR (it is an 8-bit device, which is a little unusual for gcc). It has an instruction will multiply two "1.7" si

Re: [C++11] Reclaiming fixed-point suffixes for user-defined literals.

2011-11-08 Thread David Brown
On 08/11/2011 15:24, Hans-Peter Nilsson wrote: (Not CC:ing the quoted newsgroup, sorry.) On Tue, 8 Nov 2011, David Brown wrote: If the compiler can generate fractional arithmetic code directly from such expressions, then it is indeed a good step towards implementing such types as a pure C

Re: AIX library issues

2011-11-08 Thread David Edelsohn
gger problem is GDB no longer is able to debug cc1plus on the trunk and GCC now builds as C++ by default. Thanks, David

Re: powerpc rs6000_explicit_options change help request

2011-11-08 Thread David Edelsohn
t; /users/joel/test-gcc/gcc-svn/gcc/config/rs6000/rs6000.c:2826:3: note: each > undeclared identifier is reported only once for each function it appears in It looks like this was missed by Joseph during his change. - David

Re: wish: generation of type annotation for C++11 code.

2011-11-10 Thread David Brown
On 10/11/2011 11:58, Basile Starynkevitch wrote: Hello All (I am playing with C++11, but I am not a C++ expert, and I don't know the C++ front-end part of GCC, so this is a feature wish only). Perhaps it could be useful for some later (4.8?) release of GCC to produce an inferred type annotati

bootstrap regression on sparc

2011-11-11 Thread David Miller
While building libstdc++ I get an assertion failure in haifa-sched.c, specifically the assertion on line 3437 is failing: gcc_assert (!jump_p || ((common_sched_info->sched_pass_id == SCHED_RGN_PASS) && IS_SPECULATION_BRANCHY_CHECK_P (insn)

Re: bootstrap regression on sparc

2011-11-11 Thread David Miller
From: David Miller Date: Fri, 11 Nov 2011 20:41:23 -0500 (EST) > I haven't looked more deeply at it, but the first recent suspicious change > are the basic block handling changes Alan made two days ago: > > 2011-11-09 Alan Modra > > * function.c (bb_active

Re: bootstrap regression on sparc

2011-11-12 Thread David Miller
From: Dennis Clarke Date: Sat, 12 Nov 2011 12:51:18 -0500 (EST) >> While building libstdc++ I get an assertion failure in haifa-sched.c, >> specifically the assertion on line 3437 is failing: > > I am seeing no major problems on Sparc at all. What rev of GCC are you > referring to please? As

Re: bootstrap regression on sparc

2011-11-12 Thread David Miller
From: Joel Sherrill Date: Sat, 12 Nov 2011 08:34:29 -0600 > From my perspective, the head doesn't look so good. :( I'm extremely disappointed with how the last 2 weeks have gone as well. I can't work on any of the bugs I want to work on because the tree keeps being broken. I guess the end of s

Re: bootstrap regression on sparc

2011-11-12 Thread David Miller
From: Hans-Peter Nilsson Date: Sat, 12 Nov 2011 07:25:46 -0500 (EST) > On Fri, 11 Nov 2011, David Miller wrote: >> >> While building libstdc++ I get an assertion failure in haifa-sched.c, >> specifically the assertion on line 3437 is failing: > >> I haven'

Re: powerpc compare_and_swap fails

2011-11-17 Thread David Edelsohn
                        oldval, 1, OPTAB_LIB_WIDEN); > +                                   NULL_RTX, 1, OPTAB_LIB_WIDEN); > > so that we don't write back into the subreg. Richard, Are you going to test and apply the fix or do you want Alan and I to do it? Thanks, David

Re: Stack allocation

2011-11-18 Thread David Brown
On 18/11/2011 10:27, Alexandru Juncu wrote: Hello! I have a curiosity with something I once tested. I took a simple C program and made an assembly file with gcc -S. The C file looks something like this: int main(void) { int a=1, b=2; return 0; } The assembly instructions look like this

Re: Stack allocation

2011-11-18 Thread David Brown
On 18/11/2011 14:38, Alexandru Juncu wrote: On Fri, Nov 18, 2011 at 1:24 PM, David Brown wrote: On 18/11/2011 10:27, Alexandru Juncu wrote: Hello! I have a curiosity with something I once tested. I took a simple C program and made an assembly file with gcc -S. The C file looks something

ICE in int_mode_for_mode()

2011-11-18 Thread David Miller
For a few days a lot of new testsuite failures have popped up on sparc, wherein int_mode_for_mode() gets called with "VOIDmode" as an argument from extract_bit_field_1 because "op0" is "(const_int 0)" I have a feeling this is a known problem, but I couldn't find any discussions about this. I str

Re: ICE in int_mode_for_mode()

2011-11-18 Thread David Edelsohn
David, See PR 50325. - David On Fri, Nov 18, 2011 at 3:22 PM, David Miller wrote: > > For a few days a lot of new testsuite failures have popped up on sparc, > wherein int_mode_for_mode() gets called with "VOIDmode" as an argument > from extract_bit_field_1 because

Re: Profiling gcc itself

2011-11-20 Thread David Edelsohn
cused on reducing GCC's memory footprint and using more compact and efficient data structures. - David

Joern Rennecke appointed Epiphany maintainer

2011-11-21 Thread David Edelsohn
I am pleased to announce that the GCC Steering Committee has appointed Joern Rennecke as maintainer of the new Epiphany port. Please join me in congratulating Joern on his new role. Joern, please update your listing in the MAINTAINERS file. Happy hacking! David

Re: Gcc silently transforms a finite loop to an infinite one

2011-11-29 Thread David Brown
On 29/11/2011 15:25, Ian Lance Taylor wrote: Nadezhda Ivanоvna Vyukova writes: I am involved in support of customers who use GCC. Recently a customer has complaint that gcc-4.1.2 generates an infinite loop for the following program: #include extern void f (int); int main () { c

ANN: gcc-python-plugin 0.7

2011-11-29 Thread David Malcolm
gcc-python-plugin is a plugin for GCC 4.6 onwards which embeds the CPython interpreter within GCC, allowing you to write new compiler warnings in Python, generate code visualizations, etc. It ships with "cpychecker", which implements static analysis passes for GCC aimed at finding bugs in CPython

Re: Gcc silently transforms a finite loop to an infinite one

2011-11-29 Thread David Brown
onstant" - and the program runs prints a never-ending sequence of positive integers (well, until I control-C'd the program). Does this mean that there is a bug somewhere, or is it the conversion from int value 128 to a signed char that is undefined? mvh., David

Working with frontend-specific aspects of GCC from a GCC plugin

2011-11-30 Thread David Malcolm
I maintain gcc-python-plugin [1]. I'm hoping to expose the function decl_as_string() from the C++ frontend from within my plugin. Unfortunately, given that that symbol is defined within gcc/cp/error.c, it is only defined within the C++ frontend: cc1plus. This works OK when my plugin is dynamical

Re: Working with frontend-specific aspects of GCC from a GCC plugin

2011-11-30 Thread David Malcolm
On Wed, 2011-11-30 at 15:06 -0500, David Malcolm wrote: [...snip...] > Any thoughts on how to address this? Are there any other approaches > I've missed? Answering my own question, Dave Korn pointed out in another thread: http://gcc.gnu.org/ml/gcc/2011-01/msg00310.html that one ca

Re: volatile correctness: combine vs. target.md

2011-12-02 Thread David Brown
On 02/12/2011 13:59, Andrew Haley wrote: On Fri, Dec 2, 2011 at 5:46 AM, wrote: ... It's never correct to exchange volatile accesses. That's not true. volatile accesses to different memory locations have no special dependence. If it happens that GCC doesn't do this kind of things then thi

Re: Suspicion of regression in uninitialized value detection

2011-12-06 Thread David Brown
test way is a good idea. But it should trigger the warning. mvh., David

Re: Suspicion of regression in uninitialized value detection

2011-12-06 Thread David Brown
o initialise the variable to some value without having any noticeable effect on the program size or speed. Just my opinion, of course. mvh., David

<    5   6   7   8   9   10   11   12   13   14   >