/[jscoverage]/trunk/instrument-js.cpp
ViewVC logotype

Diff of /trunk/instrument-js.cpp

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 345 by siliconforks, Fri Oct 24 16:16:00 2008 UTC revision 371 by siliconforks, Mon Oct 27 20:35:46 2008 UTC
# Line 28  Line 28 
28  #include <jsapi.h>  #include <jsapi.h>
29  #include <jsarena.h>  #include <jsarena.h>
30  #include <jsatom.h>  #include <jsatom.h>
31    #include <jsemit.h>
32  #include <jsexn.h>  #include <jsexn.h>
33  #include <jsfun.h>  #include <jsfun.h>
34  #include <jsinterp.h>  #include <jsinterp.h>
# Line 51  Line 52 
52    struct IfDirective * next;    struct IfDirective * next;
53  };  };
54    
55    bool jscoverage_mozilla = false;
56    
57  static bool * exclusive_directives = NULL;  static bool * exclusive_directives = NULL;
58    
59  static JSRuntime * runtime = NULL;  static JSRuntime * runtime = NULL;
# Line 67  Line 70 
70  static uint16_t num_lines = 0;  static uint16_t num_lines = 0;
71    
72  void jscoverage_set_js_version(const char * version) {  void jscoverage_set_js_version(const char * version) {
73    js_version = atoi(version);    js_version = JS_StringToVersion(version);
74      if (js_version != JSVERSION_UNKNOWN) {
75        return;
76      }
77    
78      char * end;
79      js_version = (JSVersion) strtol(version, &end, 10);
80      if ((size_t) (end - version) != strlen(version)) {
81        fatal("invalid version: %s", version);
82      }
83  }  }
84    
85  void jscoverage_init(void) {  void jscoverage_init(void) {
# Line 264  Line 276 
276    FUNCTION_GETTER_OR_SETTER    FUNCTION_GETTER_OR_SETTER
277  };  };
278    
279    static void output_for_in(JSParseNode * node, Stream * f) {
280      assert(node->pn_type == TOK_FOR);
281      assert(node->pn_arity == PN_BINARY);
282      Stream_write_string(f, "for ");
283      if (node->pn_iflags & JSITER_FOREACH) {
284        Stream_write_string(f, "each ");
285      }
286      Stream_write_char(f, '(');
287      instrument_expression(node->pn_left, f);
288      Stream_write_char(f, ')');
289    }
290    
291    static void output_array_comprehension_or_generator_expression(JSParseNode * node, Stream * f) {
292      assert(node->pn_type == TOK_LEXICALSCOPE);
293      assert(node->pn_arity == PN_NAME);
294      JSParseNode * for_node = node->pn_expr;
295      assert(for_node->pn_type == TOK_FOR);
296      assert(for_node->pn_arity == PN_BINARY);
297      JSParseNode * p = for_node;
298      while (p->pn_type == TOK_FOR) {
299        p = p->pn_right;
300      }
301      JSParseNode * if_node = NULL;
302      if (p->pn_type == TOK_IF) {
303        if_node = p;
304        assert(if_node->pn_arity == PN_TERNARY);
305        p = if_node->pn_kid2;
306      }
307      assert(p->pn_arity == PN_UNARY);
308      p = p->pn_kid;
309      if (p->pn_type == TOK_YIELD) {
310        /* for generator expressions */
311        p = p->pn_kid;
312      }
313    
314      instrument_expression(p, f);
315      p = for_node;
316      while (p->pn_type == TOK_FOR) {
317        Stream_write_char(f, ' ');
318        output_for_in(p, f);
319        p = p->pn_right;
320      }
321      if (if_node) {
322        Stream_write_string(f, " if (");
323        instrument_expression(if_node->pn_kid1, f);
324        Stream_write_char(f, ')');
325      }
326    }
327    
328  static void instrument_function(JSParseNode * node, Stream * f, int indent, enum FunctionType type) {  static void instrument_function(JSParseNode * node, Stream * f, int indent, enum FunctionType type) {
329    assert(node->pn_type == TOK_FUNCTION);    assert(node->pn_type == TOK_FUNCTION);
330    assert(node->pn_arity == PN_FUNC);    assert(node->pn_arity == PN_FUNC);
# Line 274  Line 335 
335    assert(object == &function->object);    assert(object == &function->object);
336    Stream_printf(f, "%*s", indent, "");    Stream_printf(f, "%*s", indent, "");
337    if (type == FUNCTION_NORMAL) {    if (type == FUNCTION_NORMAL) {
338      Stream_write_string(f, "function");      Stream_write_string(f, "function ");
339    }    }
340    
341    /* function name */    /* function name */
342    if (function->atom) {    if (function->atom) {
     Stream_write_char(f, ' ');  
343      print_string_atom(function->atom, f);      print_string_atom(function->atom, f);
344    }    }
345    
# Line 287  Line 347 
347    function parameters - see JS_DecompileFunction in jsapi.cpp, which calls    function parameters - see JS_DecompileFunction in jsapi.cpp, which calls
348    js_DecompileFunction in jsopcode.cpp    js_DecompileFunction in jsopcode.cpp
349    */    */
350    Stream_write_string(f, "(");    Stream_write_char(f, '(');
351    JSArenaPool pool;    JSArenaPool pool;
352    JS_INIT_ARENA_POOL(&pool, "instrument_function", 256, 1, &context->scriptStackQuota);    JS_INIT_ARENA_POOL(&pool, "instrument_function", 256, 1, &context->scriptStackQuota);
353    jsuword * local_names = NULL;    jsuword * local_names = NULL;
# Line 302  Line 362 
362        Stream_write_string(f, ", ");        Stream_write_string(f, ", ");
363      }      }
364      JSAtom * param = JS_LOCAL_NAME_TO_ATOM(local_names[i]);      JSAtom * param = JS_LOCAL_NAME_TO_ATOM(local_names[i]);
365        if (param == NULL) {
366          fatal_source(file_id, node->pn_pos.begin.lineno, "unsupported parameter type for function");
367        }
368      print_string_atom(param, f);      print_string_atom(param, f);
369    }    }
370    JS_FinishArenaPool(&pool);    JS_FinishArenaPool(&pool);
# Line 320  Line 383 
383  }  }
384    
385  static void instrument_function_call(JSParseNode * node, Stream * f) {  static void instrument_function_call(JSParseNode * node, Stream * f) {
386    instrument_expression(node->pn_head, f);    JSParseNode * function_node = node->pn_head;
387      if (function_node->pn_type == TOK_FUNCTION) {
388        JSObject * object = function_node->pn_funpob->object;
389        assert(JS_ObjectIsFunction(context, object));
390        JSFunction * function = (JSFunction *) JS_GetPrivate(context, object);
391        assert(function);
392        assert(object == &function->object);
393    
394        if (function_node->pn_flags & TCF_GENEXP_LAMBDA) {
395          /* it's a generator expression */
396          Stream_write_char(f, '(');
397          output_array_comprehension_or_generator_expression(function_node->pn_body, f);
398          Stream_write_char(f, ')');
399          return;
400        }
401        else {
402          Stream_write_char(f, '(');
403          instrument_expression(function_node, f);
404          Stream_write_char(f, ')');
405        }
406      }
407      else {
408        instrument_expression(function_node, f);
409      }
410    Stream_write_char(f, '(');    Stream_write_char(f, '(');
411    for (struct JSParseNode * p = node->pn_head->pn_next; p != NULL; p = p->pn_next) {    for (struct JSParseNode * p = function_node->pn_next; p != NULL; p = p->pn_next) {
412      if (p != node->pn_head->pn_next) {      if (p != node->pn_head->pn_next) {
413        Stream_write_string(f, ", ");        Stream_write_string(f, ", ");
414      }      }
# Line 359  Line 445 
445    }    }
446  }  }
447    
 static void output_for_in(JSParseNode * node, Stream * f) {  
   assert(node->pn_type == TOK_FOR);  
   assert(node->pn_arity == PN_BINARY);  
   Stream_write_string(f, "for ");  
   if (node->pn_iflags & JSITER_FOREACH) {  
     Stream_write_string(f, "each ");  
   }  
   Stream_write_char(f, '(');  
   instrument_expression(node->pn_left, f);  
   Stream_write_char(f, ')');  
 }  
   
