Changeset 962 for src/common


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/common/FrontEndOps.ma

    r961 r962  
    2727
    2828inductive unary_operation : Type[0] ≝
    29   | Ocastint: intsize → signedness → unary_operation (**r 8-bit zero extension *)
     29  | Ocastint: signedness → intsize → unary_operation (**r integer casts *)
    3030  | Onegint: unary_operation               (**r integer opposite *)
    3131  | Onotbool: unary_operation              (**r boolean negation  *)
     
    9191λop,arg.
    9292  match op with
    93   [ Ocastint sz sg
     93  [ Ocastint sg sz
    9494      match sg with
    9595      [ Unsigned ⇒ Some ? (zero_ext sz arg)
Note: See TracChangeset for help on using the changeset viewer.