| A script to extract ConstraintElimination's reproducer remarks. The extracted |
| modules are written as textual LLVM IR to files named reproducerXXXX.ll in the |
| if __name__ == "__main__": |
| parser = argparse.ArgumentParser(description=desc) |
| help="List of optimization record files or directories searched " |
| "for optimization record files.", |
| args = parser.parse_args() |
| files = optrecord.find_opt_files(*args.yaml_dirs_or_files) |
| parser.error("No *.opt.yaml files found") |
| all_remarks, file_remarks, _ = optrecord.gather_results(files, jobs, True) |
| if r[1] != "constraint-elimination" or r[2] != "Reproducer": |
| with open("reproducer{}.ll".format(i), "wt") as f: |