Ignore:
Timestamp:
Jan 19, 2011, 6:23:27 PM (9 years ago)
Author:
campbell
Message:

Port memory spaces changes to latest prototype compiler.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.3/8051-memoryspaces-branch/cparser/GCC.ml

    r453 r460  
    3131let doubleType = TFloat(FDouble, [])
    3232let longDoubleType = TFloat (FLongDouble, [])
    33 let voidPtrType = TPtr(TVoid [], [])
    34 let voidConstPtrType = TPtr(TVoid [AConst], [])
    35 let charPtrType = TPtr(TInt(IChar, []), [])
    36 let charConstPtrType = TPtr(TInt(IChar, [AConst]), [])
    37 let intPtrType = TPtr(TInt(IInt, []), [])
     33let voidPtrType = TPtr(Any,TVoid [], [])
     34let voidConstPtrType = TPtr(Any,TVoid [AConst], [])
     35let charPtrType = TPtr(Any,TInt(IChar, []), [])
     36let charConstPtrType = TPtr(Any,TInt(IChar, [AConst]), [])
     37let intPtrType = TPtr(Any,TInt(IInt, []), [])
    3838let sizeType = TInt(size_t_ikind, [])
    3939
     
    151151
    152152  "__builtin_modff",  (floatType, [ floatType;
    153                                           TPtr(floatType,[]) ], false);
     153                                          TPtr(Any,floatType,[]) ], false);
    154154  "__builtin_modfl",  (longDoubleType, [ longDoubleType;
    155                                                TPtr(longDoubleType, []) ],
     155                                               TPtr(Any,longDoubleType, []) ],
    156156                             false);
    157157
Note: See TracChangeset for help on using the changeset viewer.