2002-11-21 Andrew Cagney <ac131313@redhat.com>

	* filter.c: Re-indent.
	* filter.h, filter_host.h, gen-engine.c, gen-engine.h: Ditto.
	* gen-icache.c, gen-icache.h, gen-idecode.c: Ditto.
	* gen-idecode.h, gen-itable.c, gen-itable.h: Ditto.
	* gen-model.c, gen-model.h, gen-semantics.c: Ditto.
	* gen-semantics.h, gen-support.c, gen-support.h: Ditto.
	* gen.c, gen.h, igen.c, igen.h, ld-cache.c, ld-cache.h: Ditto.
	* ld-decode.c, ld-decode.h, ld-insn.c, ld-insn.h, lf.c: Ditto.
	* lf.h, misc.c, misc.h, table.c, table.h: Ditto.

1 files changed, 328 insertions, 297 deletions

diff --git a/sim/igen/gen-model.c b/sim/igen/gen-model.c
index 98302c0..8f35f0f 100644
--- a/sim/igen/gen-model.c
+++ b/sim/igen/gen-model.c
@@ -40,38 +40,37 @@
 
 #if 0
 static void
-model_c_or_h_data(insn_table *table,
-		  lf *file,
-		  table_entry *data)
+model_c_or_h_data (insn_table *table, lf *file, table_entry *data)
 {
-  if (data->annex) {
-    table_entry_print_cpp_line_nr(file, data->annex_line);
-    lf_print__c_code(file, data->annex);
-    lf_print__internal_reference(file);
-    lf_printf(file, "\n");
-  }
+  if (data->annex)
+    {
+      table_entry_print_cpp_line_nr (file, data->annex_line);
+      lf_print__c_code (file, data->annex);
+      lf_print__internal_reference (file);
+      lf_printf (file, "\n");
+    }
 }
 
 static void
-model_c_or_h_function(insn_table *entry,
-		      lf *file,
-		      table_entry *function,
-		      char *prefix)
+model_c_or_h_function (insn_table *entry,
+		       lf *file, table_entry *function, char *prefix)
 {
   if (function->fields[function_type] == NULL
-      || function->fields[function_type][0] == '\0') {
-    error("Model function type not specified for %s", function->fields[function_name]);
-  }
-  lf_printf(file, "\n");
-  lf_print_function_type(file, function->fields[function_type], prefix, " ");
-  lf_printf(file, "%s\n(%s);\n",
-	    function->fields[function_name],
-	    function->fields[function_param]);
-  lf_printf(file, "\n");
+      || function->fields[function_type][0] == '\0')
+    {
+      error ("Model function type not specified for %s",
+	     function->fields[function_name]);
+    }
+  lf_printf (file, "\n");
+  lf_print_function_type (file, function->fields[function_type], prefix, " ");
+  lf_printf (file, "%s\n(%s);\n",
+	     function->fields[function_name],
+	     function->fields[function_param]);
+  lf_printf (file, "\n");
 }
 
