Subversion Repositories openrisc

/* A Bison parser, made by GNU Bison 2.3.  */

/* Skeleton implementation for Bison's Yacc-like parsers in C

   Copyright (C) 1984, 1989, 1990, 2000, 2001, 2002, 2003, 2004, 2005, 2006

   Free Software Foundation, Inc.

   This program 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.

   This program 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 this program; if not, write to the Free Software

   Foundation, Inc., 51 Franklin Street, Fifth Floor,

   Boston, MA 02110-1301, USA.  */

/* As a special exception, you may create a larger work that contains

   part or all of the Bison parser skeleton and distribute that work

   under terms of your choice, so long as that work isn't itself a

   parser generator using the skeleton or a modified version thereof

   as a parser skeleton.  Alternatively, if you modify or redistribute

   the parser skeleton itself, you may (at your option) remove this

   special exception, which will cause the skeleton and the resulting

   Bison output files to be licensed under the GNU General Public

   License without this special exception.

   This special exception was added by the Free Software Foundation in

   version 2.2 of Bison.  */

/* C LALR(1) parser skeleton written by Richard Stallman, by

   simplifying the original so-called "semantic" parser.  */

/* All symbols defined below should begin with yy or YY, to avoid

   infringing on user name space.  This should be done even for local

   variables, as they might otherwise be expanded by user macros.

   There are some unavoidable exceptions within include files to

   define necessary library symbols; they are noted "INFRINGES ON

   USER NAME SPACE" below.  */

/* Identify Bison output.  */

#define YYBISON 1

/* Bison version.  */

#define YYBISON_VERSION "2.3"

/* Skeleton name.  */

#define YYSKELETON_NAME "yacc.c"

/* Pure parsers.  */

#define YYPURE 0

/* Using locations.  */

#define YYLSP_NEEDED 0

/* Tokens.  */

#ifndef YYTOKENTYPE

