Closed sc-sw-publisher closed 2 months ago
[snippy] Account spill of the real stack pointer
Stack pointer role can be given to an arbitrary callee-saved register. In this case a spill (and fill) of this register is necessary. This spill must be accounted when we initialize a model for a tracking mode (selfcheck, backtrack, data hazards).
[snippy] Account spill of the real stack pointer
Stack pointer role can be given to an arbitrary callee-saved register. In this case a spill (and fill) of this register is necessary. This spill must be accounted when we initialize a model for a tracking mode (selfcheck, backtrack, data hazards).