Q

2023-11-14 Thread Lê như Hiệp via Gcc
Ds Được gửi từ iPhone của tôi là sư phụ phụ huynh tg

Re: x86: making better use of vpternlog{d,q}

2023-05-25 Thread Jan Beulich via Gcc
On 24.05.2023 11:01, Hongtao Liu wrote: > On Wed, May 24, 2023 at 3:58 PM Jan Beulich via Gcc wrote: >> >> Hello, >> >> for a couple of years I was meaning to extend the use of these AVX512F >> insns beyond the pretty minimalistic ones there are so far. Now that I've >> got around to at least draf

Re: x86: making better use of vpternlog{d,q}

2023-05-24 Thread Hongtao Liu via Gcc
On Wed, May 24, 2023 at 3:58 PM Jan Beulich via Gcc wrote: > > Hello, > > for a couple of years I was meaning to extend the use of these AVX512F > insns beyond the pretty minimalistic ones there are so far. Now that I've > got around to at least draft something, I ran into a couple of issues I > c

x86: making better use of vpternlog{d,q}

2023-05-24 Thread Jan Beulich via Gcc
Hello, for a couple of years I was meaning to extend the use of these AVX512F insns beyond the pretty minimalistic ones there are so far. Now that I've got around to at least draft something, I ran into a couple of issues I cannot explain. I'd like to start with understanding the unexpected effect

Re: libquadmath, glibc, and the Q format flag

2023-02-01 Thread Jakub Jelinek via Gcc
On Wed, Feb 01, 2023 at 12:29:02PM +0100, Florian Weimer via Gcc wrote: > >> This impacts most (all?) Fortran code on GNU/Linux because libgfortran > >> depends on libquadmath. > > > > Not anymore. > > If GCC is configured against new enough glibc (with _Float128 support) > > libgfortran.so.5 is no

Re: libquadmath, glibc, and the Q format flag

2023-02-01 Thread Florian Weimer via Gcc
* Jakub Jelinek: > On Wed, Feb 01, 2023 at 11:56:42AM +0100, Florian Weimer via Gcc wrote: >> I recently discovered that libquadmath registers custom printf callbacks >> on load. As far as I can tell, this is done so that the Q format flag >> can be used to print floating

Re: libquadmath, glibc, and the Q format flag

2023-02-01 Thread Jakub Jelinek via Gcc
On Wed, Feb 01, 2023 at 11:56:42AM +0100, Florian Weimer via Gcc wrote: > I recently discovered that libquadmath registers custom printf callbacks > on load. As far as I can tell, this is done so that the Q format flag > can be used to print floating point numbers, using format strings

libquadmath, glibc, and the Q format flag

2023-02-01 Thread Florian Weimer via Gcc
I recently discovered that libquadmath registers custom printf callbacks on load. As far as I can tell, this is done so that the Q format flag can be used to print floating point numbers, using format strings such as "%Qf". To enable Q flag processing, libquadmath has to register re

Re: Q: (d = NAN) != NAN?

2016-04-08 Thread Jonathan Wakely
On 8 April 2016 at 11:09, Ulrich Windl wrote: > Hello! > > Probably I'm doing something wrong, but I have some problems comparing a > double with NAN: The value is NAN, but the test fails. Probably I should use > isnana(). This mailing list is for discussing development of GCC, not help using GC

Re: Q: (d = NAN) != NAN?

2016-04-08 Thread Szabolcs Nagy
On 08/04/16 11:09, Ulrich Windl wrote: > Probably I'm doing something wrong, but I have some problems comparing a > double with NAN: The value is NAN, but the test fails. Probably I should use > isnana(). yes, that's how ieee works, nan != nan is true.

Q: (d = NAN) != NAN?

2016-04-08 Thread Ulrich Windl
Hello! Probably I'm doing something wrong, but I have some problems comparing a double with NAN: The value is NAN, but the test fails. Probably I should use isnana(). Here's my test case: --- #include #include int main() { double d = NAN; assert(d == NAN); return 0

Re: Q.: inconsistent (?) warnings about functions called through non-compatible types

