[LAA] Rename printing pass to print<access-info>.
authorFlorian Hahn <flo@fhahn.com>
Fri, 26 Aug 2022 10:00:08 +0000 (11:00 +0100)
committerFlorian Hahn <flo@fhahn.com>
Fri, 26 Aug 2022 10:00:09 +0000 (11:00 +0100)
This updates the naming for the LAA printing pass to be in line with
most other analysis printing passes.

The old name has come up as confusing multiple times already, e.g. in
D131924.

40 files changed:
llvm/lib/Passes/PassRegistry.def
llvm/test/Analysis/LoopAccessAnalysis/backward-dep-different-types.ll
llvm/test/Analysis/LoopAccessAnalysis/depend_diff_types.ll
llvm/test/Analysis/LoopAccessAnalysis/depend_diff_types_opaque_ptr.ll
llvm/test/Analysis/LoopAccessAnalysis/forked-pointers.ll
llvm/test/Analysis/LoopAccessAnalysis/forward-loop-carried.ll
llvm/test/Analysis/LoopAccessAnalysis/forward-loop-independent.ll
llvm/test/Analysis/LoopAccessAnalysis/independent-interleaved.ll
llvm/test/Analysis/LoopAccessAnalysis/loop-invariant-dep-with-backedge-taken-count.ll
llvm/test/Analysis/LoopAccessAnalysis/memcheck-for-loop-invariant.ll
llvm/test/Analysis/LoopAccessAnalysis/memcheck-off-by-one-error.ll
llvm/test/Analysis/LoopAccessAnalysis/memcheck-store-vs-alloc-size.ll
llvm/test/Analysis/LoopAccessAnalysis/memcheck-wrapping-pointers.ll
llvm/test/Analysis/LoopAccessAnalysis/multiple-strides-rt-memory-checks.ll
llvm/test/Analysis/LoopAccessAnalysis/non-wrapping-pointer.ll
llvm/test/Analysis/LoopAccessAnalysis/nullptr.ll
llvm/test/Analysis/LoopAccessAnalysis/number-of-memchecks.ll
llvm/test/Analysis/LoopAccessAnalysis/pointer-phis.ll
llvm/test/Analysis/LoopAccessAnalysis/pointer-with-unknown-bounds.ll
llvm/test/Analysis/LoopAccessAnalysis/pr31098.ll
llvm/test/Analysis/LoopAccessAnalysis/pr56672.ll
llvm/test/Analysis/LoopAccessAnalysis/resort-to-memchecks-only.ll
llvm/test/Analysis/LoopAccessAnalysis/reverse-memcheck-bounds.ll
llvm/test/Analysis/LoopAccessAnalysis/runtime-pointer-checking-insert-typesize.ll
llvm/test/Analysis/LoopAccessAnalysis/safe-no-checks.ll
llvm/test/Analysis/LoopAccessAnalysis/safe-with-dep-distance.ll
llvm/test/Analysis/LoopAccessAnalysis/store-to-invariant-check1.ll
llvm/test/Analysis/LoopAccessAnalysis/store-to-invariant-check2.ll
llvm/test/Analysis/LoopAccessAnalysis/store-to-invariant-check3.ll
llvm/test/Analysis/LoopAccessAnalysis/stride-access-dependence.ll
llvm/test/Analysis/LoopAccessAnalysis/symbolic-stride.ll
llvm/test/Analysis/LoopAccessAnalysis/uncomputable-backedge-taken-count.ll
llvm/test/Analysis/LoopAccessAnalysis/underlying-objects-1.ll
llvm/test/Analysis/LoopAccessAnalysis/underlying-objects-2.ll
llvm/test/Analysis/LoopAccessAnalysis/unsafe-and-rt-checks-convergent.ll
llvm/test/Analysis/LoopAccessAnalysis/unsafe-and-rt-checks.ll
llvm/test/Analysis/LoopAccessAnalysis/wrapping-pointer-versioning.ll
llvm/test/Transforms/LoopDistribute/basic-with-memchecks.ll
llvm/test/Transforms/LoopDistribute/basic.ll
llvm/test/Transforms/LoopUnroll/unroll-loop-invalidation.ll

index ddff8a4..a6aa06c 100644 (file)
@@ -517,7 +517,7 @@ LOOP_PASS("loop-simplifycfg", LoopSimplifyCFGPass())
 LOOP_PASS("loop-reduce", LoopStrengthReducePass())
 LOOP_PASS("indvars", IndVarSimplifyPass())
 LOOP_PASS("loop-unroll-full", LoopFullUnrollPass())
