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
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
|
-- Mcode back-end for ortho - common definitions.
-- Copyright (C) 2006 Tristan Gingold
--
-- GHDL 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.
--
-- GHDL 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, 59 Temple Place - Suite 330, Boston, MA
-- 02111-1307, USA.
with Ada.Unchecked_Conversion;
package Ortho_Code is
type Int32 is range -(2 ** 31) .. (2 ** 31) - 1;
type Uns32 is mod 2 ** 32;
type Uns64 is mod 2 ** 64;
function Shift_Right (L : Uns64; R : Natural) return Uns64;
function Shift_Right (L : Uns32; R : Natural) return Uns32;
pragma Import (Intrinsic, Shift_Right);
function Shift_Right_Arithmetic (L : Uns32; R : Natural) return Uns32;
pragma Import (Intrinsic, Shift_Right_Arithmetic);
function Shift_Left (L : Uns32; R : Natural) return Uns32;
pragma Import (Intrinsic, Shift_Left);
type O_Tnode is new Int32;
for O_Tnode'Size use 32;
O_Tnode_Null : constant O_Tnode := 0;
O_Tnode_First : constant O_Tnode := 2;
-- A generic pointer.
-- This is used by static chains.
O_Tnode_Ptr : constant O_Tnode := 2;
type O_Cnode is new Int32;
for O_Cnode'Size use 32;
O_Cnode_Null : constant O_Cnode := 0;
type O_Dnode is new Int32;
for O_Dnode'Size use 32;
O_Dnode_Null : constant O_Dnode := 0;
O_Dnode_First : constant O_Dnode := 2;
type O_Enode is new Int32;
for O_Enode'Size use 32;
O_Enode_Null : constant O_Enode := 0;
O_Enode_Err : constant O_Enode := 1;
type O_Fnode is new Int32;
for O_Fnode'Size use 32;
O_Fnode_Null : constant O_Fnode := 0;
type O_Lnode is new Int32;
for O_Lnode'Size use 32;
O_Lnode_Null : constant O_Lnode := 0;
type O_Ident is new Int32;
O_Ident_Nul : constant O_Ident := 0;
function To_Int32 is new Ada.Unchecked_Conversion
(Source => Uns32, Target => Int32);
function To_Uns32 is new Ada.Unchecked_Conversion
(Source => Int32, Target => Uns32);
-- Specifies the storage kind of a declaration.
-- O_STORAGE_EXTERNAL:
-- The declaration do not either reserve memory nor generate code, and
-- is imported either from an other file or from a later place in the
-- current file.
-- O_STORAGE_PUBLIC, O_STORAGE_PRIVATE:
-- The declaration reserves memory or generates code.
-- With O_STORAGE_PUBLIC, the declaration is exported outside of the
-- file while with O_STORAGE_PRIVATE, the declaration is local to the
-- file.
type O_Storage is (O_Storage_External,
O_Storage_Public,
O_Storage_Private,
O_Storage_Local);
-- Depth of a declaration.
-- 0 for top-level,
-- 1 for declared in a top-level subprogram
type O_Depth is range 0 .. (2 ** 16) - 1;
O_Toplevel : constant O_Depth := 0;
-- BE representation of a register.
type O_Reg is mod 256;
R_Nil : constant O_Reg := 0;
type Mode_Type is (Mode_U8, Mode_U16, Mode_U32, Mode_U64,
Mode_I8, Mode_I16, Mode_I32, Mode_I64,
Mode_X1, Mode_Nil, Mode_F32, Mode_F64,
Mode_B2, Mode_Blk, Mode_P32, Mode_P64);
subtype Mode_Uns is Mode_Type range Mode_U8 .. Mode_U64;
subtype Mode_Int is Mode_Type range Mode_I8 .. Mode_I64;
subtype Mode_Fp is Mode_Type range Mode_F32 .. Mode_F64;
-- Mode_Ptr : constant Mode_Type := Mode_P32;
type ON_Op_Kind is
(
-- Not an operation; invalid.
ON_Nil,
-- Dyadic operations.
ON_Add_Ov, -- ON_Dyadic_Op_Kind
ON_Sub_Ov, -- ON_Dyadic_Op_Kind
ON_Mul_Ov, -- ON_Dyadic_Op_Kind
ON_Div_Ov, -- ON_Dyadic_Op_Kind
ON_Rem_Ov, -- ON_Dyadic_Op_Kind
ON_Mod_Ov, -- ON_Dyadic_Op_Kind
-- Binary operations.
ON_And, -- ON_Dyadic_Op_Kind
ON_Or, -- ON_Dyadic_Op_Kind
ON_Xor, -- ON_Dyadic_Op_Kind
-- Monadic operations.
ON_Not, -- ON_Monadic_Op_Kind
ON_Neg_Ov, -- ON_Monadic_Op_Kind
ON_Abs_Ov, -- ON_Monadic_Op_Kind
-- Comparaisons
ON_Eq, -- ON_Compare_Op_Kind
ON_Neq, -- ON_Compare_Op_Kind
ON_Le, -- ON_Compare_Op_Kind
ON_Lt, -- ON_Compare_Op_Kind
ON_Ge, -- ON_Compare_Op_Kind
ON_Gt -- ON_Compare_Op_Kind
);
subtype ON_Dyadic_Op_Kind is ON_Op_Kind range ON_Add_Ov .. ON_Xor;
subtype ON_Monadic_Op_Kind is ON_Op_Kind range ON_Not .. ON_Abs_Ov;
subtype ON_Compare_Op_Kind is ON_Op_Kind range ON_Eq .. ON_Gt;
Syntax_Error : exception;
end Ortho_Code;
|
