| #!/usr/bin/python |
| |
| import os |
| import sys |
| |
| DBG_OUTPUT_FILE = "Output/" + sys.argv[1] + ".dbg.ml" |
| OPT_DBG_OUTPUT_FILE = "Output/" + sys.argv[1] + ".dbg.opt.ml" |
| NATIVE_DBG_OUTPUT_FILE = "Output/" + sys.argv[1] + ".native.dbg.ml" |
| NATIVE_OPT_DBG_OUTPUT_FILE = "Output/" + sys.argv[1] + ".native.dbg.opt.ml" |
| XFAIL_FILE = sys.argv[2] + "/lineinfo.xfail" |
| |
| REPORT_FILE = "Output/" + sys.argv[1] + ".dbg.missing_lines.report.txt" |
| |
| |
| def read_inputfile(filename, dict): |
| f = open(filename, "r") |
| lines = f.readlines() |
| for l in range(len(lines)): |
| columns = lines[l].split() |
| s = dict.get(columns[0]) |
| if s is None: |
| s = set() |
| s.add(columns[1]) |
| dict[columns[0]] = s |
| f.close() |
| return |
| |
| |
| dbg_lines = {} |
| read_inputfile(DBG_OUTPUT_FILE, dbg_lines) |
| |
| dbg_opt_lines = {} |
| read_inputfile(OPT_DBG_OUTPUT_FILE, dbg_opt_lines) |
| |
| native_dbg_lines = {} |
| read_inputfile(NATIVE_DBG_OUTPUT_FILE, native_dbg_lines) |
| |
| native_dbg_opt_lines = {} |
| read_inputfile(NATIVE_OPT_DBG_OUTPUT_FILE, native_dbg_opt_lines) |
| |
| xfailed_lines = {} |
| read_inputfile(XFAIL_FILE, xfailed_lines) |
| |
| dbg_line_items = dbg_lines.items() |
| for fname, fset in dbg_line_items: |
| optset = dbg_opt_lines.get(fname) |
| nativeoptset = native_dbg_opt_lines.get(fname) |
| xfailedset = xfailed_lines.get(os.path.basename(fname)) |
| if optset is not None: |
| src = open(fname, "r") |
| srclines = src.readlines() |
| src_output = open("Output/" + sys.argv[1] + ".lineinfo", "w") |
| for l in range(len(srclines)): |
| l1 = l + 1 |
| l1s = str(l1) |
| if l1s in fset: |
| if l1s in optset: |
| if nativeoptset is not None and l1s in nativeoptset: |
| src_output.write(".|") |
| else: |
| src_output.write("+|") |
| else: |
| if nativeoptset is not None and l1s in nativeoptset: |
| if xfailedset is not None and l1s in xfailedset: |
| src_output.write(" |") |
| else: |
| src_output.write("x|") |
| else: |
| src_output.write("-|") |
| else: |
| src_output.write(" |") |
| src_output.write(srclines[l]) |
| src.close() |
| src_output.close() |