-LOOP_PASS("print-access-info", LoopAccessInfoPrinterPass(dbgs()))
+LOOP_PASS("print<access-info>", LoopAccessInfoPrinterPass(dbgs()))
 LOOP_PASS("print<ddg>", DDGAnalysisPrinterPass(dbgs()))
 LOOP_PASS("print<iv-users>", IVUsersPrinterPass(dbgs()))
 LOOP_PASS("print<loopnest>", LoopNestPrinterPass(dbgs()))
index 0bb43fe..2a969f5 100644 (file)
@@ -1,4 +1,4 @@
-; RUN: opt -passes='print-access-info' -disable-output < %s  2>&1 | FileCheck %s
+; RUN: opt -passes='print<access-info>' -disable-output < %s  2>&1 | FileCheck %s
 
 ; In this loop just because we access A through different types (int, float)
 ; we still have a dependence cycle:
index 1b79a1a..f6afc52 100644 (file)
@@ -1,4 +1,4 @@
-; RUN: opt -S -disable-output -passes='print-access-info' < %s 2>&1 | FileCheck %s
+; RUN: opt -S -disable-output -passes='print<access-info>' < %s 2>&1 | FileCheck %s
 
 
 ; In the function below some of the accesses are done as float types and some
index f094330..cfa37ec 100644 (file)
@@ -1,4 +1,4 @@
-; RUN: opt -S -disable-output --opaque-pointers -passes='print-access-info' < %s 2>&1 | FileCheck %s
+; RUN: opt -S -disable-output --opaque-pointers -passes='print<access-info>' < %s 2>&1 | FileCheck %s
 
 ; In the function below some of the accesses are done as float types and some
 ; are done as i32 types. When doing dependence analysis the type should not
index 332a294..efde509 100644 (file)
@@ -1,5 +1,5 @@
-; 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
+; RUN: opt -disable-output -passes='print<access-info>' -max-forked-scev-depth=2 %s 2>&1 | FileCheck -check-prefix=RECURSE %s
 
 target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"
 
