diff options
author | Sasha Smundak <asmundak@google.com> | 2022-10-27 14:24:43 -0700 |
---|---|---|
committer | Sasha Smundak <asmundak@google.com> | 2022-10-28 11:40:52 -0700 |
commit | 1be12c8b1307de276ca070a3b3bf8f5d7f12d17d (patch) | |
tree | ad4dbc220dbb8c4f605cfc1402816191b9e9f6a4 | |
parent | a6fd9e68b5a25b8c5726e2f653f5af47ef9087bf (diff) | |
download | kati-1be12c8b1307de276ca070a3b3bf8f5d7f12d17d.tar.gz |
Add --variable_assignment_trace_filter option
In addition, write assignment event to the trace file.
Test: build and use it
Change-Id: I6233c4316a48adfa7c58bb10e5379885e6f37242
-rw-r--r-- | src/eval.cc | 85 | ||||
-rw-r--r-- | src/eval.h | 6 | ||||
-rw-r--r-- | src/flags.cc | 11 | ||||
-rw-r--r-- | src/flags.h | 2 |
4 files changed, 78 insertions, 26 deletions
diff --git a/src/eval.cc b/src/eval.cc index 7f9dc6f..1024803 100644 --- a/src/eval.cc +++ b/src/eval.cc @@ -177,12 +177,12 @@ Evaluator::Evaluator() trace_ = g_flags.dump_variable_assignment_trace || g_flags.dump_include_graph; assignment_tracefile_ = nullptr; - assignment_count_ = 0; + assignment_sep_ = "\n"; } Evaluator::~Evaluator() { if (assignment_tracefile_ != nullptr && assignment_tracefile_ != stderr) { - fclose(assignment_tracefile_); + fclose(assignment_tracefile_); } // delete vars_; @@ -345,6 +345,7 @@ void Evaluator::EvalAssign(const AssignStmt* stmt) { if (stmt->is_final) { var->SetReadOnly(); } + TraceVariableAssign(lhs, var); } // With rule broken into @@ -709,35 +710,71 @@ Var* Evaluator::LookupVarGlobal(Symbol name) { return v; } -void Evaluator::TraceVariableLookup(const char* operation, - Symbol name, - Var* var) { +bool Evaluator::IsTraced(Symbol& name) const { if (assignment_tracefile_ == nullptr) { - return; + return false; } - if (assignment_count_++ == 0) { - fprintf(assignment_tracefile_, "\n"); - } else { - fprintf(assignment_tracefile_, ",\n"); + bool trace_var = g_flags.traced_variables_pattern.size() == 0; + // trace every variable unless filtered + if (trace_var) { + return true; + } + + for (const auto& pat: g_flags.traced_variables_pattern) { + if (pat.Match(name.c_str())) { + return true; + } + } + return false; +} + +void Evaluator::TraceVariableLookup(const char* operation, + Symbol& name, + Var* var) { + if (!IsTraced(name)) { + return; } - bool has_definition_trace = var->Definition() != nullptr; - fprintf(assignment_tracefile_, " {\n"); - fprintf(assignment_tracefile_, " \"name\": \"%s\",\n", name.c_str()); - fprintf(assignment_tracefile_, " \"operation\": \"%s\",\n", operation); - fprintf(assignment_tracefile_, " \"defined\": %s,\n", - var->IsDefined() ? "true" : "false"); + fputs(assignment_sep_, assignment_tracefile_); + assignment_sep_ = ",\n"; + fprintf(assignment_tracefile_, + " {\n" + " \"name\": \"%s\",\n" + " \"operation\": \"%s\",\n" + " \"defined\": %s,\n", + name.c_str(), operation, var->IsDefined() ? "true" : "false"); fprintf(assignment_tracefile_, " \"reference_stack\": [\n"); CurrentFrame()->PrintJSONTrace(assignment_tracefile_, 8); - fprintf(assignment_tracefile_, " ]%s\n", - has_definition_trace ? "," : ""); - if (has_definition_trace) { - fprintf(assignment_tracefile_, " \"value_stack\": [\n"); - var->Definition()->PrintJSONTrace(assignment_tracefile_, 8); - fprintf(assignment_tracefile_, " ]\n"); - } - fprintf(assignment_tracefile_, " }"); + fprintf(assignment_tracefile_, + " ]\n" + " }"); +} + +void Evaluator::TraceVariableAssign(Symbol& name, Var *var) { + if (!IsTraced(name)) { + return; + } + fputs(assignment_sep_, assignment_tracefile_); + assignment_sep_ = ",\n"; + fprintf(assignment_tracefile_, + " {\n" + " \"name\": \"%s\",\n" + " \"operation\": \"assign\",\n" + " \"value\": \"%s\"", + name.c_str(), var->DebugString().c_str()); + Frame* definition = var->Definition(); + if (definition != nullptr) { + fprintf(assignment_tracefile_, + ",\n" + " \"value_stack\": [\n"); + definition->PrintJSONTrace(assignment_tracefile_, 8); + fprintf(assignment_tracefile_, + " ]"); + } + fprintf(assignment_tracefile_, + "\n" + " }"); } Var* Evaluator::LookupVarForEval(Symbol name) { @@ -228,7 +228,9 @@ class Evaluator { bool* needs_assign); void DoInclude(const string& fname); - void TraceVariableLookup(const char* operation, Symbol name, Var* var); + bool IsTraced(Symbol& name) const; + void TraceVariableLookup(const char* operation, Symbol& name, Var* var); + void TraceVariableAssign(Symbol &name, Var* var); Var* LookupVarGlobal(Symbol name); // Equivalent to LookupVarInCurrentScope, but doesn't mark as used. @@ -256,7 +258,7 @@ class Evaluator { bool trace_; std::vector<Frame*> stack_; FILE* assignment_tracefile_; - long int assignment_count_; + const char* assignment_sep_; std::vector<Loc> include_stack_; diff --git a/src/flags.cc b/src/flags.cc index e21a541..1184b11 100644 --- a/src/flags.cc +++ b/src/flags.cc @@ -53,6 +53,7 @@ void Flags::Parse(int argc, char** argv) { num_jobs = num_cpus = sysconf(_SC_NPROCESSORS_ONLN); const char* num_jobs_str; const char* writable_str; + const char* variable_assignment_trace_filter; if (const char* makeflags = getenv("MAKEFLAGS")) { for (StringPiece tok : WordScanner(makeflags)) { @@ -154,6 +155,12 @@ void Flags::Parse(int argc, char** argv) { } else if (ParseCommandLineOptionWithArg("--dump_variable_assignment_trace", argv, &i, &dump_variable_assignment_trace)) { + } else if (ParseCommandLineOptionWithArg("--variable_assignment_trace_filter", + argv, &i, + &variable_assignment_trace_filter)) { + for (StringPiece pat : WordScanner(variable_assignment_trace_filter)) { + traced_variables_pattern.push_back(Pattern(pat)); + } } else if (ParseCommandLineOptionWithArg("-j", argv, &i, &num_jobs_str)) { num_jobs = strtol(num_jobs_str, NULL, 10); if (num_jobs <= 0) { @@ -202,4 +209,8 @@ void Flags::Parse(int argc, char** argv) { } } } + + if (traced_variables_pattern.size() && dump_variable_assignment_trace == nullptr) { + ERROR("--variable_assignment_trace_filter is valid only together with --dump_variable_assignment_trace"); + } } diff --git a/src/flags.h b/src/flags.h index 73410d5..e173730 100644 --- a/src/flags.h +++ b/src/flags.h @@ -19,6 +19,7 @@ #include <vector> #include "string_piece.h" +#include "strutil.h" #include "symtab.h" using namespace std; @@ -80,6 +81,7 @@ struct Flags { vector<Symbol> targets; vector<StringPiece> cl_vars; vector<string> writable; + vector<Pattern> traced_variables_pattern; void Parse(int argc, char** argv); }; |