Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fuzz PR121580 #17

Closed
dtcxzyw opened this issue Jan 3, 2025 · 2 comments
Closed

Fuzz PR121580 #17

dtcxzyw opened this issue Jan 3, 2025 · 2 comments
Labels
quickfuzz

Comments

@dtcxzyw
Copy link
Owner

dtcxzyw commented Jan 3, 2025

llvm/llvm-project#121580
@github-actions GitHub Actions
Copy link
Contributor

github-actions bot commented Jan 3, 2025

Seeds: 26
Pass: opt -passes=instcombine
Baseline: llvm/llvm-project@976f3a0
Patch URL: llvm/llvm-project#121580
Patch SHA256: 1d567fc7e7ad3696662bb4c7e7786e1683dadbe86ce823af75bc82cb9ae3eae3
Checklist:
❌ Correctness
✅ Commutative op handling
✅ Multi-use handling
❌ Flag preservation
✅ Canonical form handling
Time: 00:06:07
Artifact: https://github.com/dtcxzyw/llvm-mutation-based-fuzz-service/actions/runs/12600655373/artifacts/2383507700

@dtcxzyw
Copy link
Owner Author

dtcxzyw commented Jan 3, 2025

Alive2 bug: https://alive2.llvm.org/ce/z/YfxNQi

@dtcxzyw dtcxzyw closed this as completed Feb 1, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
quickfuzz
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@dtcxzyw