%ebp vs. %esp

[Matthew Fluet]

> I  see  in the change that you picked %ebp for the stack top and %esp for the
> frontier.  Offsets from %ebp take one less byte than from %esp, so  if  there
> are  more  accesses  to  the  frontier (probably not likely) then it would be
> better to reverse these.

Just to be clear: 
 stack top is in %ebp
 frontier is in %esp.
 there are significantly more memory access relative to stack top than
  relative to frontier

Did you mean that offsets from %esp take one less byte than from %ebp?