Erm, some mistakes, sorry: On 24 October 2013 19:25, William ML Leslie <[email protected]> wrote: > Unfortunately, this example requires two different mechanisms to > access the TIB - which means two different mechanisms to perform > virtual method calls.
Which are not determined by type in the paper, so the code emitted must attempt both if the type may be TVA-enabled; this seems a bit prohibitive. I also wanted to say about this is that it probably /always/ makes better sense to embed a vtable pointer into the reference for values that require RTTI or virtual dispatch, rather than require an additional indirection or a branch. > What are the reasons one couldn't elide an object header? Obviously > the 'hashed' status can't be stored in the target, but for a language Can't be stored in the source, that is, the pointer. -- William Leslie Notice: Likely much of this email is, by the nature of copyright, covered under copyright law. You absolutely may reproduce any part of it in accordance with the copyright law of the nation you are reading this in. Any attempt to deny you those rights would be illegal without prior contractual agreement. _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
