archDesc.hpp revision 0
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher/*
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher * Copyright 1997-2007 Sun Microsystems, Inc. All Rights Reserved.
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher *
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher * This code is free software; you can redistribute it and/or modify it
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher * under the terms of the GNU General Public License version 2 only, as
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher * published by the Free Software Foundation.
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher *
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher * This code is distributed in the hope that it will be useful, but WITHOUT
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher * version 2 for more details (a copy is included in the LICENSE file that
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher * accompanied this code).
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher *
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher * You should have received a copy of the GNU General Public License version
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher * 2 along with this work; if not, write to the Free Software Foundation,
7b58d637c20f87e1e49ffc1d49a4de8b25ef06bbJakub Hrozek * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher *
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher * CA 95054 USA or visit www.sun.com if you need additional information or
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher * have any questions.
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher *
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher */
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher// Definitions for Error Flags
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher#define WARN 0
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher#define SYNERR 1
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher#define SEMERR 2
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher#define INTERNAL_ERR 3
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher// Minimal declarations for include files
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagherclass OutputMap;
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagherclass ProductionState;
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagherclass Expr;
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher// STRUCTURE FOR HANDLING INPUT AND OUTPUT FILES
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallaghertypedef BufferedFile ADLFILE;
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher//---------------------------ChainList-----------------------------------------
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagherclass ChainList {
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher NameList _name;
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher NameList _cost;
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher NameList _rule;
728a1812b7c5f70febb522342c5b357da598acfeJakub Hrozek
728a1812b7c5f70febb522342c5b357da598acfeJakub Hrozekpublic:
728a1812b7c5f70febb522342c5b357da598acfeJakub Hrozek void insert(const char *name, const char *cost, const char *rule);
728a1812b7c5f70febb522342c5b357da598acfeJakub Hrozek bool search(const char *name);
728a1812b7c5f70febb522342c5b357da598acfeJakub Hrozek
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher void reset();
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher bool iter(const char * &name, const char * &cost, const char * &rule);
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher void dump();
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher void output(FILE *fp);
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher ChainList();
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher ~ChainList();
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher};
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher//---------------------------MatchList-----------------------------------------
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagherclass MatchList {
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagherprivate:
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher MatchList *_next;
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher Predicate *_pred; // Predicate which applies to this match rule
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher const char *_cost;
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagherpublic:
5f879ab8b6c1cefbc63e1c2303f79b09b6246ca3Stephen Gallagher const char *_opcode;
5f879ab8b6c1cefbc63e1c2303f79b09b6246ca3Stephen Gallagher const char *_resultStr;
5f879ab8b6c1cefbc63e1c2303f79b09b6246ca3Stephen Gallagher const char *_lchild;
5f879ab8b6c1cefbc63e1c2303f79b09b6246ca3Stephen Gallagher const char *_rchild;
5f879ab8b6c1cefbc63e1c2303f79b09b6246ca3Stephen Gallagher
5f879ab8b6c1cefbc63e1c2303f79b09b6246ca3Stephen Gallagher MatchList(MatchList *nxt, Predicate *prd): _next(nxt), _pred(prd), _cost(NULL){
5f879ab8b6c1cefbc63e1c2303f79b09b6246ca3Stephen Gallagher _resultStr = _lchild = _rchild = _opcode = NULL; }
5f879ab8b6c1cefbc63e1c2303f79b09b6246ca3Stephen Gallagher
5f879ab8b6c1cefbc63e1c2303f79b09b6246ca3Stephen Gallagher MatchList(MatchList *nxt, Predicate *prd, const char *cost,
4343b618051d295cbb1a805a85feb117a91c6945Jakub Hrozek const char *opcode, const char *resultStr, const char *lchild,
4343b618051d295cbb1a805a85feb117a91c6945Jakub Hrozek const char *rchild)
4343b618051d295cbb1a805a85feb117a91c6945Jakub Hrozek : _next(nxt), _pred(prd), _cost(cost), _opcode(opcode),
4343b618051d295cbb1a805a85feb117a91c6945Jakub Hrozek _resultStr(resultStr), _lchild(lchild), _rchild(rchild) { }
4343b618051d295cbb1a805a85feb117a91c6945Jakub Hrozek
c7a4383b3b5549d0627c21bb02bd5f0bd46a3531Jakub Hrozek MatchList *get_next(void) { return _next; }
c7a4383b3b5549d0627c21bb02bd5f0bd46a3531Jakub Hrozek char *get_pred(void) { return (_pred?_pred->_pred:NULL); }
c7a4383b3b5549d0627c21bb02bd5f0bd46a3531Jakub Hrozek Predicate *get_pred_obj(void) { return _pred; }
5f879ab8b6c1cefbc63e1c2303f79b09b6246ca3Stephen Gallagher const char *get_cost(void) { return _cost == NULL ? "0" :_cost; }
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher bool search(const char *opc, const char *res, const char *lch,
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher const char *rch, Predicate *pr);
65a8e6e655c22027d3e02ea697972111f2a33e33Jakub Hrozek
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher void dump();
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher void output(FILE *fp);
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher};
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher//---------------------------ArchDesc------------------------------------------
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagherclass ArchDesc {
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagherprivate:
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher FormDict _globalNames; // Global names
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher Dict _idealIndex; // Map ideal names to index in enumeration
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher ExprDict _globalDefs; // Global definitions, #defines
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher int _internalOpCounter; // Internal Operand Counter
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher FormList _header; // List of Source Code Forms for hpp file
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher FormList _pre_header; // ditto for the very top of the hpp file
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher FormList _source; // List of Source Code Forms for output
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher FormList _instructions; // List of Instruction Forms for output
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher FormList _machnodes; // List of Node Classes (special for pipelining)
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher FormList _operands; // List of Operand Forms for output
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher FormList _opclass; // List of Operand Class Forms for output
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher FormList _attributes; // List of Attribute Forms for parsing
4cdaf239d4504966bed8ecd5e3fa07def74c7302Sumit Bose RegisterForm *_register; // Only one Register Form allowed
4cdaf239d4504966bed8ecd5e3fa07def74c7302Sumit Bose FrameForm *_frame; // Describe stack-frame layout
4cdaf239d4504966bed8ecd5e3fa07def74c7302Sumit Bose EncodeForm *_encode; // Only one Encode Form allowed
4cdaf239d4504966bed8ecd5e3fa07def74c7302Sumit Bose PipelineForm *_pipeline; // Pipeline Form for output
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher bool _has_match_rule[_last_opcode]; // found AD rule for ideal node in <arch>.ad
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher MatchList *_mlistab[_last_opcode]; // Array of MatchLists
294e9a5521d327c5cdc49beeb9cb9e703b3134f1Jan Zeleny
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher // The Architecture Description identifies which user-defined operand can be used
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher // to access [stack_pointer + offset]
02ec52b73c1714b877b0b7bc43fbc8d36ad8ca40Jakub Hrozek OperandForm *_cisc_spill_operand;
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher // Methods for outputting the DFA
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher void gen_match(FILE *fp, MatchList &mlist, ProductionState &status, Dict &operands_chained_from);
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher void chain_rule(FILE *fp, const char *indent, const char *ideal,
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher const Expr *icost, const char *irule,
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher Dict &operands_chained_from, ProductionState &status);
c0d9babd59c81c12ca182ab3a72176d4fae494a4Yuri Chornoivan void chain_rule_c(FILE *fp, char *indent, char *ideal, char *irule); // %%%%% TODO: remove this
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher void expand_opclass(FILE *fp, const char *indent, const Expr *cost,
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher const char *result_type, ProductionState &status);
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher Expr *calc_cost(FILE *fp, const char *spaces, MatchList &mList, ProductionState &status);
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher void prune_matchlist(Dict &minimize, MatchList &mlist);
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher // Helper function that outputs code to generate an instruction in MachNodeGenerator
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher void buildMachNode(FILE *fp_cpp, InstructForm *inst, const char *indent);
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagherpublic:
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher ArchDesc();
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher ~ArchDesc();
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher // Option flags which control miscellaneous behaviors throughout the code
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher int _TotalLines; // Line Counter
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher int _no_output; // Flag to disable output of DFA, etc.
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher int _quiet_mode; // Do not output banner messages, etc.
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher int _disable_warnings; // Do not output warning messages
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher int _dfa_debug; // Debug Flag for generated DFA
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher int _dfa_small; // Debug Flag for generated DFA
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher int _adl_debug; // Debug Flag for ADLC
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher int _adlocation_debug; // Debug Flag to use ad file locations
a679f0167b646cffdae86546ed77e105576991b0Pavel Březina bool _cisc_spill_debug; // Debug Flag to see cisc-spill-instructions
a679f0167b646cffdae86546ed77e105576991b0Pavel Březina bool _short_branch_debug; // Debug Flag to see short branch instructions
a679f0167b646cffdae86546ed77e105576991b0Pavel Březina
a679f0167b646cffdae86546ed77e105576991b0Pavel Březina // Error/Warning Counts
a679f0167b646cffdae86546ed77e105576991b0Pavel Březina int _syntax_errs; // Count of syntax errors
a679f0167b646cffdae86546ed77e105576991b0Pavel Březina int _semantic_errs; // Count of semantic errors
a679f0167b646cffdae86546ed77e105576991b0Pavel Březina int _warnings; // Count warnings
a679f0167b646cffdae86546ed77e105576991b0Pavel Březina int _internal_errs; // Count of internal errors
a679f0167b646cffdae86546ed77e105576991b0Pavel Březina
a679f0167b646cffdae86546ed77e105576991b0Pavel Březina // Accessor for private data.
a679f0167b646cffdae86546ed77e105576991b0Pavel Březina void has_match_rule(int opc, const bool b) { _has_match_rule[opc] = b; }
a679f0167b646cffdae86546ed77e105576991b0Pavel Březina
a679f0167b646cffdae86546ed77e105576991b0Pavel Březina // I/O Files
de4ce3477497c20416c6397adb520bb60f3c6d28Jakub Hrozek ADLFILE _ADL_file; // Input Architecture Description File
de4ce3477497c20416c6397adb520bb60f3c6d28Jakub Hrozek // Machine dependent files, built from architecture definition
de4ce3477497c20416c6397adb520bb60f3c6d28Jakub Hrozek ADLFILE _DFA_file; // File for definition of Matcher::DFA
a679f0167b646cffdae86546ed77e105576991b0Pavel Březina ADLFILE _HPP_file; // File for ArchNode class declarations
a679f0167b646cffdae86546ed77e105576991b0Pavel Březina ADLFILE _CPP_file; // File for ArchNode class defintions
a679f0167b646cffdae86546ed77e105576991b0Pavel Březina ADLFILE _CPP_CLONE_file; // File for MachNode/Oper clone defintions
a679f0167b646cffdae86546ed77e105576991b0Pavel Březina ADLFILE _CPP_EXPAND_file; // File for MachNode expand methods
a679f0167b646cffdae86546ed77e105576991b0Pavel Březina ADLFILE _CPP_FORMAT_file; // File for MachNode/Oper format defintions
a679f0167b646cffdae86546ed77e105576991b0Pavel Březina ADLFILE _CPP_GEN_file; // File for MachNode/Oper generator methods
a679f0167b646cffdae86546ed77e105576991b0Pavel Březina ADLFILE _CPP_MISC_file; // File for miscellaneous MachNode/Oper tables & methods
8a05fd320a44636d120a18eb7e9956c7b35b3138Jakub Hrozek ADLFILE _CPP_PEEPHOLE_file; // File for MachNode peephole methods
8a05fd320a44636d120a18eb7e9956c7b35b3138Jakub Hrozek ADLFILE _CPP_PIPELINE_file; // File for MachNode pipeline defintions
8a05fd320a44636d120a18eb7e9956c7b35b3138Jakub Hrozek ADLFILE _VM_file; // File for constants needed in VM code
8a05fd320a44636d120a18eb7e9956c7b35b3138Jakub Hrozek ADLFILE _bug_file; // DFA debugging file
8a05fd320a44636d120a18eb7e9956c7b35b3138Jakub Hrozek
8a05fd320a44636d120a18eb7e9956c7b35b3138Jakub Hrozek // I/O helper methods
8a05fd320a44636d120a18eb7e9956c7b35b3138Jakub Hrozek int open_file(bool required, ADLFILE & adf, const char *action);
8a05fd320a44636d120a18eb7e9956c7b35b3138Jakub Hrozek void close_file(int delete_out, ADLFILE & adf);
8a05fd320a44636d120a18eb7e9956c7b35b3138Jakub Hrozek int open_files(void);
8a05fd320a44636d120a18eb7e9956c7b35b3138Jakub Hrozek void close_files(int delete_out);
8a05fd320a44636d120a18eb7e9956c7b35b3138Jakub Hrozek
8a05fd320a44636d120a18eb7e9956c7b35b3138Jakub Hrozek Dict _chainRules; // Maps user operand names to ChainRules
8a05fd320a44636d120a18eb7e9956c7b35b3138Jakub Hrozek Dict _internalOps; // Maps match strings to internal operand names
8a05fd320a44636d120a18eb7e9956c7b35b3138Jakub Hrozek NameList _internalOpNames; // List internal operand names
8a05fd320a44636d120a18eb7e9956c7b35b3138Jakub Hrozek Dict _internalMatch; // Map internal name to its MatchNode
8a05fd320a44636d120a18eb7e9956c7b35b3138Jakub Hrozek
8a05fd320a44636d120a18eb7e9956c7b35b3138Jakub Hrozek NameList _preproc_list; // Preprocessor flag names
8a05fd320a44636d120a18eb7e9956c7b35b3138Jakub Hrozek FormDict _preproc_table;// Preprocessor flag bindings
8a05fd320a44636d120a18eb7e9956c7b35b3138Jakub Hrozek char* get_preproc_def(const char* flag);
8a05fd320a44636d120a18eb7e9956c7b35b3138Jakub Hrozek void set_preproc_def(const char* flag, const char* def);
8a05fd320a44636d120a18eb7e9956c7b35b3138Jakub Hrozek
8a05fd320a44636d120a18eb7e9956c7b35b3138Jakub Hrozek FormDict& globalNames() {return _globalNames;} // map global names to forms
8a05fd320a44636d120a18eb7e9956c7b35b3138Jakub Hrozek void initKeywords(FormDict& globals); // Add keywords to global name table
8a05fd320a44636d120a18eb7e9956c7b35b3138Jakub Hrozek
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek ExprDict& globalDefs() {return _globalDefs;} // map global names to expressions
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek OperandForm *constructOperand(const char *ident, bool ideal_only);
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek void initBaseOpTypes(); // Import predefined base types.
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek void addForm(PreHeaderForm *ptr); // Add objects to pre-header list
31c1f3a2e699fad82258aab83d756e1e7ca923a2Jakub Hrozek void addForm(HeaderForm *ptr); // Add objects to header list
31c1f3a2e699fad82258aab83d756e1e7ca923a2Jakub Hrozek void addForm(SourceForm *ptr); // Add objects to source list
31c1f3a2e699fad82258aab83d756e1e7ca923a2Jakub Hrozek void addForm(EncodeForm *ptr); // Add objects to encode list
593c4a91596640eafe798e8aac700d0f3ce7ba37Ondrej Kos void addForm(InstructForm *ptr); // Add objects to the instruct list
593c4a91596640eafe798e8aac700d0f3ce7ba37Ondrej Kos void addForm(OperandForm *ptr); // Add objects to the operand list
593c4a91596640eafe798e8aac700d0f3ce7ba37Ondrej Kos void addForm(OpClassForm *ptr); // Add objects to the opclasss list
593c4a91596640eafe798e8aac700d0f3ce7ba37Ondrej Kos void addForm(AttributeForm *ptr); // Add objects to the attributes list
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek void addForm(RegisterForm *ptr); // Add objects to the register list
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek void addForm(FrameForm *ptr); // Add objects to the frame list
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek void addForm(PipelineForm *ptr); // Add objects to the pipeline list
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek void addForm(MachNodeForm *ptr); // Add objects to the machnode list
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek int operandFormCount(); // Count number of OperandForms defined
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek int opclassFormCount(); // Count number of OpClassForms defined
ad1be6fd04234f61f108773ff39aa7485abda47cJakub Hrozek int instructFormCount(); // Count number of InstructForms defined
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek inline void getForm(EncodeForm **ptr) { *ptr = _encode; }
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek bool verify();
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek void dump();
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek // Helper utility that gets MatchList components from inside MatchRule
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek void check_optype(MatchRule *mrule);
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek void build_chain_rule(OperandForm *oper);
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek void add_chain_rule_entry(const char *src, const char *cost,
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek const char *result);
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek const char *getMatchListIndex(MatchRule &mrule);
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek void generateMatchLists(); // Build MatchList array and populate it
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek void inspectOperands(); // Build MatchLists for all operands
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek void inspectOpClasses(); // Build MatchLists for all operands
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek void inspectInstructions(); // Build MatchLists for all operands
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek void buildDFA(FILE *fp); // Driver for constructing the DFA
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek void gen_dfa_state_body(FILE *fp, Dict &minmize, ProductionState &status, Dict &chained, int i); // Driver for constructing the DFA state bodies
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek // Helper utilities to generate reduction maps for internal operands
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek const char *reduceLeft (char *internalName);
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek const char *reduceRight(char *internalName);
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek // Build enumerations, (1) dense operand index, (2) operands and opcodes
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek const char *machOperEnum(const char *opName); // create dense index names using static function
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek static const char *getMachOperEnum(const char *opName);// create dense index name
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek void buildMachOperEnum(FILE *fp_hpp);// dense enumeration for operands
65e454c64dbeb4b74e0cc4ad952a54861dc0c3e4Jakub Hrozek void buildMachOpcodesEnum(FILE *fp_hpp);// enumeration for MachOpers & MachNodes
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek // Helper utilities to generate Register Masks
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek RegisterForm *get_registers() { return _register; }
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek const char *reg_mask(OperandForm &opForm);
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek const char *reg_mask(InstructForm &instForm);
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek const char *reg_class_to_reg_mask(const char *reg_class);
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek char *stack_or_reg_mask(OperandForm &opForm); // name of cisc_spillable version
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek // This register class should also generate a stack_or_reg_mask
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek void set_stack_or_reg(const char *reg_class_name); // for cisc-spillable reg classes
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek // Generate an enumeration of register mask names and the RegMask objects.
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek void declare_register_masks(FILE *fp_cpp);
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek void build_register_masks(FILE *fp_cpp);
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek // Generate enumeration of machine register numbers
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek void buildMachRegisterNumbers(FILE *fp_hpp);
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek // Generate enumeration of machine register encodings
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek void buildMachRegisterEncodes(FILE *fp_hpp);
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek // Generate Regsiter Size Array
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek void declareRegSizes(FILE *fp_hpp);
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek // Generate Pipeline Class information
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek void declare_pipe_classes(FILE *fp_hpp);
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek // Generate Pipeline definitions
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek void build_pipeline_enums(FILE *fp_cpp);
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek // Generate Pipeline Class information
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek void build_pipe_classes(FILE *fp_cpp);
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek // Declare and define mappings from rules to result and input types
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek void build_map(OutputMap &map);
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek void buildReduceMaps(FILE *fp_hpp, FILE *fp_cpp);
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek // build flags for signaling that our machine needs this instruction cloned
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek void buildMustCloneMap(FILE *fp_hpp, FILE *fp_cpp);
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek // output SUN copyright info
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek void addSunCopyright(char* legal, int size, FILE *fp);
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek // output #include declarations for machine specific files
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek void machineDependentIncludes(ADLFILE &adlfile);
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek // Output C preprocessor code to verify the backend compilation environment.
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek void addPreprocessorChecks(FILE *fp);
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek // Output C source and header (source_hpp) blocks.
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek void addPreHeaderBlocks(FILE *fp_hpp);
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek void addHeaderBlocks(FILE *fp_hpp);
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek void addSourceBlocks(FILE *fp_cpp);
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek void generate_adlc_verification(FILE *fp_cpp);
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek // output declaration of class State
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek void defineStateClass(FILE *fp);
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek
74e95cfd9d3939dfe9417d79d2f6fc79b361405fJakub Hrozek // Generator for MachOper objects given integer type
591b0325f5d6f70ae71e61a8c563b437acfb1884Jakub Hrozek void buildMachOperGenerator(FILE *fp_cpp);
edaa983d094c239c3e1ba667bcd20ed3934be3b8Sumit Bose // Generator for MachNode objects given integer type
edaa983d094c239c3e1ba667bcd20ed3934be3b8Sumit Bose void buildMachNodeGenerator(FILE *fp_cpp);
edaa983d094c239c3e1ba667bcd20ed3934be3b8Sumit Bose
edaa983d094c239c3e1ba667bcd20ed3934be3b8Sumit Bose // Generator for Expand methods for instructions with expand rules
edaa983d094c239c3e1ba667bcd20ed3934be3b8Sumit Bose void defineExpand(FILE *fp, InstructForm *node);
edaa983d094c239c3e1ba667bcd20ed3934be3b8Sumit Bose // Generator for Peephole methods for instructions with peephole rules
edaa983d094c239c3e1ba667bcd20ed3934be3b8Sumit Bose void definePeephole(FILE *fp, InstructForm *node);
edaa983d094c239c3e1ba667bcd20ed3934be3b8Sumit Bose // Generator for Size methods for instructions
edaa983d094c239c3e1ba667bcd20ed3934be3b8Sumit Bose void defineSize(FILE *fp, InstructForm &node);
edaa983d094c239c3e1ba667bcd20ed3934be3b8Sumit Bose // Generator for Emit methods for instructions
edaa983d094c239c3e1ba667bcd20ed3934be3b8Sumit Bose void defineEmit(FILE *fp, InstructForm &node);
edaa983d094c239c3e1ba667bcd20ed3934be3b8Sumit Bose // Define a MachOper encode method
edaa983d094c239c3e1ba667bcd20ed3934be3b8Sumit Bose void define_oper_interface(FILE *fp, OperandForm &oper, FormDict &globals,
edaa983d094c239c3e1ba667bcd20ed3934be3b8Sumit Bose const char *name, const char *encoding);
edaa983d094c239c3e1ba667bcd20ed3934be3b8Sumit Bose
edaa983d094c239c3e1ba667bcd20ed3934be3b8Sumit Bose // Methods to construct the MachNode class hierarchy
edaa983d094c239c3e1ba667bcd20ed3934be3b8Sumit Bose // Return the type signature for the ideal operation
edaa983d094c239c3e1ba667bcd20ed3934be3b8Sumit Bose const char *getIdealType(const char *idealOp);
edaa983d094c239c3e1ba667bcd20ed3934be3b8Sumit Bose // Declare and define the classes derived from MachOper and MachNode
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher void declareClasses(FILE *fp_hpp);
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher void defineClasses(FILE *fp_cpp);
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher // Emit an ADLC message
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher void internal_err( const char *fmt, ...);
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher void syntax_err ( int lineno, const char *fmt, ...);
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher int emit_msg(int quiet, int flag, int linenum, const char *fmt,
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher va_list args);
5f879ab8b6c1cefbc63e1c2303f79b09b6246ca3Stephen Gallagher
5f879ab8b6c1cefbc63e1c2303f79b09b6246ca3Stephen Gallagher // Generator for has_match_rule methods
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher void buildInstructMatchCheck(FILE *fp_cpp) const;
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher // Generator for Frame Methods
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher void buildFrameMethods(FILE *fp_cpp);
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher // Generate CISC_spilling oracle and MachNode::cisc_spill() methods
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher void build_cisc_spill_instructions(FILE *fp_hpp, FILE *fp_cpp);
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher void identify_cisc_spill_instructions();
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher void identify_short_branches();
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher void identify_unique_operands();
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher void set_cisc_spill_operand(OperandForm *opForm) { _cisc_spill_operand = opForm; }
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher OperandForm *cisc_spill_operand() { return _cisc_spill_operand; }
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher bool can_cisc_spill() { return _cisc_spill_operand != NULL; }
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagherprotected:
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher // build MatchList from MatchRule
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher void buildMatchList(MatchRule *mrule, const char *resultStr,
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher const char *rootOp, Predicate *pred, const char *cost);
d231e95b0a5e1bd377f67e041e8b502a79fdc605Jakub Hrozek
d231e95b0a5e1bd377f67e041e8b502a79fdc605Jakub Hrozek void buildMList(MatchNode *node, const char *rootOp, const char *resultOp,
d231e95b0a5e1bd377f67e041e8b502a79fdc605Jakub Hrozek Predicate *pred, const char *cost);
d231e95b0a5e1bd377f67e041e8b502a79fdc605Jakub Hrozek
d231e95b0a5e1bd377f67e041e8b502a79fdc605Jakub Hrozek friend class ADLParser;
d231e95b0a5e1bd377f67e041e8b502a79fdc605Jakub Hrozek
d231e95b0a5e1bd377f67e041e8b502a79fdc605Jakub Hrozek};
d231e95b0a5e1bd377f67e041e8b502a79fdc605Jakub Hrozek
d231e95b0a5e1bd377f67e041e8b502a79fdc605Jakub Hrozek
d231e95b0a5e1bd377f67e041e8b502a79fdc605Jakub Hrozek// -------------------------------- maps ------------------------------------
d231e95b0a5e1bd377f67e041e8b502a79fdc605Jakub Hrozek
d231e95b0a5e1bd377f67e041e8b502a79fdc605Jakub Hrozek// Base class for generating a mapping from rule number to value.
d231e95b0a5e1bd377f67e041e8b502a79fdc605Jakub Hrozek// Used with ArchDesc::build_map() for all maps except "enum MachOperands"
d231e95b0a5e1bd377f67e041e8b502a79fdc605Jakub Hrozek// A derived class defines the appropriate output for a specific mapping.
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagherclass OutputMap {
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagherprotected:
8cc00c355862f5573f884efe828aa4c0f855376aJakub Hrozek FILE *_hpp;
8cc00c355862f5573f884efe828aa4c0f855376aJakub Hrozek FILE *_cpp;
8cc00c355862f5573f884efe828aa4c0f855376aJakub Hrozek FormDict &_globals;
8cc00c355862f5573f884efe828aa4c0f855376aJakub Hrozek ArchDesc &_AD;
8cc00c355862f5573f884efe828aa4c0f855376aJakub Hrozekpublic:
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher OutputMap (FILE *decl_file, FILE *def_file, FormDict &globals, ArchDesc &AD)
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher : _hpp(decl_file), _cpp(def_file), _globals(globals), _AD(AD) {};
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher // Access files used by this routine
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher FILE *decl_file() { return _hpp; }
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher FILE *def_file() { return _cpp; }
03532fb1cbb7e8c1d5cf2e93aa3719f926631cabStephen Gallagher // Positions in iteration that derived class will be told about
enum position { BEGIN_OPERANDS,
BEGIN_OPCLASSES,
BEGIN_INTERNALS,
BEGIN_INSTRUCTIONS,
BEGIN_INST_CHAIN_RULES,
END_INST_CHAIN_RULES,
BEGIN_REMATERIALIZE,
END_REMATERIALIZE,
END_INSTRUCTIONS
};
// Output routines specific to the derived class
virtual void declaration() {}
virtual void definition() {}
virtual void closing() { fprintf(_cpp, "};\n"); }
virtual void map(OperandForm &oper) { }
virtual void map(OpClassForm &opc) { }
virtual void map(char *internal_name) { }
// Allow enum-MachOperands to turn-off instructions
virtual bool do_instructions() { return true; }
virtual void map(InstructForm &inst) { }
// Allow derived class to output name and position specific info
virtual void record_position(OutputMap::position place, int index) {}
};