Ignore:
Timestamp:
Oct 16, 2011, 7:42:25 PM (9 years ago)
Author:
sacerdot
Message:
  • fetch_ra taken out of pop_frame again since it is used uniformly and it is also required for is_final
  • fetch_ra made abstract since it gets a different implementation in RTL
  • old fetch_ra renamed into load_ra (to match the save_ra name)
File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/joint/SemanticUtils.ma

    r1383 r1384  
    6161  do p ← pointer_of_address (pc … st) ;
    6262  let b ≝ pblock p in
    63   do l ← label_of_pointer p;
    6463  do def ← opt_to_res ? [MSG BadProgramCounter] (find_funct_ptr … ge b) ;
    6564  match def with
    6665  [ Internal def' ⇒
     66     do l ← label_of_pointer p;
    6767     opt_to_res ? [MSG BadProgramCounter] (lookup ?? (joint_if_code … def') l)
    6868  | External _ ⇒ Error … [MSG BadProgramCounter]].
Note: See TracChangeset for help on using the changeset viewer.