Skip to content

Conversation

chrulski-intel
Copy link
Contributor

Update the string reported to include the pass name of last pass when running verifier after each pass.

Update the string reported to include the pass name of last pass
when running verifier after each pass.
@chrulski-intel chrulski-intel marked this pull request as ready for review November 7, 2023 00:15
@chrulski-intel
Copy link
Contributor Author

@aeubanks Can you be a reviewer for this PR? Thanks.

@aeubanks
Copy link
Contributor

code looks good, but I'd like a test like how we test -print-on-crash with TriggerCrashPass.

we should have a module pass and a function pass that intentionally break the IR, then run those in the test

@chrulski-intel
Copy link
Contributor Author

Thanks for the suggestion on testing. I wasn't sure how to create a test that was intended to crash. Let me look into the tests you mention.

Adds a testing pass that intentionally creates IR that will
trigger a verification failure to test that -verify-each
generates an appropriate error message.
Copy link
Contributor

@aeubanks aeubanks left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lg with name change suggestion


// A pass for testing message reporting of -verify-each failures.
// DO NOT USE THIS EXCEPT FOR TESTING!
class TriggerVerifyEachFailurePass
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'd rename this to TriggerVerifierErrorPass/trigger-verifier-error

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Sounds good. I'll update it.

@aeubanks
Copy link
Contributor

aeubanks commented Dec 1, 2023

thanks!

@aeubanks aeubanks merged commit ff0d8a9 into llvm:main Dec 1, 2023
@chrulski-intel
Copy link
Contributor Author

@aeubanks Thanks for merging this.

@chrulski-intel chrulski-intel deleted the verify-report-pass branch December 1, 2023 18:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants