Changeset 1060 for src/common


Ignore:
Timestamp:
Jul 8, 2011, 12:17:14 PM (8 years ago)
Author:
mulligan
Message:

work from this morning and yesterday

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/common/AST.ma

    r1059 r1060  
    5656*)
    5757
     58
    5859(* Memory spaces *)
    5960
     
    102103  | I16: intsize
    103104  | I32: intsize.
     105
     106(* unary operations used in the backend intermediate languages, there's also a separate
     107   type for unary operations at the assembly level in ASM/I8051.ma *)
     108inductive intermediate_op1: Type[0] ≝
     109  | intermediate_op1_cast: nat → signedness → nat → intermediate_op1 (**r size in bytes, signedness, to size *)
     110  | intermediate_op1_negint: intermediate_op1           (**r integer opposite *)
     111  | intermediate_op1_notbool: intermediate_op1          (**r boolean negation  *)
     112  | intermediate_op1_notint: intermediate_op1           (**r bitwise complement  *)
     113  | intermediate_op1_id: intermediate_op1               (**r identity *)
     114  | intermediate_op1_ptrofint: intermediate_op1         (**r int to pointer *)
     115  | intermediate_op1_intofptr: intermediate_op1.        (**r pointer to int *)
    104116
    105117(* * Float types come in two sizes: 32 bits (single precision)
Note: See TracChangeset for help on using the changeset viewer.