2015-03-30 Thread Mikhail Maltsev
29.03.2015 23:18, Godmar Back writes: > Thanks. I'm a bit confused then what constitutes defined & undefined behavior. > > The actual situation I encountered is best described by this example: > > -- > /* Tested with gcc 4.4.7 and 4.8.2 -m32 */ > #include > #include > > bool boolFunctionThatRe

Re: Q.: inconsistent (?) warnings about functions called through non-compatible types

2015-03-29 Thread Jonathan Wakely
On 29 March 2015 at 19:32, Godmar Back wrote: > Why does assigning boolFunctionThatReturnsFalse to a variable f after > the cast, instead of directly dereferencing it, silence the compiler's > warnings? Because the cast itself is OK, and the call that results in undefined behaviour is separate fro

Re: Q.: inconsistent (?) warnings about functions called through non-compatible types

2015-03-29 Thread Godmar Back
On Sun, Mar 29, 2015 at 3:26 PM, Andreas Schwab wrote: > Godmar Back writes: > >> ps: I would like to see the warning, of course, since casting a bool >> returning function to an int returning function is undefined behavior. > > The cast itself is ok, the undefined behavior only occurs when calli

Re: Q.: inconsistent (?) warnings about functions called through non-compatible types

2015-03-29 Thread Andreas Schwab
Godmar Back writes: > ps: I would like to see the warning, of course, since casting a bool > returning function to an int returning function is undefined behavior. The cast itself is ok, the undefined behavior only occurs when calling it without casting back. Andreas. -- Andreas Schwab, sch..

Q.: inconsistent (?) warnings about functions called through non-compatible types

2015-03-29 Thread Godmar Back
Hi, why does gcc (4.4.7 and 4.8.2) sometimes warn and sometimes not warn when undefined behavior is invoked when making illegal function pointer conversions? For instance, consider the code below: - /* Tested with gcc 4.4.7 and 4.8.2 */ #include #include bool boolFunctionThatReturnsFa

Re: GCC RM Q&A: August 5th

2010-07-28 Thread Mark Mitchell
Mark Mitchell wrote: > As before, feel free to put questions that you would like to ask on this > Wiki page: I failed to include the URL. It is: http://gcc.gnu.org/wiki/Release%20Manager%20Q%26A Thanks, -- Mark Mitchell CodeSourcery m...@codesourcery.com (650) 331-3385 x713

GCC RM Q&A: August 5th

2010-07-27 Thread Mark Mitchell
Joseph Myers, Richard Guenther, and I will be hosting the second GCC Release Manager Q&A on Thursday, August 5th at 9:00 AM Pacific Daylight Time. (Jakub Jelinek is unfortunately unable to attend.) As before, feel free to put questions that you would like to ask on this Wiki page: if you

Re: GCC RM Q&A, C++ in GCC

2010-05-27 Thread Joseph S. Myers
On Thu, 27 May 2010, Mark Mitchell wrote: > Thanks to all who participated in the GCC Release Manager Q&A on IRC > earlier today. Joseph Myers logged the chat session and will put it on > the GCC Wiki soon. There were a lot of good comments and questions. http://gcc.gnu.org

GCC RM Q&A, C++ in GCC

2010-05-27 Thread Mark Mitchell
Thanks to all who participated in the GCC Release Manager Q&A on IRC earlier today. Joseph Myers logged the chat session and will put it on the GCC Wiki soon. There were a lot of good comments and questions. Thanks especially to Richard Guenther and Joseph Myers who both accommodate

RM Q&A Session on irc.oftc.net

2010-05-25 Thread Mark Mitchell
In: http://gcc.gnu.org/ml/gcc/2010-05/msg00347.html I indicated that I, and the other GCC RMs as available, would participate in an interactive IRC discussion on May 27th at 9:00 AM Pacific. As nobody has volunteered to moderate the IRC session, we'll use the general-purpose GCC developer IRC ch

Re: RM Q&A Session on May 27th

2010-05-19 Thread Mark Mitchell
Joseph S. Myers wrote: > I note that many of the questions already added to that page could be seen > as suggesting a greater role for the RMs than there is at present in > setting directions for GCC development. RMs (in their RM capacity) do not > set priorities or make plans for GCC developm

Re: RM Q&A Session on May 27th

