Changeset 962 for src/Clight/toCminor.ma


Ignore:
Timestamp:
Jun 15, 2011, 4:15:54 PM (9 years ago)
Author:
campbell
Message:

Casts should use source type's signedness, not the target's.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Clight/toCminor.ma

    r961 r962  
    346346[ Tint sz1 sg1 ⇒ λe.
    347347    match ty2 return λx.res (CMexpr (typ_of_type x)) with
    348     [ Tint sz2 sg2 ⇒ OK ? (Op1 ?? (Ocastint sz2 sg2) e)
     348    [ Tint sz2 sg2 ⇒ OK ? (Op1 ?? (Ocastint sg1 sz2) e)
    349349    | Tfloat sz2 ⇒ OK ? (Op1 ?? (match sg1 with [ Unsigned ⇒ Ofloatofintu | _ ⇒ Ofloatofint]) e)
    350350    | Tpointer r _ ⇒ OK ? (Op1 ?? (Optrofint r) e)
Note: See TracChangeset for help on using the changeset viewer.