Changeset 961 for src/Cminor/toRTLabs.ma


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

Use precise bitvector sizes throughout the front end, rather than 32bits
everywhere.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Cminor/toRTLabs.ma

    r888 r961  
    210210      do f ← add_fresh_to_graph (St_cond br l_case) f;
    211211      do f ← add_fresh_to_graph (St_op2 (Ocmpu Ceq) (* signed? *) br r cr) f;
    212       add_fresh_to_graph (St_const cr (Ointconst i)) f) (OK ? f) tab;
     212      add_fresh_to_graph (St_const cr (Ointconst ? i)) f) (OK ? f) tab;
    213213    add_expr env ? e r f
    214214| St_return opt_e ⇒
Note: See TracChangeset for help on using the changeset viewer.