]> oss.titaniummirror.com Git - msp430-gcc.git/blobdiff - gcc/config/sh/sshmedia.h
Imported gcc-4.4.3
[msp430-gcc.git] / gcc / config / sh / sshmedia.h
index d7ef4564e84d1394c92a07e000c56590a2d2c1c3..f8245042a7e444635bc53878f7326703417fd58c 100644 (file)
@@ -1,28 +1,26 @@
-/* Copyright (C) 2000, 2001 Free Software Foundation, Inc.
+/* Copyright (C) 2000, 2001, 2009 Free Software Foundation, Inc.
 
-This file is part of GNU CC.
+This file is part of GCC.
 
-GNU CC is free software; you can redistribute it and/or modify
+GCC is free software; you can redistribute it and/or modify
 it under the terms of the GNU General Public License as published by
-the Free Software Foundation; either version 2, or (at your option)
+the Free Software Foundation; either version 3, or (at your option)
 any later version.
 
-GNU CC is distributed in the hope that it will be useful,
+GCC is distributed in the hope that it will be useful,
 but WITHOUT ANY WARRANTY; without even the implied warranty of
 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 GNU General Public License for more details.
 
-You should have received a copy of the GNU General Public License
-along with GNU CC; see the file COPYING.  If not, write to
-the Free Software Foundation, 59 Temple Place - Suite 330,
-Boston, MA 02111-1307, USA.  */
+Under Section 7 of GPL version 3, you are granted additional
+permissions described in the GCC Runtime Library Exception, version
+3.1, as published by the Free Software Foundation.
+
+You should have received a copy of the GNU General Public License and
+a copy of the GCC Runtime Library Exception along with this program;
+see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see
+<http://www.gnu.org/licenses/>.  */
 
-/* As a special exception, if you include this header file into source
-   files compiled by GCC, this header file does not by itself cause
-   the resulting executable to be covered by the GNU General Public
-   License.  This exception does not however invalidate any other
-   reasons why the executable file might be covered by the GNU General
-   Public License.  */
 
 /* sshmedia.h: Intrinsics corresponding to SHmedia instructions that
    may only be executed in privileged mode.  */
@@ -31,6 +29,9 @@ Boston, MA 02111-1307, USA.  */
 #define _SSHMEDIA_H
 
 #if __SHMEDIA__
+__inline__ static unsigned long long sh_media_GETCON (unsigned int k)
+  __attribute__((always_inline));
+
 __inline__ static
 unsigned long long
 sh_media_GETCON (unsigned int k)
@@ -40,6 +41,9 @@ sh_media_GETCON (unsigned int k)
   return res;
 }
 
+__inline__ static void sh_media_PUTCON (unsigned long long mm, unsigned int k)
+  __attribute__((always_inline));
+
 __inline__ static
 void
 sh_media_PUTCON (unsigned long long mm, unsigned int k)