diff options
Diffstat (limited to 'lib/gcc/x86_64-linux-android/4.9.x/include/rdseedintrin.h')
-rw-r--r-- | lib/gcc/x86_64-linux-android/4.9.x/include/rdseedintrin.h | 66 |
1 files changed, 0 insertions, 66 deletions
diff --git a/lib/gcc/x86_64-linux-android/4.9.x/include/rdseedintrin.h b/lib/gcc/x86_64-linux-android/4.9.x/include/rdseedintrin.h deleted file mode 100644 index 0ab18e5..0000000 --- a/lib/gcc/x86_64-linux-android/4.9.x/include/rdseedintrin.h +++ /dev/null @@ -1,66 +0,0 @@ -/* Copyright (C) 2012-2014 Free Software Foundation, Inc. - - This file is part of GCC. - - 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 3, or (at your option) - any later version. - - 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. - - 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/>. */ - -#if !defined _X86INTRIN_H_INCLUDED -# error "Never use <rdseedintrin.h> directly; include <x86intrin.h> instead." -#endif - -#ifndef _RDSEEDINTRIN_H_INCLUDED -#define _RDSEEDINTRIN_H_INCLUDED - -#ifndef __RDSEED__ -#pragma GCC push_options -#pragma GCC target("rdseed") -#define __DISABLE_RDSEED__ -#endif /* __RDSEED__ */ - - -extern __inline int -__attribute__((__gnu_inline__, __always_inline__, __artificial__)) -_rdseed16_step (unsigned short *p) -{ - return __builtin_ia32_rdseed_hi_step (p); -} - -extern __inline int -__attribute__((__gnu_inline__, __always_inline__, __artificial__)) -_rdseed32_step (unsigned int *p) -{ - return __builtin_ia32_rdseed_si_step (p); -} - -#ifdef __x86_64__ -extern __inline int -__attribute__((__gnu_inline__, __always_inline__, __artificial__)) -_rdseed64_step (unsigned long long *p) -{ - return __builtin_ia32_rdseed_di_step (p); -} -#endif - -#ifdef __DISABLE_RDSEED__ -#undef __DISABLE_RDSEED__ -#pragma GCC pop_options -#endif /* __DISABLE_RDSEED__ */ - -#endif /* _RDSEEDINTRIN_H_INCLUDED */ |