Skip to content

Navigation Menu

Sign in

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly
Appearance settings

[LAA] Improve forked-pointers.ll test #140383

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
Merged
merged 1 commit into from
May 18, 2025
Merged

[LAA] Improve forked-pointers.ll test #140383

merged 1 commit into from
May 18, 2025

Conversation

artagnon
Copy link
Contributor

No description provided.

@artagnon artagnon requested a review from fhahn May 17, 2025 17:18
@llvmbot
Copy link
Member

llvmbot commented May 17, 2025

@llvm/pr-subscribers-llvm-analysis

Author: Ramkumar Ramachandra (artagnon)

Changes

Patch is 54.69 KiB, truncated to 20.00 KiB below, full version: https://github.com/llvm/llvm-project/pull/140383.diff

1 Files Affected:

  • (modified) llvm/test/Analysis/LoopAccessAnalysis/forked-pointers.ll (+197-605)
diff --git a/llvm/test/Analysis/LoopAccessAnalysis/forked-pointers.ll b/llvm/test/Analysis/LoopAccessAnalysis/forked-pointers.ll
index cd388b4ee87f2..286af49ab1ae6 100644
--- a/llvm/test/Analysis/LoopAccessAnalysis/forked-pointers.ll
+++ b/llvm/test/Analysis/LoopAccessAnalysis/forked-pointers.ll
@@ -1,6 +1,6 @@
 ; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py UTC_ARGS: --version 3
-; RUN: opt -disable-output -passes='print<access-info>' %s 2>&1 | FileCheck %s
-; RUN: opt -disable-output -passes='print<access-info>' -max-forked-scev-depth=2 %s 2>&1 | FileCheck -check-prefix=RECURSE %s
+; RUN: opt -disable-output -passes='print<access-info>' %s 2>&1 | FileCheck %s --check-prefixes=CHECK,FULLDEPTH
+; RUN: opt -disable-output -passes='print<access-info>' -max-forked-scev-depth=2 %s 2>&1 | FileCheck %s --check-prefixes=CHECK,DEPTH2
 
 target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"
 