# define YYTOKENTYPE

   /* Put the tokens into the symbol table, so that GDB and other debuggers

      know about them.  */

   enum yytokentype {

     BYTEOP16P = 258,

     BYTEOP16M = 259,

     BYTEOP1P = 260,

     BYTEOP2P = 261,

     BYTEOP2M = 262,

     BYTEOP3P = 263,

     BYTEUNPACK = 264,

     BYTEPACK = 265,

     PACK = 266,

     SAA = 267,

     ALIGN8 = 268,

     ALIGN16 = 269,

     ALIGN24 = 270,

     VIT_MAX = 271,

     EXTRACT = 272,

     DEPOSIT = 273,

     EXPADJ = 274,

     SEARCH = 275,

     ONES = 276,

     SIGN = 277,

     SIGNBITS = 278,

     LINK = 279,

     UNLINK = 280,

     REG = 281,

     PC = 282,

     CCREG = 283,

     BYTE_DREG = 284,

     REG_A_DOUBLE_ZERO = 285,

     REG_A_DOUBLE_ONE = 286,

     A_ZERO_DOT_L = 287,

     A_ZERO_DOT_H = 288,

     A_ONE_DOT_L = 289,

     A_ONE_DOT_H = 290,

     HALF_REG = 291,

     NOP = 292,

     RTI = 293,

     RTS = 294,

     RTX = 295,

     RTN = 296,

     RTE = 297,

     HLT = 298,

     IDLE = 299,

     STI = 300,

     CLI = 301,

     CSYNC = 302,

     SSYNC = 303,

     EMUEXCPT = 304,

     RAISE = 305,

     EXCPT = 306,

     LSETUP = 307,

     LOOP = 308,

     LOOP_BEGIN = 309,

     LOOP_END = 310,

     DISALGNEXCPT = 311,

     JUMP = 312,

     JUMP_DOT_S = 313,

     JUMP_DOT_L = 314,

     CALL = 315,

     ABORT = 316,

     NOT = 317,

     TILDA = 318,

     BANG = 319,

     AMPERSAND = 320,

     BAR = 321,

     PERCENT = 322,

     CARET = 323,

     BXOR = 324,

     MINUS = 325,

     PLUS = 326,

     STAR = 327,

     SLASH = 328,

     NEG = 329,

     MIN = 330,

     MAX = 331,

     ABS = 332,

     DOUBLE_BAR = 333,

     _PLUS_BAR_PLUS = 334,

     _PLUS_BAR_MINUS = 335,

     _MINUS_BAR_PLUS = 336,

     _MINUS_BAR_MINUS = 337,

     _MINUS_MINUS = 338,

     _PLUS_PLUS = 339,

     SHIFT = 340,

     LSHIFT = 341,

     ASHIFT = 342,

     BXORSHIFT = 343,

     _GREATER_GREATER_GREATER_THAN_ASSIGN = 344,

     ROT = 345,

     LESS_LESS = 346,

     GREATER_GREATER = 347,

     _GREATER_GREATER_GREATER = 348,

     _LESS_LESS_ASSIGN = 349,

     _GREATER_GREATER_ASSIGN = 350,

     DIVS = 351,

     DIVQ = 352,

     ASSIGN = 353,

     _STAR_ASSIGN = 354,

     _BAR_ASSIGN = 355,

     _CARET_ASSIGN = 356,

     _AMPERSAND_ASSIGN = 357,

     _MINUS_ASSIGN = 358,

     _PLUS_ASSIGN = 359,

     _ASSIGN_BANG = 360,

     _LESS_THAN_ASSIGN = 361,

     _ASSIGN_ASSIGN = 362,

     GE = 363,

     LT = 364,

     LE = 365,

     GT = 366,

     LESS_THAN = 367,

     FLUSHINV = 368,

     FLUSH = 369,

     IFLUSH = 370,

     PREFETCH = 371,

     PRNT = 372,

     OUTC = 373,

     WHATREG = 374,

     TESTSET = 375,

     ASL = 376,

     ASR = 377,

     B = 378,

     W = 379,

     NS = 380,

     S = 381,

     CO = 382,

     SCO = 383,

     TH = 384,

     TL = 385,

     BP = 386,

     BREV = 387,

     X = 388,

     Z = 389,

     M = 390,

     MMOD = 391,

     R = 392,

     RND = 393,

     RNDL = 394,

     RNDH = 395,

     RND12 = 396,

     RND20 = 397,

     V = 398,

     LO = 399,

     HI = 400,

     BITTGL = 401,

     BITCLR = 402,

     BITSET = 403,

     BITTST = 404,

     BITMUX = 405,

     DBGAL = 406,

     DBGAH = 407,

     DBGHALT = 408,

     DBG = 409,

     DBGA = 410,

     DBGCMPLX = 411,

     IF = 412,

     COMMA = 413,

     BY = 414,

     COLON = 415,

     SEMICOLON = 416,

     RPAREN = 417,

     LPAREN = 418,

     LBRACK = 419,

     RBRACK = 420,

     STATUS_REG = 421,

     MNOP = 422,

     SYMBOL = 423,

     NUMBER = 424,

     GOT = 425,

     GOT17M4 = 426,

     FUNCDESC_GOT17M4 = 427,

     AT = 428,

     PLTPC = 429

   };

#endif

/* Tokens.  */

#define BYTEOP16P 258

#define BYTEOP16M 259

#define BYTEOP1P 260

#define BYTEOP2P 261

#define BYTEOP2M 262

#define BYTEOP3P 263

#define BYTEUNPACK 264

#define BYTEPACK 265

#define PACK 266

#define SAA 267

#define ALIGN8 268

#define ALIGN16 269

#define ALIGN24 270

#define VIT_MAX 271

#define EXTRACT 272

#define DEPOSIT 273

#define EXPADJ 274

#define SEARCH 275

#define ONES 276

#define SIGN 277

#define SIGNBITS 278

#define LINK 279

#define UNLINK 280

#define REG 281

#define PC 282

#define CCREG 283

#define BYTE_DREG 284

#define REG_A_DOUBLE_ZERO 285

#define REG_A_DOUBLE_ONE 286

#define A_ZERO_DOT_L 287

#define A_ZERO_DOT_H 288

#define A_ONE_DOT_L 289

#define A_ONE_DOT_H 290

#define HALF_REG 291

#define NOP 292

#define RTI 293

#define RTS 294

#define RTX 295

#define RTN 296

#define RTE 297

#define HLT 298

#define IDLE 299

#define STI 300

#define CLI 301

#define CSYNC 302

#define SSYNC 303

#define EMUEXCPT 304

#define RAISE 305

#define EXCPT 306

#define LSETUP 307

#define LOOP 308

#define LOOP_BEGIN 309

#define LOOP_END 310

#define DISALGNEXCPT 311

#define JUMP 312

#define JUMP_DOT_S 313

#define JUMP_DOT_L 314

#define CALL 315

#define ABORT 316

#define NOT 317

#define TILDA 318

#define BANG 319

#define AMPERSAND 320

#define BAR 321

#define PERCENT 322

#define CARET 323

