freg: Pseudo push/pop registers in 64 bits

[jj2007]

A good reason to stick to rsp frames is x64 exception handling.

https://docs.microsoft.com/en-us/cpp/build/exception-handling-x64?view=msvc-160

Frame register

If nonzero, then the function uses a frame pointer (FP), and this field is the number of the nonvolatile register used as the frame pointer, using the same encoding for the operation info field of UNWIND_CODE nodes.

Frame register offset (scaled)

If the frame register field is nonzero, this field is the scaled offset from RSP that is applied to the FP register when it's established. The actual FP register is set to RSP + 16 * this number, allowing offsets from 0 to 240. This offset permits pointing the FP register into the middle of the local stack allocation for dynamic stack frames, allowing better code density through shorter instructions. (That is, more instructions can use the 8-bit signed offset form.)

For timings, see Shadow space in 64-bit programming

P.S.: If anybody knows what exactly they mean with "middle", please tell me, I am curious. It sounds good to have the full range, and a compiler can surely do it, but I can't see how to do it in with current assemblers. Like this maybe?

Code Select Expand

someproc
Local v1
  mov rax, v1[Myoffset]

[HSE]

 Hi!

There was a little problem if register is "assumed".

When "assumed", register is saved as dword in 32 bits, or as qword in 64 bits (JWasm family).

Updated in first post.

Regards.

[HSE]

Hi All!

Added pseudo push/pop of variables (not a lot in my 32 bit code, but there are some). It's a little more tricky because need a GPR to move value (by default are eax and R10 but you can use other):

Code Select Expand


  freg_pushv [xax].SDLL_ITEM.pNextItem, R11
  ····
  freg_pop xax


Also a not so automatic correction for unbalanced number of push/pop. That happen in conditional flow:

Code Select Expand

  freg_push xax
  .if [xsi].BibBigMaster.options.TextEdition
invoke CheckMenuItem, xax, IDM_TEXT_ED, MF_UNCHECKED
freg_pop xax
invoke CheckMenuItem, xax, IDM_BLOCK_ED, MF_CHECKED
  .else
invoke CheckMenuItem, xax, IDM_TEXT_ED, MF_CHECKED
freg_correction +1
freg_pop xax
invoke CheckMenuItem, xax, IDM_BLOCK_ED, MF_UNCHECKED
  .endif


Uploaded in first post.

Regars, HSE.

[HSE]

Added pseudo peek and more complete example in first post.