1 files changed, 137 insertions, 0 deletions
diff --git a/ortho/mcode/ortho_code-x86.ads b/ortho/mcode/ortho_code-x86.ads
new file mode 100644
index 0000000..235f1c1
--- /dev/null
+++ b/ortho/mcode/ortho_code-x86.ads
@@ -0,0 +1,137 @@
+--  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.
+with Ortho_Code.Exprs; use Ortho_Code.Exprs;
+
+package Ortho_Code.X86 is
+   --  Registers.
+   R_Nil : constant O_Reg := 0;
+
+   --  Not a value.  Used for statements.
+   R_None : constant O_Reg := 1;
+
+   --  Memory.
+   R_Mem : constant O_Reg := 2;
+
+   --  Spilled out.
+   R_Spill : constant O_Reg := 3;
+
+   --  Register or memory.
+   --  THis can only be requested.
+   R_Rm : constant O_Reg := 48;
+
+   --  Immediat
+   R_Imm : constant O_Reg := 49;
+
+   --  Immediat, register or memory.
+   --  This can be requested.
+   R_Irm : constant O_Reg := 50;
+
+   --  Immediat or register.
+   --  This can be requested.
+   R_Ir : constant O_Reg := 51;
+
+   --  BASE + OFFSET
+   R_B_Off : constant O_Reg := 52;
+
+   --  BASE+INDEX*SCALE+OFFSET
+   --  This can be requested.
+   R_Sib : constant O_Reg := 53;
+
+   --  INDEX*SCALE + OFFSET
+   --  This can be requested.
+   R_I_Off : constant O_Reg := 54;
+
+   --  BASE + INDEX*SCALE
+   R_B_I : constant O_Reg := 55;
+
+   --  INDEX*SCALE
+   R_I : constant O_Reg := 56;
+
+   subtype Regs_Imm32 is O_Reg range R_Irm .. R_I_Off;
+
+   R_Any8 : constant O_Reg := 6;
+   R_Any32 : constant O_Reg := 7;
+   R_Ax : constant O_Reg := 8;
+   R_Cx : constant O_Reg := 9;
+   R_Dx : constant O_Reg := 10;
+   R_Bx : constant O_Reg := 11;
+   R_Sp : constant O_Reg := 12;
+   R_Bp : constant O_Reg := 13;
+   R_Si : constant O_Reg := 14;
+   R_Di : constant O_Reg := 15;
+
+   subtype Regs_R8 is O_Reg range R_Ax .. R_Bx;
+   subtype Regs_R32 is O_Reg range R_Ax .. R_Di;
+
+   R_St0 : constant O_Reg := 16;
+   R_St1 : constant O_Reg := 17;
+   R_St2 : constant O_Reg := 18;
+   R_St3 : constant O_Reg := 19;
+   R_St4 : constant O_Reg := 20;
+   R_St5 : constant O_Reg := 21;
+   R_St6 : constant O_Reg := 22;
+   R_St7 : constant O_Reg := 23;
+   --R_Any_Fp : constant O_Reg := 24;
+
+   subtype Regs_Fp is O_Reg range R_St0 .. R_St7;
+
+   --  Any condition register.
+   R_Any_Cc : constant O_Reg := 32;
+   R_Ov : constant O_Reg := 32;
+   R_Ult : constant O_Reg := 34;
+   R_Uge : constant O_Reg := 35;
+   R_Eq : constant O_Reg := 36;
+   R_Ne : constant O_Reg := 37;
+   R_Ule : constant O_Reg := 38;
+   R_Ugt : constant O_Reg := 39;
+   R_Slt : constant O_Reg := 44;
+   R_Sge : constant O_Reg := 45;
+   R_Sle : constant O_Reg := 46;
+   R_Sgt : constant O_Reg := 47;
+
+   subtype Regs_Cc is O_Reg range R_Ov .. R_Sgt;
+
+   R_Edx_Eax : constant O_Reg := 64;
+   R_Ebx_Ecx : constant O_Reg := 65;
+   R_Esi_Edi : constant O_Reg := 66;
+   R_Any64 : constant O_Reg := 67;
+
+   subtype Regs_R64 is O_Reg range R_Edx_Eax .. R_Esi_Edi;
+
+   function Get_R64_High (Reg : Regs_R64) return Regs_R32;
+   function Get_R64_Low (Reg : Regs_R64) return Regs_R32;
+
+   function Inverse_Cc (R : O_Reg) return O_Reg;
+
+   --  Intrinsic subprograms.
+   Intrinsic_Mul_Ov_U64 : constant Int32 := 1;
+   Intrinsic_Div_Ov_U64 : constant Int32 := 2;
+   Intrinsic_Mod_Ov_U64 : constant Int32 := 3;
+   Intrinsic_Mul_Ov_I64 : constant Int32 := 4;
+   Intrinsic_Div_Ov_I64 : constant Int32 := 5;
+   Intrinsic_Mod_Ov_I64 : constant Int32 := 6;
+   Intrinsic_Rem_Ov_I64 : constant Int32 := 7;
+
+   subtype Intrinsics_X86 is Int32
+     range Intrinsic_Mul_Ov_U64 .. Intrinsic_Rem_Ov_I64;
+
+   --  Convert a KIND to a reg.
+   function Ekind_Unsigned_To_Cc (Kind : OE_Kind_Cmp) return O_Reg;
+   function Ekind_Signed_To_Cc (Kind : OE_Kind_Cmp) return O_Reg;
+
+end Ortho_Code.X86;