blob: 175dd7e99c20cb75b62fa36a91714f3365508422 (
plain)
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
|
-- Mcode back-end for ortho - X86 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.
package body Ortho_Code.X86 is
function Inverse_Cc (R : O_Reg) return O_Reg is
begin
case R is
when R_Ult =>
return R_Uge;
when R_Uge =>
return R_Ult;
when R_Eq =>
return R_Ne;
when R_Ne =>
return R_Eq;
when R_Ule =>
return R_Ugt;
when R_Ugt =>
return R_Ule;
when R_Slt =>
return R_Sge;
when R_Sge =>
return R_Slt;
when R_Sle =>
return R_Sgt;
when R_Sgt =>
return R_Sle;
when others =>
raise Program_Error;
end case;
end Inverse_Cc;
function Get_R64_High (Reg : Regs_R64) return Regs_R32 is
begin
case Reg is
when R_Edx_Eax =>
return R_Dx;
when R_Ebx_Ecx =>
return R_Bx;
when R_Esi_Edi =>
return R_Si;
end case;
end Get_R64_High;
function Get_R64_Low (Reg : Regs_R64) return Regs_R32 is
begin
case Reg is
when R_Edx_Eax =>
return R_Ax;
when R_Ebx_Ecx =>
return R_Cx;
when R_Esi_Edi =>
return R_Di;
end case;
end Get_R64_Low;
function Ekind_Unsigned_To_Cc (Kind : OE_Kind_Cmp) return O_Reg is
begin
case Kind is
when OE_Eq =>
return R_Eq;
when OE_Neq =>
return R_Ne;
when OE_Lt =>
return R_Ult;
when OE_Le =>
return R_Ule;
when OE_Gt =>
return R_Ugt;
when OE_Ge =>
return R_Uge;
end case;
end Ekind_Unsigned_To_Cc;
function Ekind_Signed_To_Cc (Kind : OE_Kind_Cmp) return O_Reg is
begin
case Kind is
when OE_Eq =>
return R_Eq;
when OE_Neq =>
return R_Ne;
when OE_Lt =>
return R_Slt;
when OE_Le =>
return R_Sle;
when OE_Gt =>
return R_Sgt;
when OE_Ge =>
return R_Sge;
end case;
end Ekind_Signed_To_Cc;
end Ortho_Code.X86;
|
