[llvm] [VPlan] Handle some VPInstructions in may{Read,Write}FromMemory (PR #120058)

Florian Hahn via llvm-commits llvm-commits at lists.llvm.org
Tue Jan 7 13:44:16 PST 2025


================
@@ -151,16 +151,18 @@ exit:
   ret void
 }
 
-define void @test_exit_branch_cost(ptr %dst, i64 %x, i32 %y, ptr %dst.1, i1 %c.4, ptr %src, ptr %dst.3, i1 %c.3, ptr %dst.2) {
+define void @test_exit_branch_cost(ptr %dst, ptr %x.ptr, ptr %y.ptr, ptr %dst.1, i1 %c.4, ptr %src, ptr %dst.3, i1 %c.3, ptr %dst.2) {
----------------
fhahn wrote:

```suggestion
define void @test_exit_branch_cost(ptr %dst, ptr noalias %x.ptr, ptr noalias%y.ptr, ptr %dst.1, i1 %c.4, ptr %src, ptr %dst.3, i1 %c.3, ptr %dst.2) {
```

To avoid new memchecks, (while you are here, could also be done for ptr args, the bounds check aren't important here and just add a bunch of extra IR to check))

https://github.com/llvm/llvm-project/pull/120058


More information about the llvm-commits mailing list