-void 
-gen_model_h(insn_table *table, lf *file)
+void
+gen_model_h (insn_table *table, lf *file)
 {
   insn *insn_ptr;
   model *model_ptr;
@@ -83,161 +82,171 @@ gen_model_h(insn_table *table, lf *file)
   int model_mon_info_p = 0;
   int model_mon_info_free_p = 0;
 
-  for(macro = model_macros; macro; macro = macro->next) {
-    model_c_or_h_data(table, file, macro->file_entry);
-  }
-
-  lf_printf(file, "typedef enum _model_enum {\n");
-  lf_printf(file, "  MODEL_NONE,\n");
-  for (model_ptr = models; model_ptr; model_ptr = model_ptr->next) {
-    lf_printf(file, "  MODEL_%s,\n", model_ptr->name);
-  }
-  lf_printf(file, "  nr_models\n");
-  lf_printf(file, "} model_enum;\n");
-  lf_printf(file, "\n");
-
-  lf_printf(file, "#define DEFAULT_MODEL MODEL_%s\n", (models) ? models->name : "NONE");
-  lf_printf(file, "\n");
-
-  lf_printf(file, "typedef struct _model_data model_data;\n");
-  lf_printf(file, "typedef struct _model_time model_time;\n");
-  lf_printf(file, "\n");
-
-  lf_printf(file, "extern model_enum current_model;\n");
-  lf_printf(file, "extern const char *model_name[ (int)nr_models ];\n");
-  lf_printf(file, "extern const char *const *const model_func_unit_name[ (int)nr_models ];\n");
-  lf_printf(file, "extern const model_time *const model_time_mapping[ (int)nr_models ];\n");
-  lf_printf(file, "\n");
-
-  for(insn_ptr = model_functions; insn_ptr; insn_ptr = insn_ptr->next) {
-    model_c_or_h_function(table, file, insn_ptr->file_entry, "INLINE_MODEL");
-    name = insn_ptr->file_entry->fields[function_name];
-    if (strcmp (name, "model_create") == 0)
-      model_create_p = 1;
-    else if (strcmp (name, "model_init") == 0)
-      model_init_p = 1;
-    else if (strcmp (name, "model_halt") == 0)
-      model_halt_p = 1;
-    else if (strcmp (name, "model_mon_info") == 0)
-      model_mon_info_p = 1;
-    else if (strcmp (name, "model_mon_info_free") == 0)
-      model_mon_info_free_p = 1;
-  }
-
-  if (!model_create_p) {
-    lf_print_function_type(file, "model_data *", "INLINE_MODEL", " ");
-    lf_printf(file, "model_create\n");
-    lf_printf(file, "(sim_cpu *cpu);\n");
-    lf_printf(file, "\n");
-  }
-
-  if (!model_init_p) {
-    lf_print_function_type(file, "void", "INLINE_MODEL", " ");
-    lf_printf(file, "model_init\n");
-    lf_printf(file, "(model_data *model_ptr);\n");
-    lf_printf(file, "\n");
-  }
-
-  if (!model_halt_p) {
-    lf_print_function_type(file, "void", "INLINE_MODEL", " ");
-    lf_printf(file, "model_halt\n");
-    lf_printf(file, "(model_data *model_ptr);\n");
-    lf_printf(file, "\n");
-  }
-
-  if (!model_mon_info_p) {
-    lf_print_function_type(file, "model_print *", "INLINE_MODEL", " ");
-    lf_printf(file, "model_mon_info\n");
-    lf_printf(file, "(model_data *model_ptr);\n");
-    lf_printf(file, "\n");
-  }
-
-  if (!model_mon_info_free_p) {
-    lf_print_function_type(file, "void", "INLINE_MODEL", " ");
-    lf_printf(file, "model_mon_info_free\n");
-    lf_printf(file, "(model_data *model_ptr,\n");
-    lf_printf(file, " model_print *info_ptr);\n");
-    lf_printf(file, "\n");
-  }
-
-  lf_print_function_type(file, "void", "INLINE_MODEL", " ");
-  lf_printf(file, "model_set\n");
-  lf_printf(file, "(const char *name);\n");
+  for (macro = model_macros; macro; macro = macro->next)
+    {
+      model_c_or_h_data (table, file, macro->file_entry);
+    }
+
+  lf_printf (file, "typedef enum _model_enum {\n");
+  lf_printf (file, "  MODEL_NONE,\n");
+  for (model_ptr = models; model_ptr; model_ptr = model_ptr->next)
+    {
+      lf_printf (file, "  MODEL_%s,\n", model_ptr->name);
+    }
+  lf_printf (file, "  nr_models\n");
+  lf_printf (file, "} model_enum;\n");
+  lf_printf (file, "\n");
+
+  lf_printf (file, "#define DEFAULT_MODEL MODEL_%s\n",
+	     (models) ? models->name : "NONE");
+  lf_printf (file, "\n");
+
+  lf_printf (file, "typedef struct _model_data model_data;\n");
+  lf_printf (file, "typedef struct _model_time model_time;\n");
+  lf_printf (file, "\n");
+
+  lf_printf (file, "extern model_enum current_model;\n");
+  lf_printf (file, "extern const char *model_name[ (int)nr_models ];\n");
+  lf_printf (file,
+	     "extern const char *const *const model_func_unit_name[ (int)nr_models ];\n");
+  lf_printf (file,
+	     "extern const model_time *const model_time_mapping[ (int)nr_models ];\n");
+  lf_printf (file, "\n");
+
+  for (insn_ptr = model_functions; insn_ptr; insn_ptr = insn_ptr->next)
+    {
+      model_c_or_h_function (table, file, insn_ptr->file_entry,
+			     "INLINE_MODEL");
+      name = insn_ptr->file_entry->fields[function_name];
+      if (strcmp (name, "model_create") == 0)
+	model_create_p = 1;
+      else if (strcmp (name, "model_init") == 0)
+	model_init_p = 1;
+      else if (strcmp (name, "model_halt") == 0)
+	model_halt_p = 1;
+      else if (strcmp (name, "model_mon_info") == 0)
+	model_mon_info_p = 1;
+      else if (strcmp (name, "model_mon_info_free") == 0)
+	model_mon_info_free_p = 1;
+    }
+
+  if (!model_create_p)
+    {
+      lf_print_function_type (file, "model_data *", "INLINE_MODEL", " ");
+      lf_printf (file, "model_create\n");
+      lf_printf (file, "(sim_cpu *cpu);\n");
+      lf_printf (file, "\n");
+    }
+
+  if (!model_init_p)
+    {
+      lf_print_function_type (file, "void", "INLINE_MODEL", " ");
+      lf_printf (file, "model_init\n");
+      lf_printf (file, "(model_data *model_ptr);\n");
+      lf_printf (file, "\n");
+    }
+
+  if (!model_halt_p)
+    {
+      lf_print_function_type (file, "void", "INLINE_MODEL", " ");
+      lf_printf (file, "model_halt\n");
+      lf_printf (file, "(model_data *model_ptr);\n");
+      lf_printf (file, "\n");
+    }
+
+  if (!model_mon_info_p)
+    {
+      lf_print_function_type (file, "model_print *", "INLINE_MODEL", " ");
+      lf_printf (file, "model_mon_info\n");
+      lf_printf (file, "(model_data *model_ptr);\n");
+      lf_printf (file, "\n");
+    }
+
+  if (!model_mon_info_free_p)
+    {
+      lf_print_function_type (file, "void", "INLINE_MODEL", " ");
+      lf_printf (file, "model_mon_info_free\n");
+      lf_printf (file, "(model_data *model_ptr,\n");
+      lf_printf (file, " model_print *info_ptr);\n");
+      lf_printf (file, "\n");
+    }
+
+  lf_print_function_type (file, "void", "INLINE_MODEL", " ");
+  lf_printf (file, "model_set\n");
+  lf_printf (file, "(const char *name);\n");
 }
 
 /****************************************************************/
 
 typedef struct _model_c_passed_data model_c_passed_data;
