1*16dce513Schristos/* M32R opcode support. -*- C -*- 2*16dce513Schristos 3*16dce513Schristos Copyright 1998, 1999, 2000, 2001, 2004, 2005, 2007, 2009 4*16dce513Schristos Free Software Foundation, Inc. 5*16dce513Schristos 6*16dce513Schristos Contributed by Red Hat Inc; developed under contract from 7*16dce513Schristos Mitsubishi Electric Corporation. 8*16dce513Schristos 9*16dce513Schristos This file is part of the GNU Binutils. 10*16dce513Schristos 11*16dce513Schristos This program is free software; you can redistribute it and/or modify 12*16dce513Schristos it under the terms of the GNU General Public License as published by 13*16dce513Schristos the Free Software Foundation; either version 3 of the License, or 14*16dce513Schristos (at your option) any later version. 15*16dce513Schristos 16*16dce513Schristos This program is distributed in the hope that it will be useful, 17*16dce513Schristos but WITHOUT ANY WARRANTY; without even the implied warranty of 18*16dce513Schristos MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 19*16dce513Schristos GNU General Public License for more details. 20*16dce513Schristos 21*16dce513Schristos You should have received a copy of the GNU General Public License 22*16dce513Schristos along with this program; if not, write to the Free Software 23*16dce513Schristos Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston, 24*16dce513Schristos MA 02110-1301, USA. */ 25*16dce513Schristos 26*16dce513Schristos 27*16dce513Schristos/* This file is an addendum to m32r.cpu. Heavy use of C code isn't 28*16dce513Schristos appropriate in .cpu files, so it resides here. This especially applies 29*16dce513Schristos to assembly/disassembly where parsing/printing can be quite involved. 30*16dce513Schristos Such things aren't really part of the specification of the cpu, per se, 31*16dce513Schristos so .cpu files provide the general framework and .opc files handle the 32*16dce513Schristos nitty-gritty details as necessary. 33*16dce513Schristos 34*16dce513Schristos Each section is delimited with start and end markers. 35*16dce513Schristos 36*16dce513Schristos <arch>-opc.h additions use: "-- opc.h" 37*16dce513Schristos <arch>-opc.c additions use: "-- opc.c" 38*16dce513Schristos <arch>-asm.c additions use: "-- asm.c" 39*16dce513Schristos <arch>-dis.c additions use: "-- dis.c" 40*16dce513Schristos <arch>-ibd.h additions use: "-- ibd.h" */ 41*16dce513Schristos 42*16dce513Schristos/* -- opc.h */ 43*16dce513Schristos 44*16dce513Schristos#undef CGEN_DIS_HASH_SIZE 45*16dce513Schristos#define CGEN_DIS_HASH_SIZE 256 46*16dce513Schristos#undef CGEN_DIS_HASH 47*16dce513Schristos#if 0 48*16dce513Schristos#define X(b) (((unsigned char *) (b))[0] & 0xf0) 49*16dce513Schristos#define CGEN_DIS_HASH(buffer, value) \ 50*16dce513Schristos(X (buffer) | \ 51*16dce513Schristos (X (buffer) == 0x40 || X (buffer) == 0xe0 || X (buffer) == 0x60 || X (buffer) == 0x50 ? 0 \ 52*16dce513Schristos : X (buffer) == 0x70 || X (buffer) == 0xf0 ? (((unsigned char *) (buffer))[0] & 0xf) \ 53*16dce513Schristos : X (buffer) == 0x30 ? ((((unsigned char *) (buffer))[1] & 0x70) >> 4) \ 54*16dce513Schristos : ((((unsigned char *) (buffer))[1] & 0xf0) >> 4))) 55*16dce513Schristos#else 56*16dce513Schristos#define CGEN_DIS_HASH(buffer, value) m32r_cgen_dis_hash (buffer, value) 57*16dce513Schristosextern unsigned int m32r_cgen_dis_hash (const char *, CGEN_INSN_INT); 58*16dce513Schristos#endif 59*16dce513Schristos 60*16dce513Schristos/* -- */ 61*16dce513Schristos 62*16dce513Schristos/* -- opc.c */ 63*16dce513Schristosunsigned int 64*16dce513Schristosm32r_cgen_dis_hash (const char * buf ATTRIBUTE_UNUSED, CGEN_INSN_INT value) 65*16dce513Schristos{ 66*16dce513Schristos unsigned int x; 67*16dce513Schristos 68*16dce513Schristos if (value & 0xffff0000) /* 32bit instructions. */ 69*16dce513Schristos value = (value >> 16) & 0xffff; 70*16dce513Schristos 71*16dce513Schristos x = (value >> 8) & 0xf0; 72*16dce513Schristos if (x == 0x40 || x == 0xe0 || x == 0x60 || x == 0x50) 73*16dce513Schristos return x; 74*16dce513Schristos 75*16dce513Schristos if (x == 0x70 || x == 0xf0) 76*16dce513Schristos return x | ((value >> 8) & 0x0f); 77*16dce513Schristos 78*16dce513Schristos if (x == 0x30) 79*16dce513Schristos return x | ((value & 0x70) >> 4); 80*16dce513Schristos else 81*16dce513Schristos return x | ((value & 0xf0) >> 4); 82*16dce513Schristos} 83*16dce513Schristos 84*16dce513Schristos/* -- */ 85*16dce513Schristos 86*16dce513Schristos/* -- asm.c */ 87*16dce513Schristosstatic const char * MISSING_CLOSING_PARENTHESIS = N_("missing `)'"); 88*16dce513Schristos 89*16dce513Schristos/* Handle '#' prefixes (i.e. skip over them). */ 90*16dce513Schristos 91*16dce513Schristosstatic const char * 92*16dce513Schristosparse_hash (CGEN_CPU_DESC cd ATTRIBUTE_UNUSED, 93*16dce513Schristos const char **strp, 94*16dce513Schristos int opindex ATTRIBUTE_UNUSED, 95*16dce513Schristos long *valuep ATTRIBUTE_UNUSED) 96*16dce513Schristos{ 97*16dce513Schristos if (**strp == '#') 98*16dce513Schristos ++*strp; 99*16dce513Schristos return NULL; 100*16dce513Schristos} 101*16dce513Schristos 102*16dce513Schristos/* Handle shigh(), high(). */ 103*16dce513Schristos 104*16dce513Schristosstatic const char * 105*16dce513Schristosparse_hi16 (CGEN_CPU_DESC cd, 106*16dce513Schristos const char **strp, 107*16dce513Schristos int opindex, 108*16dce513Schristos unsigned long *valuep) 109*16dce513Schristos{ 110*16dce513Schristos const char *errmsg; 111*16dce513Schristos enum cgen_parse_operand_result result_type; 112*16dce513Schristos bfd_vma value; 113*16dce513Schristos 114*16dce513Schristos if (**strp == '#') 115*16dce513Schristos ++*strp; 116*16dce513Schristos 117*16dce513Schristos if (strncasecmp (*strp, "high(", 5) == 0) 118*16dce513Schristos { 119*16dce513Schristos *strp += 5; 120*16dce513Schristos errmsg = cgen_parse_address (cd, strp, opindex, BFD_RELOC_M32R_HI16_ULO, 121*16dce513Schristos & result_type, & value); 122*16dce513Schristos if (**strp != ')') 123*16dce513Schristos return MISSING_CLOSING_PARENTHESIS; 124*16dce513Schristos ++*strp; 125*16dce513Schristos if (errmsg == NULL 126*16dce513Schristos && result_type == CGEN_PARSE_OPERAND_RESULT_NUMBER) 127*16dce513Schristos { 128*16dce513Schristos value >>= 16; 129*16dce513Schristos value &= 0xffff; 130*16dce513Schristos } 131*16dce513Schristos *valuep = value; 132*16dce513Schristos return errmsg; 133*16dce513Schristos } 134*16dce513Schristos else if (strncasecmp (*strp, "shigh(", 6) == 0) 135*16dce513Schristos { 136*16dce513Schristos *strp += 6; 137*16dce513Schristos errmsg = cgen_parse_address (cd, strp, opindex, BFD_RELOC_M32R_HI16_SLO, 138*16dce513Schristos & result_type, & value); 139*16dce513Schristos if (**strp != ')') 140*16dce513Schristos return MISSING_CLOSING_PARENTHESIS; 141*16dce513Schristos ++*strp; 142*16dce513Schristos if (errmsg == NULL 143*16dce513Schristos && result_type == CGEN_PARSE_OPERAND_RESULT_NUMBER) 144*16dce513Schristos { 145*16dce513Schristos value += 0x8000; 146*16dce513Schristos value >>= 16; 147*16dce513Schristos value &= 0xffff; 148*16dce513Schristos } 149*16dce513Schristos *valuep = value; 150*16dce513Schristos return errmsg; 151*16dce513Schristos } 152*16dce513Schristos 153*16dce513Schristos return cgen_parse_unsigned_integer (cd, strp, opindex, valuep); 154*16dce513Schristos} 155*16dce513Schristos 156*16dce513Schristos/* Handle low() in a signed context. Also handle sda(). 157*16dce513Schristos The signedness of the value doesn't matter to low(), but this also 158*16dce513Schristos handles the case where low() isn't present. */ 159*16dce513Schristos 160*16dce513Schristosstatic const char * 161*16dce513Schristosparse_slo16 (CGEN_CPU_DESC cd, 162*16dce513Schristos const char ** strp, 163*16dce513Schristos int opindex, 164*16dce513Schristos long * valuep) 165*16dce513Schristos{ 166*16dce513Schristos const char *errmsg; 167*16dce513Schristos enum cgen_parse_operand_result result_type; 168*16dce513Schristos bfd_vma value; 169*16dce513Schristos 170*16dce513Schristos if (**strp == '#') 171*16dce513Schristos ++*strp; 172*16dce513Schristos 173*16dce513Schristos if (strncasecmp (*strp, "low(", 4) == 0) 174*16dce513Schristos { 175*16dce513Schristos *strp += 4; 176*16dce513Schristos errmsg = cgen_parse_address (cd, strp, opindex, BFD_RELOC_M32R_LO16, 177*16dce513Schristos & result_type, & value); 178*16dce513Schristos if (**strp != ')') 179*16dce513Schristos return MISSING_CLOSING_PARENTHESIS; 180*16dce513Schristos ++*strp; 181*16dce513Schristos if (errmsg == NULL 182*16dce513Schristos && result_type == CGEN_PARSE_OPERAND_RESULT_NUMBER) 183*16dce513Schristos value = ((value & 0xffff) ^ 0x8000) - 0x8000; 184*16dce513Schristos *valuep = value; 185*16dce513Schristos return errmsg; 186*16dce513Schristos } 187*16dce513Schristos 188*16dce513Schristos if (strncasecmp (*strp, "sda(", 4) == 0) 189*16dce513Schristos { 190*16dce513Schristos *strp += 4; 191*16dce513Schristos errmsg = cgen_parse_address (cd, strp, opindex, BFD_RELOC_M32R_SDA16, 192*16dce513Schristos NULL, & value); 193*16dce513Schristos if (**strp != ')') 194*16dce513Schristos return MISSING_CLOSING_PARENTHESIS; 195*16dce513Schristos ++*strp; 196*16dce513Schristos *valuep = value; 197*16dce513Schristos return errmsg; 198*16dce513Schristos } 199*16dce513Schristos 200*16dce513Schristos return cgen_parse_signed_integer (cd, strp, opindex, valuep); 201*16dce513Schristos} 202*16dce513Schristos 203*16dce513Schristos/* Handle low() in an unsigned context. 204*16dce513Schristos The signedness of the value doesn't matter to low(), but this also 205*16dce513Schristos handles the case where low() isn't present. */ 206*16dce513Schristos 207*16dce513Schristosstatic const char * 208*16dce513Schristosparse_ulo16 (CGEN_CPU_DESC cd, 209*16dce513Schristos const char **strp, 210*16dce513Schristos int opindex, 211*16dce513Schristos unsigned long *valuep) 212*16dce513Schristos{ 213*16dce513Schristos const char *errmsg; 214*16dce513Schristos enum cgen_parse_operand_result result_type; 215*16dce513Schristos bfd_vma value; 216*16dce513Schristos 217*16dce513Schristos if (**strp == '#') 218*16dce513Schristos ++*strp; 219*16dce513Schristos 220*16dce513Schristos if (strncasecmp (*strp, "low(", 4) == 0) 221*16dce513Schristos { 222*16dce513Schristos *strp += 4; 223*16dce513Schristos errmsg = cgen_parse_address (cd, strp, opindex, BFD_RELOC_M32R_LO16, 224*16dce513Schristos & result_type, & value); 225*16dce513Schristos if (**strp != ')') 226*16dce513Schristos return MISSING_CLOSING_PARENTHESIS; 227*16dce513Schristos ++*strp; 228*16dce513Schristos if (errmsg == NULL 229*16dce513Schristos && result_type == CGEN_PARSE_OPERAND_RESULT_NUMBER) 230*16dce513Schristos value &= 0xffff; 231*16dce513Schristos *valuep = value; 232*16dce513Schristos return errmsg; 233*16dce513Schristos } 234*16dce513Schristos 235*16dce513Schristos return cgen_parse_unsigned_integer (cd, strp, opindex, valuep); 236*16dce513Schristos} 237*16dce513Schristos 238*16dce513Schristos/* -- */ 239*16dce513Schristos 240*16dce513Schristos/* -- dis.c */ 241*16dce513Schristos 242*16dce513Schristos/* Print signed operands with '#' prefixes. */ 243*16dce513Schristos 244*16dce513Schristosstatic void 245*16dce513Schristosprint_signed_with_hash_prefix (CGEN_CPU_DESC cd ATTRIBUTE_UNUSED, 246*16dce513Schristos void * dis_info, 247*16dce513Schristos long value, 248*16dce513Schristos unsigned int attrs ATTRIBUTE_UNUSED, 249*16dce513Schristos bfd_vma pc ATTRIBUTE_UNUSED, 250*16dce513Schristos int length ATTRIBUTE_UNUSED) 251*16dce513Schristos{ 252*16dce513Schristos disassemble_info *info = (disassemble_info *) dis_info; 253*16dce513Schristos 254*16dce513Schristos (*info->fprintf_func) (info->stream, "#"); 255*16dce513Schristos (*info->fprintf_func) (info->stream, "%ld", value); 256*16dce513Schristos} 257*16dce513Schristos 258*16dce513Schristos/* Print unsigned operands with '#' prefixes. */ 259*16dce513Schristos 260*16dce513Schristosstatic void 261*16dce513Schristosprint_unsigned_with_hash_prefix (CGEN_CPU_DESC cd ATTRIBUTE_UNUSED, 262*16dce513Schristos void * dis_info, 263*16dce513Schristos long value, 264*16dce513Schristos unsigned int attrs ATTRIBUTE_UNUSED, 265*16dce513Schristos bfd_vma pc ATTRIBUTE_UNUSED, 266*16dce513Schristos int length ATTRIBUTE_UNUSED) 267*16dce513Schristos{ 268*16dce513Schristos disassemble_info *info = (disassemble_info *) dis_info; 269*16dce513Schristos 270*16dce513Schristos (*info->fprintf_func) (info->stream, "#"); 271*16dce513Schristos (*info->fprintf_func) (info->stream, "0x%lx", value); 272*16dce513Schristos} 273*16dce513Schristos 274*16dce513Schristos/* Handle '#' prefixes as operands. */ 275*16dce513Schristos 276*16dce513Schristosstatic void 277*16dce513Schristosprint_hash (CGEN_CPU_DESC cd ATTRIBUTE_UNUSED, 278*16dce513Schristos void * dis_info, 279*16dce513Schristos long value ATTRIBUTE_UNUSED, 280*16dce513Schristos unsigned int attrs ATTRIBUTE_UNUSED, 281*16dce513Schristos bfd_vma pc ATTRIBUTE_UNUSED, 282*16dce513Schristos int length ATTRIBUTE_UNUSED) 283*16dce513Schristos{ 284*16dce513Schristos disassemble_info *info = (disassemble_info *) dis_info; 285*16dce513Schristos 286*16dce513Schristos (*info->fprintf_func) (info->stream, "#"); 287*16dce513Schristos} 288*16dce513Schristos 289*16dce513Schristos#undef CGEN_PRINT_INSN 290*16dce513Schristos#define CGEN_PRINT_INSN my_print_insn 291*16dce513Schristos 292*16dce513Schristosstatic int 293*16dce513Schristosmy_print_insn (CGEN_CPU_DESC cd, 294*16dce513Schristos bfd_vma pc, 295*16dce513Schristos disassemble_info *info) 296*16dce513Schristos{ 297*16dce513Schristos bfd_byte buffer[CGEN_MAX_INSN_SIZE]; 298*16dce513Schristos bfd_byte *buf = buffer; 299*16dce513Schristos int status; 300*16dce513Schristos int buflen = (pc & 3) == 0 ? 4 : 2; 301*16dce513Schristos int big_p = CGEN_CPU_INSN_ENDIAN (cd) == CGEN_ENDIAN_BIG; 302*16dce513Schristos bfd_byte *x; 303*16dce513Schristos 304*16dce513Schristos /* Read the base part of the insn. */ 305*16dce513Schristos 306*16dce513Schristos status = (*info->read_memory_func) (pc - ((!big_p && (pc & 3) != 0) ? 2 : 0), 307*16dce513Schristos buf, buflen, info); 308*16dce513Schristos if (status != 0) 309*16dce513Schristos { 310*16dce513Schristos (*info->memory_error_func) (status, pc, info); 311*16dce513Schristos return -1; 312*16dce513Schristos } 313*16dce513Schristos 314*16dce513Schristos /* 32 bit insn? */ 315*16dce513Schristos x = (big_p ? &buf[0] : &buf[3]); 316*16dce513Schristos if ((pc & 3) == 0 && (*x & 0x80) != 0) 317*16dce513Schristos return print_insn (cd, pc, info, buf, buflen); 318*16dce513Schristos 319*16dce513Schristos /* Print the first insn. */ 320*16dce513Schristos if ((pc & 3) == 0) 321*16dce513Schristos { 322*16dce513Schristos buf += (big_p ? 0 : 2); 323*16dce513Schristos if (print_insn (cd, pc, info, buf, 2) == 0) 324*16dce513Schristos (*info->fprintf_func) (info->stream, UNKNOWN_INSN_MSG); 325*16dce513Schristos buf += (big_p ? 2 : -2); 326*16dce513Schristos } 327*16dce513Schristos 328*16dce513Schristos x = (big_p ? &buf[0] : &buf[1]); 329*16dce513Schristos if (*x & 0x80) 330*16dce513Schristos { 331*16dce513Schristos /* Parallel. */ 332*16dce513Schristos (*info->fprintf_func) (info->stream, " || "); 333*16dce513Schristos *x &= 0x7f; 334*16dce513Schristos } 335*16dce513Schristos else 336*16dce513Schristos (*info->fprintf_func) (info->stream, " -> "); 337*16dce513Schristos 338*16dce513Schristos /* The "& 3" is to pass a consistent address. 339*16dce513Schristos Parallel insns arguably both begin on the word boundary. 340*16dce513Schristos Also, branch insns are calculated relative to the word boundary. */ 341*16dce513Schristos if (print_insn (cd, pc & ~ (bfd_vma) 3, info, buf, 2) == 0) 342*16dce513Schristos (*info->fprintf_func) (info->stream, UNKNOWN_INSN_MSG); 343*16dce513Schristos 344*16dce513Schristos return (pc & 3) ? 2 : 4; 345*16dce513Schristos} 346*16dce513Schristos 347*16dce513Schristos/* -- */ 348