Open arsenm opened 3 months ago
Hi!
This issue may be a good introductory issue for people new to working on LLVM. If you would like to work on this issue, your first steps are:
test/
create fine-grained testing targets, so you can e.g. use make check-clang-ast
to only run Clang's AST tests.git clang-format HEAD~1
to format your changes.If you have any further questions about this issue, don't hesitate to ask via a comment in the thread below.
@llvm/issue-subscribers-good-first-issue
Author: Matt Arsenault (arsenm)
Can I give it a try? I have no experience with globalisel.
@JOE1994 Are you still working on the issue ? If not, I would love to work on the same. Please let me know.
@JOE1994 Are you still working on the issue ? If not, I would love to work on the same. Please let me know.
Please feel free to work on this issue. I'm unavailable to work on this in the next 2~3 weeks..
The MachineVerifier does not catch cases where G_LOAD range metadata is applied to scalar memory types, with vector results and vice versa. The verifier should reject cases like this:
Here we have an i64 range value applied to a <2 x i32> result, which should be invalid. %3:_(<2 x s32>) = G_LOAD %0(p1) :: (volatile load (s64), align 4, !range !0, addrspace 1)
We also are not clean about ensuring we have vector element matches between the result and memory type, but I think that's a more difficult issue to fix than verifying the range metadata.