/* Local insertion and extraction functions. */
static unsigned long insert_d9 PARAMS ((unsigned long, long, const char **));
static long extract_d9 PARAMS ((unsigned long, int *));
+static unsigned long insert_d22 PARAMS ((unsigned long, long, const char **));
+static long extract_d22 PARAMS ((unsigned long, int *));
+static unsigned long insert_d16_15 PARAMS ((unsigned long, long,
+ const char **));
+static long extract_d16_15 PARAMS ((unsigned long, int *));
+static unsigned long insert_d8_7 PARAMS ((unsigned long, long, const char **));
+static long extract_d8_7 PARAMS ((unsigned long, int *));
+static unsigned long insert_d8_6 PARAMS ((unsigned long, long, const char **));
+static long extract_d8_6 PARAMS ((unsigned long, int *));
/* regular opcode */
#define OP(x) ((x & 0x3f) << 5)
/* conditional branch opcode */
#define BOP(x) ((0x0b << 7) | (x & 0x0f))
-#define BOP_MASK ((0x0b << 7) | 0x0f)
+#define BOP_MASK ((0x0f << 7) | 0x0f)
/* one-word opcodes */
#define one(x) ((unsigned int) (x))
/* two-word opcodes */
-#define two(x,y) ((unsigned int) (y) | ((unsigned int) (x) << 16))
+#define two(x,y) ((unsigned int) (x) | ((unsigned int) (y) << 16))
\f
/* The IMM16 field in a format 6 insn. */
#define I16 (I5U+1)
- { 16, 0, 0, 0, 0 },
+ { 16, 16, 0, 0, V850_OPERAND_SIGNED },
/* The signed DISP7 field in a format 4 insn. */
-#define D7S (I16+1)
- { 7, 0, 0, 0, V850_OPERAND_SIGNED },
+#define D7 (I16+1)
+ { 7, 0, 0, 0, 0},
/* The DISP9 field in a format 3 insn. */
-#define D9 (D7S+1)
- { 0, 0, insert_d9, extract_d9, V850_OPERAND_SIGNED },
+#define D9 (D7+1)
+ { 9, 0, insert_d9, extract_d9, V850_OPERAND_SIGNED },
/* The DISP16 field in a format 6 insn. */
-#define D16 (D9+1)
- { 16, 0, 0, 0, V850_OPERAND_SIGNED },
+#define D16_15 (D9+1)
+ { 16, 16, insert_d16_15, extract_d16_15, V850_OPERAND_SIGNED },
/* The DISP22 field in a format 4 insn. */
-#define D22 (D16+1)
- { 16, 0, 0, 0, 0 },
+#define D22 (D16_15+1)
+ { 22, 0, insert_d22, extract_d22, V850_OPERAND_SIGNED },
#define B3 (D22+1)
/* The 3 bit immediate field in format 8 insn. */
/* The 4 bit condition code in a setf instruction */
{ 4, 0, 0, 0, V850_OPERAND_CC },
-/* The unsigned DISP8 field in a format 4 insn. */
-#define D8 (CCCC+1)
- { 8, 0, 0, 0, 0 },
+/* The unsigned DISP8_7 field in a format 4 insn. */
+#define D8_7 (CCCC+1)
+ { 8, 0, insert_d8_7, extract_d8_7, 0 },
+
+/* The unsigned DISP8_6 field in a format 4 insn. */
+#define D8_6 (D8_7+1)
+ { 8, 0, insert_d8_6, extract_d8_6, 0 },
+
+/* System register operands. */
+#define SR1 (D8_6+1)
+ { 5, 0, 0, 0, V850_OPERAND_SRG },
+
+/* EP Register. */
+#define EP (SR1+1)
+ { 0, 0, 0, 0, V850_OPERAND_EP },
+
+/* The IMM16 field (unsigned0 in a format 6 insn. */
+#define I16U (EP+1)
+ { 16, 16, 0, 0, 0},
+
+/* The R2 field as a system register. */
+#define SR2 (I16U+1)
+ { 5, 11, 0, 0, V850_OPERAND_SRG },
+
+/* The DISP16 field in a format 8 insn. */
+#define D16 (SR2+1)
+ { 16, 16, 0, 0, V850_OPERAND_SIGNED },
} ;
#define IF3 {D9}
/* 16-bit load/store instruction (Format IV) */
-#define IF4A {D7S, R1, R2}
-#define IF4B {R2, D7S, R1}
-#define IF4C {D8, R1, R2}
-#define IF4D {R2, D8, R1}
+#define IF4A {D7, EP, R2}
+#define IF4B {R2, D7, EP}
+#define IF4C {D8_7, EP, R2}
+#define IF4D {R2, D8_7, EP}
+#define IF4E {D8_6, EP, R2}
+#define IF4F {R2, D8_6, EP}
/* Jump instruction (Format V) */
#define IF5 {D22}
/* 3 operand instruction (Format VI) */
#define IF6 {I16, R1, R2}
-/* 32-bit load/store instruction (Format VII) */
-#define IF7A {D16, R1, R2}
-#define IF7B {R2, D16, R1}
+/* 3 operand instruction (Format VI) */
+#define IF6U {I16U, R1, R2}
+
+/* 32-bit load/store half/word instruction (Format VII) */
+#define IF7A {D16_15, R1, R2}
+#define IF7B {R2, D16_15, R1}
+
+/* 32-bit load/store byte instruction (Format VII) */
+#define IF7C {D16, R1, R2}
+#define IF7D {R2, D16, R1}
/* Bit manipulation function. */
const struct v850_opcode v850_opcodes[] = {
/* load/store instructions */
-{ "sld.b", OP(0x00), OP_MASK, IF4A },
-{ "sld.h", OP(0x00), OP_MASK, IF4C },
-{ "sld.w", OP(0x00), OP_MASK, IF4C },
-{ "sst.b", OP(0x00), OP_MASK, IF4B },
-{ "sst.h", OP(0x00), OP_MASK, IF4D },
-{ "sst.w", OP(0x00), OP_MASK, IF4D },
-
-{ "ld.b", OP(0x00), OP_MASK, IF7A },
-{ "ld.h", OP(0x00), OP_MASK, IF7A },
-{ "ld.w", OP(0x00), OP_MASK, IF7A },
-{ "st.b", OP(0x00), OP_MASK, IF7B },
-{ "st.h", OP(0x00), OP_MASK, IF7B },
-{ "st.w", OP(0x00), OP_MASK, IF7B },
+{ "sld.b", one(0x0300), one(0x0780), IF4A, 1 },
+{ "sld.h", one(0x0400), one(0x0780), IF4C, 1 },
+{ "sld.w", one(0x0500), one(0x0781), IF4E, 1 },
+{ "sst.b", one(0x0380), one(0x0780), IF4B, 2 },
+{ "sst.h", one(0x0480), one(0x0780), IF4D, 2 },
+{ "sst.w", one(0x0501), one(0x0781), IF4F, 2 },
+
+{ "ld.b", two(0x0700,0x0000), two (0x07e0,0x0000), IF7C, 1 },
+{ "ld.h", two(0x0720,0x0000), two (0x07e0,0x0001), IF7A, 1 },
+{ "ld.w", two(0x0720,0x0001), two (0x07e0,0x0001), IF7A, 1 },
+{ "st.b", two(0x0740,0x0000), two (0x07e0,0x0000), IF7D, 2 },
+{ "st.h", two(0x0760,0x0000), two (0x07e0,0x0001), IF7B, 2 },
+{ "st.w", two(0x0760,0x0001), two (0x07e0,0x0001), IF7B, 2 },
/* arithmetic operation instructions */
-{ "mov", OP(0x00), OP_MASK, IF1 },
-{ "mov", OP(0x08), OP_MASK, IF2 },
-{ "movea", OP(0x31), OP_MASK, IF6 },
-{ "movhi", OP(0x31), OP_MASK, IF6 },
-{ "add", OP(0x0e), OP_MASK, IF1 },
-{ "add", OP(0x12), OP_MASK, IF2 },
-{ "addi", OP(0x30), OP_MASK, IF6 },
-{ "sub", OP(0x0d), OP_MASK, IF1 },
-{ "subr", OP(0x0c), OP_MASK, IF1 },
-{ "mulh", OP(0x07), OP_MASK, IF1 },
-{ "mulh", OP(0x17), OP_MASK, IF2 },
-{ "mulhi", OP(0x37), OP_MASK, IF6 },
-{ "divh", OP(0x02), OP_MASK, IF1 },
-{ "cmp", OP(0x0f), OP_MASK, IF1 },
-{ "cmp", OP(0x13), OP_MASK, IF2 },
-{ "setf", two(0x0000,0x0000), two(0x0000,0xffff), {CCCC,R2} },
+{ "nop", one(0x00), one(0xffff), {0}, 0 },
+{ "mov", OP(0x00), OP_MASK, IF1, 0 },
+{ "mov", OP(0x10), OP_MASK, IF2, 0 },
+{ "movea", OP(0x31), OP_MASK, IF6, 0 },
+{ "movhi", OP(0x32), OP_MASK, IF6, 0 },
+{ "add", OP(0x0e), OP_MASK, IF1, 0 },
+{ "add", OP(0x12), OP_MASK, IF2, 0 },
+{ "addi", OP(0x30), OP_MASK, IF6, 0 },
+{ "sub", OP(0x0d), OP_MASK, IF1, 0 },
+{ "subr", OP(0x0c), OP_MASK, IF1, 0 },
+{ "mulh", OP(0x07), OP_MASK, IF1, 0 },
+{ "mulh", OP(0x17), OP_MASK, IF2, 0 },
+{ "mulhi", OP(0x37), OP_MASK, IF6, 0 },
+{ "divh", OP(0x02), OP_MASK, IF1, 0 },
+{ "cmp", OP(0x0f), OP_MASK, IF1, 0 },
+{ "cmp", OP(0x13), OP_MASK, IF2, 0 },
+{ "setf", two(0x07e0,0x0000), two(0x07f0,0xffff), {CCCC,R2}, 0 },
/* saturated operation instructions */
-{ "satadd", OP(0x06), OP_MASK, IF1 },
-{ "satadd", OP(0x11), OP_MASK, IF2 },
-{ "satsub", OP(0x05), OP_MASK, IF1 },
-{ "satsubi", OP(0x33), OP_MASK, IF6 },
-{ "satsubr", OP(0x04), OP_MASK, IF1 },
+{ "satadd", OP(0x06), OP_MASK, IF1, 0 },
+{ "satadd", OP(0x11), OP_MASK, IF2, 0 },
+{ "satsub", OP(0x05), OP_MASK, IF1, 0 },
+{ "satsubi", OP(0x33), OP_MASK, IF6, 0 },
+{ "satsubr", OP(0x04), OP_MASK, IF1, 0 },
/* logical operation instructions */
-{ "tst", OP(0x0b), OP_MASK, IF1 },
-{ "or", OP(0x08), OP_MASK, IF1 },
-{ "ori", OP(0x34), OP_MASK, IF6 },
-{ "and", OP(0x0a), OP_MASK, IF1 },
-{ "andi", OP(0x36), OP_MASK, IF6 },
-{ "xor", OP(0x09), OP_MASK, IF1 },
-{ "xori", OP(0x35), OP_MASK, IF6 },
-{ "not", OP(0x01), OP_MASK, IF1 },
-{ "sar", OP(0x15), OP_MASK, {I5U, R2} },
-{ "sar", two(0x07e0,0x00a0), two(0x07e0,0xffff), {R1,R2} },
-{ "shl", OP(0x16), OP_MASK, {I5U, R2} },
-{ "shl", two(0x07e0,0x00c0), two(0x07e0,0xffff), {R1,R2} },
-{ "shr", OP(0x14), OP_MASK, {I5U, R2} },
-{ "shr", two(0x07e0,0x0080), two(0x07e0,0xffff), {R1,R2} },
+{ "tst", OP(0x0b), OP_MASK, IF1, 0 },
+{ "or", OP(0x08), OP_MASK, IF1, 0 },
+{ "ori", OP(0x34), OP_MASK, IF6U, 0 },
+{ "and", OP(0x0a), OP_MASK, IF1, 0 },
+{ "andi", OP(0x36), OP_MASK, IF6U, 0 },
+{ "xor", OP(0x09), OP_MASK, IF1, 0 },
+{ "xori", OP(0x35), OP_MASK, IF6U, 0 },
+{ "not", OP(0x01), OP_MASK, IF1, 0 },
+{ "sar", OP(0x15), OP_MASK, {I5U, R2}, 0 },
+{ "sar", two(0x07e0,0x00a0), two(0x07e0,0xffff), {R1,R2}, 0 },
+{ "shl", OP(0x16), OP_MASK, {I5U, R2}, 0 },
+{ "shl", two(0x07e0,0x00c0), two(0x07e0,0xffff), {R1,R2}, 0 },
+{ "shr", OP(0x14), OP_MASK, {I5U, R2}, 0 },
+{ "shr", two(0x07e0,0x0080), two(0x07e0,0xffff), {R1,R2}, 0 },
/* branch instructions */
/* signed integer */
-{ "bgt", BOP(0xf), BOP_MASK, IF3 },
-{ "bge", BOP(0xe), BOP_MASK, IF3 },
-{ "blt", BOP(0x6), BOP_MASK, IF3 },
-{ "ble", BOP(0x7), BOP_MASK, IF3 },
+{ "bgt", BOP(0xf), BOP_MASK, IF3, 0 },
+{ "bge", BOP(0xe), BOP_MASK, IF3, 0 },
+{ "blt", BOP(0x6), BOP_MASK, IF3, 0 },
+{ "ble", BOP(0x7), BOP_MASK, IF3, 0 },
/* unsigned integer */
-{ "bh", BOP(0xb), BOP_MASK, IF3 },
-{ "bnh", BOP(0x3), BOP_MASK, IF3 },
-{ "bl", BOP(0x1), BOP_MASK, IF3 },
-{ "bnl", BOP(0x9), BOP_MASK, IF3 },
+{ "bh", BOP(0xb), BOP_MASK, IF3, 0 },
+{ "bnh", BOP(0x3), BOP_MASK, IF3, 0 },
+{ "bl", BOP(0x1), BOP_MASK, IF3, 0 },
+{ "bnl", BOP(0x9), BOP_MASK, IF3, 0 },
/* common */
-{ "be", BOP(0x2), BOP_MASK, IF3 },
-{ "bne", BOP(0xa), BOP_MASK, IF3 },
+{ "be", BOP(0x2), BOP_MASK, IF3, 0 },
+{ "bne", BOP(0xa), BOP_MASK, IF3, 0 },
/* others */
-{ "bv", BOP(0x0), BOP_MASK, IF3 },
-{ "bnv", BOP(0x8), BOP_MASK, IF3 },
-{ "bn", BOP(0x4), BOP_MASK, IF3 },
-{ "bp", BOP(0xc), BOP_MASK, IF3 },
-{ "bc", BOP(0x1), BOP_MASK, IF3 },
-{ "bnc", BOP(0x9), BOP_MASK, IF3 },
-{ "bz", BOP(0x2), BOP_MASK, IF3 },
-{ "bnz", BOP(0xa), BOP_MASK, IF3 },
-{ "br", BOP(0x5), BOP_MASK, IF3 },
-{ "bsa", BOP(0xd), BOP_MASK, IF3 },
-
-{ "jmp", one(0x0060), one(0xffe0), R1 },
-{ "jarl", one(0x0780), one(0xf83f), { D22, R2 } },
-{ "jr", one(0x0780), one(0xffe0), { D22 } },
+{ "bv", BOP(0x0), BOP_MASK, IF3, 0 },
+{ "bnv", BOP(0x8), BOP_MASK, IF3, 0 },
+{ "bn", BOP(0x4), BOP_MASK, IF3, 0 },
+{ "bp", BOP(0xc), BOP_MASK, IF3, 0 },
+{ "bc", BOP(0x1), BOP_MASK, IF3, 0 },
+{ "bnc", BOP(0x9), BOP_MASK, IF3, 0 },
+{ "bz", BOP(0x2), BOP_MASK, IF3, 0 },
+{ "bnz", BOP(0xa), BOP_MASK, IF3, 0 },
+{ "br", BOP(0x5), BOP_MASK, IF3, 0 },
+{ "bsa", BOP(0xd), BOP_MASK, IF3, 0 },
+
+{ "jmp", one(0x0060), one(0xffe0), { R1}, 1 },
+{ "jr", one(0x0780), two(0xffc0,0x0001),{ D22 }, 0 },
+{ "jarl", one(0x0780), two(0x07c0,0x0001),{ D22, R2 }, 0 },
/* bit manipulation instructions */
-{ "set1", two(0x07c0,0x0000), two(0xc7e0,0x0000), {B3, D16, R1} },
-{ "not1", two(0x47c0,0x0000), two(0xc7e0,0x0000), {B3, D16, R1} },
-{ "clr1", two(0x87c0,0x0000), two(0xc7e0,0x0000), {B3, D16, R1} },
-{ "tst1", two(0xc7c0,0x0000), two(0xc7e0,0x0000), {B3, D16, R1} },
+{ "set1", two(0x07c0,0x0000), two(0xc7e0,0x0000), {B3, D16, R1}, 2 },
+{ "not1", two(0x47c0,0x0000), two(0xc7e0,0x0000), {B3, D16, R1}, 2 },
+{ "clr1", two(0x87c0,0x0000), two(0xc7e0,0x0000), {B3, D16, R1}, 2 },
+{ "tst1", two(0xc7c0,0x0000), two(0xc7e0,0x0000), {B3, D16, R1}, 2 },
/* special instructions */
-{ "di", two(0x07e0,0x0160), two(0xffff,0xffff), {0} },
-{ "ei", two(0x87e0,0x0160), two(0xffff,0xffff), {0} },
-{ "halt", two(0x07e0,0x0120), two(0xffff,0xffff), {0} },
-{ "reti", two(0x07e0,0x0140), two(0xffff,0xffff), {0} },
-{ "trap", two(0x07e0,0x0100), two(0xffe0,0xffff), I5U },
-{ "ldsr", two(0x07e0,0x0020), two(0x07e0,0xffff), IF1 },
-{ "stsr", two(0x07e0,0x0040), two(0x07e0,0xffff), IF1 },
-{ "nop", one(0x00), one(0xff), {0} },
+{ "di", two(0x07e0,0x0160), two(0xffff,0xffff), {0}, 0 },
+{ "ei", two(0x87e0,0x0160), two(0xffff,0xffff), {0}, 0 },
+{ "halt", two(0x07e0,0x0120), two(0xffff,0xffff), {0}, 0 },
+{ "reti", two(0x07e0,0x0140), two(0xffff,0xffff), {0}, 0 },
+{ "trap", two(0x07e0,0x0100), two(0xffe0,0xffff), {I5U}, 0 },
+{ "ldsr", two(0x07e0,0x0020), two(0x07e0,0xffff), {R1,SR2}, 0 },
+{ "stsr", two(0x07e0,0x0040), two(0x07e0,0xffff), {SR1,R2}, 0 },
+{ 0, 0, 0, {0}, 0 },
} ;
long value;
const char **errmsg;
{
- if (value > 511 || value <= -512)
- *errmsg = "value out of range";
+ if (value > 255 || value <= -256)
+ *errmsg = "branch value out of range";
+
+ if ((value % 2) != 0)
+ *errmsg = "branch to odd offset";
return (insn | ((value & 0x1f0) << 7) | ((value & 0x0e) << 3));
}
return ret;
}
+
+static unsigned long
+insert_d22 (insn, value, errmsg)
+ unsigned long insn;
+ long value;
+ const char **errmsg;
+{
+ if (value > 0xfffff || value <= -0x100000)
+ *errmsg = "branch value out of range";
+
+ if ((value % 2) != 0)
+ *errmsg = "branch to odd offset";
+
+ return (insn | ((value & 0xfffe) << 16) | ((value & 0x3f0000) >> 16));
+}
+
+static long
+extract_d22 (insn, invalid)
+ unsigned long insn;
+ int *invalid;
+{
+ int ret = ((insn & 0xfffe0000) >> 16) | ((insn & 0x3f) << 16);
+
+ return ((ret << 10) >> 10);
+}
+
+static unsigned long
+insert_d16_15 (insn, value, errmsg)
+ unsigned long insn;
+ long value;
+ const char **errmsg;
+{
+ if (value > 0x7fff || value <= -0x8000)
+ *errmsg = "value out of range";
+
+ if ((value % 2) != 0)
+ *errmsg = "load/store half/word at odd offset";
+
+ return (insn | ((value & 0xfffe) << 16));
+}
+
+static long
+extract_d16_15 (insn, invalid)
+ unsigned long insn;
+ int *invalid;
+{
+ int ret = ((insn & 0xfffe0000) >> 16);
+
+ return ((ret << 16) >> 16);
+}
+
+static unsigned long
+insert_d8_7 (insn, value, errmsg)
+ unsigned long insn;
+ long value;
+ const char **errmsg;
+{
+ if (value > 0xff || value < 0)
+ *errmsg = "short load/store half value out of range";
+
+ if ((value % 2) != 0)
+ *errmsg = "short load/store half at odd offset";
+
+ value >>= 1;
+
+ return (insn | (value & 0x7f));
+}
+
+static long
+extract_d8_7 (insn, invalid)
+ unsigned long insn;
+ int *invalid;
+{
+ int ret = (insn & 0x7f);
+
+ return ret << 1;
+}
+
+static unsigned long
+insert_d8_6 (insn, value, errmsg)
+ unsigned long insn;
+ long value;
+ const char **errmsg;
+{
+ if (value > 0xff || value < 0)
+ *errmsg = "short load/store word value out of range";
+
+ if ((value % 4) != 0)
+ *errmsg = "short load/store word at odd offset";
+
+ value >>= 1;
+
+ return (insn | (value & 0x7e));
+}
+
+static long
+extract_d8_6 (insn, invalid)
+ unsigned long insn;
+ int *invalid;
+{
+ int ret = (insn & 0x7e);
+
+ return ret << 1;
+}
projects / binutils.git / blobdiff