Changeset 2321 for Deliverables/D2.2/8051-toolstick/src/RTLabs/RTLabsToRTL.ml

Timestamp:

Sep 3, 2012, 4:44:08 PM (9 years ago)

Author:

campbell

Message:

Add toolstick branch of the prototype.

Location:

Deliverables/D2.2/8051-toolstick

Files:

• . (copied) (copied from Deliverables/D2.2/8051)
• src/RTLabs/RTLabsToRTL.ml (modified) (1 diff)

Deliverables/D2.2/8051-toolstick/src/RTLabs/RTLabsToRTL.ml

@@ -422 +422 @@
       let insts_rest = List.map f_rest rest in
       let insts = firsts @ insts_rest in
+      (* Set the carry flag if >0, then dump that in the destination *)
+      let squash_result =
+        [RTL.St_op2 (I8051.Add, destr, RTL.Reg destr, RTL.Imm 255, start_lbl);
+         RTL.St_op2 (I8051.Addc, destr, RTL.Imm 0, RTL.Imm 0, start_lbl)] in
       let epilogue = translate_cst (AST.Cst_int 0) destrs in
-      add_translates [ adds_graph insts ; epilogue] start_lbl dest_lbl def
+      add_translates [ adds_graph (insts @ squash_result); epilogue]
+        start_lbl dest_lbl def
 
 (* this requires destrs to be either 0 or 1 to be truly correct