RE: How do tagged data structures work in Strongtalk?

"David Griswold" <[email protected]> Mon, 28 May 2007 14:54:19 +0200
Newsgroups gmane.comp.lang.smalltalk.strongtalk
Message-ID <[email protected]>


> -----Original Message-----
> From:  Richard
> [...]
>
> Is there part of strongtalk that is currently doing dataflow analysis?
> Does this part for example remove redundant type checks? Say if two
> methods calls on the same object were inlined then I guess only one
> type check is required.

The compiler isn't doing general dataflow analysis by any means, but it does
do enough to remove the redundant type checks and similar types of things.
Removing the redundant type checks, or hoisting them out of loops, is a
critical part of what makes Strongtalk as fast as it is.

Cheers,
Dave


--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups "Strongtalk-general" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to [email protected]
For more options, visit this group at http://groups.google.com/group/strongtalk-general?hl=en
-~----------~----~----~----~------~----~------~--~---