[_CDCSL_93-16_]<1>Cedar>release>Breakpoints>CirioBreakpoint.mesa

CirioBreakpoint.mesa

Peter B. Kessler, March 29, 1990 10:31 am PST

DIRECTORY

SPARCArchitecture,

SPARCManger;

CirioBreakpoint: CEDAR DEFINITIONS ~ {

Patches can't be monitored, since the processor executes out of them. My accesses of the patches and the pc's executing in them are races. That isn't a problem because the pc's never get to the patches until I'm done setting them up (fortunately), and I don't clear the patch. Clearing a breakpoint is just putting the instruction back, since you can't tell when the pc (or several of them) are done with the patch (that's is a garbage collection problem).

This closureCaller is for Cirio: it includes pushing an extra register window to avoid some register saving and to allocate space for saving the rest of the registers, and putting the ``return address'' of the patch in %i7, so Cirio can figure out where the breakpoint is.

save %sp, -(spOffset+stackAllocationForCallee+registerSaveArea), %sp

-- allocate a register window and a register save area.

call ←save←regs

add %sp, spOffset+stackAllocationForCallee, %o0

-- save←regs(@registerSaveArea).

sethi %hi(return�ress), %i7

or %i7, %lo(return�ress), %i7

-- set up ``return address''.

sethi %hi(clientData), %o0

call clientProc

or %lo(clientData), %o0

-- clientProc(clientData).

call ←restore←regs

add %sp, spOffset + stackAllocationForCallee, %o0

-- restore←regs(@registerSaveArea).

restore %sp, +(spOffset+stackAllocationForCallee+registerSaveArea), %sp

-- deallocate the register window and register save area.

Constants.

registerSaveArea: NAT ~ 64 * BYTES[SPARCArchitecture.SPARCContents];

64 words for saving the registers (except %o0 and %o7, which we don't care about here).

Types.

Patches are self-describing, in that they include the address of the replaced instruction (in the header) and the replaced instruction (relocated into the patch).

PatchStruct: TYPE ~ MACHINE DEPENDENT RECORD [

closureCaller: ClosureCaller,

manger: SPARCManger.Manger

];

ClosureCaller: TYPE ~ MACHINE DEPENDENT RECORD [

save: SPARCArchitecture.SPARCInstruction,

callSaveRegs: SPARCArchitecture.SPARCInstruction,

argSaveAreaOnce: SPARCArchitecture.SPARCInstruction,

in the delay slot.

retAddrHi: SPARCArchitecture.SPARCInstruction,

retAddrLo: SPARCArchitecture.SPARCInstruction,

argHiClientData: SPARCArchitecture.SPARCInstruction,

callClientProc: SPARCArchitecture.SPARCInstruction,

argLoClientData: SPARCArchitecture.SPARCInstruction,

in the delay slot.

callRestoreRegs: SPARCArchitecture.SPARCInstruction,

argSaveAreaAgain: SPARCArchitecture.SPARCInstruction,

in the delay slot.

restore: SPARCArchitecture.SPARCInstruction

];