2010-05-19 Thread Joseph S. Myers
On Tue, 18 May 2010, Mark Mitchell wrote: > http://gcc.gnu.org/wiki/Release%20Manager%20Q%26A I note that many of the questions already added to that page could be seen as suggesting a greater role for the RMs than there is at present in setting directions for GCC development. RMs (in their

Re: RM Q&A Session on May 27th

2010-05-18 Thread Mark Mitchell
NightStrike wrote: >> If anyone would like to volunteer to set up a channel and/or moderate >> the chat itself, please let me know. > Can you just do it in #gcc on oftc? That's certainly the fallback possibility. Though, for those not interested, it would interrupt whatever else is being disc

Re: RM Q&A Session on May 27th

2010-05-18 Thread NightStrike
On Tue, May 18, 2010 at 11:36 PM, Mark Mitchell wrote: > Several people have asked that there be a forum for asking questions of > and providing feedback to the GCC RMs.  Since this is of course a very > widely distributed community, the best medium for this seems to be an > IRC chat.  To that end

RM Q&A Session on May 27th

2010-05-18 Thread Mark Mitchell
Several people have asked that there be a forum for asking questions of and providing feedback to the GCC RMs. Since this is of course a very widely distributed community, the best medium for this seems to be an IRC chat. To that end, I'll be hosting a 1-hour session on May 27th at 9:00 AM Pacifi

Q: how to sometimes forcebly invoke cc1 thru gcc even without any input files?

