Re: C vs LuaJit

[Mike Pall <mikelu-1008@...>]

Vyacheslav Egorov wrote:
> Indeed we need some pretty strong both control-flow and data-flow
> sensitive analysis here. That definetely smells like abstract
> interpretation to me.

Now we're coming full circle. The recording phase of a trace
compiler may be considered to be the complement of abstract
interpretation. It closely follows the runtime activity of an
actual interpreter and outputs matching IR instructions.

The main difference over abstract interpretation is that it has
easy access to all the important runtime information (types,
values, call targets, execution statistics). This helps to reduce
the dynamisms inherent in the language semantics.

> I switched to plain text. Hope that helps.

Much better.

--Mike