index bc7fde4..18b25fd 100644 (file)
@@ -1,4 +1,4 @@
-; RUN: opt -passes='print-access-info' -disable-output  < %s 2>&1 | FileCheck %s
+; RUN: opt -passes='print<access-info>' -disable-output  < %s 2>&1 | FileCheck %s
 
 ;   for (unsigned i = 0; i < 100; i++) {
 ;     A[i+8] = B[i] + 2;
index 55cddde..03e04cd 100644 (file)
@@ -1,4 +1,4 @@
-; RUN: opt -passes='print-access-info' -disable-output  < %s 2>&1 | FileCheck %s
+; RUN: opt -passes='print<access-info>' -disable-output  < %s 2>&1 | FileCheck %s
 
 ; Check that loop-indepedent forward dependences are discovered properly.
 ;
index fff3ad3..5bd8981 100644 (file)
@@ -1,4 +1,4 @@
-; RUN: opt -passes='print-access-info' -store-to-load-forwarding-conflict-detection=false  -disable-output  < %s 2>&1 | FileCheck %s
+; RUN: opt -passes='print<access-info>' -store-to-load-forwarding-conflict-detection=false  -disable-output  < %s 2>&1 | FileCheck %s
 
 ; This test checks that we prove the strided accesses to be independent before
 ; concluding that there is a forward dependence.
index a45753e..63e483d 100644 (file)
@@ -1,4 +1,4 @@
-; RUN: opt -passes=print-access-info -disable-output %s 2>&1 | FileCheck %s
+; RUN: opt -passes='print<access-info>' -disable-output %s 2>&1 | FileCheck %s
 
 ; Test cases for using the backedge-taken-count to rule out dependencies between
 ; an invariant and strided accesses.
index 009188a..af2b928 100644 (file)
@@ -1,4 +1,4 @@
-; RUN: opt -passes='print-access-info' -disable-output  < %s 2>&1 | FileCheck %s
+; RUN: opt -passes='print<access-info>' -disable-output  < %s 2>&1 | FileCheck %s
 
 ; Handle memchecks involving loop-invariant addresses:
 ;
index ea1ef61..32d57f5 100644 (file)
@@ -1,4 +1,4 @@
-; RUN: opt -passes=print-access-info %s -disable-output 2>&1 | FileCheck %s
+; RUN: opt -passes='print<access-info>' %s -disable-output 2>&1 | FileCheck %s
 
 ; This test verifies run-time boundary check of memory accesses.
 ; The original loop:
index f333dc6..577887d 100644 (file)
@@ -1,4 +1,4 @@
-; RUN: opt -passes=print-access-info %s -disable-output 2>&1 | FileCheck %s
+; RUN: opt -passes='print<access-info>' %s -disable-output 2>&1 | FileCheck %s
 
 ; This test defends against accidentally using alloc size instead of store size when performing run-time
 ; boundary check of memory accesses. The IR in this file is based on
index d6f7dbb..3bbc6b4 100644 (file)
@@ -1,4 +1,4 @@
-; RUN: opt -passes=print-access-info %s -disable-output 2>&1 | FileCheck %s
+; RUN: opt -passes='print<access-info>' %s -disable-output 2>&1 | FileCheck %s
 
 target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"
 
index 8abb0c7..45f9e2e 100644 (file)
@@ -1,4 +1,4 @@
-; RUN: opt -passes='print-access-info' -disable-output  < %s 2>&1 | FileCheck %s
+; RUN: opt -passes='print<access-info>' -disable-output  < %s 2>&1 | FileCheck %s
 
 ; This is the test case from PR26314.
 ; When we were retrying dependence checking with memchecks only, 
index 9790811..29dc3e5 100644 (file)
@@ -1,4 +1,4 @@
-; RUN: opt -passes='print-access-info' -aa-pipeline='basic-aa' -disable-output < %s  2>&1 | FileCheck %s
+; RUN: opt -passes='print<access-info>' -aa-pipeline='basic-aa' -disable-output < %s  2>&1 | FileCheck %s
 
 ; For this loop:
 ;   for (int i = 0; i < n; i++)
index 2c371d2..f1c8005 100644 (file)
@@ -1,4 +1,4 @@
-; RUN: opt -passes='print-access-info' -disable-output  < %s 2>&1 | FileCheck %s
+; RUN: opt -passes='print<access-info>' -disable-output  < %s 2>&1 | FileCheck %s
 
 ; Test that the loop accesses are proven safe in this case.
 ; The analyzer uses to be confused by the "diamond" because getUnderlyingObjects
index 70adc18..be628f1 100644 (file)
@@ -1,4 +1,4 @@
-; RUN: opt -passes='print-access-info' -disable-output  < %s 2>&1 | FileCheck %s
+; RUN: opt -passes='print<access-info>' -disable-output  < %s 2>&1 | FileCheck %s
 
 target datalayout = "e-m:e-i64:64-i128:128-n32:64-S128"
 target triple = "aarch64--linux-gnueabi"
index b1ceac8..db3fb78 100644 (file)
@@ -1,4 +1,4 @@
-; RUN: opt -passes='print-access-info' -disable-output  < %s 2>&1 | FileCheck %s
+; RUN: opt -passes='print<access-info>' -disable-output  < %s 2>&1 | FileCheck %s
 
 %s1 = type { [32000 x double], [32000 x double], [32000 x double] }
 
index 880d3a6..f35c281 100644 (file)
@@ -1,4 +1,4 @@
-; RUN: opt -aa-pipeline=basic-aa -passes='print-access-info' -disable-output  < %s 2>&1 | FileCheck %s
+; RUN: opt -aa-pipeline=basic-aa -passes='print<access-info>' -disable-output  < %s 2>&1 | FileCheck %s
 
 target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
 
index bd4c938..da4711e 100644 (file)
@@ -1,4 +1,4 @@
-; RUN: opt -passes='print-access-info' -disable-output  < %s 2>&1 | FileCheck %s
+; RUN: opt -passes='print<access-info>' -disable-output  < %s 2>&1 | FileCheck %s
 
 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
 
index 98c3efc..92887fe 100644 (file)
@@ -1,5 +1,5 @@
-; RUN: opt -passes='loop(loop-rotate),print-access-info' -S %s 2>&1 | FileCheck %s
-; RUN: opt -passes='loop(loop-rotate),invalidate<loops>,print-access-info' -S %s 2>&1 | FileCheck %s
+; RUN: opt -passes='loop(loop-rotate),print<access-info>' -S %s 2>&1 | FileCheck %s
+; RUN: opt -passes='loop(loop-rotate),invalidate<loops>,print<access-info>' -S %s 2>&1 | FileCheck %s
 
 ; Make sure that the result of analysis is consistent regardless of blocks
 ; order as they are stored in loop. This test demonstrates the situation when
index 4aaa789..dc7cb08 100644 (file)
@@ -1,4 +1,4 @@
-; RUN: opt -passes='print-access-info' -disable-output  < %s 2>&1 | FileCheck %s
+; RUN: opt -passes='print<access-info>' -disable-output  < %s 2>&1 | FileCheck %s
 
 ; We give up analyzing the dependences in this loop due to non-constant
 ; distance between A[i+offset] and A[i] and add memchecks to prove
index 043da22..e68861e 100644 (file)
@@ -1,4 +1,4 @@
-; RUN: opt -passes='print-access-info' -disable-output  < %s 2>&1 | FileCheck %s
+; RUN: opt -passes='print<access-info>' -disable-output  < %s 2>&1 | FileCheck %s
 
 ; The runtime memory check code and the access grouping
 ; algorithm both assume that the start and end values
index f99c70c..3d6cd3e 100644 (file)
@@ -1,4 +1,4 @@
-; RUN: opt -passes='print-access-info' -disable-output < %s
+; RUN: opt -passes='print<access-info>' -disable-output < %s
 
 ; This regression test is defending against a use of the wrong interface
 ; of TypeSize (implicit conversion to a scalar). This issue cropped up
index 1ceee9b..74cbe97 100644 (file)
@@ -1,4 +1,4 @@
-; RUN: opt -passes='print-access-info' -aa-pipeline='basic-aa' -disable-output < %s  2>&1 | FileCheck %s
+; RUN: opt -passes='print<access-info>' -aa-pipeline='basic-aa' -disable-output < %s  2>&1 | FileCheck %s
 
 ; If the arrays don't alias this loop is safe with no memchecks:
 ;   for (i = 0; i < n; i++)
index 5273cbe..5e3663e 100644 (file)
@@ -1,4 +1,4 @@
-; RUN: opt -passes='print-access-info' -disable-output  < %s 2>&1 | FileCheck %s
+; RUN: opt -passes='print<access-info>' -disable-output  < %s 2>&1 | FileCheck %s
 
 ; Analyze this loop:
 ;   for (i = 0; i < n; i++)
index 18615b8..bf0b932 100644 (file)
@@ -1,4 +1,4 @@
-; RUN: opt -passes='print-access-info' -disable-output  < %s 2>&1 | FileCheck %s
+; RUN: opt -passes='print<access-info>' -disable-output  < %s 2>&1 | FileCheck %s
 
 ; Test to confirm LAA will find multiple stores to an invariant address in the
 ; inner loop.
index 18cceb3..5338187 100644 (file)
@@ -1,4 +1,4 @@
-; RUN: opt -passes='print-access-info' -disable-output  < %s 2>&1 | FileCheck %s
+; RUN: opt -passes='print<access-info>' -disable-output  < %s 2>&1 | FileCheck %s
 
 ; Test to confirm LAA will not find store to invariant address.
 ; Inner loop has no store to invariant address.
index 878cc7c..9c5c9e7 100644 (file)
@@ -1,4 +1,4 @@
-; RUN: opt -passes='print-access-info' -disable-output  < %s 2>&1 | FileCheck %s
+; RUN: opt -passes='print<access-info>' -disable-output  < %s 2>&1 | FileCheck %s
 
 ; Inner loop has a store to invariant address, but LAA does not need to identify
 ; the store to invariant address, since it is a single store.
index 2ae1945..bb31c94 100644 (file)
@@ -1,4 +1,4 @@
-; RUN: opt -passes='print-access-info' -disable-output  < %s 2>&1 | FileCheck %s
+; RUN: opt -passes='print<access-info>' -disable-output  < %s 2>&1 | FileCheck %s
 
 target datalayout = "e-m:e-i64:64-i128:128-n32:64-S128"
 
index aba9346..584dd84 100644 (file)
@@ -1,4 +1,4 @@
-; RUN: opt -S -disable-output -passes='print-access-info' %s 2>&1 | FileCheck %s
+; RUN: opt -S -disable-output -passes='print<access-info>' %s 2>&1 | FileCheck %s
 
 ;
 target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
index 5b0c62e..a160908 100644 (file)
@@ -1,4 +1,4 @@
-; RUN: opt -passes='print-access-info' -aa-pipeline='basic-aa' -disable-output < %s  2>&1 | FileCheck %s
+; RUN: opt -passes='print<access-info>' -aa-pipeline='basic-aa' -disable-output < %s  2>&1 | FileCheck %s
 
 target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
 target triple = "x86_64-apple-macosx10.10.0"
index 77c0a54..bc8c59d 100644 (file)
@@ -1,4 +1,4 @@
-; RUN: opt -passes='print-access-info' -disable-output  < %s 2>&1 | FileCheck %s
+; RUN: opt -passes='print<access-info>' -disable-output  < %s 2>&1 | FileCheck %s
 
 ; In:
 ;
index a5d018f..0a0c4ac 100644 (file)
@@ -1,4 +1,4 @@
-; RUN: opt -passes='print-access-info' -disable-output  < %s 2>&1 | FileCheck %s
+; RUN: opt -passes='print<access-info>' -disable-output  < %s 2>&1 | FileCheck %s
 
 ; This loop:
 ;
index d19cdc2..a278670 100644 (file)
@@ -1,4 +1,4 @@
-; RUN: opt -passes='print-access-info' -disable-output  < %s 2>&1 | FileCheck %s
+; RUN: opt -passes='print<access-info>' -disable-output  < %s 2>&1 | FileCheck %s
 
 ; Analyze this loop:
 ;   for (i = 0; i < n; i++)
index 6af2263..460809c 100644 (file)
@@ -1,4 +1,4 @@
-; RUN: opt -passes='print-access-info' -disable-output  < %s 2>&1 | FileCheck %s
+; RUN: opt -passes='print<access-info>' -disable-output  < %s 2>&1 | FileCheck %s
 
 ; Analyze this loop:
 ;   for (i = 0; i < n; i++)
index 60025ca..6c8c37a 100644 (file)
@@ -1,4 +1,4 @@
-; RUN: opt -passes='print-access-info' -aa-pipeline='basic-aa' -disable-output < %s  2>&1 | FileCheck %s --check-prefix=LAA
+; RUN: opt -passes='print<access-info>' -aa-pipeline='basic-aa' -disable-output < %s  2>&1 | FileCheck %s --check-prefix=LAA
 
 target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
 
index e8c03ad..7edcfdf 100644 (file)
@@ -5,7 +5,7 @@
 ; RUN:   -verify-loop-info -verify-dom-info -S < %s | \
 ; RUN:   FileCheck --check-prefix=VECTORIZE %s
 
-; RUN: opt -aa-pipeline=basic-aa -passes='loop-distribute,print-access-info' -enable-loop-distribute \
+; RUN: opt -aa-pipeline=basic-aa -passes='loop-distribute,print<access-info>' -enable-loop-distribute \
 ; RUN:   -verify-loop-info -verify-dom-info -disable-output < %s 2>&1 | FileCheck %s --check-prefix=ANALYSIS
 
 ; The memcheck version of basic.ll.  We should distribute and vectorize the
index 36c9d84..c537fc1 100644 (file)
@@ -1,7 +1,7 @@
 ; RUN: opt -aa-pipeline=basic-aa -passes=loop-distribute -enable-loop-distribute -verify-loop-info -verify-dom-info -S \
 ; RUN:   < %s | FileCheck %s
 
-; RUN: opt -aa-pipeline=basic-aa -passes='loop-distribute,loop(print-access-info)' -enable-loop-distribute \
+; RUN: opt -aa-pipeline=basic-aa -passes='loop-distribute,loop(print<access-info>)' -enable-loop-distribute \
 ; RUN:   -verify-loop-info -verify-dom-info -disable-output < %s 2>&1 | FileCheck %s --check-prefix=ANALYSIS
 
 ; RUN: opt -aa-pipeline=basic-aa -passes=loop-distribute,loop-vectorize -enable-loop-distribute -force-vector-width=4 -S \
index 4b501eb..a93aaa6 100644 (file)
@@ -3,7 +3,7 @@
 ; analysis is cached, then unroll the loop (deleting it) and make sure that the
 ; next function doesn't get a cache "hit" for this stale analysis result.
 ;
-; RUN: opt -S -passes='loop(require<access-info>),loop-unroll,loop(print-access-info)' -debug-pass-manager < %s 2>&1 | FileCheck %s
+; RUN: opt -S -passes='loop(require<access-info>),loop-unroll,loop(print<access-info>)' -debug-pass-manager < %s 2>&1 | FileCheck %s
 ;
 ; CHECK: Running analysis: LoopAnalysis
 ; CHECK: Running analysis: InnerAnalysisManagerProxy<