constant zero : std_logic_vector(31 downto 0) := (others =>

type apm_excpsr is record
   n      : std_logic;                  -- negative
   z      : std_logic;                  -- zero
   c      : std_logic;                  -- carry
   v      : std_logic;                  -- overflow
   -- extensions
   -- fext   : std_logic_vector(3 downto 0);  -- cpsr(27:24)
   -- xext   : std_logic_vector(7 downto 0);  -- cpsr(15:8)
   -- sext   : std_logic_vector(7 downto 0);  -- cpsr(23:16)
end record;

type apm_wrcpsr is record
   i      : std_logic;                  -- [7] irq
   f      : std_logic;                  -- [6] fiq
   t      : std_logic;                  -- [5] thumb
   mode   : std_logic_vector(4 downto 0);
-- pragma translate_off
--   dbgmode  : aba_atyp_dbgpmode;       -- readable pmode for dbg
-- pragma translate_on
end record;

type apm_cpsr is record
   ex : apm_excpsr;
   wr : apm_wrcpsr;
end record;

constant ADE_COND_EQ : std_logic_vector(3 downto 0) := "0000";

constant ADE_COND_NE : std_logic_vector(3 downto 0) := "0001";

constant ADE_COND_CS : std_logic_vector(3 downto 0) := "0010";

constant ADE_COND_CC : std_logic_vector(3 downto 0) := "0011";

constant ADE_COND_MI : std_logic_vector(3 downto 0) := "0100";

constant ADE_COND_PL : std_logic_vector(3 downto 0) := "0101";

constant ADE_COND_VS : std_logic_vector(3 downto 0) := "0110";

constant ADE_COND_VC : std_logic_vector(3 downto 0) := "0111";

constant ADE_COND_HI : std_logic_vector(3 downto 0) := "1000";

constant ADE_COND_LS : std_logic_vector(3 downto 0) := "1001";

constant ADE_COND_GE : std_logic_vector(3 downto 0) := "1010";

constant ADE_COND_LT : std_logic_vector(3 downto 0) := "1011";

constant ADE_COND_GT : std_logic_vector(3 downto 0) := "1100";

constant ADE_COND_LE : std_logic_vector(3 downto 0) := "1101";

constant ADE_COND_AL : std_logic_vector(3 downto 0) := "1110";

constant ADE_COND_NV : std_logic_vector(3 downto 0) := "1111";

function act_checkcond(
  cpsr  : in  apm_cpsr;
  cond  : in std_logic_vector(3 downto 0)
) return std_logic;


end armctrl;

package body armctrl is

function act_checkcond(
  cpsr  : in  apm_cpsr;
  cond  : in std_logic_vector(3 downto 0)
) return std_logic is
variable tmp    : std_logic;
begin
  tmp := '0';
  case cond is
    when ADE_COND_EQ => tmp := cpsr.ex.z;
    when ADE_COND_NE => tmp := not cpsr.ex.z;
    when ADE_COND_CS => tmp := cpsr.ex.c;
    when ADE_COND_CC => tmp := not cpsr.ex.c;
    when ADE_COND_MI => tmp := cpsr.ex.n;
    when ADE_COND_PL => tmp := not cpsr.ex.n;
    when ADE_COND_VS => tmp := cpsr.ex.v;
    when ADE_COND_VC => tmp := not cpsr.ex.v;
    when ADE_COND_HI => tmp := cpsr.ex.c and (not cpsr.ex.z);
    when ADE_COND_LS => tmp := (not cpsr.ex.c) and cpsr.ex.z;
    when ADE_COND_GE => tmp := not (cpsr.ex.n xor cpsr.ex.v);
    when ADE_COND_LT => tmp := (cpsr.ex.n xor cpsr.ex.v);
    when ADE_COND_GT => tmp := (not cpsr.ex.z) and not (cpsr.ex.n xor cpsr.ex.v);
    when ADE_COND_LE => tmp := cpsr.ex.z or (cpsr.ex.n xor cpsr.ex.v);
    when ADE_COND_AL => tmp := '1';
    when ADE_COND_NV => tmp := '0';
    when others      => null;
  end case;
  return tmp;
end;