Volatile operations and PRE

2006-11-06 Thread Ricardo FERNANDEZ PASCUAL
Hello, I have discovered that volatile expresions can cause the tree-ssa pre pass to loop forever in "compute_antic". The problem seems to be that the expresion is assigned a different value number at each iteration, hence the fixed point required to exit the loop is never reached. Thi

Re: Volatile operations and PRE

2006-11-06 Thread Ricardo FERNANDEZ PASCUAL
Thank you for your answer. I give some more information below: Daniel Berlin wrote: On 11/6/06, Ricardo FERNANDEZ PASCUAL <[EMAIL PROTECTED]> wrote: Hello, I have discovered that volatile expresions can cause the tree-ssa pre pass to loop forever in "compute_antic". T

Re: Volatile operations and PRE

2006-11-07 Thread Ricardo FERNANDEZ PASCUAL
Andrew Haley wrote: Ricardo FERNANDEZ PASCUAL writes: > So, I think the real question is: are COMPONENT_REF nodes allowed > to be marked as volatile by themselves? I think they should, and > actually it seems to work (the generated code looks correct). volatile is a type qualifier.

Re: Volatile operations and PRE

2006-11-07 Thread Ricardo FERNANDEZ PASCUAL
Paolo Bonzini wrote: At a wild guess, maybe strip_useless_type_conversions() is doing something Bad. Almost there. It looks like strip_useless_type_conversions is not used, and then something Bad happens. Thank you Andrew and Paolo for your quick answers. I have made a report for this b

Re: Volatile operations and PRE

2006-11-08 Thread Ricardo FERNANDEZ PASCUAL
Paolo Bonzini wrote: The following patch fixes it, but it's completely untested. 2006-11-07 Paolo Bonzini <[EMAIL PROTECTED]> * gimplify.c (fold_indirect_ref_rhs): Use STRIP_USELESS_TYPE_CONVERSION rather than STRIP_NOPS. Index: ../../gcc/gimplify.c =

Explicit field layout

2006-09-22 Thread Ricardo FERNANDEZ PASCUAL
Hello, I am writing a new GCC front end. One of the features provided by my language (CIL) is explicit field layout and size for records. I don't know if any other languaje supported by GCC provides this feature. If that's the case, please point me to it so that I can see how to do i

Re: Explicit field layout

2006-09-25 Thread Ricardo FERNANDEZ PASCUAL
Duncan Sands wrote: I am writing a new GCC front end. One of the features provided by my language (CIL) is explicit field layout and size for records. I don't know if any other languaje supported by GCC provides this feature. If that's the case, please point me to it so that I can see

Re: Explicit field layout

2006-09-25 Thread Ricardo FERNANDEZ PASCUAL
Bernd Jendrissek wrote: -BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On Fri, Sep 22, 2006 at 02:58:26PM +0200, Ricardo FERNANDEZ PASCUAL wrote: I am writing a new GCC front end. One of the features provided by my language (CIL) is explicit field layout and size for records. Any