Skip to content

Commit

Permalink
Merge pull request #16 from yx9527/master
Browse files Browse the repository at this point in the history
Fix monitor/generate.py to support macros besides RISCV_FORMAL_COMPRE…
  • Loading branch information
cliffordwolf committed Nov 5, 2018
2 parents f94de18 + 68b4aa3 commit dbb2d9b
Showing 1 changed file with 21 additions and 0 deletions.
21 changes: 21 additions & 0 deletions monitor/generate.py
Original file line number Diff line number Diff line change
Expand Up @@ -596,6 +596,8 @@ def print_rewrite_file(filename):
flag_compressed_ifndef = False
flag_aligned_ifdef = False
flag_aligned_ifndef = False
flag_ifdef = False
flag_ifndef = False

for line in f:
if line.startswith("`ifdef RISCV_FORMAL_COMPRESSED"):
Expand All @@ -618,16 +620,29 @@ def print_rewrite_file(filename):
flag_aligned_ifndef = True
continue

if line.startswith("`ifdef "):
flag_ifdef = True
flag_ifndef = False
continue

if line.startswith("`ifndef "):
flag_ifdef = False
flag_ifndef = True
continue

if line.startswith("`else"):
flag_compressed_ifdef, flag_compressed_ifndef = flag_compressed_ifndef, flag_compressed_ifdef
flag_aligned_ifdef, flag_aligned_ifndef = flag_aligned_ifndef, flag_aligned_ifdef
flag_ifdef, flag_ifndef = flag_ifndef, flag_ifdef
continue

if line.startswith("`endif"):
flag_compressed_ifdef = False
flag_compressed_ifndef = False
flag_aligned_ifdef = False
flag_aligned_ifndef = False
flag_ifdef = False
flag_ifndef = False
continue

if flag_compressed_ifdef and not compressed:
Expand All @@ -642,6 +657,12 @@ def print_rewrite_file(filename):
if flag_aligned_ifndef and aligned:
continue

if flag_ifdef and True:
continue

if flag_ifndef and False:
continue

for a, b in replace_db:
line = line.replace(a, b)

Expand Down

0 comments on commit dbb2d9b

Please sign in to comment.