#define BXOR 324

#define MINUS 325

#define PLUS 326

#define STAR 327

#define SLASH 328

#define NEG 329

#define MIN 330

#define MAX 331

#define ABS 332

#define DOUBLE_BAR 333

#define _PLUS_BAR_PLUS 334

#define _PLUS_BAR_MINUS 335

#define _MINUS_BAR_PLUS 336

#define _MINUS_BAR_MINUS 337

#define _MINUS_MINUS 338

#define _PLUS_PLUS 339

#define SHIFT 340

#define LSHIFT 341

#define ASHIFT 342

#define BXORSHIFT 343

#define _GREATER_GREATER_GREATER_THAN_ASSIGN 344

#define ROT 345

#define LESS_LESS 346

#define GREATER_GREATER 347

#define _GREATER_GREATER_GREATER 348

#define _LESS_LESS_ASSIGN 349

#define _GREATER_GREATER_ASSIGN 350

#define DIVS 351

#define DIVQ 352

#define ASSIGN 353

#define _STAR_ASSIGN 354

#define _BAR_ASSIGN 355

#define _CARET_ASSIGN 356

#define _AMPERSAND_ASSIGN 357

#define _MINUS_ASSIGN 358

#define _PLUS_ASSIGN 359

#define _ASSIGN_BANG 360

#define _LESS_THAN_ASSIGN 361

#define _ASSIGN_ASSIGN 362

#define GE 363

#define LT 364

#define LE 365

#define GT 366

#define LESS_THAN 367

#define FLUSHINV 368

#define FLUSH 369

#define IFLUSH 370

#define PREFETCH 371

#define PRNT 372

#define OUTC 373

#define WHATREG 374

#define TESTSET 375

#define ASL 376

#define ASR 377

#define B 378

#define W 379

#define NS 380

#define S 381

#define CO 382

#define SCO 383

#define TH 384

#define TL 385

#define BP 386

#define BREV 387

#define X 388

#define Z 389

#define M 390

#define MMOD 391

#define R 392

#define RND 393

#define RNDL 394

#define RNDH 395

#define RND12 396

#define RND20 397

#define V 398

#define LO 399

#define HI 400

#define BITTGL 401

#define BITCLR 402

#define BITSET 403

#define BITTST 404

#define BITMUX 405

#define DBGAL 406

#define DBGAH 407

#define DBGHALT 408

#define DBG 409

#define DBGA 410

#define DBGCMPLX 411

#define IF 412

#define COMMA 413

#define BY 414

#define COLON 415

#define SEMICOLON 416

#define RPAREN 417

#define LPAREN 418

#define LBRACK 419

#define RBRACK 420

#define STATUS_REG 421

#define MNOP 422

#define SYMBOL 423

#define NUMBER 424

#define GOT 425

#define GOT17M4 426

#define FUNCDESC_GOT17M4 427

#define AT 428

#define PLTPC 429

/* Copy the first part of user declarations.  */

#line 21 "bfin-parse.y"

#include "as.h"

#include <obstack.h>

#include "bfin-aux.h"  /* Opcode generating auxiliaries.  */

#include "libbfd.h"

#include "elf/common.h"

#include "elf/bfin.h"

#define DSP32ALU(aopcde, HL, dst1, dst0, src0, src1, s, x, aop) \

        bfin_gen_dsp32alu (HL, aopcde, aop, s, x, dst0, dst1, src0, src1)

#define DSP32MAC(op1, MM, mmod, w1, P, h01, h11, h00, h10, dst, op0, src0, src1, w0) \

        bfin_gen_dsp32mac (op1, MM, mmod, w1, P, h01, h11, h00, h10, op0, \

                           dst, src0, src1, w0)

#define DSP32MULT(op1, MM, mmod, w1, P, h01, h11, h00, h10, dst, op0, src0, src1, w0) \

        bfin_gen_dsp32mult (op1, MM, mmod, w1, P, h01, h11, h00, h10, op0, \

                            dst, src0, src1, w0)

#define DSP32SHIFT(sopcde, dst0, src0, src1, sop, hls)  \

        bfin_gen_dsp32shift (sopcde, dst0, src0, src1, sop, hls)

#define DSP32SHIFTIMM(sopcde, dst0, immag, src1, sop, hls)  \

        bfin_gen_dsp32shiftimm (sopcde, dst0, immag, src1, sop, hls)

#define LDIMMHALF_R(reg, h, s, z, hword) \

        bfin_gen_ldimmhalf (reg, h, s, z, hword, 1)

