Re: [Sablevm-developer] Flushing strategy ....

[Etienne M. G. <eg...@j-...>]

On Wed, Dec 11, 2002 at 04:28:35PM -0700, Gunda Domlur wrote:
> pc=pc->addr is a branch right ? 


No.  In C, it represents the assignment of a value retrieved from a
field of a struct pointed-to by the local variable "pc" into the local
variable "pc" itself.  There is no branch in the machine code
generated for this statement by any reasonible C compiler, such as
GCC.

Of course, one can guess that eventually this will cause the
interpreter to execute some branch, but the statement itslef is free
from any branch. [You have to read the code as "low-level" C code, not
as "higher-level" Java bytecode].

> 
> Where can I get hold of Chapter 2 of your thesis ?

Online, very soon. :-) [I won't be more precise, as the final decision
of when is not in "my" hands, it's in McGill's hands.]

Etienne

-- 
Etienne M. Gagnon                                    eg...@j-...
SableVM:                                       http://www.sablevm.org/
SableCC:                                       http://www.sablecc.org/