On 14/04/2012 9:54 PM, Bennie Kloosteman wrote:
> Most jits will inline dll  code if small  eg .NET will inline it if less
> < about 32 instruction ( count changes depending on whether its in a
> loop)   and its an instance call (  static calls are less inlined which
> causes performance  issues with custom  maths libs ) .

A JIT would solve all of Jonathan's problems, except keeping the TCB
small and auditable. At the moment, the situation is very much: small
TCB, inlining, separate compilation, pick any two.

Sandro

_______________________________________________
bitc-dev mailing list
[email protected]
http://www.coyotos.org/mailman/listinfo/bitc-dev

Reply via email to