1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
|
/*
Copyright (C) 2006-2009 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 2, 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.
You should have received a copy of the GNU General Public License
along with GCC; see the file COPYING. If not, write to the Free
Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA
02110-1301, USA.
Authors:
Andrea Ornstein
Erven Rohou
Gabriele Svelto
Contact information at STMicroelectronics:
Andrea C. Ornstein <andrea.ornstein@st.com>
Contact information at INRIA:
Erven Rohou <erven.rohou@inria.fr>
*/
/* The format of this file is
CIL_TYPEDEF(CIL_symbol,printable name)
Where symbol is the enumeration name without the ``CIL_''.
*/
CIL_TYPEDEF(CIL_NO_TYPE,"no type??")
CIL_TYPEDEF(CIL_INT8,"int8") /* Signed 8-bit integer */
CIL_TYPEDEF(CIL_INT16,"int16") /* Signed 16-bit integer */
CIL_TYPEDEF(CIL_INT32,"int32") /* Signed 32-bit integer */
CIL_TYPEDEF(CIL_INT64,"int64") /* Signed 64-bit integer */
CIL_TYPEDEF(CIL_NATIVE_INT,"native_int") /* Signed native integer */
CIL_TYPEDEF(CIL_UNSIGNED_INT8,"uint8") /* Unsigned 8-bit integer */
CIL_TYPEDEF(CIL_UNSIGNED_INT16,"uint16") /* Unsigned 16-bit integer */
CIL_TYPEDEF(CIL_UNSIGNED_INT32,"uint32") /* Unsigned 32-bit integer */
CIL_TYPEDEF(CIL_UNSIGNED_INT64,"uint64") /* Unsigned 64-bit integer */
CIL_TYPEDEF(CIL_NATIVE_UNSIGNED_INT,"native_uint") /* Unsigned native integer */
CIL_TYPEDEF(CIL_FLOAT,"float") /* On-stack floating-point type*/
CIL_TYPEDEF(CIL_FLOAT32,"float32") /* Single precision floating-point */
CIL_TYPEDEF(CIL_FLOAT64,"float64") /* Double precision floating-point */
CIL_TYPEDEF(CIL_POINTER,"pointer") /* Generic pointer */
CIL_TYPEDEF(CIL_VALUE_TYPE,"value_type") /* Generic value type */
/* 4-byte vector types */
CIL_TYPEDEF(CIL_V2HI,"v2hi") /* Vector of 2 16-bit integers */
CIL_TYPEDEF(CIL_V4QI,"v4qi") /* Vector of 4 8-bit integers */
/* 8-byte vector types */
CIL_TYPEDEF(CIL_V2SI,"v2si") /* Vector of 2 32-bit integers */
CIL_TYPEDEF(CIL_V4HI,"v4hi") /* Vector of 4 16-bit integers */
CIL_TYPEDEF(CIL_V8QI,"v8qi") /* Vector of 8 8-bit integers */
CIL_TYPEDEF(CIL_V2SF,"v2sf") /* Vector of 2 32-bit single precision floats */
/* 16-byte vector types */
CIL_TYPEDEF(CIL_V2DI,"v2di") /* Vector of 2 64-bit integers */
CIL_TYPEDEF(CIL_V4SI,"v4si") /* Vector of 4 32-bit integers */
CIL_TYPEDEF(CIL_V8HI,"v8hi") /* Vector of 8 16-bit integers */
CIL_TYPEDEF(CIL_V16QI,"v16qi") /* Vector of 16 8-bit integers */
CIL_TYPEDEF(CIL_V2DF,"v2df") /* Vector of 2 64-bit double precision floats */
CIL_TYPEDEF(CIL_V4SF,"v4sf") /* Vector of 4 32-bit single precision floats */
|