2008-09-23 Thread Basile STARYNKEVITCH
Hello All On the MELT branch, I need sometimes that cc1 be run even if there is no input files. This is an unusual mode, but sometimes needed (This actually is needed to have MELT lisp files translated into C; for reasons not explained here, this is a special mode of my ./cc1 which does that;

Re: Q about assignment expansion

2007-09-25 Thread DJ Delorie
Also, http://people.redhat.com/dj/all_l4.i and ./cc1 -fpreprocessed all_l4.i -quiet -dumpbase all_l4.c -mcpu=m32cm \ -auxbase-strip all_l4.o -g -O2 -O2 -Wall -Wstrict-prototypes \ -Wmissing-prototypes -Wold-style-definition -Wextra -Wwrite-strings \ -std=gnu99 -version -o all_l4.s -dap -fdu

Re: Q about assignment expansion

2007-09-25 Thread DJ Delorie
> So it looks like we have D.3720 + (unsigned int) &sstride which > looks funny in of it self. Can you provide the tree dump before > iv-opts and the one of iv-opts? It might explain what is going > wrong? http://people.redhat.com/dj/all_l4.c.105t.cunroll http://people.redhat.com/dj/all_l4.c.10

Re: Q about assignment expansion

2007-09-25 Thread Andrew Pinski
On 9/25/07, DJ Delorie <[EMAIL PROTECTED]> wrote: > I like that! Not quite enough info for some needs (like it's missing > the machine mode and rtl assignments, which I often need), but much > cleaner: > > MEM[base: D.3720 + (unsigned int) &sstride] = MEM[base: D.3718, offset: 10] Usually I use d

Re: Q about assignment expansion

2007-09-25 Thread DJ Delorie
> From what I recall and what I remember the main issue is that IV-opts > like producing: > [MEM index: ] > Note it might be better to use debug_generic_expr instead of > debug_tree (it is easier to read in most cases). I like that! Not quite enough info for some needs (like it's missing the ma

Re: Q about assignment expansion

2007-09-25 Thread Andrew Pinski
On 9/24/07, DJ Delorie <[EMAIL PROTECTED]> wrote: > > I'm trying to get libfortran (all_l4.c) building for m32c, and it > complains (eventually) that it can't add PSI (pointer) and HI > (integer) types together. I've backtracked to the statement just > before it's lowered to rtl, see below. Note

Q about assignment expansion

2007-09-24 Thread DJ Delorie
I'm trying to get libfortran (all_l4.c) building for m32c, and it complains (eventually) that it can't add PSI (pointer) and HI (integer) types together. I've backtracked to the statement just before it's lowered to rtl, see below. Note that pointers are PSI mode (24 bits) for this chip. My que

Re: Q: middle-end problem when variadic builtins promote float to double

2007-07-08 Thread Richard Guenther
On 7/8/07, Kaveh R. GHAZI <[EMAIL PROTECTED]> wrote: On Sun, 8 Jul 2007, Richard Guenther wrote: > So type-generic is supposed to apply to scalar floating point types > only? So far, yes. I don't see anything that requires or prohibits changing that for the initial implementation. If later a

Re: Q: middle-end problem when variadic builtins promote float to double

2007-07-08 Thread Kaveh R. GHAZI
On Sun, 8 Jul 2007, Richard Guenther wrote: > So type-generic is supposed to apply to scalar floating point types > only? So far, yes. I don't see anything that requires or prohibits changing that for the initial implementation. If later a GCC developer wants to change it to not promote e.g. ch

Re: Q: middle-end problem when variadic builtins promote float to double

2007-07-08 Thread Richard Guenther
On 7/8/07, Kaveh R. GHAZI <[EMAIL PROTECTED]> wrote: On Sat, 7 Jul 2007, Joseph S. Myers wrote: > No, that's something else entirely (a "float" old-style parameter > declaration corresponds to a "double" argument in a prototype). It's > convert_arguments that handles converting to prototype typ

Re: Q: middle-end problem when variadic builtins promote float to double

2007-07-07 Thread Kaveh R. GHAZI
On Sat, 7 Jul 2007, Joseph S. Myers wrote: > No, that's something else entirely (a "float" old-style parameter > declaration corresponds to a "double" argument in a prototype). It's > convert_arguments that handles converting to prototype types and default > argument promotions for arguments not

Re: Q: middle-end problem when variadic builtins promote float to double

2007-07-07 Thread Joseph S. Myers
On Sat, 7 Jul 2007, Kaveh R. GHAZI wrote: > Ok, here's a patch which adds the attribute named as you suggest and > applies it to the relevant builtins. I'm stuck now on how and where we > would intervene to honor it. I think we need to do it in c-decl.c: > grokdeclarator(), where it says "promot

Re: Q: middle-end problem when variadic builtins promote float to double

2007-07-07 Thread Kaveh R. GHAZI
On Sat, 7 Jul 2007, Joseph S. Myers wrote: > On Sat, 7 Jul 2007, Kaveh R. GHAZI wrote: > > > Ok, how about e.g. __attribute__ ((__type_generic__)), which would only be > > allowed on variadic functions? > > I don't think we want this available to user code, just to builtins, so a > name such as "t

Re: Q: middle-end problem when variadic builtins promote float to double

2007-07-07 Thread Joseph S. Myers
On Sat, 7 Jul 2007, Kaveh R. GHAZI wrote: > Ok, how about e.g. __attribute__ ((__type_generic__)), which would only be > allowed on variadic functions? I don't think we want this available to user code, just to builtins, so a name such as "type generic" that can't be used as an identifier would

Re: Q: middle-end problem when variadic builtins promote float to double

2007-07-07 Thread Kaveh R. GHAZI
g. __attribute__ ((__type_generic__)), which would only be allowed on variadic functions? In addition to the isnormal (etc) builtins, we probably want to mark "isless" and the other comparison builtins as well. Q: Do I have to worry about languages other than the C-family? Q: Do you reca

Re: Q: middle-end problem when variadic builtins promote float to double

2007-07-06 Thread Joseph S. Myers
On Fri, 6 Jul 2007, Kaveh R. GHAZI wrote: > So how do we detect or work around this promotion issue and discriminate > between the case where a float is promoted because of the variadic > prototype vs a user supplied cast or other user code? I think we may need to tag these builtins in some way t

Q: middle-end problem when variadic builtins promote float to double

2007-07-06 Thread Kaveh R. GHAZI
I have a question relating to variadic builtins and floating point arguments. I'm trying to implement "isnormal" like so: http://gcc.gnu.org/ml/gcc-patches/2007-06/msg01292.html Basically, I change __builtin_isnormal(x) -> isgreaterequal(fabs(x),FP_MIN) & islessequal(fabs(x),FP_MAX) (where FP_M

Q: Accessing signgam from the middle-end for builtin lgamma

2007-04-25 Thread Kaveh R. GHAZI
I'd like to work on using MPFR to handle builtin lgamma. The lgamma function requires setting the global int variable "signgam" in addition to calculating the return value of lgamma. I think I see how to do grab a handle on signgam like so: sg = maybe_get_identifier("signgam"); if (sg) { sg =

Q: whole program entry point in SSA?

2006-10-16 Thread Basile STARYNKEVITCH
Hello, (I'm still a newbie in gcc) I am interested in -fwhole-program analysis (flag_whole_program) and I know that with -O3 -fwhole-program the cgraph_nodes is cleaned (in cgraphunit.c probably by cgraph_varpool_remove_unreferenced_decls) so that only functions callable from main are kept (as

Re: [Q] Class instance layout details

2005-07-15 Thread Andrew Pinski
On Jul 15, 2005, at 5:02 PM, Ian Lance Taylor wrote: Bharadwaj Yadavalli <[EMAIL PROTECTED]> writes: Newer versions of C++ more or less follow the Itanium C++ ABI: http://www.codesourcery.com/cxx-abi/abi.html That started somewhere in gcc 3.x, though I don't know exactly when. It starte

Re: [Q] Class instance layout details

2005-07-15 Thread Ian Lance Taylor
Bharadwaj Yadavalli <[EMAIL PROTECTED]> writes: > Can someone please point me to a place where I can get information > about how gcc (2.96 and later) lays out class instances? In other > words if I examine the contents of an object pointer, is there a > document that specifies how the contents of

[Q] Class instance layout details

2005-07-15 Thread Bharadwaj Yadavalli
Can someone please point me to a place where I can get information about how gcc (2.96 and later) lays out class instances? In other words if I examine the contents of an object pointer, is there a document that specifies how the contents of the memory with relation to the pointer correspond to the

Re: Q about Ada and value ranges in types

2005-06-27 Thread Richard Kenner
RTH has been suggesting to use build_int_cst (etype, 0) instead. Indeed. I was trying to minimize the change, but such cleanups are always useful. This was also missing a protection on INTEGER_TYPE_P. I just got a good bootstrap of Ada on x86_64 with this and a patch from Diego to fix the o

Re: Q about Ada and value ranges in types

2005-06-27 Thread James A. Morrison
[EMAIL PROTECTED] (Richard Kenner) writes: > Sorry it took me so long to get to this. > > > You're not showing where this comes from, so it's hard to say. However > > D.1480 is created by the gimplifier, not the Ada front end. There could > > easily be a typing problem in the tree

Re: Q about Ada and value ranges in types

2005-06-27 Thread Richard Kenner
Sorry it took me so long to get to this. > You're not showing where this comes from, so it's hard to say. However > D.1480 is created by the gimplifier, not the Ada front end. There could > easily be a typing problem in the tree there (e.g., that of the > subtraction) but I can't

Re: [Gdb-discuss] Re: x86 Q: why aren't the SSE intrinsics always_inline?

2005-06-14 Thread Fred Fish
On Tuesday 14 June 2005 21:17, Daniel Jacobowitz wrote: > Ask me if you want either set of code. Sure, I'd like to take a look at it. > If you want to work on anything without duplicating effort, it behooves > _you_ to discuss it on the mailing lists first. Agreed. I've just recently started l

Re: [Gdb-discuss] Re: x86 Q: why aren't the SSE intrinsics always_inline?

2005-06-14 Thread Daniel Jacobowitz
[Redirecting off gdb-discuss again] On Tue, Jun 14, 2005 at 09:12:39PM -0400, Fred Fish wrote: > On Tuesday 14 June 2005 10:55, Daniel Jacobowitz wrote: > > better support for inline functions, which is already on the gdb > > roadmap > > Where's the roadmap? I'm just starting to look at this ver

Re: [Gdb-discuss] Re: x86 Q: why aren't the SSE intrinsics always_inline?

2005-06-14 Thread Fred Fish
On Tuesday 14 June 2005 10:55, Daniel Jacobowitz wrote: > better support for inline functions, which is already on the gdb > roadmap Where's the roadmap? I'm just starting to look at this very issue and would be good to know what is planned or in progress. Thanks. -Fred

Re: x86 Q: why aren't the SSE intrinsics always_inline?

2005-06-14 Thread Daniel Jacobowitz
[Redirecting off the misnamed gdb-discuss list; please use [EMAIL PROTECTED] instead.] On Tue, Jun 14, 2005 at 10:22:23AM +0100, Andrew Haley wrote: > You have the same problem with Java -- you're stepping through a Java > program, and all of a sudden you're inside the memory allocator. What > we

Re: x86 Q: why aren't the SSE intrinsics always_inline?

2005-06-14 Thread Andrew Haley
Stuart Hastings writes: > Subject says it all. > > IIUC, the SSE intrinsics are made available as functions because > that's the least-broken way to support them in a target-agnostic > compiler. They're clearly intended to be fully inlined in normal > usage. And they're marked "inlin

Re: Q about Ada and value ranges in types

2005-05-03 Thread Diego Novillo
On Tue, May 03, 2005 at 06:21:11PM -0400, Richard Kenner wrote: > As of right now, I don't think this is a VRP problem, but something wrong > with the tree Ada produces. > That'd be good. If that's the case, we can make VRP assert that the range derived from such types agrees with the type's ran

Re: Q about Ada and value ranges in types

2005-05-03 Thread Richard Kenner
Yeah, I didn't show all of it, sorry. My patch to address this problem includes a more detailed description (http://gcc.gnu.org/ml/gcc-patches/2005-05/msg00127.html). As of right now, I don't think this is a VRP problem, but something wrong with the tree Ada produces. Configu

Re: Q about Ada and value ranges in types

2005-05-03 Thread Diego Novillo
On Mon, May 02, 2005 at 09:46:59PM -0400, Richard Kenner wrote: > You're not showing where this comes from, so it's hard to say. However > D.1480 is created by the gimplifier, not the Ada front end. There could > easily be a typing problem in the tree there (e.g., that of the subtraction), > but

Re: Q about Ada and value ranges in types

2005-05-02 Thread Richard Kenner
I am tracking an ICE in VRP that triggers only in Ada. Given this: 1 D.1480_32 = nam_30 - 30361; 2 if (D.1480_32 <= 1) goto ; else goto ; 3 :; 4 D.1480_94 = ASSERT_EXPR ; 5 goto (); for name D.1480_94. However, the type of D.1480 is: (gdb) ptu

Q about Ada and value ranges in types

2005-05-02 Thread Diego Novillo
I am tracking an ICE in VRP that triggers only in Ada. Given this: 1 D.1480_32 = nam_30 - 30361; 2 if (D.1480_32 <= 1) goto ; else goto ; 3 :; 4 D.1480_94 = ASSERT_EXPR ; 5 goto (); When visiting statemen #4, VRP tries to create the range [-INF, 1] for name D

Re: Q: C++ FE emitting assignments to global read-only symbols?

2005-04-10 Thread Paul Schlie
> Giovanni Bajo writes: >> Dale Johannesen <[EMAIL PROTECTED]> wrote: >>> I do think the C++ FE needs fixing before Diego's change gets merged, >>> though. I can make the change, but not instantly. If someone files >>> a PR, and assigns to me, I'll get to it at some not-too-distant >>> point. >>

Re: Q: C++ FE emitting assignments to global read-only symbols?

2005-04-09 Thread Paul Schlie
> Richard Kenner wrote: >>It would be good to have a way to mark things as "write once, then >>readonly" IMO. It's very common, and you can do some of the same >>optimizations on such things that you can do on true Readonly objects. > > We used to do this in RTL and it caused all sorts

Re: Q: C++ FE emitting assignments to global read-only symbols?

2005-04-09 Thread Richard Kenner
It would be good to have a way to mark things as "write once, then readonly" IMO. It's very common, and you can do some of the same optimizations on such things that you can do on true Readonly objects. We used to do this in RTL and it caused all sorts of problems. One is that suppos

Re: Q: C++ FE emitting assignments to global read-only symbols?

2005-04-09 Thread Richard Kenner
I agree, in principle. The C++ FE should not set TREE_READONLY on variables that require dynanmic initialization. Until now, that's not been a problem, and it does result in better code. But, it's now becoming a problem, and we have others way to get good code coming down

Re: Q: C++ FE emitting assignments to global read-only symbols?

2005-04-08 Thread Richard Henderson
On Fri, Apr 08, 2005 at 07:57:31PM -0400, Daniel Berlin wrote: > Some of these global properties probably belong in cgraph_var node's > instead of shoving them into the tree structure. I tend to agree. This would allow us to do things like find out that the variable is read-write while compiling

Re: Q: C++ FE emitting assignments to global read-only symbols?

2005-04-08 Thread Paul Schlie
>> On Fri, 2005-04-08 at 16:51 -0700, Dale Johannesen wrote: >>> On Apr 8, 2005, at 4:40 PM, Mark Mitchell wrote: Daniel Berlin wrote: Your transform is correct. The FE is not. The variable is not read only. It is write once, then read-only. >>> >>> Diego, your analysis is exact

Re: Q: C++ FE emitting assignments to global read-only symbols?

2005-04-08 Thread Diego Novillo
On Fri, Apr 08, 2005 at 04:40:01PM -0700, Mark Mitchell wrote: > I do think the C++ FE needs fixing before Diego's change gets merged, > though. I can make the change, but not instantly. If someone files a > PR, and assigns to me, I'll get to it at some not-too-distant point. > PR c++/20912.

Re: Q: C++ FE emitting assignments to global read-only symbols?

2005-04-08 Thread Giovanni Bajo
Dale Johannesen <[EMAIL PROTECTED]> wrote: >> I do think the C++ FE needs fixing before Diego's change gets merged, >> though. I can make the change, but not instantly. If someone files >> a PR, and assigns to me, I'll get to it at some not-too-distant >> point. > > It would be good to have a wa

Re: Q: C++ FE emitting assignments to global read-only symbols?

2005-04-08 Thread Daniel Berlin
On Fri, 2005-04-08 at 16:51 -0700, Dale Johannesen wrote: > On Apr 8, 2005, at 4:40 PM, Mark Mitchell wrote: > > > Daniel Berlin wrote: > > > >> Your transform is correct. > >> The FE is not. The variable is not read only. > >> It is write once, then read-only. > > > > Diego, your analysis is exac

Re: Q: C++ FE emitting assignments to global read-only symbols?

2005-04-08 Thread Dale Johannesen
On Apr 8, 2005, at 4:40 PM, Mark Mitchell wrote: Daniel Berlin wrote: Your transform is correct. The FE is not. The variable is not read only. It is write once, then read-only. Diego, your analysis is exactly correct about what is happenning. I agree, in principle. The C++ FE should not set TREE_R

Re: Q: C++ FE emitting assignments to global read-only symbols?

2005-04-08 Thread Mark Mitchell
Daniel Berlin wrote: Your transform is correct. The FE is not. The variable is not read only. It is write once, then read-only. Diego, your analysis is exactly correct about what is happenning. I agree, in principle. The C++ FE should not set TREE_READONLY on variables that require dynanmic initi

Re: Q: C++ FE emitting assignments to global read-only symbols?

2005-04-08 Thread Daniel Berlin
On Fri, 2005-04-08 at 12:45 -0400, Diego Novillo wrote: > One of the micro-optimizations I am about to merge from TCB > involves disregarding V_MAY_DEF/V_MUST_DEF operands for read-only > globals. > > So, if a symbol is marked read-only and the operand scanner > requests a V_MAY_DEF or V_MUST_DEF

Q: C++ FE emitting assignments to global read-only symbols?

2005-04-08 Thread Diego Novillo
One of the micro-optimizations I am about to merge from TCB involves disregarding V_MAY_DEF/V_MUST_DEF operands for read-only globals. So, if a symbol is marked read-only and the operand scanner requests a V_MAY_DEF or V_MUST_DEF operand for it, we replace it with a VUSE. This works fine, except

Re: [Q] initialisation of variable allocated wirh alloca in 'loop.c'

2005-02-14 Thread James E Wilson
Christophe Jaillet wrote: In loop.c, around line 8887, shouldn't the memory allocated by alloca be 'memseted' in some way ? Look closer, and you will see that only array values that are set are used. -- Jim Wilson, GNU Tools Support, http://www.SpecifixInc.com

[Q] initialisation of variable allocated wirh alloca in 'loop.c'

2005-02-13 Thread Christophe Jaillet
In loop.c, around line 8887, shouldn't the memory allocated by alloca be 'memseted' in some way ? giv_array = alloca (giv_count * sizeof (struct induction *)); There is a loop just below that set some elements but not all. But a few lines below again, ALL values of giv_array are used. I think th