hp-saturn/fields.v

53 lines
1.1 KiB
Coq
Raw Normal View History

2019-02-08 19:09:13 +01:00
`ifndef _FIELDS
`define _FIELDS
2019-02-10 12:04:53 +01:00
`define T_SET 0
`define T_TEST 1
2019-02-08 19:09:13 +01:00
`define T_DIR_OUT 0
`define T_DIR_IN 1
`define T_PTR_0 0
`define T_PTR_1 1
`define T_REG_A 0
`define T_REG_C 1
2019-02-10 12:04:53 +01:00
`define T_FTYPE_FIELD 0
`define T_TTYPE_LEN 1
2019-02-10 18:46:26 +01:00
`define T_TABLE_A 0
`define T_TABLE_B 1
`define T_TABLE_F 2
`define T_TABLE_Z 3 // unused
2019-02-08 19:09:13 +01:00
`define T_FIELD_P 0
`define T_FIELD_WP 1
`define T_FIELD_XS 2
`define T_FIELD_X 3
`define T_FIELD_S 4
`define T_FIELD_M 5
`define T_FIELD_B 6
`define T_FIELD_W 7
`define T_FIELD_A 15
2019-02-10 18:46:26 +01:00
`define ALU_OP_ZERO 0
`define ALU_OP_COPY 1
`define ALU_OP_EXCH 2
`define ALU_OP_SHL 3
`define ALU_OP_SHR 4
`define ALU_OP_2CMPL 5
`define ALU_OP_1CMPL 6
2019-02-10 18:46:26 +01:00
`define ALU_OP_INC 8
`define ALU_OP_TEST_EQ 12
`define ALU_OP_TEST_NEQ 13
2019-02-10 18:46:26 +01:00
`define ALU_REG_A 0
`define ALU_REG_B 1
`define ALU_REG_C 2
`define ALU_REG_D 3
2019-02-11 07:03:55 +01:00
`define ALU_REG_MEM 14
`define ALU_REG_0 15
2019-02-10 18:46:26 +01:00
2019-02-08 19:09:13 +01:00
`endif