Changes between Version 2 and Version 3 of LightweightCCSCallStack


Ignore:
Timestamp:
Oct 16, 2007 11:02:45 PM (8 years ago)
Author:
mnislaih
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • LightweightCCSCallStack

    v2 v3  
    5656Following the semantics, we must restore the CCS after the scrutinee of a case statement has been entered. I.e. we should duplicate the CCS stack top before entering the scrutinee, and pop out before continuing to the alternatives. We are not very sure on how to do this, but the current plan is the following.  
    5757 
    58  1. When we see a PUSH_ALT instruction, we duplicate the stack. 
    59  1. After that, we know that the scrutinee will be entered, with a continuation. We modify the code generated for this continuation so that it will pushes a POP_CCS in the GHC stack.  
     58 1. When we see a PUSH_ALT instruction, we do a DUP_STACK in the CCS stack. 
     59 1. After that, we know that the scrutinee will be entered, with a continuation. We modify the code generated for this continuation so that it will pushes a POP_CCS in the GHC stack. 
    6060 
    6161POP_CCS will be some piece of code that will pop the CCS stack.