-struct _model_c_passed_data {
+struct _model_c_passed_data
+{
   lf *file;
   model *model_ptr;
 };
 
 static void
-model_c_insn(insn_table *entry,
-	     lf *phony_file,
-	     void *data,
-	     insn *instruction,
-	     int depth)
+model_c_insn (insn_table *entry,
+	      lf *phony_file, void *data, insn * instruction, int depth)
 {
-  model_c_passed_data *data_ptr = (model_c_passed_data *)data;
+  model_c_passed_data *data_ptr = (model_c_passed_data *) data;
   lf *file = data_ptr->file;
   char *current_name = data_ptr->model_ptr->printable_name;
   table_model_entry *model_ptr = instruction->file_entry->model_first;
 
-  while (model_ptr) {
-    if (model_ptr->fields[insn_model_name] == current_name) {
-      lf_printf(file, "  { %-*s },  /* %s */\n",
-		max_model_fields_len,
-		model_ptr->fields[insn_model_fields],
-		instruction->file_entry->fields[insn_name]);
-      return;
+  while (model_ptr)
+    {
+      if (model_ptr->fields[insn_model_name] == current_name)
+	{
+	  lf_printf (file, "  { %-*s },  /* %s */\n",
+		     max_model_fields_len,
+		     model_ptr->fields[insn_model_fields],
+		     instruction->file_entry->fields[insn_name]);
+	  return;
+	}
+
+      model_ptr = model_ptr->next;
     }
 
-    model_ptr = model_ptr->next;
-  }
-
-  lf_printf(file, "  { %-*s },  /* %s */\n",
-	    max_model_fields_len,
-	    data_ptr->model_ptr->insn_default,
-	    instruction->file_entry->fields[insn_name]);
+  lf_printf (file, "  { %-*s },  /* %s */\n",
+	     max_model_fields_len,
+	     data_ptr->model_ptr->insn_default,
+	     instruction->file_entry->fields[insn_name]);
 }
 
 static void
-model_c_function(insn_table *table,
-		 lf *file,
-		 table_entry *function,
-		 const char *prefix)
+model_c_function (insn_table *table,
+		  lf *file, table_entry *function, const char *prefix)
 {
   if (function->fields[function_type] == NULL
       || function->fields[function_type][0] == '\0')
     {
-      error("Model function return type not specified for %s",
-	    function->fields[function_name]);
+      error ("Model function return type not specified for %s",
+	     function->fields[function_name]);
     }
   else
     {
-      lf_printf(file, "\n");
-      lf_print_function_type(file, function->fields[function_type], prefix, "\n");
-      lf_printf(file, "%s(%s)\n",
-		function->fields[function_name],
-		function->fields[function_param]);
+      lf_printf (file, "\n");
+      lf_print_function_type (file, function->fields[function_type], prefix,
+			      "\n");
+      lf_printf (file, "%s(%s)\n", function->fields[function_name],
+		 function->fields[function_param]);
     }
-  lf_printf(file, "{\n");
+  lf_printf (file, "{\n");
   if (function->annex)
     {
-      lf_indent(file, +2);
-      table_entry_print_cpp_line_nr(file, function->annex_line);
-      lf_print__c_code(file, function->annex);
-      lf_indent(file, -2);
+      lf_indent (file, +2);
+      table_entry_print_cpp_line_nr (file, function->annex_line);
+      lf_print__c_code (file, function->annex);
+      lf_indent (file, -2);
     }
-  lf_printf(file, "}\n");
-  lf_print__internal_reference(file);
-  lf_printf(file, "\n");
+  lf_printf (file, "}\n");
+  lf_print__internal_reference (file);
+  lf_printf (file, "\n");
 }
 
-void 
-gen_model_c(insn_table *table, lf *file)
+void
+gen_model_c (insn_table *table, lf *file)
 {
   insn *insn_ptr;
   model *model_ptr;
@@ -248,155 +257,179 @@ gen_model_c(insn_table *table, lf *file)
   int model_mon_info_p = 0;
   int model_mon_info_free_p = 0;
 
-  lf_printf(file, "\n");
-  lf_printf(file, "#include \"cpu.h\"\n");
-  lf_printf(file, "#include \"mon.h\"\n");
-  lf_printf(file, "\n");
-  lf_printf(file, "#ifdef HAVE_STDLIB_H\n");
-  lf_printf(file, "#include <stdlib.h>\n");
-  lf_printf(file, "#endif\n");
-  lf_printf(file, "\n");
-
-  for(insn_ptr = model_data; insn_ptr; insn_ptr = insn_ptr->next) {
-    model_c_or_h_data(table, file, insn_ptr->file_entry);
-  }
-
-  for(insn_ptr = model_static; insn_ptr; insn_ptr = insn_ptr->next) {
-    model_c_or_h_function(table, file, insn_ptr->file_entry, "/*h*/STATIC");
-  }
-
-  for(insn_ptr = model_internal; insn_ptr; insn_ptr = insn_ptr->next) {
-    model_c_or_h_function(table, file, insn_ptr->file_entry, "STATIC_INLINE_MODEL");
-  }
-
-  for(insn_ptr = model_static; insn_ptr; insn_ptr = insn_ptr->next) {
-    model_c_function(table, file, insn_ptr->file_entry, "/*c*/STATIC");
-  }
-
-  for(insn_ptr = model_internal; insn_ptr; insn_ptr = insn_ptr->next) {
-    model_c_function(table, file, insn_ptr->file_entry, "STATIC_INLINE_MODEL");
-  }
-
-  for(insn_ptr = model_functions; insn_ptr; insn_ptr = insn_ptr->next) {
-    model_c_function(table, file, insn_ptr->file_entry, "INLINE_MODEL");
-    name = insn_ptr->file_entry->fields[function_name];
-    if (strcmp (name, "model_create") == 0)
-      model_create_p = 1;
-    else if (strcmp (name, "model_init") == 0)
-      model_init_p = 1;
-    else if (strcmp (name, "model_halt") == 0)
-      model_halt_p = 1;
-    else if (strcmp (name, "model_mon_info") == 0)
-      model_mon_info_p = 1;
-    else if (strcmp (name, "model_mon_info_free") == 0)
-      model_mon_info_free_p = 1;
-  }
-
-  if (!model_create_p) {
-    lf_print_function_type(file, "model_data *", "INLINE_MODEL", "\n");
-    lf_printf(file, "model_create(sim_cpu *cpu)\n");
-    lf_printf(file, "{\n");
-    lf_printf(file, "  return (model_data *)0;\n");
-    lf_printf(file, "}\n");
-    lf_printf(file, "\n");
-  }
-
-  if (!model_init_p) {
-    lf_print_function_type(file, "void", "INLINE_MODEL", "\n");
-    lf_printf(file, "model_init(model_data *model_ptr)\n");
-    lf_printf(file, "{\n");
-    lf_printf(file, "}\n");
-    lf_printf(file, "\n");
-  }
-
-  if (!model_halt_p) {
-    lf_print_function_type(file, "void", "INLINE_MODEL", "\n");
-    lf_printf(file, "model_halt(model_data *model_ptr)\n");
-    lf_printf(file, "{\n");
-    lf_printf(file, "}\n");
-    lf_printf(file, "\n");
-  }
-
-  if (!model_mon_info_p) {
-    lf_print_function_type(file, "model_print *", "INLINE_MODEL", "\n");
-    lf_printf(file, "model_mon_info(model_data *model_ptr)\n");
-    lf_printf(file, "{\n");
-    lf_printf(file, "  return (model_print *)0;\n");
-    lf_printf(file, "}\n");
-    lf_printf(file, "\n");
-  }
-
-  if (!model_mon_info_free_p) {
-    lf_print_function_type(file, "void", "INLINE_MODEL", "\n");
-    lf_printf(file, "model_mon_info_free(model_data *model_ptr,\n");
-    lf_printf(file, "                    model_print *info_ptr)\n");
-    lf_printf(file, "{\n");
-    lf_printf(file, "}\n");
-    lf_printf(file, "\n");
-  }
-
-  lf_printf(file, "/* Insn functional unit info */\n");
-  for(model_ptr = models; model_ptr; model_ptr = model_ptr->next) {
-    model_c_passed_data data;
-
-    lf_printf(file, "static const model_time model_time_%s[] = {\n", model_ptr->name);
-    data.file = file;
-    data.model_ptr = model_ptr;
-    insn_table_traverse_insn(table,
-			     NULL, (void *)&data,
-			     model_c_insn);
-
-    lf_printf(file, "};\n");
-    lf_printf(file, "\n");
-    lf_printf(file, "\f\n");
-  }
-
-  lf_printf(file, "#ifndef _INLINE_C_\n");
-  lf_printf(file, "const model_time *const model_time_mapping[ (int)nr_models ] = {\n");
-  lf_printf(file, "  (const model_time *const)0,\n");
-  for(model_ptr = models; model_ptr; model_ptr = model_ptr->next) {
-    lf_printf(file, "  model_time_%s,\n", model_ptr->name);
-  }
-  lf_printf(file, "};\n");
-  lf_printf(file, "#endif\n");
-  lf_printf(file, "\n");
-
-  lf_printf(file, "\f\n");
-  lf_printf(file, "/* map model enumeration into printable string */\n");
-  lf_printf(file, "#ifndef _INLINE_C_\n");
-  lf_printf(file, "const char *model_name[ (int)nr_models ] = {\n");
-  lf_printf(file, "  \"NONE\",\n");
-  for (model_ptr = models; model_ptr; model_ptr = model_ptr->next) {
-    lf_printf(file, "  \"%s\",\n", model_ptr->printable_name);
-  }
-  lf_printf(file, "};\n");
-  lf_printf(file, "#endif\n");
-  lf_printf(file, "\n");
-
-  lf_print_function_type(file, "void", "INLINE_MODEL", "\n");
-  lf_printf(file, "model_set(const char *name)\n");
-  lf_printf(file, "{\n");
-  if (models) {
-    lf_printf(file, "  model_enum model;\n");
-    lf_printf(file, "  for(model = MODEL_%s; model < nr_models; model++) {\n", models->name);
-    lf_printf(file, "    if(strcmp(name, model_name[model]) == 0) {\n");
-    lf_printf(file, "      current_model = model;\n");
-    lf_printf(file, "      return;\n");
-    lf_printf(file, "    }\n");
-    lf_printf(file, "  }\n");
-    lf_printf(file, "\n");
-    lf_printf(file, "  error(\"Unknown model '%%s', Models which are known are:%%s\n\",\n");
-    lf_printf(file, "        name,\n");
-    lf_printf(file, "        \"");
-    for(model_ptr = models; model_ptr; model_ptr = model_ptr->next) {
-      lf_printf(file, "\\n\\t%s", model_ptr->printable_name);
+  lf_printf (file, "\n");
+  lf_printf (file, "#include \"cpu.h\"\n");
+  lf_printf (file, "#include \"mon.h\"\n");
+  lf_printf (file, "\n");
+  lf_printf (file, "#ifdef HAVE_STDLIB_H\n");
+  lf_printf (file, "#include <stdlib.h>\n");
+  lf_printf (file, "#endif\n");
+  lf_printf (file, "\n");
+
+  for (insn_ptr = model_data; insn_ptr; insn_ptr = insn_ptr->next)
+    {
+      model_c_or_h_data (table, file, insn_ptr->file_entry);
+    }
+
+  for (insn_ptr = model_static; insn_ptr; insn_ptr = insn_ptr->next)
+    {
+      model_c_or_h_function (table, file, insn_ptr->file_entry,
+			     "/*h*/STATIC");
+    }
+
+  for (insn_ptr = model_internal; insn_ptr; insn_ptr = insn_ptr->next)
+    {
+      model_c_or_h_function (table, file, insn_ptr->file_entry,
+			     "STATIC_INLINE_MODEL");
+    }
+
+  for (insn_ptr = model_static; insn_ptr; insn_ptr = insn_ptr->next)
+    {
+      model_c_function (table, file, insn_ptr->file_entry, "/*c*/STATIC");
+    }
+
+  for (insn_ptr = model_internal; insn_ptr; insn_ptr = insn_ptr->next)
+    {
+      model_c_function (table, file, insn_ptr->file_entry,
+			"STATIC_INLINE_MODEL");
+    }
+
+  for (insn_ptr = model_functions; insn_ptr; insn_ptr = insn_ptr->next)
+    {
+      model_c_function (table, file, insn_ptr->file_entry, "INLINE_MODEL");
+      name = insn_ptr->file_entry->fields[function_name];
+      if (strcmp (name, "model_create") == 0)
+	model_create_p = 1;
+      else if (strcmp (name, "model_init") == 0)
+	model_init_p = 1;
+      else if (strcmp (name, "model_halt") == 0)
+	model_halt_p = 1;
+      else if (strcmp (name, "model_mon_info") == 0)
+	model_mon_info_p = 1;
+      else if (strcmp (name, "model_mon_info_free") == 0)
+	model_mon_info_free_p = 1;
+    }
+
+  if (!model_create_p)
+    {
+      lf_print_function_type (file, "model_data *", "INLINE_MODEL", "\n");
+      lf_printf (file, "model_create(sim_cpu *cpu)\n");
+      lf_printf (file, "{\n");
+      lf_printf (file, "  return (model_data *)0;\n");
+      lf_printf (file, "}\n");
+      lf_printf (file, "\n");
+    }
+
+  if (!model_init_p)
+    {
+      lf_print_function_type (file, "void", "INLINE_MODEL", "\n");
+      lf_printf (file, "model_init(model_data *model_ptr)\n");
+      lf_printf (file, "{\n");
+      lf_printf (file, "}\n");
+      lf_printf (file, "\n");
+    }
+
+  if (!model_halt_p)
+    {
+      lf_print_function_type (file, "void", "INLINE_MODEL", "\n");
+      lf_printf (file, "model_halt(model_data *model_ptr)\n");
+      lf_printf (file, "{\n");
+      lf_printf (file, "}\n");
+      lf_printf (file, "\n");
+    }
+
+  if (!model_mon_info_p)
+    {
+      lf_print_function_type (file, "model_print *", "INLINE_MODEL", "\n");
+      lf_printf (file, "model_mon_info(model_data *model_ptr)\n");
+      lf_printf (file, "{\n");
+      lf_printf (file, "  return (model_print *)0;\n");
+      lf_printf (file, "}\n");
+      lf_printf (file, "\n");
+    }
+
+  if (!model_mon_info_free_p)
+    {
+      lf_print_function_type (file, "void", "INLINE_MODEL", "\n");
+      lf_printf (file, "model_mon_info_free(model_data *model_ptr,\n");
+      lf_printf (file, "                    model_print *info_ptr)\n");
+      lf_printf (file, "{\n");
+      lf_printf (file, "}\n");
+      lf_printf (file, "\n");
+    }
+
+  lf_printf (file, "/* Insn functional unit info */\n");
+  for (model_ptr = models; model_ptr; model_ptr = model_ptr->next)
+    {
+      model_c_passed_data data;
+
+      lf_printf (file, "static const model_time model_time_%s[] = {\n",
+		 model_ptr->name);
+      data.file = file;
+      data.model_ptr = model_ptr;
+      insn_table_traverse_insn (table, NULL, (void *) &data, model_c_insn);
+
+      lf_printf (file, "};\n");
+      lf_printf (file, "\n");
+      lf_printf (file, "\f\n");
+    }
+
+  lf_printf (file, "#ifndef _INLINE_C_\n");
+  lf_printf (file,
+	     "const model_time *const model_time_mapping[ (int)nr_models ] = {\n");
+  lf_printf (file, "  (const model_time *const)0,\n");
+  for (model_ptr = models; model_ptr; model_ptr = model_ptr->next)
+    {
+      lf_printf (file, "  model_time_%s,\n", model_ptr->name);
+    }
+  lf_printf (file, "};\n");
+  lf_printf (file, "#endif\n");
+  lf_printf (file, "\n");
+
+  lf_printf (file, "\f\n");
+  lf_printf (file, "/* map model enumeration into printable string */\n");
+  lf_printf (file, "#ifndef _INLINE_C_\n");
+  lf_printf (file, "const char *model_name[ (int)nr_models ] = {\n");
+  lf_printf (file, "  \"NONE\",\n");
+  for (model_ptr = models; model_ptr; model_ptr = model_ptr->next)
+    {
+      lf_printf (file, "  \"%s\",\n", model_ptr->printable_name);
+    }
+  lf_printf (file, "};\n");
+  lf_printf (file, "#endif\n");
+  lf_printf (file, "\n");
+
+  lf_print_function_type (file, "void", "INLINE_MODEL", "\n");
+  lf_printf (file, "model_set(const char *name)\n");
+  lf_printf (file, "{\n");
+  if (models)
+    {
+      lf_printf (file, "  model_enum model;\n");
+      lf_printf (file,
+		 "  for(model = MODEL_%s; model < nr_models; model++) {\n",
+		 models->name);
+      lf_printf (file, "    if(strcmp(name, model_name[model]) == 0) {\n");
+      lf_printf (file, "      current_model = model;\n");
+      lf_printf (file, "      return;\n");
+      lf_printf (file, "    }\n");
+      lf_printf (file, "  }\n");
+      lf_printf (file, "\n");
+      lf_printf (file,
+		 "  error(\"Unknown model '%%s', Models which are known are:%%s\n\",\n");
+      lf_printf (file, "        name,\n");
+      lf_printf (file, "        \"");
+      for (model_ptr = models; model_ptr; model_ptr = model_ptr->next)
+	{
+	  lf_printf (file, "\\n\\t%s", model_ptr->printable_name);
+	}
+      lf_printf (file, "\");\n");
+    }
+  else
+    {
+      lf_printf (file, "  error(\"No models are currently known about\");\n");
     }
-    lf_printf(file, "\");\n");
-  } else {
-    lf_printf(file, "  error(\"No models are currently known about\");\n");
-  }
 
-  lf_printf(file, "}\n");
+  lf_printf (file, "}\n");
 }
 
 #endif
@@ -404,16 +437,14 @@ gen_model_c(insn_table *table, lf *file)
 
 
 void
-gen_model_h (lf *file,
-	     insn_table *table)
+gen_model_h (lf *file, insn_table *table)
 {
   lf_print__this_file_is_empty (file, "suffering bit rot");
 }
 
 
 void
-gen_model_c (lf *file,
-	     insn_table *table)
+gen_model_c (lf *file, insn_table *table)
 {
   lf_print__this_file_is_empty (file, "suffering bit rot");
 }