On Dec 1, 2007 5:00 PM, skaller <[EMAIL PROTECTED]> wrote:
> Clearly
>
>         x + 1
>
> is ambiguous .. incrementing the pointer? or the value it points to?

What if we made incrementing the pointer a separate felix function?
It'd be clearer, and I doubt it'd be needed much.


> which means all functions -- both Felix and C primitives -- would use
> pass by value. This will work fine.. but it is potentially inefficient
> because it hides the variable being incremented, introducing an
> aliasing problem.. it isn't clear C++ compilers such as gcc can
> unravel this..
>
>         var x = 1;
>         ++x;       // generates ++*&x
>
> but it has to unravel immediately to
>
>         ++x
>
> to allow some optimisations to work.

Could we do that in the c++ codegen, or would that need dataflow analysis?

-------------------------------------------------------------------------
SF.Net email is sponsored by: The Future of Linux Business White Paper
from Novell.  From the desktop to the data center, Linux is going
mainstream.  Let it simplify your IT future.
http://altfarm.mediaplex.com/ad/ck/8857-50307-18918-4
_______________________________________________
Felix-language mailing list
Felix-language@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/felix-language

Reply via email to