diff options
Diffstat (limited to 'passes/abc')
| -rw-r--r-- | passes/abc/abc.cc | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/passes/abc/abc.cc b/passes/abc/abc.cc index 77419e616..b9baea38b 100644 --- a/passes/abc/abc.cc +++ b/passes/abc/abc.cc @@ -639,10 +639,25 @@ static void abc_module(RTLIL::Design *design, RTLIL::Module *current_module, std log("ABC: %s", logbuf); #else bool got_cr = false; + int escape_seq_state = 0; std::string linebuf; char logbuf[1024]; while (fgets(logbuf, 1024, f) != NULL) for (char *p = logbuf; *p; p++) { + if (escape_seq_state == 0 && *p == '\033') { + escape_seq_state = 1; + continue; + } + if (escape_seq_state == 1) { + escape_seq_state = *p == '[' ? 2 : 0; + continue; + } + if (escape_seq_state == 2) { + if ((*p < '0' || '9' < *p) && *p != ';') + escape_seq_state = 0; + continue; + } + escape_seq_state = 0; if (*p == '\r') { got_cr = true; continue; |