gcc/config/windiss.h

   1 /* Support for GCC using WindISS simulator.
   2    Copyright (C) 2003, 2007 Free Software Foundation, Inc.
   3    Contributed by CodeSourcery, LLC.
   4
   5 This file is part of GCC.
   6
   7 GCC is free software; you can redistribute it and/or modify
   8 it under the terms of the GNU General Public License as published by
   9 the Free Software Foundation; either version 3, or (at your option)
  10 any later version.
  11
  12 GCC is distributed in the hope that it will be useful,
  13 but WITHOUT ANY WARRANTY; without even the implied warranty of
  14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  15 GNU General Public License for more details.
  16
  17 You should have received a copy of the GNU General Public License
  18 along with GCC; see the file COPYING3.  If not see
  19 <http://www.gnu.org/licenses/>.  */
  20
  21
  22 /* windiss uses wchar_t == unsigned short (UCS2) on all architectures.  */
  23 #undef WCHAR_TYPE
  24 #define WCHAR_TYPE "short unsigned int"
  25 #undef WCHAR_TYPE_SIZE
  26 #define WCHAR_TYPE_SIZE 16
  27
  28 /* windiss has wint_t == int */
  29 #undef WINT_TYPE
  30 #define WINT_TYPE "int"
  31
  32 /* No profiling.  */
  33 #undef  FUNCTION_PROFILER
  34 #define FUNCTION_PROFILER(FILE, LABELNO)     \
  35 {                                            \
  36   sorry ("profiler support for WindISS");    \
  37 }