SSA

[Stephen Weeks]

> > I don't see any problem with alignment
> > -- with three words before the stack, one just has to ensure the first
> > word of the thread is aligned to 4 mod 8.  So I guess we'll need two
> > bits for alignment to represent {0, 4, DontCare}.
> 
> Yeah, I mentioned the alignment before looking at the GC_stack struct;
> Just adjusting the alignment of a thread/stack object to account for the
> additional data should work fine.

Yeah, duh on my part.  We could just add a bogus word to the
thread/stack and keep our single bit for alignment {0, DontCare}.