1/* This file is part of the program psim. 2 3 Copyright (C) 1994-1997, Andrew Cagney <cagney@highland.com.au> 4 5 This program is free software; you can redistribute it and/or modify 6 it under the terms of the GNU General Public License as published by 7 the Free Software Foundation; either version 2 of the License, or 8 (at your option) any later version. 9 10 This program is distributed in the hope that it will be useful, 11 but WITHOUT ANY WARRANTY; without even the implied warranty of 12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 13 GNU General Public License for more details. 14 15 You should have received a copy of the GNU General Public License 16 along with this program; if not, write to the Free Software 17 Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. 18 19 */ 20 21 22 23#include "misc.h" 24#include "lf.h" 25#include "table.h" 26#include "filter.h" 27 28#include "ld-decode.h" 29#include "ld-cache.h" 30#include "ld-insn.h" 31 32#include "igen.h" 33 34#include "gen-semantics.h" 35#include "gen-icache.h" 36#include "gen-idecode.h" 37 38 39static void 40print_semantic_function_header(lf *file, 41 const char *basename, 42 insn_bits *expanded_bits, 43 int is_function_definition) 44{ 45 int indent; 46 lf_printf(file, "\n"); 47 lf_print_function_type(file, SEMANTIC_FUNCTION_TYPE, "PSIM_EXTERN_SEMANTICS", 48 (is_function_definition ? "\n" : " ")); 49 indent = print_function_name(file, 50 basename, 51 expanded_bits, 52 function_name_prefix_semantics); 53 if (is_function_definition) 54 lf_indent(file, +indent); 55 else 56 lf_printf(file, "\n"); 57 lf_printf(file, "(%s)", SEMANTIC_FUNCTION_FORMAL); 58 if (is_function_definition) 59 lf_indent(file, -indent); 60 else 61 lf_printf(file, ";"); 62 lf_printf(file, "\n"); 63} 64 65void 66print_semantic_declaration(insn_table *entry, 67 lf *file, 68 void *data, 69 insn *instruction, 70 int depth) 71{ 72 if (generate_expanded_instructions) { 73 ASSERT(entry->nr_insn == 1); 74 print_semantic_function_header(file, 75 instruction->file_entry->fields[insn_name], 76 entry->expanded_bits, 77 0/* is not function definition*/); 78 } 79 else { 80 print_semantic_function_header(file, 81 instruction->file_entry->fields[insn_name], 82 NULL, 83 0/* is not function definition*/); 84 } 85} 86 87 88 89/* generate the semantics.c file */ 90 91 92void 93print_idecode_illegal(lf *file, 94 const char *result) 95{ 96 if ((code & generate_jumps)) 97 lf_printf(file, "goto %s_illegal;\n", (code & generate_with_icache) ? "icache" : "semantic"); 98 else if ((code & generate_with_icache)) 99 lf_printf(file, "%s icache_illegal(%s);\n", result, ICACHE_FUNCTION_ACTUAL); 100 else 101 lf_printf(file, "%s semantic_illegal(%s);\n", result, SEMANTIC_FUNCTION_ACTUAL); 102} 103 104 105void 106print_semantic_body(lf *file, 107 insn *instruction, 108 insn_bits *expanded_bits, 109 opcode_field *opcodes) 110{ 111 print_itrace(file, instruction->file_entry, 0/*put_value_in_cache*/); 112 113 /* validate the instruction, if a cache this has already been done */ 114 if (!(code & generate_with_icache)) 115 print_idecode_validate(file, instruction, opcodes); 116 117 /* generate the profiling call - this is delayed until after the 118 instruction has been verified */ 119 lf_printf(file, "\n"); 120 lf_printf(file, "/* monitoring: */\n"); 121 lf_printf(file, "if (WITH_MON & MONITOR_INSTRUCTION_ISSUE) {\n"); 122 lf_printf(file, " mon_issue("); 123 print_function_name(file, 124 instruction->file_entry->fields[insn_name], 125 NULL, 126 function_name_prefix_itable); 127 lf_printf(file, ", processor, cia);\n"); 128 lf_printf(file, "}\n"); 129 130 /* generate the code (or at least something */ 131 lf_printf(file, "\n"); 132 lf_printf(file, "/* semantics: */\n"); 133 lf_printf(file, "nia = cia + %d;\n", insn_bit_size / 8); 134 if (instruction->file_entry->annex != NULL) { 135 /* true code */ 136 table_entry_print_cpp_line_nr(file, instruction->file_entry); 137 lf_printf(file, "{\n"); 138 lf_indent(file, +2); 139 lf_print__c_code(file, instruction->file_entry->annex); 140 lf_indent(file, -2); 141 lf_printf(file, "}\n"); 142 lf_print__internal_reference(file); 143 } 144 else if (it_is("nop", instruction->file_entry->fields[insn_flags])) { 145 lf_print__internal_reference(file); 146 } 147 else { 148 /* abort so it is implemented now */ 149 table_entry_print_cpp_line_nr(file, instruction->file_entry); 150 lf_putstr(file, "error(\"%s:%d:0x%08lx:%s unimplemented\\n\",\n"); 151 lf_printf(file, " itable[MY_INDEX].file, itable[MY_INDEX].line_nr, (long)cia, itable[MY_INDEX].name);\n"); 152 lf_print__internal_reference(file); 153 } 154} 155 156static void 157print_c_semantic(lf *file, 158 insn *instruction, 159 insn_bits *expanded_bits, 160 opcode_field *opcodes, 161 cache_table *cache_rules) 162{ 163 164 lf_printf(file, "{\n"); 165 lf_indent(file, +2); 166 167 print_my_defines(file, expanded_bits, instruction->file_entry); 168 lf_printf(file, "\n"); 169 print_icache_body(file, 170 instruction, 171 expanded_bits, 172 cache_rules, 173 ((code & generate_with_direct_access) 174 ? define_variables 175 : declare_variables), 176 ((code & generate_with_icache) 177 ? get_values_from_icache 178 : do_not_use_icache)); 179 180 lf_printf(file, "unsigned_word nia;\n"); 181 print_semantic_body(file, 182 instruction, 183 expanded_bits, 184 opcodes); 185 lf_printf(file, "return nia;\n"); 186 187 /* generate something to clean up any #defines created for the cache */ 188 if (code & generate_with_direct_access) 189 print_icache_body(file, 190 instruction, 191 expanded_bits, 192 cache_rules, 193 undef_variables, 194 ((code & generate_with_icache) 195 ? get_values_from_icache 196 : do_not_use_icache)); 197 198 lf_indent(file, -2); 199 lf_printf(file, "}\n"); 200} 201 202static void 203print_c_semantic_function(lf *file, 204 insn *instruction, 205 insn_bits *expanded_bits, 206 opcode_field *opcodes, 207 cache_table *cache_rules) 208{ 209 /* build the semantic routine to execute the instruction */ 210 print_semantic_function_header(file, 211 instruction->file_entry->fields[insn_name], 212 expanded_bits, 213 1/*is-function-definition*/); 214 print_c_semantic(file, 215 instruction, 216 expanded_bits, 217 opcodes, 218 cache_rules); 219} 220 221void 222print_semantic_definition(insn_table *entry, 223 lf *file, 224 void *data, 225 insn *instruction, 226 int depth) 227{ 228 cache_table *cache_rules = (cache_table*)data; 229 if (generate_expanded_instructions) { 230 ASSERT(entry->nr_insn == 1 231 && entry->opcode == NULL 232 && entry->parent != NULL 233 && entry->parent->opcode != NULL); 234 ASSERT(entry->nr_insn == 1 235 && entry->opcode == NULL 236 && entry->parent != NULL 237 && entry->parent->opcode != NULL 238 && entry->parent->opcode_rule != NULL); 239 print_c_semantic_function(file, 240 entry->insns, 241 entry->expanded_bits, 242 entry->parent->opcode, 243 cache_rules); 244 } 245 else { 246 print_c_semantic_function(file, instruction, 247 NULL, NULL, 248 cache_rules); 249 } 250} 251