Changeset 645 for Deliverables/D2.2/8051/src/ASM/Pretty.ml

Timestamp:

Mar 7, 2011, 4:04:42 PM (10 years ago)

Author:

ayache

Message:

Pretty output in D2.2.

File:

• Deliverables/D2.2/8051/src/ASM/Pretty.ml (modified) (2 diffs)

Deliverables/D2.2/8051/src/ASM/Pretty.ml

@@ -29 +29 @@
 let pp_jump =
  function
-    `CJNE (`U1 (a1,a2),a3) -> "cjne " ^ pp_arg a1 ^ ", " ^ pp_arg a2 ^ ", " ^ pp_arg a3
-  | `CJNE (`U2 (a1,a2),a3) -> "cjne " ^ pp_arg a1 ^ ", " ^ pp_arg a2 ^ ", " ^ pp_arg a3
-  | `DJNZ (a1,a2) -> "djnz " ^ pp_arg a1 ^ ", " ^ pp_arg a2
-  | `JB (a1,a2) -> "jb " ^ pp_arg a1 ^ ", " ^ pp_arg a2
-  | `JBC (a1,a2) -> "jbc " ^ pp_arg a1 ^ ", " ^ pp_arg a2
-  | `JC a1 -> "jc " ^ pp_arg a1
-  | `JNB (a1,a2) -> "jnb " ^ pp_arg a1 ^ ", " ^ pp_arg a2
-  | `JNC a1 -> "jnc " ^ pp_arg a1
-  | `JNZ a1 -> "jnz " ^ pp_arg a1
-  | `JZ a1 -> "jz  " ^ pp_arg a1
+    `CJNE (`U1 (a1,a2),a3) -> "cjne  " ^ pp_arg a1 ^ ", " ^ pp_arg a2 ^ ", " ^ pp_arg a3
+  | `CJNE (`U2 (a1,a2),a3) -> "cjne  " ^ pp_arg a1 ^ ", " ^ pp_arg a2 ^ ", " ^ pp_arg a3
+  | `DJNZ (a1,a2) -> "djnz  " ^ pp_arg a1 ^ ", " ^ pp_arg a2
+  | `JB (a1,a2) -> "jb    " ^ pp_arg a1 ^ ", " ^ pp_arg a2
+  | `JBC (a1,a2) -> "jbc   " ^ pp_arg a1 ^ ", " ^ pp_arg a2
+  | `JC a1 -> "jc    " ^ pp_arg a1
+  | `JNB (a1,a2) -> "jnb   " ^ pp_arg a1 ^ ", " ^ pp_arg a2
+  | `JNC a1 -> "jnc   " ^ pp_arg a1
+  | `JNZ a1 -> "jnz   " ^ pp_arg a1
+  | `JZ a1 -> "jz    " ^ pp_arg a1
 
 let pp_instruction =
@@ -44 +44 @@
     `Label l -> l ^ ":"
   | `Cost l -> l ^ ":"
-  | `Jmp j -> "ljmp " ^ j
+  | `Jmp j -> "ljmp  " ^ j
   | `Call j -> "lcall " ^ j
   | `WithLabel i -> pp_jump i
