[Vm-dev] function signatures

[Eliot Miranda]

On Fri, Feb 15, 2013 at 12:33 PM, David T. Lewis <lewis at mail.msen.com> wrote:
>
> On Fri, Feb 15, 2013 at 09:23:00PM +0100, Noah Evans wrote:
>>
>> On the subject of warnings, is it possible (or are you already
>> starting) to add some sort of escape analysis to VMMaker? The compiler
>> is going ape about functions with no returns and others with returns
>> that are unreachable. I'm happy to do it if people are interested.
>>
>> Noah
>>
>
> I think Eliot has done a good deal of work to correct issues like this
> in the Cog branch, so it's likely that we would see significantly fewer
> of these issues in the code generated by VMMaker in the oscog branch.
> Aside from that, I do not know of anyone doing doing the kind of analysis
> you describe.
>
> I would be very interested in knowing about unreachable returns. The
> functions with no returns are less interesting, because I suspect that
> Eliot has already fixed the underlying code generator issues. In other
> words, as merging of oscog and trunk VMMaker proceeds, I would expect
> that much of this will get cleaned up along the way.

So the brave thing to do is to use the Cog branch's CCodeGenerator and
TParseNode hierarchy and see what you get.  You should be pleasantly
surprised.

>
> Thanks,
> Dave
>
>
>>
>> On Fri, Feb 15, 2013 at 9:19 PM, phil at highoctane.be <phil at highoctane.be> wrote:
>> >
>> > Thanks, these warnings are annoying...
>> >
>> > Phil
>> >
>> > 2013/2/15 tim Rowledge <tim at rowledge.org>:
>> >>
>> >>
>> >> On 15-02-2013, at 11:45 AM, Noah Evans <noah.evans at gmail.com> wrote:
>> >>>
>> >>>
>> >>> Would anyone mind if I regularized the typing and submitted a patch or
>> >>> is there an explicit reason for the difference?
>> >>
>> >>
>> >> I've just spent the last few days doing this, so wait a while and I'll have an updated VMMaker package to upload along with some fixes to the SVN tree.
>> >>
>> >> tim
>> >> --
>> >> tim Rowledge; tim at rowledge.org; http://www.rowledge.org/tim
>> >> bicycle - a double headed corn cutter
>> >>
>> >>
>> >>
>> >>



-- 
best,
Eliot