@@ -39,40 +39,6 @@ define void @forked_ptrs_simple(ptr nocapture readonly %Base1, ptr nocapture rea
 ; CHECK-EMPTY:
 ; CHECK-NEXT:      Expressions re-written:
 ;
-; RECURSE-LABEL: 'forked_ptrs_simple'
-; RECURSE-NEXT:    loop:
-; RECURSE-NEXT:      Memory dependences are safe with run-time checks
-; RECURSE-NEXT:      Dependences:
-; RECURSE-NEXT:      Run-time memory checks:
-; RECURSE-NEXT:      Check 0:
-; RECURSE-NEXT:        Comparing group ([[GRP4:0x[0-9a-f]+]]):
-; RECURSE-NEXT:          %gep.Dest = getelementptr inbounds float, ptr %Dest, i64 %iv
-; RECURSE-NEXT:          %gep.Dest = getelementptr inbounds float, ptr %Dest, i64 %iv
-; RECURSE-NEXT:        Against group ([[GRP5:0x[0-9a-f]+]]):
-; RECURSE-NEXT:          %select = select i1 %cmp, ptr %gep.1, ptr %gep.2
-; RECURSE-NEXT:      Check 1:
-; RECURSE-NEXT:        Comparing group ([[GRP4]]):
-; RECURSE-NEXT:          %gep.Dest = getelementptr inbounds float, ptr %Dest, i64 %iv
-; RECURSE-NEXT:          %gep.Dest = getelementptr inbounds float, ptr %Dest, i64 %iv
-; RECURSE-NEXT:        Against group ([[GRP6:0x[0-9a-f]+]]):
-; RECURSE-NEXT:          %select = select i1 %cmp, ptr %gep.1, ptr %gep.2
-; RECURSE-NEXT:      Grouped accesses:
-; RECURSE-NEXT:        Group [[GRP4]]:
-; RECURSE-NEXT:          (Low: %Dest High: (400 + %Dest))
-; RECURSE-NEXT:            Member: {%Dest,+,4}<nuw><%loop>
-; RECURSE-NEXT:            Member: {%Dest,+,4}<nuw><%loop>
-; RECURSE-NEXT:        Group [[GRP5]]:
-; RECURSE-NEXT:          (Low: %Base1 High: (400 + %Base1))
-; RECURSE-NEXT:            Member: {%Base1,+,4}<nw><%loop>
-; RECURSE-NEXT:        Group [[GRP6]]:
-; RECURSE-NEXT:          (Low: %Base2 High: (400 + %Base2))
-; RECURSE-NEXT:            Member: {%Base2,+,4}<nw><%loop>
-; RECURSE-EMPTY:
-; RECURSE-NEXT:      Non vectorizable stores to invariant address were not found in loop.
-; RECURSE-NEXT:      SCEV assumptions:
-; RECURSE-EMPTY:
-; RECURSE-NEXT:      Expressions re-written:
-;
 entry:
   br label %loop
 
@@ -116,31 +82,31 @@ define dso_local void @forked_ptrs_different_base_same_offset(ptr nocapture read
 ; CHECK-NEXT:      Dependences:
 ; CHECK-NEXT:      Run-time memory checks:
 ; CHECK-NEXT:      Check 0:
-; CHECK-NEXT:        Comparing group ([[GRP7:0x[0-9a-f]+]]):
+; CHECK-NEXT:        Comparing group ([[GRP4:0x[0-9a-f]+]]):
 ; CHECK-NEXT:          %1 = getelementptr inbounds float, ptr %Dest, i64 %indvars.iv
-; CHECK-NEXT:        Against group ([[GRP8:0x[0-9a-f]+]]):
+; CHECK-NEXT:        Against group ([[GRP5:0x[0-9a-f]+]]):
 ; CHECK-NEXT:          %arrayidx = getelementptr inbounds i32, ptr %Preds, i64 %indvars.iv
 ; CHECK-NEXT:      Check 1:
-; CHECK-NEXT:        Comparing group ([[GRP7]]):
+; CHECK-NEXT:        Comparing group ([[GRP4]]):
 ; CHECK-NEXT:          %1 = getelementptr inbounds float, ptr %Dest, i64 %indvars.iv
-; CHECK-NEXT:        Against group ([[GRP9:0x[0-9a-f]+]]):
+; CHECK-NEXT:        Against group ([[GRP6:0x[0-9a-f]+]]):
 ; CHECK-NEXT:          %.sink.in = getelementptr inbounds float, ptr %spec.select, i64 %indvars.iv
 ; CHECK-NEXT:      Check 2:
-; CHECK-NEXT:        Comparing group ([[GRP7]]):
+; CHECK-NEXT:        Comparing group ([[GRP4]]):
 ; CHECK-NEXT:          %1 = getelementptr inbounds float, ptr %Dest, i64 %indvars.iv
-; CHECK-NEXT:        Against group ([[GRP10:0x[0-9a-f]+]]):
+; CHECK-NEXT:        Against group ([[GRP7:0x[0-9a-f]+]]):
 ; CHECK-NEXT:          %.sink.in = getelementptr inbounds float, ptr %spec.select, i64 %indvars.iv
 ; CHECK-NEXT:      Grouped accesses:
-; CHECK-NEXT:        Group [[GRP7]]:
+; CHECK-NEXT:        Group [[GRP4]]:
 ; CHECK-NEXT:          (Low: %Dest High: (400 + %Dest))
 ; CHECK-NEXT:            Member: {%Dest,+,4}<nuw><%for.body>
-; CHECK-NEXT:        Group [[GRP8]]:
+; CHECK-NEXT:        Group [[GRP5]]:
 ; CHECK-NEXT:          (Low: %Preds High: (400 + %Preds))
 ; CHECK-NEXT:            Member: {%Preds,+,4}<nuw><%for.body>
-; CHECK-NEXT:        Group [[GRP9]]:
+; CHECK-NEXT:        Group [[GRP6]]:
 ; CHECK-NEXT:          (Low: %Base2 High: (400 + %Base2))
 ; CHECK-NEXT:            Member: {%Base2,+,4}<nw><%for.body>
-; CHECK-NEXT:        Group [[GRP10]]:
+; CHECK-NEXT:        Group [[GRP7]]:
 ; CHECK-NEXT:          (Low: %Base1 High: (400 + %Base1))
 ; CHECK-NEXT:            Member: {%Base1,+,4}<nw><%for.body>
 ; CHECK-EMPTY:
@@ -149,45 +115,6 @@ define dso_local void @forked_ptrs_different_base_same_offset(ptr nocapture read
 ; CHECK-EMPTY:
 ; CHECK-NEXT:      Expressions re-written:
 ;
-; RECURSE-LABEL: 'forked_ptrs_different_base_same_offset'
-; RECURSE-NEXT:    for.body:
-; RECURSE-NEXT:      Memory dependences are safe with run-time checks
-; RECURSE-NEXT:      Dependences:
-; RECURSE-NEXT:      Run-time memory checks:
-; RECURSE-NEXT:      Check 0:
-; RECURSE-NEXT:        Comparing group ([[GRP11:0x[0-9a-f]+]]):
-; RECURSE-NEXT:          %1 = getelementptr inbounds float, ptr %Dest, i64 %indvars.iv
-; RECURSE-NEXT:        Against group ([[GRP12:0x[0-9a-f]+]]):
-; RECURSE-NEXT:          %arrayidx = getelementptr inbounds i32, ptr %Preds, i64 %indvars.iv
-; RECURSE-NEXT:      Check 1:
-; RECURSE-NEXT:        Comparing group ([[GRP11]]):
-; RECURSE-NEXT:          %1 = getelementptr inbounds float, ptr %Dest, i64 %indvars.iv
-; RECURSE-NEXT:        Against group ([[GRP13:0x[0-9a-f]+]]):
-; RECURSE-NEXT:          %.sink.in = getelementptr inbounds float, ptr %spec.select, i64 %indvars.iv
-; RECURSE-NEXT:      Check 2:
-; RECURSE-NEXT:        Comparing group ([[GRP11]]):
-; RECURSE-NEXT:          %1 = getelementptr inbounds float, ptr %Dest, i64 %indvars.iv
-; RECURSE-NEXT:        Against group ([[GRP14:0x[0-9a-f]+]]):
-; RECURSE-NEXT:          %.sink.in = getelementptr inbounds float, ptr %spec.select, i64 %indvars.iv
-; RECURSE-NEXT:      Grouped accesses:
-; RECURSE-NEXT:        Group [[GRP11]]:
-; RECURSE-NEXT:          (Low: %Dest High: (400 + %Dest))
-; RECURSE-NEXT:            Member: {%Dest,+,4}<nuw><%for.body>
-; RECURSE-NEXT:        Group [[GRP12]]:
-; RECURSE-NEXT:          (Low: %Preds High: (400 + %Preds))
-; RECURSE-NEXT:            Member: {%Preds,+,4}<nuw><%for.body>
-; RECURSE-NEXT:        Group [[GRP13]]:
-; RECURSE-NEXT:          (Low: %Base2 High: (400 + %Base2))
-; RECURSE-NEXT:            Member: {%Base2,+,4}<nw><%for.body>
-; RECURSE-NEXT:        Group [[GRP14]]:
-; RECURSE-NEXT:          (Low: %Base1 High: (400 + %Base1))
-; RECURSE-NEXT:            Member: {%Base1,+,4}<nw><%for.body>
-; RECURSE-EMPTY:
-; RECURSE-NEXT:      Non vectorizable stores to invariant address were not found in loop.
-; RECURSE-NEXT:      SCEV assumptions:
-; RECURSE-EMPTY:
-; RECURSE-NEXT:      Expressions re-written:
-;
 entry:
   br label %for.body
 
@@ -216,31 +143,31 @@ define dso_local void @forked_ptrs_different_base_same_offset_64b(ptr nocapture
 ; CHECK-NEXT:      Dependences:
 ; CHECK-NEXT:      Run-time memory checks:
 ; CHECK-NEXT:      Check 0:
-; CHECK-NEXT:        Comparing group ([[GRP15:0x[0-9a-f]+]]):
+; CHECK-NEXT:        Comparing group ([[GRP8:0x[0-9a-f]+]]):
 ; CHECK-NEXT:          %1 = getelementptr inbounds double, ptr %Dest, i64 %indvars.iv
-; CHECK-NEXT:        Against group ([[GRP16:0x[0-9a-f]+]]):
+; CHECK-NEXT:        Against group ([[GRP9:0x[0-9a-f]+]]):
 ; CHECK-NEXT:          %arrayidx = getelementptr inbounds i32, ptr %Preds, i64 %indvars.iv
 ; CHECK-NEXT:      Check 1:
-; CHECK-NEXT:        Comparing group ([[GRP15]]):
+; CHECK-NEXT:        Comparing group ([[GRP8]]):
 ; CHECK-NEXT:          %1 = getelementptr inbounds double, ptr %Dest, i64 %indvars.iv
-; CHECK-NEXT:        Against group ([[GRP17:0x[0-9a-f]+]]):
+; CHECK-NEXT:        Against group ([[GRP10:0x[0-9a-f]+]]):
 ; CHECK-NEXT:          %.sink.in = getelementptr inbounds double, ptr %spec.select, i64 %indvars.iv
 ; CHECK-NEXT:      Check 2:
-; CHECK-NEXT:        Comparing group ([[GRP15]]):
+; CHECK-NEXT:        Comparing group ([[GRP8]]):
 ; CHECK-NEXT:          %1 = getelementptr inbounds double, ptr %Dest, i64 %indvars.iv
-; CHECK-NEXT:        Against group ([[GRP18:0x[0-9a-f]+]]):
+; CHECK-NEXT:        Against group ([[GRP11:0x[0-9a-f]+]]):
 ; CHECK-NEXT:          %.sink.in = getelementptr inbounds double, ptr %spec.select, i64 %indvars.iv
 ; CHECK-NEXT:      Grouped accesses:
-; CHECK-NEXT:        Group [[GRP15]]:
+; CHECK-NEXT:        Group [[GRP8]]:
 ; CHECK-NEXT:          (Low: %Dest High: (800 + %Dest))
 ; CHECK-NEXT:            Member: {%Dest,+,8}<nuw><%for.body>
-; CHECK-NEXT:        Group [[GRP16]]:
+; CHECK-NEXT:        Group [[GRP9]]:
 ; CHECK-NEXT:          (Low: %Preds High: (400 + %Preds))
 ; CHECK-NEXT:            Member: {%Preds,+,4}<nuw><%for.body>
-; CHECK-NEXT:        Group [[GRP17]]:
+; CHECK-NEXT:        Group [[GRP10]]:
 ; CHECK-NEXT:          (Low: %Base2 High: (800 + %Base2))
 ; CHECK-NEXT:            Member: {%Base2,+,8}<nw><%for.body>
-; CHECK-NEXT:        Group [[GRP18]]:
+; CHECK-NEXT:        Group [[GRP11]]:
 ; CHECK-NEXT:          (Low: %Base1 High: (800 + %Base1))
 ; CHECK-NEXT:            Member: {%Base1,+,8}<nw><%for.body>
 ; CHECK-EMPTY:
@@ -249,45 +176,6 @@ define dso_local void @forked_ptrs_different_base_same_offset_64b(ptr nocapture
 ; CHECK-EMPTY:
 ; CHECK-NEXT:      Expressions re-written:
 ;
-; RECURSE-LABEL: 'forked_ptrs_different_base_same_offset_64b'
-; RECURSE-NEXT:    for.body:
-; RECURSE-NEXT:      Memory dependences are safe with run-time checks
-; RECURSE-NEXT:      Dependences:
-; RECURSE-NEXT:      Run-time memory checks:
-; RECURSE-NEXT:      Check 0:
-; RECURSE-NEXT:        Comparing group ([[GRP19:0x[0-9a-f]+]]):
-; RECURSE-NEXT:          %1 = getelementptr inbounds double, ptr %Dest, i64 %indvars.iv
-; RECURSE-NEXT:        Against group ([[GRP20:0x[0-9a-f]+]]):
-; RECURSE-NEXT:          %arrayidx = getelementptr inbounds i32, ptr %Preds, i64 %indvars.iv
-; RECURSE-NEXT:      Check 1:
-; RECURSE-NEXT:        Comparing group ([[GRP19]]):
-; RECURSE-NEXT:          %1 = getelementptr inbounds double, ptr %Dest, i64 %indvars.iv
-; RECURSE-NEXT:        Against group ([[GRP21:0x[0-9a-f]+]]):
-; RECURSE-NEXT:          %.sink.in = getelementptr inbounds double, ptr %spec.select, i64 %indvars.iv
-; RECURSE-NEXT:      Check 2:
-; RECURSE-NEXT:        Comparing group ([[GRP19]]):
-; RECURSE-NEXT:          %1 = getelementptr inbounds double, ptr %Dest, i64 %indvars.iv
-; RECURSE-NEXT:        Against group ([[GRP22:0x[0-9a-f]+]]):
-; RECURSE-NEXT:          %.sink.in = getelementptr inbounds double, ptr %spec.select, i64 %indvars.iv
-; RECURSE-NEXT:      Grouped accesses:
-; RECURSE-NEXT:        Group [[GRP19]]:
-; RECURSE-NEXT:          (Low: %Dest High: (800 + %Dest))
-; RECURSE-NEXT:            Member: {%Dest,+,8}<nuw><%for.body>
-; RECURSE-NEXT:        Group [[GRP20]]:
-; RECURSE-NEXT:          (Low: %Preds High: (400 + %Preds))
-; RECURSE-NEXT:            Member: {%Preds,+,4}<nuw><%for.body>
-; RECURSE-NEXT:        Group [[GRP21]]:
-; RECURSE-NEXT:          (Low: %Base2 High: (800 + %Base2))
-; RECURSE-NEXT:            Member: {%Base2,+,8}<nw><%for.body>
-; RECURSE-NEXT:        Group [[GRP22]]:
-; RECURSE-NEXT:          (Low: %Base1 High: (800 + %Base1))
-; RECURSE-NEXT:            Member: {%Base1,+,8}<nw><%for.body>
-; RECURSE-EMPTY:
-; RECURSE-NEXT:      Non vectorizable stores to invariant address were not found in loop.
-; RECURSE-NEXT:      SCEV assumptions:
-; RECURSE-EMPTY:
-; RECURSE-NEXT:      Expressions re-written:
-;
 entry:
   br label %for.body
 
@@ -316,31 +204,31 @@ define dso_local void @forked_ptrs_different_base_same_offset_23b(ptr nocapture
 ; CHECK-NEXT:      Dependences:
 ; CHECK-NEXT:      Run-time memory checks:
 ; CHECK-NEXT:      Check 0:
-; CHECK-NEXT:        Comparing group ([[GRP23:0x[0-9a-f]+]]):
+; CHECK-NEXT:        Comparing group ([[GRP12:0x[0-9a-f]+]]):
 ; CHECK-NEXT:          %1 = getelementptr inbounds i23, ptr %Dest, i64 %indvars.iv
-; CHECK-NEXT:        Against group ([[GRP24:0x[0-9a-f]+]]):
+; CHECK-NEXT:        Against group ([[GRP13:0x[0-9a-f]+]]):
 ; CHECK-NEXT:          %arrayidx = getelementptr inbounds i32, ptr %Preds, i64 %indvars.iv
 ; CHECK-NEXT:      Check 1:
-; CHECK-NEXT:        Comparing group ([[GRP23]]):
+; CHECK-NEXT:        Comparing group ([[GRP12]]):
 ; CHECK-NEXT:          %1 = getelementptr inbounds i23, ptr %Dest, i64 %indvars.iv
-; CHECK-NEXT:        Against group ([[GRP25:0x[0-9a-f]+]]):
+; CHECK-NEXT:        Against group ([[GRP14:0x[0-9a-f]+]]):
 ; CHECK-NEXT:          %.sink.in = getelementptr inbounds i23, ptr %spec.select, i64 %indvars.iv
 ; CHECK-NEXT:      Check 2:
-; CHECK-NEXT:        Comparing group ([[GRP23]]):
+; CHECK-NEXT:        Comparing group ([[GRP12]]):
 ; CHECK-NEXT:          %1 = getelementptr inbounds i23, ptr %Dest, i64 %indvars.iv
-; CHECK-NEXT:        Against group ([[GRP26:0x[0-9a-f]+]]):
+; CHECK-NEXT:        Against group ([[GRP15:0x[0-9a-f]+]]):
 ; CHECK-NEXT:          %.sink.in = getelementptr inbounds i23, ptr %spec.select, i64 %indvars.iv
 ; CHECK-NEXT:      Grouped accesses:
-; CHECK-NEXT:        Group [[GRP23]]:
+; CHECK-NEXT:        Group [[GRP12]]:
 ; CHECK-NEXT:          (Low: %Dest High: (399 + %Dest))
 ; CHECK-NEXT:            Member: {%Dest,+,4}<nuw><%for.body>
-; CHECK-NEXT:        Group [[GRP24]]:
+; CHECK-NEXT:        Group [[GRP13]]:
 ; CHECK-NEXT:          (Low: %Preds High: (400 + %Preds))
 ; CHECK-NEXT:            Member: {%Preds,+,4}<nuw><%for.body>
-; CHECK-NEXT:        Group [[GRP25]]:
+; CHECK-NEXT:        Group [[GRP14]]:
 ; CHECK-NEXT:          (Low: %Base2 High: (399 + %Base2))
 ; CHECK-NEXT:            Member: {%Base2,+,4}<nw><%for.body>
-; CHECK-NEXT:        Group [[GRP26]]:
+; CHECK-NEXT:        Group [[GRP15]]:
 ; CHECK-NEXT:          (Low: %Base1 High: (399 + %Base1))
 ; CHECK-NEXT:            Member: {%Base1,+,4}<nw><%for.body>
 ; CHECK-EMPTY:
@@ -349,45 +237,6 @@ define dso_local void @forked_ptrs_different_base_same_offset_23b(ptr nocapture
 ; CHECK-EMPTY:
 ; CHECK-NEXT:      Expressions re-written:
 ;
-; RECURSE-LABEL: 'forked_ptrs_different_base_same_offset_23b'
-; RECURSE-NEXT:    for.body:
-; RECURSE-NEXT:      Memory dependences are safe with run-time checks
-; RECURSE-NEXT:      Dependences:
-; RECURSE-NEXT:      Run-time memory checks:
-; RECURSE-NEXT:      Check 0:
-; RECURSE-NEXT:        Comparing group ([[GRP27:0x[0-9a-f]+]]):
-; RECURSE-NEXT:          %1 = getelementptr inbounds i23, ptr %Dest, i64 %indvars.iv
-; RECURSE-NEXT:        Against group ([[GRP28:0x[0-9a-f]+]]):
-; RECURSE-NEXT:          %arrayidx = getelementptr inbounds i32, ptr %Preds, i64 %indvars.iv
-; RECURSE-NEXT:      Check 1:
-; RECURSE-NEXT:        Comparing group ([[GRP27]]):
-; RECURSE-NEXT:          %1 = getelementptr inbounds i23, ptr %Dest, i64 %indvars.iv
-; RECURSE-NEXT:        Against group ([[GRP29:0x[0-9a-f]+]]):
-; RECURSE-NEXT:          %.sink.in = getelementptr inbounds i23, ptr %spec.select, i64 %indvars.iv
-; RECURSE-NEXT:      Check 2:
-; RECURSE-NEXT:        Comparing group ([[GRP27]]):
-; RECURSE-NEXT:          %1 = getelementptr inbounds i23, ptr %Dest, i64 %indvars.iv
-; RECURSE-NEXT:        Against group ([[GRP30:0x[0-9a-f]+]]):
-; RECURSE-NEXT:          %.sink.in = getelementptr inbounds i23, ptr %spec.select, i64 %indvars.iv
-; RECURSE-NEXT:      Grouped accesses:
-; RECURSE-NEXT:        Group [[GRP27]]:
-; RECURSE-NEXT:          (Low: %Dest High: (399 + %Dest))
-; RECURSE-NEXT:            Member: {%Dest,+,4}<nuw><%for.body>
-; RECURSE-NEXT:        Group [[GRP28]]:
-; RECURSE-NEXT:          (Low: %Preds High: (400 + %Preds))
-; RECURSE-NEXT:            Member: {%Preds,+,4}<nuw><%for.body>
-; RECURSE-NEXT:        Group [[GRP29]]:
-; RECURSE-NEXT:          (Low: %Base2 High: (399 + %Base2))
-; RECURSE-NEXT:            Member: {%Base2,+,4}<nw><%for.body>
-; RECURSE-NEXT:        Group [[GRP30]]:
-; RECURSE-NEXT:          (Low: %Base1 High: (399 + %Base1))
-; RECURSE-NEXT:            Member: {%Base1,+,4}<nw><%for.body>
-; RECURSE-EMPTY:
-; RECURSE-NEXT:      Non vectorizable stores to invariant address were not found in loop.
-; RECURSE-NEXT:      SCEV assumptions:
-; RECURSE-EMPTY:
-; RECURSE-NEXT:      Expressions re-written:
-;
 entry:
   br label %for.body
 
@@ -416,31 +265,31 @@ define dso_local void @forked_ptrs_different_base_same_offset_6b(ptr nocapture r
 ; CHECK-NEXT:      Dependences:
 ; CHECK-NEXT:      Run-time memory checks:
 ; CHECK-NEXT:      Check 0:
-; CHECK-NEXT:        Comparing group ([[GRP31:0x[0-9a-f]+]]):
+; CHECK-NEXT:        Comparing group ([[GRP16:0x[0-9a-f]+]]):
 ; CHECK-NEXT:          %1 = getelementptr inbounds i6, ptr %Dest, i64 %indvars.iv
-; CHECK-NEXT:        Against group ([[GRP32:0x[0-9a-f]+]]):
+; CHECK-NEXT:        Against group ([[GRP17:0x[0-9a-f]+]]):
 ; CHECK-NEXT:          %arrayidx = getelementptr inbounds i32, ptr %Preds, i64 %indvars.iv
 ; CHECK-NEXT:      Check 1:
-; CHECK-NEXT:        Comparing group ([[GRP31]]):
+; CHECK-NEXT:        Comparing group ([[GRP16]]):
 ; CHECK-NEXT:          %1 = getelementptr inbounds i6, ptr %Dest, i64 %indvars.iv
-; CHECK-NEXT:        Against group ([[GRP33:0x[0-9a-f]+]]):
+; CHECK-NEXT:        Against group ([[GRP18:0x[0-9a-f]+]]):
 ; CHECK-NEXT:          %.sink.in = getelementptr inbounds i6, ptr %spec.select, i64 %indvars.iv
 ; CHECK-NEXT:      Check 2:
-; CHECK-NEXT:        Comparing group ([[GRP31]]):
+; CHECK-NEXT:        Comparing group ([[GRP16]]):
 ; CHECK-NEXT:          %1 = getelementptr inbounds i6, ptr %Dest, i64 %indvars.iv
-; CHECK-NEXT:        Against group ([[GRP34:0x[0-9a-f]+]]):
+; CHECK-NEXT:        Against group ([[GRP19:0x[0-9a-f]+]]):
 ; CHECK-NEXT:          %.sink.in = getelementptr inbounds i6, ptr %spec.select, i64 %indvars.iv
 ; CHECK-NEXT:      Grouped accesses:
-; CHECK-NEXT:        Group [[GRP31]]:
+; CHECK-NEXT:        Group [[GRP16]]:
 ; CHECK-NEXT:          (Low: %Dest High: (100 + %Dest))
 ; CHECK-NEXT:            Member: {%Dest,+,1}<nuw><%for.body>
-; CHECK-NEXT:        Group [[GRP32]]:
+; CHECK-NEXT:        Group [[GRP17]]:
 ; CHECK-NEXT:          (Low: %Preds High: (400 + %Preds))
 ; CHECK-NEXT:            Member: {%Preds,+,4}<nuw><%for.body>
-; CHECK-NEXT:        Group [[GRP33]]:
+; CHECK-NEXT:        Group [[GRP18]]:
 ; CHECK-NEXT:          (Low: %Base2 High: (100 + %Base2))
 ; CHECK-NEXT:            Member: {%Base2,+,1}<nw><%for.body>
-; CHECK-NEXT:        Group [[GRP34]]:
+; CHECK-NEXT:        Group [[GRP19]]:
 ; CHECK-NEXT:          (Low: %Base1 High: (100 + %Base1))
 ; CHECK-NEXT:            Member: {%Base1,+,1}<nw><%for.body>
 ; CHECK-EMPTY:
@@ -449,45 +298,6 @@ define dso_local void @forked_ptrs_different_base_same_offset_6b(ptr nocapture r
 ; CHECK-EMPTY:
 ; CHECK-NEXT:      Expressions re-written:
 ;
-; RECURSE-LABEL: 'forked_ptrs_different_base_same_offset_6b'
-; RECURSE-NEXT:    for.body:
-; RECURSE-NEXT:      Memory dependences are safe with run-time checks
-; RECURSE-NEXT:      Dependences:
-; RECURSE-NEXT:      Run-time memory checks:
-; RECURSE-NEXT:      Check 0:
-; RECURSE-NEXT:        Comparing group ([[GRP35:0x[0-9a-f]+]]):
-; RECURSE-NEXT:          %1 = getelementptr inbounds i6, ptr %Dest, i64 %indvars.iv
-; RECURSE-NEXT:        Against group ([[GRP36:0x[0-9a-f]+]]):
-; RECURSE-NEXT:          %arrayidx = getelementptr inbounds i32, ptr %Preds, i64 %indvars.iv
-; RECURSE-NEXT:      Check 1:
-; RECURSE-NEXT:        Comparing group ([[GRP35]]):
-; RECURSE-NEXT:          %1 = getelementptr inbounds i6, ptr %Dest, i64 %indvars.iv
-; RECURSE-NEXT:        Against group ([[GRP37:0x[0-9a-f]+]]):
-; RECURSE-NEXT:          ...
[truncated]

fhahn
fhahn approved these changes May 18, 2025
View reviewed changes
Copy link
Contributor

@fhahn fhahn left a comment

Choose a reason for hiding this comment

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

LGTM, thanks!

llvm/test/Analysis/LoopAccessAnalysis/forked-pointers.ll
@@ -1,6 +1,6 @@
; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py UTC_ARGS: --version 3
; RUN: opt -disable-output -passes='print<access-info>' %s 2>&1 | FileCheck %s
; RUN: opt -disable-output -passes='print<access-info>' -max-forked-scev-depth=2 %s 2>&1 | FileCheck -check-prefix=RECURSE %s
; RUN: opt -disable-output -passes='print<access-info>' %s 2>&1 | FileCheck %s --check-prefixes=CHECK,FULLDEPTH
Copy link
Contributor

Choose a reason for hiding this comment

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

Great to see update_test_checks now supporting this pattern!

Copy link
Contributor Author

Choose a reason for hiding this comment

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

It doesn't actually: I had to tweak the test by hand :(

@artagnon artagnon merged commit b18ebd1 into llvm:main May 18, 2025
13 checks passed
@artagnon artagnon deleted the laa-forkedptr-test branch May 18, 2025 08:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@fhahn fhahn fhahn approved these changes

Assignees
No one assigned
Labels
llvm:analysis
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@artagnon @llvmbot @fhahn
Morty Proxy This is a proxified and sanitized view of the page, visit original site.