forked from OSchip/llvm-project
[test] Cleanup tests with -enable-new-pm in llvm/test/Analysis
This commit is contained in:
parent
d896f22fda
commit
bd020bbbd2
|
@ -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"
|
||||
|
||||
|
|
|
@ -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"
|
||||
|
||||
|
|
|
@ -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 {
|
||||
|
|
|
@ -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
|
||||
|
||||
|
|
|
@ -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.
|
||||
|
|
|
@ -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"
|
||||
|
|
|
@ -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
|
||||
|
||||
|
|
|
@ -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
|
||||
|
|
|
@ -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
|
||||
|
|
|
@ -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
|
||||
|
||||
|
|
|
@ -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"
|
||||
|
|
|
@ -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
|
||||
|
|
|
@ -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()
|
||||
|
|
|
@ -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"
|
||||
|
||||
|
|
|
@ -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
|
||||
|
||||
|
||||
|
|
|
@ -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
|
||||
|
||||
|
|
Loading…
Reference in New Issue