-  | `Begin_fun -> "\n; Begin function"
-  | `End_fun -> "; End function\n"
   |  (#jump as i) -> pp_jump i
-  | `Mov (a1,a2) -> "mov " ^ pp_arg a1 ^ ", " ^ a2
+  | `Mov (a1,a2) -> "mov   " ^ pp_arg a1 ^ ", " ^ a2
   | `ACALL a1 -> "acall " ^ pp_arg a1
-  | `ADD (a1,a2) -> "add " ^ pp_arg a1 ^ ", " ^ pp_arg a2
-  | `ADDC (a1,a2) -> "addc " ^ pp_arg a1 ^ ", " ^ pp_arg a2
-  | `AJMP a1 -> "ajmp " ^ pp_arg a1
-  | `ANL (`U1 (a1,a2)) -> "anl " ^ pp_arg a1 ^ ", " ^ pp_arg a2
-  | `ANL (`U2 (a1,a2)) -> "anl " ^ pp_arg a1 ^ ", " ^ pp_arg a2
-  | `ANL (`U3 (a1,a2)) -> "anl " ^ pp_arg a1 ^ ", " ^ pp_arg a2
-  | `CLR a1 -> "clr " ^ pp_arg a1
-  | `CPL a1 -> "cpl " ^ pp_arg a1
-  | `DA a1 -> "da " ^ pp_arg a1
-  | `DEC a1 -> "dec " ^ pp_arg a1
-  | `DIV (a1,a2) -> "div AB"
-  | `INC a1 -> "inc " ^ pp_arg a1
-  | `JMP a1 -> "jmp " ^ pp_arg a1
+  | `ADD (a1,a2) -> "add   " ^ pp_arg a1 ^ ", " ^ pp_arg a2
+  | `ADDC (a1,a2) -> "addc  " ^ pp_arg a1 ^ ", " ^ pp_arg a2
+  | `AJMP a1 -> "ajmp  " ^ pp_arg a1
+  | `ANL (`U1 (a1,a2)) -> "anl   " ^ pp_arg a1 ^ ", " ^ pp_arg a2
+  | `ANL (`U2 (a1,a2)) -> "anl   " ^ pp_arg a1 ^ ", " ^ pp_arg a2
+  | `ANL (`U3 (a1,a2)) -> "anl   " ^ pp_arg a1 ^ ", " ^ pp_arg a2
+  | `CLR a1 -> "clr   " ^ pp_arg a1
+  | `CPL a1 -> "cpl   " ^ pp_arg a1
+  | `DA a1 -> "da    " ^ pp_arg a1
+  | `DEC a1 -> "dec   " ^ pp_arg a1
+  | `DIV (a1,a2) -> "div   AB"
+  | `INC a1 -> "inc   " ^ pp_arg a1
+  | `JMP a1 -> "jmp   " ^ pp_arg a1
   | `LCALL a1 -> "lcall " ^ pp_arg a1
