Changeset 816 for src/Clight/Csem.ma


Ignore:
Timestamp:
May 19, 2011, 3:06:42 PM (9 years ago)
Author:
campbell
Message:

Clight to Cminor compilation, modulo switch statements, temporary
generation, 32 to 8 bit translation and miscellaneous bugs.

Also, remove (unused) signatures from function call statements in Cminor
and RTLabs; and separate comparison of integers and pointers in Clight
semantics.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Clight/Csem.ma

    r776 r816  
    322322        | _ ⇒ None ? ]
    323323      | _ ⇒ None ? ]
    324   | cmp_case_ipip
     324  | cmp_case_ii
    325325      match v1 with
    326326      [ Vint n1 ⇒ match v2 with
     
    328328         | _ ⇒ None ?
    329329         ]
    330       | Vptr r1 b1 p1 ofs1 ⇒
     330      | _ ⇒ None ?     
     331      ]
     332  | cmp_case_pp ⇒
     333      match v1 with
     334      [ Vptr r1 b1 p1 ofs1 ⇒
    331335        match v2 with
    332336        [ Vptr r2 b2 p2 ofs2 ⇒
Note: See TracChangeset for help on using the changeset viewer.