#define LDIMMHALF_R5(reg, h, s, z, hword) \

        bfin_gen_ldimmhalf (reg, h, s, z, hword, 2)

#define LDSTIDXI(ptr, reg, w, sz, z, offset)  \

        bfin_gen_ldstidxi (ptr, reg, w, sz, z, offset)

#define LDST(ptr, reg, aop, sz, z, w)  \

        bfin_gen_ldst (ptr, reg, aop, sz, z, w)

#define LDSTII(ptr, reg, offset, w, op)  \

        bfin_gen_ldstii (ptr, reg, offset, w, op)

#define DSPLDST(i, m, reg, aop, w) \

        bfin_gen_dspldst (i, reg, aop, w, m)

#define LDSTPMOD(ptr, reg, idx, aop, w) \

        bfin_gen_ldstpmod (ptr, reg, aop, w, idx)

#define LDSTIIFP(offset, reg, w)  \

        bfin_gen_ldstiifp (reg, offset, w)

#define LOGI2OP(dst, src, opc) \

        bfin_gen_logi2op (opc, src, dst.regno & CODE_MASK)

#define ALU2OP(dst, src, opc)  \

        bfin_gen_alu2op (dst, src, opc)

#define BRCC(t, b, offset) \

        bfin_gen_brcc (t, b, offset)

#define UJUMP(offset) \

        bfin_gen_ujump (offset)

#define PROGCTRL(prgfunc, poprnd) \

        bfin_gen_progctrl (prgfunc, poprnd)

#define PUSHPOPMULTIPLE(dr, pr, d, p, w) \

        bfin_gen_pushpopmultiple (dr, pr, d, p, w)

#define PUSHPOPREG(reg, w) \

        bfin_gen_pushpopreg (reg, w)

#define CALLA(addr, s)  \

        bfin_gen_calla (addr, s)

#define LINKAGE(r, framesize) \

        bfin_gen_linkage (r, framesize)

#define COMPI2OPD(dst, src, op)  \

        bfin_gen_compi2opd (dst, src, op)

#define COMPI2OPP(dst, src, op)  \

        bfin_gen_compi2opp (dst, src, op)

#define DAGMODIK(i, op)  \

        bfin_gen_dagmodik (i, op)

#define DAGMODIM(i, m, op, br)  \

        bfin_gen_dagmodim (i, m, op, br)

#define COMP3OP(dst, src0, src1, opc)   \

        bfin_gen_comp3op (src0, src1, dst, opc)

#define PTR2OP(dst, src, opc)   \

        bfin_gen_ptr2op (dst, src, opc)

#define CCFLAG(x, y, opc, i, g)  \

        bfin_gen_ccflag (x, y, opc, i, g)

#define CCMV(src, dst, t) \

        bfin_gen_ccmv (src, dst, t)

#define CACTRL(reg, a, op) \

        bfin_gen_cactrl (reg, a, op)

#define LOOPSETUP(soffset, c, rop, eoffset, reg) \

        bfin_gen_loopsetup (soffset, c, rop, eoffset, reg)

#define HL2(r1, r0)  (IS_H (r1) << 1 | IS_H (r0))

#define IS_RANGE(bits, expr, sign, mul)    \

        value_match(expr, bits, sign, mul, 1)

#define IS_URANGE(bits, expr, sign, mul)    \

        value_match(expr, bits, sign, mul, 0)

#define IS_CONST(expr) (expr->type == Expr_Node_Constant)

#define IS_RELOC(expr) (expr->type != Expr_Node_Constant)

#define IS_IMM(expr, bits)  value_match (expr, bits, 0, 1, 1)

#define IS_UIMM(expr, bits)  value_match (expr, bits, 0, 1, 0)

#define IS_PCREL4(expr) \

        (value_match (expr, 4, 0, 2, 0))

#define IS_LPPCREL10(expr) \

        (value_match (expr, 10, 0, 2, 0))

#define IS_PCREL10(expr) \

        (value_match (expr, 10, 0, 2, 1))

#define IS_PCREL12(expr) \

        (value_match (expr, 12, 0, 2, 1))

#define IS_PCREL24(expr) \

        (value_match (expr, 24, 0, 2, 1))

static int value_match (Expr_Node *expr, int sz, int sign, int mul, int issigned);

extern FILE *errorf;

extern INSTR_T insn;

static Expr_Node *binary (Expr_Op_Type, Expr_Node *, Expr_Node *);

static Expr_Node *unary  (Expr_Op_Type, Expr_Node *);

static void notethat (char *format, ...);

