+
+ print_itrace (file, instruction, 0 /*put_value_in_cache */ );
+
+ /* generate the instruction profile call - this is delayed until
+ after the instruction has been verified. The count macro
+ generated is prefixed by ITABLE_PREFIX */
+ {
+ lf_printf (file, "\n");
+ lf_indent_suppress (file);
+ lf_printf (file, "#if defined (%sPROFILE_COUNT_INSN)\n",
+ options.module.itable.prefix.u);
+ lf_printf (file, "%sPROFILE_COUNT_INSN (CPU, CIA, MY_INDEX);\n",
+ options.module.itable.prefix.u);
+ lf_indent_suppress (file);
+ lf_printf (file, "#endif\n");
+ }
+
+ /* generate the model call - this is delayed until after the