runtimeverification / runtimeverification/llvm-backend
Experiment on axiom pattern formats
Nobody has claimed this yet.
- Dominant language
- C++
- Stars
- 43
- Forks
- 22
- PR merge metrics
- No merged PRs in 30d
Description
It would be interesting to see if any of these representations: https://github.com/runtimeverification/llvm-backend/blob/e2f583a05b9bf362deabd58f8acc1ce534aaf4c4/lib/ast/pattern_matching.cpp#L108 are dead code
More generally, it would be interesting to run a coverage testing tool on the LLVM backend test suite to see if there is dead code anywhere else.
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start by inspecting lib/ast/pattern_matching.cpp around line 108 and the LLVM backend test suite. Determine whether the listed pattern representations are exercised, then investigate coverage testing for other unexecuted code. Done means documenting the dead-code findings and the broader coverage results, with any follow-up changes agreed separately.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- cpp
- Domain
- compilers, testing-qa
- Issue type
- Refactor
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100