Changeset 776 for src/Cminor


Ignore:
Timestamp:
Apr 27, 2011, 11:47:40 AM (9 years ago)
Author:
campbell
Message:

Fix up some minor null pointer issues in Clight.
Add corresponding Cminor example and fix up pretty printer a little.

Location:
src/Cminor
Files:
1 added
1 edited

Legend:

Unmodified
Added
Removed
  • src/Cminor/cminorMatitaPrinter.ml

    r758 r776  
    8484  | AST.Op_cmpf cmp -> "(Ocmpf " ^ (print_cmp cmp) ^ ")"
    8585  | AST.Op_addp -> "Oaddp"
    86   | AST.Op_subp -> "Osubp"
    87   | AST.Op_cmpp cmp -> (print_cmp cmp) ^ "Ocmpp"
     86  | AST.Op_subp -> "Osubpi" (* FIXME: there should be separate subpi and subpp ops*)
     87  | AST.Op_cmpp cmp -> "(Ocmpp " ^ (print_cmp cmp) ^ ")"
    8888
    8989let rec define_expr_labels = function
Note: See TracChangeset for help on using the changeset viewer.