- Timestamp:
- Apr 1, 2011, 4:14:28 PM (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/LIN/LINToASM.ma
r723 r734 34 34 [ Joint_St_Sequential instr' _ ⇒ 35 35 match instr' with 36 [ Joint_Instr_Goto lbl ⇒ set_insert ? lbl (set_empty ?) 37 | Joint_Instr_CostLabel lbl ⇒ set_insert ? lbl (set_empty ?) 36 [ Joint_Instr_CostLabel lbl ⇒ set_insert ? lbl (set_empty ?) 38 37 | Joint_Instr_CondAcc lbl ⇒ set_insert ? lbl (set_empty ?) 39 38 | _ ⇒ set_empty ? 40 39 ] 40 | Joint_St_Goto lbl ⇒ set_insert ? lbl (set_empty ?) 41 41 | Joint_St_Return ⇒ set_empty ? 42 42 ] in … … 89 89 match statement with 90 90 [ Joint_St_Return ⇒ Instruction (RET ?) 91 | Joint_St_Sequential instr _⇒ 91 | Joint_St_Goto lbl ⇒ Jmp lbl 92 | Joint_St_Sequential instr _ ⇒ 92 93 match instr with 93 [ Joint_Instr_Goto lbl ⇒ Jmp lbl 94 | Joint_Instr_Comment comment ⇒ Comment comment 94 [ Joint_Instr_Comment comment ⇒ Comment comment 95 95 | Joint_Instr_CostLabel lbl ⇒ Cost lbl 96 96 | Joint_Instr_Pop ⇒ Instruction (POP ? accumulator_address)
Note: See TracChangeset
for help on using the changeset viewer.