Skip to content

Commit

Permalink
[test] Cleanup tests with -enable-new-pm in llvm/test/Analysis
Browse files Browse the repository at this point in the history
  • Loading branch information
aeubanks committed Sep 4, 2021
1 parent d896f22 commit bd020bb
Show file tree
Hide file tree
Showing 16 changed files with 12 additions and 37 deletions.
27 changes: 7 additions & 20 deletions llvm/test/Analysis/BasicAA/phi-values-usage.ll
@@ -1,27 +1,14 @@
; RUN: opt -debug-pass=Executions -phi-values -memcpyopt -instcombine -disable-output < %s -enable-new-pm=0 2>&1 | FileCheck %s -check-prefixes=CHECK,CHECK-MEMCPY
; RUN: opt -debug-pass=Executions -phi-values -memoryssa -instcombine -disable-output < %s -enable-new-pm=0 2>&1 | FileCheck %s -check-prefix=CHECK
; RUN: opt -debug-pass-manager -aa-pipeline=basic-aa -passes='require<phi-values>,memcpyopt,instcombine' -disable-output < %s 2>&1 | FileCheck %s -check-prefixes=NPM
; RUN: opt -debug-pass-manager -aa-pipeline=basic-aa -passes='require<phi-values>,memcpyopt,instcombine' -disable-output < %s 2>&1 | FileCheck %s

; Check that phi values is not run when it's not already available, and that
; basicaa is not freed after a pass that preserves CFG, as it preserves CFG.

; CHECK: Executing Pass 'Phi Values Analysis'
; CHECK: Executing Pass 'Basic Alias Analysis (stateless AA impl)'
; CHECK: Executing Pass 'Memory SSA'
; CHECK-MEMCPY: Executing Pass 'MemCpy Optimization'
; CHECK-MEMCPY-DAG: Freeing Pass 'MemCpy Optimization'
; CHECK-DAG: Freeing Pass 'Memory SSA'
; CHECK-DAG: Freeing Pass 'Phi Values Analysis'
; CHECK-NOT: Executing Pass 'Phi Values Analysis'
; CHECK-NOT: Executing Pass 'Basic Alias Analysis (stateless AA impl)'
; CHECK: Executing Pass 'Combine redundant instructions'

; NPM-DAG: Running analysis: PhiValuesAnalysis
; NPM-DAG: Running analysis: BasicAA
; NPM-DAG: Running analysis: MemorySSA
; NPM: Running pass: MemCpyOptPass
; NPM-NOT: Invalidating analysis
; NPM: Running pass: InstCombinePass
; CHECK-DAG: Running analysis: PhiValuesAnalysis
; CHECK-DAG: Running analysis: BasicAA
; CHECK-DAG: Running analysis: MemorySSA
; CHECK: Running pass: MemCpyOptPass
; CHECK-NOT: Invalidating analysis
; CHECK: Running pass: InstCombinePass

target datalayout = "p:8:8-n8"

Expand Down
1 change: 0 additions & 1 deletion llvm/test/Analysis/BasicAA/store-promote.ll
Expand Up @@ -2,7 +2,6 @@
; disambiguating some obvious cases. If LICM is able to disambiguate the
; two pointers, then the load should be hoisted, and the store sunk.

; RUN: opt < %s -basic-aa -licm -enable-new-pm=0 -S | FileCheck %s
; RUN: opt < %s -aa-pipeline=basic-aa -passes='loop-mssa(licm)' -S | FileCheck %s
target datalayout = "E-p:64:64:64-a0:0:8-f32:32:32-f64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-v64:64:64-v128:128:128"

Expand Down
2 changes: 1 addition & 1 deletion llvm/test/Analysis/CallGraph/do-nothing-intrinsic.ll
@@ -1,4 +1,4 @@
; RUN: opt < %s -basiccg -enable-new-pm=0
; RUN: opt < %s -passes='require<callgraph>'
; PR13903

define void @main() personality i8 0 {
Expand Down
3 changes: 1 addition & 2 deletions llvm/test/Analysis/GlobalsModRef/comdat-ipo.ll
@@ -1,5 +1,4 @@
; RUN: opt < %s -basic-aa -globals-aa -gvn -enable-new-pm=0 -S | FileCheck %s
; RUN: opt < %s -basic-aa -globals-aa -gvn -enable-new-pm=1 -S | FileCheck %s
; RUN: opt < %s -aa-pipeline=basic-aa,globals-aa -passes=gvn -S | FileCheck %s

; See PR26774

Expand Down
1 change: 0 additions & 1 deletion llvm/test/Analysis/GlobalsModRef/dead-uses.ll
@@ -1,4 +1,3 @@
; RUN: opt < %s -instcombine -globals-aa -licm -enable-new-pm=0 -S | FileCheck %s
; RUN: opt < %s -aa-pipeline=basic-aa,globals-aa -passes='function(instcombine),require<globals-aa>,function(invalidate<aa>,loop-mssa(licm))' -S | FileCheck %s

; Make sure -globals-aa ignores dead uses of globals.
Expand Down
3 changes: 1 addition & 2 deletions llvm/test/Analysis/GlobalsModRef/no-escape.ll
@@ -1,5 +1,4 @@
; RUN: opt < %s -basic-aa -globals-aa -S -licm -enable-new-pm=0 | FileCheck %s
; RUN: opt < %s -basic-aa -globals-aa -S -licm -enable-new-pm=1 | FileCheck %s
; RUN: opt < %s -aa-pipeline=basic-aa,globals-aa -S -passes='require<globals-aa>,function(loop-mssa(licm))' | FileCheck %s

target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-apple-macosx10.10.0"
Expand Down
2 changes: 1 addition & 1 deletion llvm/test/Analysis/MemorySSA/basicaa-memcpy.ll
@@ -1,4 +1,4 @@
; RUN: opt -disable-output -basic-aa -enable-new-pm=0 -print-memoryssa %s 2>&1 | FileCheck %s
; RUN: opt -disable-output -passes='print<memoryssa>' %s 2>&1 | FileCheck %s

declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture, i8* nocapture, i64, i1) nounwind

