cprover
Loading...
Searching...
No Matches
gcc_builtin_headers_types_gcc7plus.h
Go to the documentation of this file.
1
typedef
_Float16
__gcc_v8hf
__attribute__
((
__vector_size__
(16)));
2
typedef
_Float16
__gcc_v16hf
__attribute__
((
__vector_size__
(32)));
3
typedef
_Float16
__gcc_v32hf
__attribute__
((
__vector_size__
(64)));
ait
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition
ai.h:563
__attribute__
_Float16 __gcc_v8hf __attribute__((__vector_size__(16)))
Definition
gcc_builtin_headers_types_gcc7plus.h:1
ansi-c
compiler_headers
gcc_builtin_headers_types_gcc7plus.h
Generated by
1.10.0