Ignore:
Timestamp:
Feb 6, 2013, 6:39:21 PM (7 years ago)
Author:
campbell
Message:

Properly evict unused and axiomatised Floats.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/common/Globalenvs.ma

    r2608 r2624  
    208208  | Init_int16 n ⇒ store (ASTint I16 Unsigned) m ptr (Vint I16 n)
    209209  | Init_int32 n ⇒ store (ASTint I32 Unsigned) m ptr (Vint I32 n)
    210   | Init_float32 n ⇒ None ? (*store (ASTfloat F32) m ptr (Vfloat n)*)
    211   | Init_float64 n ⇒ None ? (*store (ASTfloat F64) m ptr (Vfloat n) *)
     210  (*| Init_float32 n ⇒ None ? (*store (ASTfloat F32) m ptr (Vfloat n)*)
     211  | Init_float64 n ⇒ None ? (*store (ASTfloat F64) m ptr (Vfloat n) *)*)
    212212  | Init_addrof (*r'*) symb ofs ⇒
    213213      match find_symbol … ge symb with
     
    230230  | Init_int16 _ ⇒ 2
    231231  | Init_int32 _ ⇒ 4
    232   | Init_float32 _ ⇒ 4
    233   | Init_float64 _ ⇒ 8
     232  (*| Init_float32 _ ⇒ 4
     233  | Init_float64 _ ⇒ 8*)
    234234  | Init_space n ⇒ max n 0
    235235  | Init_null (*r*) ⇒ size_pointer (*r*)
Note: See TracChangeset for help on using the changeset viewer.