Expand Down
2 changes: 1 addition & 1 deletion llvm/test/Analysis/MemorySSA/debugvalue2.ll
@@ -1,4 +1,4 @@
; RUN: opt -disable-basic-aa -enable-new-pm=0 -print-memoryssa -disable-output %s 2>&1 | FileCheck %s
; RUN: opt -passes='print<memoryssa>' -disable-output %s 2>&1 | FileCheck %s

; Note that the test crashes the MemorySSA verification when doing loop-rotate,
; if debuginfo is modelled in MemorySSA, due to the fact that MemorySSA is not
Expand Down
1 change: 0 additions & 1 deletion llvm/test/Analysis/MemorySSA/loop-rotate-disablebasicaa.ll
@@ -1,4 +1,3 @@
; RUN: opt -disable-basic-aa -enable-new-pm=0 -print-memoryssa -disable-output %s 2>&1 | FileCheck %s
; RUN: opt -passes='print<memoryssa>' -disable-output %s 2>&1 | FileCheck %s

; Note: if @foo is modelled as a MemoryDef, this test will assert with -loop-rotate, due to MemorySSA not
Expand Down
@@ -1,4 +1,3 @@
; RUN: opt -loop-rotate -enable-new-pm=0 -print-memoryssa -disable-output -verify-memoryssa %s 2>&1 | FileCheck %s
; RUN: opt -passes='loop-mssa(loop-rotate),print<memoryssa>' -disable-output -verify-memoryssa %s 2>&1 | FileCheck %s
; REQUIRES: asserts

Expand Down
1 change: 0 additions & 1 deletion llvm/test/Analysis/MemorySSA/pr41640.ll
@@ -1,4 +1,3 @@
; RUN: opt -disable-output -licm -enable-new-pm=0 -print-memoryssa < %s 2>&1 | FileCheck %s
; RUN: opt -disable-output -passes='loop-mssa(licm),print<memoryssa>' < %s 2>&1 | FileCheck %s
target datalayout = "E-m:e-i1:8:16-i8:8:16-i64:64-f128:64-v128:64-a:8:16-n32:64"
target triple = "s390x-ibm-linux"
Expand Down
1 change: 0 additions & 1 deletion llvm/test/Analysis/MemorySSA/pr43317.ll
@@ -1,4 +1,3 @@
; RUN: opt -disable-output -licm -enable-new-pm=0 -print-memoryssa < %s 2>&1 | FileCheck %s
; RUN: opt -disable-output -passes='loop-mssa(licm),print<memoryssa>' < %s 2>&1 | FileCheck %s
@v_274 = external dso_local global i64, align 1
@v_295 = external dso_local global i16, align 1
Expand Down
1 change: 0 additions & 1 deletion llvm/test/Analysis/MemorySSA/pr43427.ll
@@ -1,4 +1,3 @@
; RUN: opt -disable-output -licm -enable-new-pm=0 -print-memoryssa < %s 2>&1 | FileCheck %s
; RUN: opt -disable-output -aa-pipeline=basic-aa -passes='loop-mssa(licm),print<memoryssa>' < %s 2>&1 | FileCheck %s

; CHECK-LABEL: @f()
Expand Down
1 change: 0 additions & 1 deletion llvm/test/Analysis/MemorySSA/pr43438.ll
@@ -1,4 +1,3 @@
; RUN: opt -disable-output -loop-simplify -licm -enable-new-pm=0 -print-memoryssa < %s 2>&1 | FileCheck %s
; RUN: opt -disable-output -aa-pipeline=basic-aa -passes='loop-mssa(licm),print<memoryssa>' < %s 2>&1 | FileCheck %s
target triple = "x86_64-unknown-linux-gnu"

Expand Down
1 change: 0 additions & 1 deletion llvm/test/Analysis/MemorySSA/pr45927.ll
@@ -1,4 +1,3 @@
; RUN: opt -disable-output -loop-simplify -lcssa -licm -print-memoryssa < %s -enable-new-pm=0 2>&1 | FileCheck %s
; RUN: opt -disable-output -aa-pipeline=basic-aa -passes='loop-mssa(licm),print<memoryssa>' < %s 2>&1 | FileCheck %s


Expand Down
1 change: 0 additions & 1 deletion llvm/test/Analysis/MemorySSA/update_unroll.ll
@@ -1,4 +1,3 @@
; RUN: opt -enable-new-pm=0 -verify-memoryssa -loop-rotate -S %s | FileCheck %s
; RUN: opt -verify-memoryssa -passes='loop-mssa(loop-rotate)' -S %s | FileCheck %s
; REQUIRES: asserts

Expand Down

0 comments on commit bd020bb

Please sign in to comment.