gcc/c-family/c-upc-gasp.h

   1 /* c-upc-gasp.h: GASP instrumentation API.
   2    Copyright (C) 2009, 2010, 2011
   3    Free Software Foundation, Inc.
   4    Contributed by Gary Funck <gary@intrepid.com>
   5      and Nenad Vukicevic <nenad@intrepid.com>.
   6
   7 This file is part of GCC.
   8
   9 GCC is free software; you can redistribute it and/or modify
  10 it under the terms of the GNU General Public License as published by
  11 the Free Software Foundation; either version 3, or (at your option)
  12 any later version.
  13
  14 GCC is distributed in the hope that it will be useful,
  15 but WITHOUT ANY WARRANTY; without even the implied warranty of
  16 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  17 GNU General Public License for more details.
  18
  19 You should have received a copy of the GNU General Public License
  20 along with GCC; see the file COPYING3.  If not see
  21 <http://www.gnu.org/licenses/>.  */
  22
  23 #ifndef GCC_C_FAMILY_UPC_GASP_H
  24 #define GCC_C_FAMILY_UPC_GASP_H 1
  25
  26 extern int disable_pupc_mode(void);
  27 extern int get_upc_pupc_mode(void);
  28 extern tree upc_gasp_add_src_args (tree, const char *, int);
  29 extern tree upc_instrument_forall (location_t, int);
  30 extern void set_pupc_mode(int);
  31 extern void upc_instrument_func (tree);
  32
  33 #endif /* !GCC_C_FAMILY_UPC_GASP_H */