char *current_inputline;

extern char *yytext;

int yyerror (char *msg);

void error (char *format, ...)

{

    va_list ap;

    static char buffer[2000];

    va_start (ap, format);

    vsprintf (buffer, format, ap);

    va_end (ap);

    as_bad ("%s", buffer);

}

int

yyerror (char *msg)

{

  if (msg[0] == '\0')

    error ("%s", msg);

  else if (yytext[0] != ';')

    error ("%s. Input text was %s.", msg, yytext);

  else

    error ("%s.", msg);

  return -1;

}

static int

in_range_p (Expr_Node *expr, int from, int to, unsigned int mask)

{

  int val = EXPR_VALUE (expr);

  if (expr->type != Expr_Node_Constant)

    return 0;

  if (val < from || val > to)

    return 0;

  return (val & mask) == 0;

}

extern int yylex (void);

#define imm3(x) EXPR_VALUE (x)

#define imm4(x) EXPR_VALUE (x)

#define uimm4(x) EXPR_VALUE (x)

#define imm5(x) EXPR_VALUE (x)

#define uimm5(x) EXPR_VALUE (x)

#define imm6(x) EXPR_VALUE (x)

#define imm7(x) EXPR_VALUE (x)

#define imm16(x) EXPR_VALUE (x)

#define uimm16s4(x) ((EXPR_VALUE (x)) >> 2)

#define uimm16(x) EXPR_VALUE (x)

/* Return true if a value is inside a range.  */

#define IN_RANGE(x, low, high) \

  (((EXPR_VALUE(x)) >= (low)) && (EXPR_VALUE(x)) <= ((high)))

/* Auxiliary functions.  */

static int

valid_dreg_pair (Register *reg1, Expr_Node *reg2)

{

  if (!IS_DREG (*reg1))

    {

      yyerror ("Dregs expected");

      return 0;

    }

  if (reg1->regno != 1 && reg1->regno != 3)

    {

      yyerror ("Bad register pair");

      return 0;

    }

  if (imm7 (reg2) != reg1->regno - 1)

    {

      yyerror ("Bad register pair");

      return 0;

    }

  reg1->regno--;

  return 1;

}

static int

check_multiply_halfregs (Macfunc *aa, Macfunc *ab)

{

  if ((!REG_EQUAL (aa->s0, ab->s0) && !REG_EQUAL (aa->s0, ab->s1))

      || (!REG_EQUAL (aa->s1, ab->s1) && !REG_EQUAL (aa->s1, ab->s0)))

    return yyerror ("Source multiplication register mismatch");

  return 0;

}

/* Check mac option.  */

static int

check_macfunc_option (Macfunc *a, Opt_mode *opt)

{

  /* Default option is always valid.  */

  if (opt->mod == 0)

    return 0;

  if ((a->w == 1 && a->P == 1

       && opt->mod != M_FU && opt->mod != M_IS && opt->mod != M_IU

       && opt->mod != M_S2RND && opt->mod != M_ISS2)

      || (a->w == 1 && a->P == 0

          && opt->mod != M_FU && opt->mod != M_IS && opt->mod != M_IU

          && opt->mod != M_T && opt->mod != M_TFU && opt->mod != M_S2RND

          && opt->mod != M_ISS2 && opt->mod != M_IH)

      || (a->w == 0 && a->P == 0

          && opt->mod != M_FU && opt->mod != M_IS && opt->mod != M_W32))

    return -1;

  return 0;

}

/* Check (vector) mac funcs and ops.  */

static int

check_macfuncs (Macfunc *aa, Opt_mode *opa,

                Macfunc *ab, Opt_mode *opb)

{

  /* Variables for swapping.  */

  Macfunc mtmp;

  Opt_mode otmp;

  /* The option mode should be put at the end of the second instruction

     of the vector except M, which should follow MAC1 instruction.  */

  if (opa->mod != 0)

    return yyerror ("Bad opt mode");

  /* If a0macfunc comes before a1macfunc, swap them.  */

  if (aa->n == 0)

    {

      /*  (M) is not allowed here.  */

      if (opa->MM != 0)

        return yyerror ("(M) not allowed with A0MAC");

      if (ab->n != 1)

        return yyerror ("Vector AxMACs can't be same");

      mtmp = *aa; *aa = *ab; *ab = mtmp;

      otmp = *opa; *opa = *opb; *opb = otmp;

    }

  else

    {

      if (opb->MM != 0)

        return yyerror ("(M) not allowed with A0MAC");

      if (ab->n != 0)