448  /*  /*
449  See <Expressions> in jsparse.h.  See <Expressions> in jsparse.h.
450  TOK_FUNCTION is handled as a statement and as an expression.  TOK_FUNCTION is handled as a statement and as an expression.
# Line 485  Line 559 
559        instrument_expression(node->pn_kid, f);        instrument_expression(node->pn_kid, f);
560        break;        break;
561      default:      default:
562        abort();        fatal_source(file_id, node->pn_pos.begin.lineno, "unknown operator (%d)", node->pn_op);
563        break;        break;
564      }      }
565      break;      break;
# Line 542  Line 616 
616      assert(ATOM_IS_STRING(node->pn_atom));      assert(ATOM_IS_STRING(node->pn_atom));
617      {      {
618        JSString * s = ATOM_TO_STRING(node->pn_atom);        JSString * s = ATOM_TO_STRING(node->pn_atom);
619        bool is_keyword = (js_CheckKeyword(JSSTRING_CHARS(s), JSSTRING_LENGTH(s)) != TOK_EOF);        bool must_quote;
620        if (! is_keyword && js_IsIdentifier(s)) {        if (JSSTRING_LENGTH(s) == 0) {
621          Stream_write_char(f, '.');          must_quote = true;
622          print_string_atom(node->pn_atom, f);        }
623          else if (js_CheckKeyword(JSSTRING_CHARS(s), JSSTRING_LENGTH(s)) != TOK_EOF) {
624            must_quote = true;
625          }
626          else if (! js_IsIdentifier(s)) {
627            must_quote = true;
628        }        }
629        else {        else {
630            must_quote = false;
631          }
632          if (must_quote) {
633          Stream_write_char(f, '[');          Stream_write_char(f, '[');
634          print_quoted_string_atom(node->pn_atom, f);          print_quoted_string_atom(node->pn_atom, f);
635          Stream_write_char(f, ']');          Stream_write_char(f, ']');
636        }        }
637          else {
638            Stream_write_char(f, '.');
639            print_string_atom(node->pn_atom, f);
640          }
641      }      }
642      break;      break;
643    case TOK_LB:    case TOK_LB:
# Line 582  Line 668 
668    case TOK_RC:    case TOK_RC:
669      Stream_write_char(f, '{');      Stream_write_char(f, '{');
670      for (struct JSParseNode * p = node->pn_head; p != NULL; p = p->pn_next) {      for (struct JSParseNode * p = node->pn_head; p != NULL; p = p->pn_next) {
671        assert(p->pn_type == TOK_COLON);        if (p->pn_type != TOK_COLON) {
672            fatal_source(file_id, p->pn_pos.begin.lineno, "unsupported node type (%d)", p->pn_type);
673          }
674        if (p != node->pn_head) {        if (p != node->pn_head) {
675          Stream_write_string(f, ", ");          Stream_write_string(f, ", ");
676        }        }
# Line 599  Line 687 
687          }          }
688          instrument_expression(p->pn_left, f);          instrument_expression(p->pn_left, f);
689          if (p->pn_right->pn_type != TOK_FUNCTION) {          if (p->pn_right->pn_type != TOK_FUNCTION) {
690            fatal("parse error: expected function");            fatal_source(file_id, p->pn_pos.begin.lineno, "expected function");
691          }          }
692          instrument_function(p->pn_right, f, 0, FUNCTION_GETTER_OR_SETTER);          instrument_function(p->pn_right, f, 0, FUNCTION_GETTER_OR_SETTER);
693          break;          break;
# Line 688  Line 776 
776      break;      break;
777    case TOK_YIELD:    case TOK_YIELD:
778      assert(node->pn_arity == PN_UNARY);      assert(node->pn_arity == PN_UNARY);
779      Stream_write_string(f, "yield ");      Stream_write_string(f, "yield");
780      instrument_expression(node->pn_kid, f);      if (node->pn_kid != NULL) {
781          Stream_write_char(f, ' ');
782          instrument_expression(node->pn_kid, f);
783        }
784      break;      break;
785    case TOK_ARRAYCOMP:    case TOK_ARRAYCOMP:
786      assert(node->pn_arity == PN_LIST);      assert(node->pn_arity == PN_LIST);
# Line 706  Line 797 
797          abort();          abort();
798          break;          break;
799        }        }
       assert(block_node->pn_type == TOK_LEXICALSCOPE);  
       assert(block_node->pn_arity == PN_NAME);  
       JSParseNode * for_node = block_node->pn_expr;  
       assert(for_node->pn_type == TOK_FOR);  
       assert(for_node->pn_arity == PN_BINARY);  
       JSParseNode * push_node;  
       JSParseNode * if_node = NULL;  
       switch (for_node->pn_right->pn_type) {  
       case TOK_ARRAYPUSH:  
         push_node = for_node->pn_right;  
         assert(push_node->pn_arity == PN_UNARY);  
         break;  
       case TOK_IF:  
         if_node = for_node->pn_right;  
         assert(if_node->pn_arity == PN_TERNARY);  
         push_node = if_node->pn_kid2;  
         break;  
       default:  
         abort();  
         break;  
       }  
800        Stream_write_char(f, '[');        Stream_write_char(f, '[');
801        instrument_expression(push_node->pn_kid, f);        output_array_comprehension_or_generator_expression(block_node, f);
       Stream_write_char(f, ' ');  
       output_for_in(for_node, f);  
       if (if_node) {  
         Stream_write_string(f, " if (");  
         instrument_expression(if_node->pn_kid1, f);  
         Stream_write_char(f, ')');  
       }  
802        Stream_write_char(f, ']');        Stream_write_char(f, ']');
803      }      }
804      break;      break;
# Line 750  Line 813 
813      instrument_declarations(node, f);      instrument_declarations(node, f);
814      break;      break;
815    default:    default:
816      fatal("unsupported node type in file %s: %d", file_id, node->pn_type);      fatal_source(file_id, node->pn_pos.begin.lineno, "unsupported node type (%d)", node->pn_type);
817    }    }
818  }  }
819    
# Line 779  Line 842 
842      uint16_t line = node->pn_pos.begin.lineno;      uint16_t line = node->pn_pos.begin.lineno;
843      if (! is_jscoverage_if) {      if (! is_jscoverage_if) {
844        if (line > num_lines) {        if (line > num_lines) {
845          fatal("%s: script contains more than 65,535 lines", file_id);          fatal("file %s contains more than 65,535 lines", file_id);
846        }        }
847        if (line >= 2 && exclusive_directives[line - 2]) {        if (line >= 2 && exclusive_directives[line - 2]) {
848          is_jscoverage_if = true;          is_jscoverage_if = true;
# Line 827  Line 890 
890      Stream_write_string(f, "switch (");      Stream_write_string(f, "switch (");
891      instrument_expression(node->pn_left, f);      instrument_expression(node->pn_left, f);
892      Stream_write_string(f, ") {\n");      Stream_write_string(f, ") {\n");
893      for (struct JSParseNode * p = node->pn_right->pn_head; p != NULL; p = p->pn_next) {      {
894        Stream_printf(f, "%*s", indent, "");        JSParseNode * list = node->pn_right;
895        switch (p->pn_type) {        if (list->pn_type == TOK_LEXICALSCOPE) {
896        case TOK_CASE:          list = list->pn_expr;
897          Stream_write_string(f, "case ");        }
898          instrument_expression(p->pn_left, f);        for (struct JSParseNode * p = list->pn_head; p != NULL; p = p->pn_next) {
899          Stream_write_string(f, ":\n");          Stream_printf(f, "%*s", indent, "");
900          break;          switch (p->pn_type) {
901        case TOK_DEFAULT:          case TOK_CASE:
902          Stream_write_string(f, "default:\n");            Stream_write_string(f, "case ");
903          break;            instrument_expression(p->pn_left, f);
904        default:            Stream_write_string(f, ":\n");
905          abort();            break;
906          break;          case TOK_DEFAULT:
907              Stream_write_string(f, "default:\n");
908              break;
909            default:
910              abort();
911              break;
912            }
913            instrument_statement(p->pn_right, f, indent + 2, false);
914        }        }
       instrument_statement(p->pn_right, f, indent + 2, false);  
915      }      }
916      Stream_printf(f, "%*s", indent, "");      Stream_printf(f, "%*s", indent, "");
917      Stream_write_string(f, "}\n");      Stream_write_string(f, "}\n");
# Line 1064  Line 1133 
1133        break;        break;
1134      }      }
1135      break;      break;
1136      case TOK_DEBUGGER:
1137        Stream_printf(f, "%*s", indent, "");
1138        Stream_write_string(f, "debugger;\n");
1139        break;
1140    default:    default:
1141      fatal("unsupported node type in file %s: %d", file_id, node->pn_type);      fatal_source(file_id, node->pn_pos.begin.lineno, "unsupported node type (%d)", node->pn_type);
1142    }    }
1143  }  }
1144    
# Line 1078  Line 1151 
1151    if (node->pn_type != TOK_LC && node->pn_type != TOK_LEXICALSCOPE) {    if (node->pn_type != TOK_LC && node->pn_type != TOK_LEXICALSCOPE) {
1152      uint16_t line = node->pn_pos.begin.lineno;      uint16_t line = node->pn_pos.begin.lineno;
1153      if (line > num_lines) {      if (line > num_lines) {
1154        fatal("%s: script contains more than 65,535 lines", file_id);        fatal("file %s contains more than 65,535 lines", file_id);
1155      }      }
1156    
1157      /* the root node has line number 0 */      /* the root node has line number 0 */
# Line 1126  Line 1199 
1199  }  }
1200    
1201  static void error_reporter(JSContext * context, const char * message, JSErrorReport * report) {  static void error_reporter(JSContext * context, const char * message, JSErrorReport * report) {
1202    fprintf(stderr, "jscoverage: parse error: line %u: %s\n", report->lineno, message);    fatal_source(file_id, report->lineno, message);
1203  }  }
1204    
1205  void jscoverage_instrument_js(const char * id, const uint16_t * characters, size_t num_characters, Stream * output) {  void jscoverage_instrument_js(const char * id, const uint16_t * characters, size_t num_characters, Stream * output) {
# Line 1135  Line 1208 
1208    /* parse the javascript */    /* parse the javascript */
1209    JSParseContext parse_context;    JSParseContext parse_context;
1210    if (! js_InitParseContext(context, &parse_context, NULL, NULL, characters, num_characters, NULL, NULL, 1)) {    if (! js_InitParseContext(context, &parse_context, NULL, NULL, characters, num_characters, NULL, NULL, 1)) {
1211      fatal("cannot create token stream from file: %s", file_id);      fatal("cannot create token stream from file %s", file_id);
1212    }    }
1213    JSErrorReporter old_error_reporter = JS_SetErrorReporter(context, error_reporter);    JSErrorReporter old_error_reporter = JS_SetErrorReporter(context, error_reporter);
1214    JSParseNode * node = js_ParseScript(context, global, &parse_context);    JSParseNode * node = js_ParseScript(context, global, &parse_context);
1215    if (node == NULL) {    if (node == NULL) {
1216      js_ReportUncaughtException(context);      js_ReportUncaughtException(context);
1217      fatal("parse error in file: %s", file_id);      fatal("parse error in file %s", file_id);
1218    }    }
1219    JS_SetErrorReporter(context, old_error_reporter);    JS_SetErrorReporter(context, old_error_reporter);
1220    num_lines = node->pn_pos.end.lineno;    num_lines = node->pn_pos.end.lineno;
# Line 1162  Line 1235 
1235    size_t i = 0;    size_t i = 0;
1236    while (i < num_characters) {    while (i < num_characters) {
1237      if (line_number == UINT16_MAX) {      if (line_number == UINT16_MAX) {
1238        fatal("%s: script has more than 65,535 lines", file_id);        fatal("file %s contains more than 65,535 lines", file_id);
1239      }      }
1240      line_number++;      line_number++;
1241      size_t line_start = i;      size_t line_start = i;
# Line 1229  Line 1302 
1302    
1303    /* write line number info to the output */    /* write line number info to the output */
1304    Stream_write_string(output, "/* automatically generated by JSCoverage - do not edit */\n");    Stream_write_string(output, "/* automatically generated by JSCoverage - do not edit */\n");
1305    Stream_write_string(output, "if (! top._$jscoverage) {\n  top._$jscoverage = {};\n}\n");    if (jscoverage_mozilla) {
1306    Stream_write_string(output, "var _$jscoverage = top._$jscoverage;\n");      Stream_write_string(output, "try {\n");
1307        Stream_write_string(output, "  Components.utils.import('resource://gre/modules/jscoverage.jsm');\n");
1308        Stream_printf(output, "  dump('%s: successfully imported jscoverage module\\n');\n", id);
1309        Stream_write_string(output, "}\n");
1310        Stream_write_string(output, "catch (e) {\n");
1311        Stream_write_string(output, "  _$jscoverage = {};\n");
1312        Stream_printf(output, "  dump('%s: failed to import jscoverage module - coverage not available for this file\\n');\n", id);
1313        Stream_write_string(output, "}\n");
1314      }
1315      else {
1316        Stream_write_string(output, "if (! top._$jscoverage) {\n  top._$jscoverage = {};\n}\n");
1317        Stream_write_string(output, "var _$jscoverage = top._$jscoverage;\n");
1318      }
1319    Stream_printf(output, "if (! _$jscoverage['%s']) {\n", file_id);    Stream_printf(output, "if (! _$jscoverage['%s']) {\n", file_id);
1320    Stream_printf(output, "  _$jscoverage['%s'] = [];\n", file_id);    Stream_printf(output, "  _$jscoverage['%s'] = [];\n", file_id);
1321    for (int i = 0; i < num_lines; i++) {    for (int i = 0; i < num_lines; i++) {

Legend:
Removed from v.345  
changed lines
  Added in v.371

  ViewVC Help
Powered by ViewVC 1.1.24