Changeset 2664 for src/ASM/ASMCosts.ma


Ignore:
Timestamp:
Feb 14, 2013, 12:01:13 AM (7 years ago)
Author:
sacerdot
Message:

Tailcall case implemented (it does not happen ATM).

File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/ASM/ASMCosts.ma

    r2656 r2664  
    638638    #trace_ends_flag_refl #start_status_refl #final_status_refl #the_trace_refl
    639639    destruct @⊥
    640   |4: (* XXX *)
    641     cases daemon
     640  |4:
     641    #status_pre_fun_call #status_start_fun_call #status_final #execute_assm
     642    #classifier_assm
     643    @⊥ normalize in classifier_assm;
     644    cases (classify_instruction ?) in classifier_assm; normalize nodelta
     645    try (#_ #abs) try #abs destruct
    642646  |5:
    643647    #end_flag #status_pre_fun_call #status_start_fun_call #status_after_fun_call
Note: See TracChangeset for help on using the changeset viewer.