-  | `LJMP a1 -> "ljmp " ^ pp_arg a1
-  | `MOV (`U1 (a1,a2)) -> "mov " ^ pp_arg a1 ^ ", " ^ pp_arg a2
-  | `MOV (`U2 (a1,a2)) -> "mov " ^ pp_arg a1 ^ ", " ^ pp_arg a2
-  | `MOV (`U3 (a1,a2)) -> "mov " ^ pp_arg a1 ^ ", " ^ pp_arg a2
-  | `MOV (`U4 (a1,a2)) -> "mov " ^ pp_arg a1 ^ ", " ^ pp_arg a2
-  | `MOV (`U5 (a1,a2)) -> "mov " ^ pp_arg a1 ^ ", " ^ pp_arg a2
-  | `MOV (`U6 (a1,a2)) -> "mov " ^ pp_arg a1 ^ ", " ^ pp_arg a2
-  | `MOVC (a1,a2) -> "movc " ^ pp_arg a1 ^ ", " ^ pp_arg a2
-  | `MOVX (`U1 (a1,a2)) -> "movx " ^ pp_arg a1 ^ ", " ^ pp_arg a2
-  | `MOVX (`U2 (a1,a2)) -> "movx " ^ pp_arg a1 ^ ", " ^ pp_arg a2
-  | `MUL(a1, a2) -> "mul AB"
+  | `LJMP a1 -> "ljmp  " ^ pp_arg a1
+  | `MOV (`U1 (a1,a2)) -> "mov   " ^ pp_arg a1 ^ ", " ^ pp_arg a2
+  | `MOV (`U2 (a1,a2)) -> "mov   " ^ pp_arg a1 ^ ", " ^ pp_arg a2
+  | `MOV (`U3 (a1,a2)) -> "mov   " ^ pp_arg a1 ^ ", " ^ pp_arg a2
+  | `MOV (`U4 (a1,a2)) -> "mov   " ^ pp_arg a1 ^ ", " ^ pp_arg a2
+  | `MOV (`U5 (a1,a2)) -> "mov   " ^ pp_arg a1 ^ ", " ^ pp_arg a2
+  | `MOV (`U6 (a1,a2)) -> "mov   " ^ pp_arg a1 ^ ", " ^ pp_arg a2
+  | `MOVC (a1,a2) -> "movc  " ^ pp_arg a1 ^ ", " ^ pp_arg a2
+  | `MOVX (`U1 (a1,a2)) -> "movx  " ^ pp_arg a1 ^ ", " ^ pp_arg a2
+  | `MOVX (`U2 (a1,a2)) -> "movx  " ^ pp_arg a1 ^ ", " ^ pp_arg a2
+  | `MUL(a1, a2) -> "mul   AB"
   | `NOP -> "nop"
-  | `ORL (`U1(a1,a2)) -> "orl " ^ pp_arg a1 ^ ", " ^ pp_arg a2
-  | `ORL (`U2(a1,a2)) -> "orl " ^ pp_arg a1 ^ ", " ^ pp_arg a2
-  | `ORL (`U3(a1,a2)) -> "orl " ^ pp_arg a1 ^ ", " ^ pp_arg a2
-  | `POP a1 -> "pop " ^ pp_arg a1
-  | `PUSH a1 -> "push " ^ pp_arg a1
+  | `ORL (`U1(a1,a2)) -> "orl   " ^ pp_arg a1 ^ ", " ^ pp_arg a2
+  | `ORL (`U2(a1,a2)) -> "orl   " ^ pp_arg a1 ^ ", " ^ pp_arg a2
+  | `ORL (`U3(a1,a2)) -> "orl   " ^ pp_arg a1 ^ ", " ^ pp_arg a2
+  | `POP a1 -> "pop   " ^ pp_arg a1
+  | `PUSH a1 -> "push  " ^ pp_arg a1
   | `RET -> "ret"
   | `RETI -> "reti"
-  | `RL a1 -> "rl " ^ pp_arg a1
-  | `RLC a1 -> "rlc " ^ pp_arg a1
-  | `RR a1 -> "rr " ^ pp_arg a1
-  | `RRC a1 -> "rrc " ^ pp_arg a1
-  | `SETB a1 -> "setb " ^ pp_arg a1
-  | `SJMP a1 -> "sjmp " ^ pp_arg a1
-  | `SUBB (a1,a2) -> "subb " ^ pp_arg a1 ^ ", " ^ pp_arg a2
-  | `SWAP a1 -> "swap " ^ pp_arg a1
-  | `XCH (a1,a2) -> "xch " ^ pp_arg a1 ^ ", " ^ pp_arg a2
-  | `XCHD(a1,a2) -> "xchd " ^ pp_arg a1 ^ ", " ^ pp_arg a2
-  | `XRL(`U1(a1,a2)) -> "xrl " ^ pp_arg a1 ^ ", " ^ pp_arg a2
-  | `XRL(`U2(a1,a2)) -> "xrl " ^ pp_arg a1 ^ ", " ^ pp_arg a2
+  | `RL a1 -> "rl    " ^ pp_arg a1
+  | `RLC a1 -> "rlc   " ^ pp_arg a1
+  | `RR a1 -> "rr    " ^ pp_arg a1
+  | `RRC a1 -> "rrc   " ^ pp_arg a1
+  | `SETB a1 -> "setb  " ^ pp_arg a1
+  | `SJMP a1 -> "sjmp  " ^ pp_arg a1
+  | `SUBB (a1,a2) -> "subb  " ^ pp_arg a1 ^ ", " ^ pp_arg a2
+  | `SWAP a1 -> "swap  " ^ pp_arg a1
+  | `XCH (a1,a2) -> "xch   " ^ pp_arg a1 ^ ", " ^ pp_arg a2
+  | `XCHD(a1,a2) -> "xchd  " ^ pp_arg a1 ^ ", " ^ pp_arg a2
+  | `XRL(`U1(a1,a2)) -> "xrl   " ^ pp_arg a1 ^ ", " ^ pp_arg a2
+  | `XRL(`U2(a1,a2)) -> "xrl   " ^ pp_arg a1 ^ ", " ^ pp_arg a2
 
 let print_program p =
   let mem = ASMInterpret.load_code_memory p.ASM.code in
   let f (s, pc) _ =
-    let (inst, new_pc, _) = ASMInterpret.fetch mem pc in
-    (Printf.sprintf "%s%s: %s%s\n"
+    let (inst, new_pc, cost) = ASMInterpret.fetch mem pc in
+    (Printf.sprintf "%s% 6s  %- 18s ;; %d  %s\n"
        s
-       (string_of_int (BitVectors.int_of_vect pc))
+       ((string_of_int (BitVectors.int_of_vect pc)) ^ ":")
        (pp_instruction inst)
+       cost
        (if BitVectors.WordMap.mem pc p.ASM.cost_labels then
-           " ;; (" ^ (BitVectors.WordMap.find pc p.ASM.cost_labels) ^ ")"
+           (BitVectors.WordMap.find pc p.ASM.cost_labels)
         else ""),
      new_pc) in