Fix a bug in `optimize_direct_jumps` and add testing

egraphs-good / eggcc

MIT License

42 stars 8 forks source link

Fix a bug in `optimize_direct_jumps` and add testing #260

Closed oflatt closed 8 months ago

oflatt commented 8 months ago

We use optimize_direct_jumps to clean up cfgs that are generated by translation passes. It was fairly un-tested, and this PR fixes a bug where the footer wasn't getting copied over to the new cfg.