src/ia64/NOTES

- the frame state consists of the following:

	- ip	current instruction pointer
	- sp	current stack pointer value
	- bsp	current backing store pointer
	- cfm	current frame mask

  these are derived from the next younger (more deeply nested) frame
  as follows:

	- ip  == saved return-link (may be b0 or an alternate branch-reg)
	- sp  == if younger frame has a fixed-sized frame, sp + size-of-frame,
		 else saved sp
	- cfm == saved ar.pfs
	- bsp == if ar.bsp has been saved, saved ar.bsp, otherwise,
		 ar.bsp \ominus saved ar.pfs.pfm.sol

The unwind cursor should represent the machine state as it existed at
the address contained in register ip.  This state consists of the
*current* frame state and the save locations in the next younger
frame.

An unwind script current takes the old save locations and updates them
for the next older frame.  With the new setup, we need to update the
frame state first, without updating the other save locations.  For this
to work, we need the following info:

	- save location of return-link
	- save location of ar.pfs
	- save location of bsp (if it has been saved)
	- size of stack frame (fixed case) or save location of sp


setup:

  func:   ...
	  ...
	  ...
	  br.call foo	<-- call site
	  ...		<-- ip
	  ...

initial state:

	The unwind cursor represents the (preserved) machine state
	as it existed at "ip".

	Evaluating the unwind descriptors for "ip" yields the following
	info:

		- frame size at call site (or previous sp)
		- what registers where saved where by func before
		  the call site was reached


	Note that there is some procedure info that needs to be obtained
	for the new "ip" which is contained in the unwind descriptors.
	Specifically, the following is needed:

			- procedure's start address
			- personality address
			- pointer to language-specific data area

	This info is stored in a separate proc_info structure and needs
	to be obtained right after running the unwind script for func.