elliottt opened PR #5354 from trevor/fuzz-with-ssa-checker
to main
:
Enable regalloc2's SSA verifier in debug builds to check for any outstanding reuse of virtual registers in def constraints. As fuzzing enables
debug_assertions
, this will enable the SSA verifier when fuzzing as well.
<!--Please ensure that the following steps are all taken care of before submitting
the PR.
[ ] This has been discussed in issue #..., or if not, please tell us why
here.[ ] A short description of what this does, why it is needed; if the
description becomes long, the matter should probably be discussed in an issue
first.[ ] This PR contains test cases, if meaningful.
- [ ] A reviewer from the core maintainer team has been assigned for this PR.
If you don't know who could review this, please indicate so. The list of
suggested reviewers on the right can help you.Please ensure all communication adheres to the code of conduct.
-->
cfallin submitted PR review.
elliottt updated PR #5354 from trevor/fuzz-with-ssa-checker
to main
.
elliottt has marked PR #5354 as ready for review.
elliottt requested cfallin for a review on PR #5354.
cfallin submitted PR review.
cfallin submitted PR review.
cfallin created PR review comment:
This seems fine IMHO; from the point-of-view of regalloc semantics, a trap might as well be a return (control leaves the function and there are no successors).
elliottt submitted PR review.
elliottt created PR review comment:
Thanks, I'll remove this TODO :+1:
elliottt updated PR #5354 from trevor/fuzz-with-ssa-checker
to main
.
elliottt merged PR #5354.
Last updated: Dec 23 2024 at 12:05 UTC