This is an archive of the discontinued LLVM Phabricator instance.

Differential D74353

[BasicAA] Make BasicAA a cfg pass.
ClosedPublic

Authored by asbirlea on Feb 10 2020, 12:32 PM.

Details

Reviewers
john.brawn
sebpop
hfinkel
Commits
rGcaa755f90e37: [BasicAA] Make BasicAA a cfg pass.
rG0cecafd647cc: [BasicAA] Make BasicAA a cfg pass.
Summary

Part of the changes in D44564 made BasicAA not CFG only due to it using
PhiAnalysisValues which may have values invalidated.
Subsequent patches (rL340613) appear to have addressed this limitation.

BasicAA should not be invalidated by non-CFG-altering passes.
A concrete example is MemCpyOpt which preserves CFG, but we are testing
it invalidates BasicAA.

llvm-dev RFC: https://groups.google.com/forum/#!topic/llvm-dev/eSPXuWnNfzM

Diff Detail

Event Timeline

asbirlea created this revision.Feb 10 2020, 12:32 PM
Herald added a project: Restricted Project. · View Herald TranscriptFeb 10 2020, 12:32 PM
Herald added a subscriber: hiraditya. · View Herald Transcript
Harbormaster failed remote builds in B46137: Diff 243652!Feb 10 2020, 1:04 PM
asbirlea updated this revision to Diff 243666.Feb 10 2020, 1:38 PM

Update tests.

Harbormaster failed remote builds in B46141: Diff 243666!Feb 10 2020, 2:06 PM
asbirlea updated this revision to Diff 243694.Feb 10 2020, 3:56 PM

Add motivation from llvm-dev discussion.

asbirlea edited the summary of this revision. (Show Details)Feb 10 2020, 3:58 PM
Harbormaster failed remote builds in B46154: Diff 243694!Feb 10 2020, 4:31 PM
hfinkel accepted this revision.Feb 11 2020, 12:56 AM

LGTM

This revision is now accepted and ready to land.Feb 11 2020, 12:56 AM
Closed by commit rG0cecafd647cc: [BasicAA] Make BasicAA a cfg pass. (authored by asbirlea). · Explain WhyFeb 11 2020, 11:37 AM
This revision was automatically updated to reflect the committed changes.
brzycki removed a reviewer: brzycki.Feb 12 2020, 11:57 AM

My apologies @asbirlea : I must resign from review on this patch as my current employer hasn't authorized me to contribute to LLVM.

Revision Contents

PathSize
llvm/
lib/
Analysis/
5 lines
test/
Analysis/
BasicAA/
6 lines
Other/
6 lines
6 lines
6 lines

Diff 243937

llvm/lib/Analysis/BasicAliasAnalysis.cpp

Show First 20 Lines • Show All 2,053 Lines • ▼ Show 20 LinesBasicAAWrapperPass::BasicAAWrapperPass() : FunctionPass(ID) {
initializeBasicAAWrapperPassPass(*PassRegistry::getPassRegistry()); initializeBasicAAWrapperPassPass(*PassRegistry::getPassRegistry());
} }
char BasicAAWrapperPass::ID = 0; char BasicAAWrapperPass::ID = 0;
void BasicAAWrapperPass::anchor() {} void BasicAAWrapperPass::anchor() {}
INITIALIZE_PASS_BEGIN(BasicAAWrapperPass, "basicaa", INITIALIZE_PASS_BEGIN(BasicAAWrapperPass, "basicaa",
"Basic Alias Analysis (stateless AA impl)", false, true) "Basic Alias Analysis (stateless AA impl)", true, true)
INITIALIZE_PASS_DEPENDENCY(AssumptionCacheTracker) INITIALIZE_PASS_DEPENDENCY(AssumptionCacheTracker)
INITIALIZE_PASS_DEPENDENCY(DominatorTreeWrapperPass) INITIALIZE_PASS_DEPENDENCY(DominatorTreeWrapperPass)
INITIALIZE_PASS_DEPENDENCY(TargetLibraryInfoWrapperPass) INITIALIZE_PASS_DEPENDENCY(TargetLibraryInfoWrapperPass)
INITIALIZE_PASS_DEPENDENCY(PhiValuesWrapperPass)
INITIALIZE_PASS_END(BasicAAWrapperPass, "basicaa", INITIALIZE_PASS_END(BasicAAWrapperPass, "basicaa",
"Basic Alias Analysis (stateless AA impl)", false, true) "Basic Alias Analysis (stateless AA impl)", true, true)
FunctionPass *llvm::createBasicAAWrapperPass() { FunctionPass *llvm::createBasicAAWrapperPass() {
return new BasicAAWrapperPass(); return new BasicAAWrapperPass();
} }
bool BasicAAWrapperPass::runOnFunction(Function &F) { bool BasicAAWrapperPass::runOnFunction(Function &F) {
auto &ACT = getAnalysis<AssumptionCacheTracker>(); auto &ACT = getAnalysis<AssumptionCacheTracker>();
auto &TLIWP = getAnalysis<TargetLibraryInfoWrapperPass>(); auto &TLIWP = getAnalysis<TargetLibraryInfoWrapperPass>();
Show All 27 Lines

llvm/test/Analysis/BasicAA/phi-values-usage.ll

; RUN: opt -debug-pass=Executions -phi-values -memcpyopt -instcombine -disable-output < %s 2>&1 | FileCheck %s -check-prefix=CHECK -check-prefix=CHECK-MEMCPY ; RUN: opt -debug-pass=Executions -phi-values -memcpyopt -instcombine -disable-output < %s 2>&1 | FileCheck %s -check-prefix=CHECK -check-prefix=CHECK-MEMCPY
; RUN: opt -debug-pass=Executions -memdep -instcombine -disable-output < %s 2>&1 | FileCheck %s -check-prefix=CHECK ; RUN: opt -debug-pass=Executions -memdep -instcombine -disable-output < %s 2>&1 | FileCheck %s -check-prefix=CHECK
; Check that phi values is not run when it's not already available, and that ; Check that phi values is not run when it's not already available, and that
; basicaa is freed after a pass that preserves CFG. ; basicaa is not freed after a pass that preserves CFG, as it preserves CFG.
; CHECK: Executing Pass 'Phi Values Analysis' ; CHECK: Executing Pass 'Phi Values Analysis'
; CHECK: Executing Pass 'Basic Alias Analysis (stateless AA impl)' ; CHECK: Executing Pass 'Basic Alias Analysis (stateless AA impl)'
; CHECK: Executing Pass 'Memory Dependence Analysis' ; CHECK: Executing Pass 'Memory Dependence Analysis'
; CHECK-MEMCPY: Executing Pass 'MemCpy Optimization' ; CHECK-MEMCPY: Executing Pass 'MemCpy Optimization'
; CHECK-MEMCPY-DAG: Freeing Pass 'MemCpy Optimization' ; CHECK-MEMCPY-DAG: Freeing Pass 'MemCpy Optimization'
; CHECK-DAG: Freeing Pass 'Phi Values Analysis' ; CHECK-DAG: Freeing Pass 'Phi Values Analysis'
; CHECK-DAG: Freeing Pass 'Memory Dependence Analysis' ; CHECK-DAG: Freeing Pass 'Memory Dependence Analysis'
; CHECK-DAG: Freeing Pass 'Basic Alias Analysis (stateless AA impl)' ; CHECK-MEMCPY-NOT: Freeing Pass 'Basic Alias Analysis (stateless AA impl)'
; CHECK-NOT: Executing Pass 'Phi Values Analysis' ; CHECK-NOT: Executing Pass 'Phi Values Analysis'
; CHECK-MEMCPY: Executing Pass 'Basic Alias Analysis (stateless AA impl)' ; CHECK-NOT: Executing Pass 'Basic Alias Analysis (stateless AA impl)'
; CHECK: Executing Pass 'Combine redundant instructions' ; CHECK: Executing Pass 'Combine redundant instructions'
target datalayout = "p:8:8-n8" target datalayout = "p:8:8-n8"
declare void @otherfn([4 x i8]*) declare void @otherfn([4 x i8]*)
declare i32 @__gxx_personality_v0(...) declare i32 @__gxx_personality_v0(...)
declare void @llvm.lifetime.end.p0i8(i64, i8* nocapture) declare void @llvm.lifetime.end.p0i8(i64, i8* nocapture)
@c = external global i8*, align 1 @c = external global i8*, align 1
▲ Show 20 Lines • Show All 56 Lines • Show Last 20 Lines

llvm/test/Other/opt-O2-pipeline.ll

Show First 20 Lines • Show All 64 Lines • ▼ Show 20 Lines
; CHECK-NEXT: FunctionPass Manager ; CHECK-NEXT: FunctionPass Manager
; CHECK-NEXT: Dominator Tree Construction ; CHECK-NEXT: Dominator Tree Construction
; CHECK-NEXT: SROA ; CHECK-NEXT: SROA
; CHECK-NEXT: Basic Alias Analysis (stateless AA impl) ; CHECK-NEXT: Basic Alias Analysis (stateless AA impl)
; CHECK-NEXT: Function Alias Analysis Results ; CHECK-NEXT: Function Alias Analysis Results
; CHECK-NEXT: Memory SSA ; CHECK-NEXT: Memory SSA
; CHECK-NEXT: Early CSE w/ MemorySSA ; CHECK-NEXT: Early CSE w/ MemorySSA
; CHECK-NEXT: Speculatively execute instructions if target has divergent branches ; CHECK-NEXT: Speculatively execute instructions if target has divergent branches
; CHECK-NEXT: Basic Alias Analysis (stateless AA impl)
; CHECK-NEXT: Function Alias Analysis Results ; CHECK-NEXT: Function Alias Analysis Results
; CHECK-NEXT: Lazy Value Information Analysis ; CHECK-NEXT: Lazy Value Information Analysis
; CHECK-NEXT: Jump Threading ; CHECK-NEXT: Jump Threading
; CHECK-NEXT: Value Propagation ; CHECK-NEXT: Value Propagation
; CHECK-NEXT: Simplify the CFG ; CHECK-NEXT: Simplify the CFG
; CHECK-NEXT: Dominator Tree Construction ; CHECK-NEXT: Dominator Tree Construction
; CHECK-NEXT: Basic Alias Analysis (stateless AA impl) ; CHECK-NEXT: Basic Alias Analysis (stateless AA impl)
; CHECK-NEXT: Function Alias Analysis Results ; CHECK-NEXT: Function Alias Analysis Results
▲ Show 20 Lines • Show All 47 Lines • ▼ Show 20 Lines
; CHECK-NEXT: Scalar Evolution Analysis ; CHECK-NEXT: Scalar Evolution Analysis
; CHECK-NEXT: Loop Pass Manager ; CHECK-NEXT: Loop Pass Manager
; CHECK-NEXT: Induction Variable Simplification ; CHECK-NEXT: Induction Variable Simplification
; CHECK-NEXT: Recognize loop idioms ; CHECK-NEXT: Recognize loop idioms
; CHECK-NEXT: Delete dead loops ; CHECK-NEXT: Delete dead loops
; CHECK-NEXT: Unroll loops ; CHECK-NEXT: Unroll loops
; CHECK-NEXT: MergedLoadStoreMotion ; CHECK-NEXT: MergedLoadStoreMotion
; CHECK-NEXT: Phi Values Analysis ; CHECK-NEXT: Phi Values Analysis
; CHECK-NEXT: Basic Alias Analysis (stateless AA impl)
; CHECK-NEXT: Function Alias Analysis Results ; CHECK-NEXT: Function Alias Analysis Results
; CHECK-NEXT: Memory Dependence Analysis ; CHECK-NEXT: Memory Dependence Analysis
; CHECK-NEXT: Lazy Branch Probability Analysis ; CHECK-NEXT: Lazy Branch Probability Analysis
; CHECK-NEXT: Lazy Block Frequency Analysis ; CHECK-NEXT: Lazy Block Frequency Analysis
; CHECK-NEXT: Optimization Remark Emitter ; CHECK-NEXT: Optimization Remark Emitter
; CHECK-NEXT: Global Value Numbering ; CHECK-NEXT: Global Value Numbering
; CHECK-NEXT: Phi Values Analysis ; CHECK-NEXT: Phi Values Analysis
; CHECK-NEXT: Basic Alias Analysis (stateless AA impl) ; CHECK-NEXT: Basic Alias Analysis (stateless AA impl)
; CHECK-NEXT: Function Alias Analysis Results ; CHECK-NEXT: Function Alias Analysis Results
; CHECK-NEXT: Memory Dependence Analysis ; CHECK-NEXT: Memory Dependence Analysis
; CHECK-NEXT: MemCpy Optimization ; CHECK-NEXT: MemCpy Optimization
; CHECK-NEXT: Sparse Conditional Constant Propagation ; CHECK-NEXT: Sparse Conditional Constant Propagation
; CHECK-NEXT: Demanded bits analysis ; CHECK-NEXT: Demanded bits analysis
; CHECK-NEXT: Bit-Tracking Dead Code Elimination ; CHECK-NEXT: Bit-Tracking Dead Code Elimination
; CHECK-NEXT: Basic Alias Analysis (stateless AA impl)
; CHECK-NEXT: Function Alias Analysis Results ; CHECK-NEXT: Function Alias Analysis Results
; CHECK-NEXT: Lazy Branch Probability Analysis ; CHECK-NEXT: Lazy Branch Probability Analysis
; CHECK-NEXT: Lazy Block Frequency Analysis ; CHECK-NEXT: Lazy Block Frequency Analysis
; CHECK-NEXT: Optimization Remark Emitter ; CHECK-NEXT: Optimization Remark Emitter
; CHECK-NEXT: Combine redundant instructions ; CHECK-NEXT: Combine redundant instructions
; CHECK-NEXT: Lazy Value Information Analysis ; CHECK-NEXT: Lazy Value Information Analysis
; CHECK-NEXT: Jump Threading ; CHECK-NEXT: Jump Threading
; CHECK-NEXT: Value Propagation ; CHECK-NEXT: Value Propagation
; CHECK-NEXT: Basic Alias Analysis (stateless AA impl) ; CHECK-NEXT: Basic Alias Analysis (stateless AA impl)
; CHECK-NEXT: Function Alias Analysis Results ; CHECK-NEXT: Function Alias Analysis Results
; CHECK-NEXT: Phi Values Analysis ; CHECK-NEXT: Phi Values Analysis
; CHECK-NEXT: Memory Dependence Analysis ; CHECK-NEXT: Memory Dependence Analysis
; CHECK-NEXT: Dead Store Elimination ; CHECK-NEXT: Dead Store Elimination
; CHECK-NEXT: Basic Alias Analysis (stateless AA impl)
; CHECK-NEXT: Function Alias Analysis Results ; CHECK-NEXT: Function Alias Analysis Results
; CHECK-NEXT: Memory SSA ; CHECK-NEXT: Memory SSA
; CHECK-NEXT: Natural Loop Information ; CHECK-NEXT: Natural Loop Information
; CHECK-NEXT: Canonicalize natural loops ; CHECK-NEXT: Canonicalize natural loops
; CHECK-NEXT: LCSSA Verifier ; CHECK-NEXT: LCSSA Verifier
; CHECK-NEXT: Loop-Closed SSA Form Pass ; CHECK-NEXT: Loop-Closed SSA Form Pass
; CHECK-NEXT: Scalar Evolution Analysis ; CHECK-NEXT: Scalar Evolution Analysis
; CHECK-NEXT: Loop Pass Manager ; CHECK-NEXT: Loop Pass Manager
▲ Show 20 Lines • Show All 51 Lines • ▼ Show 20 Lines
; CHECK-NEXT: Demanded bits analysis ; CHECK-NEXT: Demanded bits analysis
; CHECK-NEXT: Lazy Branch Probability Analysis ; CHECK-NEXT: Lazy Branch Probability Analysis
; CHECK-NEXT: Lazy Block Frequency Analysis ; CHECK-NEXT: Lazy Block Frequency Analysis
; CHECK-NEXT: Optimization Remark Emitter ; CHECK-NEXT: Optimization Remark Emitter
; CHECK-NEXT: Inject TLI Mappings ; CHECK-NEXT: Inject TLI Mappings
; CHECK-NEXT: Loop Vectorization ; CHECK-NEXT: Loop Vectorization
; CHECK-NEXT: Canonicalize natural loops ; CHECK-NEXT: Canonicalize natural loops
; CHECK-NEXT: Scalar Evolution Analysis ; CHECK-NEXT: Scalar Evolution Analysis
; CHECK-NEXT: Basic Alias Analysis (stateless AA impl)
; CHECK-NEXT: Function Alias Analysis Results ; CHECK-NEXT: Function Alias Analysis Results
; CHECK-NEXT: Loop Access Analysis ; CHECK-NEXT: Loop Access Analysis
; CHECK-NEXT: Lazy Branch Probability Analysis ; CHECK-NEXT: Lazy Branch Probability Analysis
; CHECK-NEXT: Lazy Block Frequency Analysis ; CHECK-NEXT: Lazy Block Frequency Analysis
; CHECK-NEXT: Loop Load Elimination ; CHECK-NEXT: Loop Load Elimination
; CHECK-NEXT: Optimize scalar/vector ops ; CHECK-NEXT: Optimize scalar/vector ops
; CHECK-NEXT: Basic Alias Analysis (stateless AA impl) ; CHECK-NEXT: Basic Alias Analysis (stateless AA impl)
; CHECK-NEXT: Function Alias Analysis Results ; CHECK-NEXT: Function Alias Analysis Results
; CHECK-NEXT: Lazy Branch Probability Analysis ; CHECK-NEXT: Lazy Branch Probability Analysis
; CHECK-NEXT: Lazy Block Frequency Analysis ; CHECK-NEXT: Lazy Block Frequency Analysis
; CHECK-NEXT: Optimization Remark Emitter ; CHECK-NEXT: Optimization Remark Emitter
; CHECK-NEXT: Combine redundant instructions ; CHECK-NEXT: Combine redundant instructions
; CHECK-NEXT: Simplify the CFG ; CHECK-NEXT: Simplify the CFG
; CHECK-NEXT: Dominator Tree Construction ; CHECK-NEXT: Dominator Tree Construction
; CHECK-NEXT: Natural Loop Information ; CHECK-NEXT: Natural Loop Information
; CHECK-NEXT: Scalar Evolution Analysis ; CHECK-NEXT: Scalar Evolution Analysis
; CHECK-NEXT: Basic Alias Analysis (stateless AA impl) ; CHECK-NEXT: Basic Alias Analysis (stateless AA impl)
; CHECK-NEXT: Function Alias Analysis Results ; CHECK-NEXT: Function Alias Analysis Results
; CHECK-NEXT: Demanded bits analysis ; CHECK-NEXT: Demanded bits analysis
; CHECK-NEXT: Lazy Branch Probability Analysis ; CHECK-NEXT: Lazy Branch Probability Analysis
; CHECK-NEXT: Lazy Block Frequency Analysis ; CHECK-NEXT: Lazy Block Frequency Analysis
; CHECK-NEXT: Optimization Remark Emitter ; CHECK-NEXT: Optimization Remark Emitter
; CHECK-NEXT: SLP Vectorizer ; CHECK-NEXT: SLP Vectorizer
; CHECK-NEXT: Optimize scalar/vector ops ; CHECK-NEXT: Optimize scalar/vector ops
; CHECK-NEXT: Basic Alias Analysis (stateless AA impl)
; CHECK-NEXT: Function Alias Analysis Results ; CHECK-NEXT: Function Alias Analysis Results
; CHECK-NEXT: Optimization Remark Emitter ; CHECK-NEXT: Optimization Remark Emitter
; CHECK-NEXT: Combine redundant instructions ; CHECK-NEXT: Combine redundant instructions
; CHECK-NEXT: Canonicalize natural loops ; CHECK-NEXT: Canonicalize natural loops
; CHECK-NEXT: LCSSA Verifier ; CHECK-NEXT: LCSSA Verifier
; CHECK-NEXT: Loop-Closed SSA Form Pass ; CHECK-NEXT: Loop-Closed SSA Form Pass
; CHECK-NEXT: Scalar Evolution Analysis ; CHECK-NEXT: Scalar Evolution Analysis
; CHECK-NEXT: Loop Pass Manager ; CHECK-NEXT: Loop Pass Manager
▲ Show 20 Lines • Show All 63 Lines • Show Last 20 Lines

llvm/test/Other/opt-O3-pipeline.ll

Show First 20 Lines • Show All 68 Lines • ▼ Show 20 Lines
; CHECK-NEXT: FunctionPass Manager ; CHECK-NEXT: FunctionPass Manager
; CHECK-NEXT: Dominator Tree Construction ; CHECK-NEXT: Dominator Tree Construction
; CHECK-NEXT: SROA ; CHECK-NEXT: SROA
; CHECK-NEXT: Basic Alias Analysis (stateless AA impl) ; CHECK-NEXT: Basic Alias Analysis (stateless AA impl)
; CHECK-NEXT: Function Alias Analysis Results ; CHECK-NEXT: Function Alias Analysis Results
; CHECK-NEXT: Memory SSA ; CHECK-NEXT: Memory SSA
; CHECK-NEXT: Early CSE w/ MemorySSA ; CHECK-NEXT: Early CSE w/ MemorySSA
; CHECK-NEXT: Speculatively execute instructions if target has divergent branches ; CHECK-NEXT: Speculatively execute instructions if target has divergent branches
; CHECK-NEXT: Basic Alias Analysis (stateless AA impl)
; CHECK-NEXT: Function Alias Analysis Results ; CHECK-NEXT: Function Alias Analysis Results
; CHECK-NEXT: Lazy Value Information Analysis ; CHECK-NEXT: Lazy Value Information Analysis
; CHECK-NEXT: Jump Threading ; CHECK-NEXT: Jump Threading
; CHECK-NEXT: Value Propagation ; CHECK-NEXT: Value Propagation
; CHECK-NEXT: Simplify the CFG ; CHECK-NEXT: Simplify the CFG
; CHECK-NEXT: Dominator Tree Construction ; CHECK-NEXT: Dominator Tree Construction
; CHECK-NEXT: Combine pattern based expressions ; CHECK-NEXT: Combine pattern based expressions
; CHECK-NEXT: Basic Alias Analysis (stateless AA impl) ; CHECK-NEXT: Basic Alias Analysis (stateless AA impl)
▲ Show 20 Lines • Show All 48 Lines • ▼ Show 20 Lines
; CHECK-NEXT: Scalar Evolution Analysis ; CHECK-NEXT: Scalar Evolution Analysis
; CHECK-NEXT: Loop Pass Manager ; CHECK-NEXT: Loop Pass Manager
; CHECK-NEXT: Induction Variable Simplification ; CHECK-NEXT: Induction Variable Simplification
; CHECK-NEXT: Recognize loop idioms ; CHECK-NEXT: Recognize loop idioms
; CHECK-NEXT: Delete dead loops ; CHECK-NEXT: Delete dead loops
; CHECK-NEXT: Unroll loops ; CHECK-NEXT: Unroll loops
; CHECK-NEXT: MergedLoadStoreMotion ; CHECK-NEXT: MergedLoadStoreMotion
; CHECK-NEXT: Phi Values Analysis ; CHECK-NEXT: Phi Values Analysis
; CHECK-NEXT: Basic Alias Analysis (stateless AA impl)
; CHECK-NEXT: Function Alias Analysis Results ; CHECK-NEXT: Function Alias Analysis Results
; CHECK-NEXT: Memory Dependence Analysis ; CHECK-NEXT: Memory Dependence Analysis
; CHECK-NEXT: Lazy Branch Probability Analysis ; CHECK-NEXT: Lazy Branch Probability Analysis
; CHECK-NEXT: Lazy Block Frequency Analysis ; CHECK-NEXT: Lazy Block Frequency Analysis
; CHECK-NEXT: Optimization Remark Emitter ; CHECK-NEXT: Optimization Remark Emitter
; CHECK-NEXT: Global Value Numbering ; CHECK-NEXT: Global Value Numbering
; CHECK-NEXT: Phi Values Analysis ; CHECK-NEXT: Phi Values Analysis
; CHECK-NEXT: Basic Alias Analysis (stateless AA impl) ; CHECK-NEXT: Basic Alias Analysis (stateless AA impl)
; CHECK-NEXT: Function Alias Analysis Results ; CHECK-NEXT: Function Alias Analysis Results
; CHECK-NEXT: Memory Dependence Analysis ; CHECK-NEXT: Memory Dependence Analysis
; CHECK-NEXT: MemCpy Optimization ; CHECK-NEXT: MemCpy Optimization
; CHECK-NEXT: Sparse Conditional Constant Propagation ; CHECK-NEXT: Sparse Conditional Constant Propagation
; CHECK-NEXT: Demanded bits analysis ; CHECK-NEXT: Demanded bits analysis
; CHECK-NEXT: Bit-Tracking Dead Code Elimination ; CHECK-NEXT: Bit-Tracking Dead Code Elimination
; CHECK-NEXT: Basic Alias Analysis (stateless AA impl)
; CHECK-NEXT: Function Alias Analysis Results ; CHECK-NEXT: Function Alias Analysis Results
; CHECK-NEXT: Lazy Branch Probability Analysis ; CHECK-NEXT: Lazy Branch Probability Analysis
; CHECK-NEXT: Lazy Block Frequency Analysis ; CHECK-NEXT: Lazy Block Frequency Analysis
; CHECK-NEXT: Optimization Remark Emitter ; CHECK-NEXT: Optimization Remark Emitter
; CHECK-NEXT: Combine redundant instructions ; CHECK-NEXT: Combine redundant instructions
; CHECK-NEXT: Lazy Value Information Analysis ; CHECK-NEXT: Lazy Value Information Analysis
; CHECK-NEXT: Jump Threading ; CHECK-NEXT: Jump Threading
; CHECK-NEXT: Value Propagation ; CHECK-NEXT: Value Propagation
; CHECK-NEXT: Basic Alias Analysis (stateless AA impl) ; CHECK-NEXT: Basic Alias Analysis (stateless AA impl)
; CHECK-NEXT: Function Alias Analysis Results ; CHECK-NEXT: Function Alias Analysis Results
; CHECK-NEXT: Phi Values Analysis ; CHECK-NEXT: Phi Values Analysis
; CHECK-NEXT: Memory Dependence Analysis ; CHECK-NEXT: Memory Dependence Analysis
; CHECK-NEXT: Dead Store Elimination ; CHECK-NEXT: Dead Store Elimination
; CHECK-NEXT: Basic Alias Analysis (stateless AA impl)
; CHECK-NEXT: Function Alias Analysis Results ; CHECK-NEXT: Function Alias Analysis Results
; CHECK-NEXT: Memory SSA ; CHECK-NEXT: Memory SSA
; CHECK-NEXT: Natural Loop Information ; CHECK-NEXT: Natural Loop Information
; CHECK-NEXT: Canonicalize natural loops ; CHECK-NEXT: Canonicalize natural loops
; CHECK-NEXT: LCSSA Verifier ; CHECK-NEXT: LCSSA Verifier
; CHECK-NEXT: Loop-Closed SSA Form Pass ; CHECK-NEXT: Loop-Closed SSA Form Pass
; CHECK-NEXT: Scalar Evolution Analysis ; CHECK-NEXT: Scalar Evolution Analysis
; CHECK-NEXT: Loop Pass Manager ; CHECK-NEXT: Loop Pass Manager
▲ Show 20 Lines • Show All 51 Lines • ▼ Show 20 Lines
; CHECK-NEXT: Demanded bits analysis ; CHECK-NEXT: Demanded bits analysis
; CHECK-NEXT: Lazy Branch Probability Analysis ; CHECK-NEXT: Lazy Branch Probability Analysis
; CHECK-NEXT: Lazy Block Frequency Analysis ; CHECK-NEXT: Lazy Block Frequency Analysis
; CHECK-NEXT: Optimization Remark Emitter ; CHECK-NEXT: Optimization Remark Emitter
; CHECK-NEXT: Inject TLI Mappings ; CHECK-NEXT: Inject TLI Mappings
; CHECK-NEXT: Loop Vectorization ; CHECK-NEXT: Loop Vectorization
; CHECK-NEXT: Canonicalize natural loops ; CHECK-NEXT: Canonicalize natural loops
; CHECK-NEXT: Scalar Evolution Analysis ; CHECK-NEXT: Scalar Evolution Analysis
; CHECK-NEXT: Basic Alias Analysis (stateless AA impl)
; CHECK-NEXT: Function Alias Analysis Results ; CHECK-NEXT: Function Alias Analysis Results
; CHECK-NEXT: Loop Access Analysis ; CHECK-NEXT: Loop Access Analysis
; CHECK-NEXT: Lazy Branch Probability Analysis ; CHECK-NEXT: Lazy Branch Probability Analysis
; CHECK-NEXT: Lazy Block Frequency Analysis ; CHECK-NEXT: Lazy Block Frequency Analysis
; CHECK-NEXT: Loop Load Elimination ; CHECK-NEXT: Loop Load Elimination
; CHECK-NEXT: Optimize scalar/vector ops ; CHECK-NEXT: Optimize scalar/vector ops
; CHECK-NEXT: Basic Alias Analysis (stateless AA impl) ; CHECK-NEXT: Basic Alias Analysis (stateless AA impl)
; CHECK-NEXT: Function Alias Analysis Results ; CHECK-NEXT: Function Alias Analysis Results
; CHECK-NEXT: Lazy Branch Probability Analysis ; CHECK-NEXT: Lazy Branch Probability Analysis
; CHECK-NEXT: Lazy Block Frequency Analysis ; CHECK-NEXT: Lazy Block Frequency Analysis
; CHECK-NEXT: Optimization Remark Emitter ; CHECK-NEXT: Optimization Remark Emitter
; CHECK-NEXT: Combine redundant instructions ; CHECK-NEXT: Combine redundant instructions
; CHECK-NEXT: Simplify the CFG ; CHECK-NEXT: Simplify the CFG
; CHECK-NEXT: Dominator Tree Construction ; CHECK-NEXT: Dominator Tree Construction
; CHECK-NEXT: Natural Loop Information ; CHECK-NEXT: Natural Loop Information
; CHECK-NEXT: Scalar Evolution Analysis ; CHECK-NEXT: Scalar Evolution Analysis
; CHECK-NEXT: Basic Alias Analysis (stateless AA impl) ; CHECK-NEXT: Basic Alias Analysis (stateless AA impl)
; CHECK-NEXT: Function Alias Analysis Results ; CHECK-NEXT: Function Alias Analysis Results
; CHECK-NEXT: Demanded bits analysis ; CHECK-NEXT: Demanded bits analysis
; CHECK-NEXT: Lazy Branch Probability Analysis ; CHECK-NEXT: Lazy Branch Probability Analysis
; CHECK-NEXT: Lazy Block Frequency Analysis ; CHECK-NEXT: Lazy Block Frequency Analysis
; CHECK-NEXT: Optimization Remark Emitter ; CHECK-NEXT: Optimization Remark Emitter
; CHECK-NEXT: SLP Vectorizer ; CHECK-NEXT: SLP Vectorizer
; CHECK-NEXT: Optimize scalar/vector ops ; CHECK-NEXT: Optimize scalar/vector ops
; CHECK-NEXT: Basic Alias Analysis (stateless AA impl)
; CHECK-NEXT: Function Alias Analysis Results ; CHECK-NEXT: Function Alias Analysis Results
; CHECK-NEXT: Optimization Remark Emitter ; CHECK-NEXT: Optimization Remark Emitter
; CHECK-NEXT: Combine redundant instructions ; CHECK-NEXT: Combine redundant instructions
; CHECK-NEXT: Canonicalize natural loops ; CHECK-NEXT: Canonicalize natural loops
; CHECK-NEXT: LCSSA Verifier ; CHECK-NEXT: LCSSA Verifier
; CHECK-NEXT: Loop-Closed SSA Form Pass ; CHECK-NEXT: Loop-Closed SSA Form Pass
; CHECK-NEXT: Scalar Evolution Analysis ; CHECK-NEXT: Scalar Evolution Analysis
; CHECK-NEXT: Loop Pass Manager ; CHECK-NEXT: Loop Pass Manager
▲ Show 20 Lines • Show All 63 Lines • Show Last 20 Lines

llvm/test/Other/opt-Os-pipeline.ll

Show First 20 Lines • Show All 64 Lines • ▼ Show 20 Lines
; CHECK-NEXT: FunctionPass Manager ; CHECK-NEXT: FunctionPass Manager
; CHECK-NEXT: Dominator Tree Construction ; CHECK-NEXT: Dominator Tree Construction
; CHECK-NEXT: SROA ; CHECK-NEXT: SROA
; CHECK-NEXT: Basic Alias Analysis (stateless AA impl) ; CHECK-NEXT: Basic Alias Analysis (stateless AA impl)
; CHECK-NEXT: Function Alias Analysis Results ; CHECK-NEXT: Function Alias Analysis Results
; CHECK-NEXT: Memory SSA ; CHECK-NEXT: Memory SSA
; CHECK-NEXT: Early CSE w/ MemorySSA ; CHECK-NEXT: Early CSE w/ MemorySSA
; CHECK-NEXT: Speculatively execute instructions if target has divergent branches ; CHECK-NEXT: Speculatively execute instructions if target has divergent branches
; CHECK-NEXT: Basic Alias Analysis (stateless AA impl)
; CHECK-NEXT: Function Alias Analysis Results ; CHECK-NEXT: Function Alias Analysis Results
; CHECK-NEXT: Lazy Value Information Analysis ; CHECK-NEXT: Lazy Value Information Analysis
; CHECK-NEXT: Jump Threading ; CHECK-NEXT: Jump Threading
; CHECK-NEXT: Value Propagation ; CHECK-NEXT: Value Propagation
; CHECK-NEXT: Simplify the CFG ; CHECK-NEXT: Simplify the CFG
; CHECK-NEXT: Dominator Tree Construction ; CHECK-NEXT: Dominator Tree Construction
; CHECK-NEXT: Basic Alias Analysis (stateless AA impl) ; CHECK-NEXT: Basic Alias Analysis (stateless AA impl)
; CHECK-NEXT: Function Alias Analysis Results ; CHECK-NEXT: Function Alias Analysis Results
Show All 34 Lines
; CHECK-NEXT: Scalar Evolution Analysis ; CHECK-NEXT: Scalar Evolution Analysis
; CHECK-NEXT: Loop Pass Manager ; CHECK-NEXT: Loop Pass Manager
; CHECK-NEXT: Induction Variable Simplification ; CHECK-NEXT: Induction Variable Simplification
; CHECK-NEXT: Recognize loop idioms ; CHECK-NEXT: Recognize loop idioms
; CHECK-NEXT: Delete dead loops ; CHECK-NEXT: Delete dead loops
; CHECK-NEXT: Unroll loops ; CHECK-NEXT: Unroll loops
; CHECK-NEXT: MergedLoadStoreMotion ; CHECK-NEXT: MergedLoadStoreMotion
; CHECK-NEXT: Phi Values Analysis ; CHECK-NEXT: Phi Values Analysis
; CHECK-NEXT: Basic Alias Analysis (stateless AA impl)
; CHECK-NEXT: Function Alias Analysis Results ; CHECK-NEXT: Function Alias Analysis Results
; CHECK-NEXT: Memory Dependence Analysis ; CHECK-NEXT: Memory Dependence Analysis
; CHECK-NEXT: Lazy Branch Probability Analysis ; CHECK-NEXT: Lazy Branch Probability Analysis
; CHECK-NEXT: Lazy Block Frequency Analysis ; CHECK-NEXT: Lazy Block Frequency Analysis
; CHECK-NEXT: Optimization Remark Emitter ; CHECK-NEXT: Optimization Remark Emitter
; CHECK-NEXT: Global Value Numbering ; CHECK-NEXT: Global Value Numbering
; CHECK-NEXT: Phi Values Analysis ; CHECK-NEXT: Phi Values Analysis
; CHECK-NEXT: Basic Alias Analysis (stateless AA impl) ; CHECK-NEXT: Basic Alias Analysis (stateless AA impl)
; CHECK-NEXT: Function Alias Analysis Results ; CHECK-NEXT: Function Alias Analysis Results
; CHECK-NEXT: Memory Dependence Analysis ; CHECK-NEXT: Memory Dependence Analysis
; CHECK-NEXT: MemCpy Optimization ; CHECK-NEXT: MemCpy Optimization
; CHECK-NEXT: Sparse Conditional Constant Propagation ; CHECK-NEXT: Sparse Conditional Constant Propagation
; CHECK-NEXT: Demanded bits analysis ; CHECK-NEXT: Demanded bits analysis
; CHECK-NEXT: Bit-Tracking Dead Code Elimination ; CHECK-NEXT: Bit-Tracking Dead Code Elimination
; CHECK-NEXT: Basic Alias Analysis (stateless AA impl)
; CHECK-NEXT: Function Alias Analysis Results ; CHECK-NEXT: Function Alias Analysis Results
; CHECK-NEXT: Lazy Branch Probability Analysis ; CHECK-NEXT: Lazy Branch Probability Analysis
; CHECK-NEXT: Lazy Block Frequency Analysis ; CHECK-NEXT: Lazy Block Frequency Analysis
; CHECK-NEXT: Optimization Remark Emitter ; CHECK-NEXT: Optimization Remark Emitter
; CHECK-NEXT: Combine redundant instructions ; CHECK-NEXT: Combine redundant instructions
; CHECK-NEXT: Lazy Value Information Analysis ; CHECK-NEXT: Lazy Value Information Analysis
; CHECK-NEXT: Jump Threading ; CHECK-NEXT: Jump Threading
; CHECK-NEXT: Value Propagation ; CHECK-NEXT: Value Propagation
; CHECK-NEXT: Basic Alias Analysis (stateless AA impl) ; CHECK-NEXT: Basic Alias Analysis (stateless AA impl)
; CHECK-NEXT: Function Alias Analysis Results ; CHECK-NEXT: Function Alias Analysis Results
; CHECK-NEXT: Phi Values Analysis ; CHECK-NEXT: Phi Values Analysis
; CHECK-NEXT: Memory Dependence Analysis ; CHECK-NEXT: Memory Dependence Analysis
; CHECK-NEXT: Dead Store Elimination ; CHECK-NEXT: Dead Store Elimination
; CHECK-NEXT: Basic Alias Analysis (stateless AA impl)
; CHECK-NEXT: Function Alias Analysis Results ; CHECK-NEXT: Function Alias Analysis Results
; CHECK-NEXT: Memory SSA ; CHECK-NEXT: Memory SSA
; CHECK-NEXT: Natural Loop Information ; CHECK-NEXT: Natural Loop Information
; CHECK-NEXT: Canonicalize natural loops ; CHECK-NEXT: Canonicalize natural loops
; CHECK-NEXT: LCSSA Verifier ; CHECK-NEXT: LCSSA Verifier
; CHECK-NEXT: Loop-Closed SSA Form Pass ; CHECK-NEXT: Loop-Closed SSA Form Pass
; CHECK-NEXT: Scalar Evolution Analysis ; CHECK-NEXT: Scalar Evolution Analysis
; CHECK-NEXT: Loop Pass Manager ; CHECK-NEXT: Loop Pass Manager
▲ Show 20 Lines • Show All 51 Lines • ▼ Show 20 Lines
; CHECK-NEXT: Demanded bits analysis ; CHECK-NEXT: Demanded bits analysis
; CHECK-NEXT: Lazy Branch Probability Analysis ; CHECK-NEXT: Lazy Branch Probability Analysis
; CHECK-NEXT: Lazy Block Frequency Analysis ; CHECK-NEXT: Lazy Block Frequency Analysis
; CHECK-NEXT: Optimization Remark Emitter ; CHECK-NEXT: Optimization Remark Emitter
; CHECK-NEXT: Inject TLI Mappings ; CHECK-NEXT: Inject TLI Mappings
; CHECK-NEXT: Loop Vectorization ; CHECK-NEXT: Loop Vectorization
; CHECK-NEXT: Canonicalize natural loops ; CHECK-NEXT: Canonicalize natural loops
; CHECK-NEXT: Scalar Evolution Analysis ; CHECK-NEXT: Scalar Evolution Analysis
; CHECK-NEXT: Basic Alias Analysis (stateless AA impl)
; CHECK-NEXT: Function Alias Analysis Results ; CHECK-NEXT: Function Alias Analysis Results
; CHECK-NEXT: Loop Access Analysis ; CHECK-NEXT: Loop Access Analysis
; CHECK-NEXT: Lazy Branch Probability Analysis ; CHECK-NEXT: Lazy Branch Probability Analysis
; CHECK-NEXT: Lazy Block Frequency Analysis ; CHECK-NEXT: Lazy Block Frequency Analysis
; CHECK-NEXT: Loop Load Elimination ; CHECK-NEXT: Loop Load Elimination
; CHECK-NEXT: Optimize scalar/vector ops ; CHECK-NEXT: Optimize scalar/vector ops
; CHECK-NEXT: Basic Alias Analysis (stateless AA impl) ; CHECK-NEXT: Basic Alias Analysis (stateless AA impl)
; CHECK-NEXT: Function Alias Analysis Results ; CHECK-NEXT: Function Alias Analysis Results
; CHECK-NEXT: Lazy Branch Probability Analysis ; CHECK-NEXT: Lazy Branch Probability Analysis
; CHECK-NEXT: Lazy Block Frequency Analysis ; CHECK-NEXT: Lazy Block Frequency Analysis
; CHECK-NEXT: Optimization Remark Emitter ; CHECK-NEXT: Optimization Remark Emitter
; CHECK-NEXT: Combine redundant instructions ; CHECK-NEXT: Combine redundant instructions
; CHECK-NEXT: Simplify the CFG ; CHECK-NEXT: Simplify the CFG
; CHECK-NEXT: Dominator Tree Construction ; CHECK-NEXT: Dominator Tree Construction
; CHECK-NEXT: Natural Loop Information ; CHECK-NEXT: Natural Loop Information
; CHECK-NEXT: Scalar Evolution Analysis ; CHECK-NEXT: Scalar Evolution Analysis
; CHECK-NEXT: Basic Alias Analysis (stateless AA impl) ; CHECK-NEXT: Basic Alias Analysis (stateless AA impl)
; CHECK-NEXT: Function Alias Analysis Results ; CHECK-NEXT: Function Alias Analysis Results
; CHECK-NEXT: Demanded bits analysis ; CHECK-NEXT: Demanded bits analysis
; CHECK-NEXT: Lazy Branch Probability Analysis ; CHECK-NEXT: Lazy Branch Probability Analysis
; CHECK-NEXT: Lazy Block Frequency Analysis ; CHECK-NEXT: Lazy Block Frequency Analysis
; CHECK-NEXT: Optimization Remark Emitter ; CHECK-NEXT: Optimization Remark Emitter
; CHECK-NEXT: SLP Vectorizer ; CHECK-NEXT: SLP Vectorizer
; CHECK-NEXT: Optimize scalar/vector ops ; CHECK-NEXT: Optimize scalar/vector ops
; CHECK-NEXT: Basic Alias Analysis (stateless AA impl)
; CHECK-NEXT: Function Alias Analysis Results ; CHECK-NEXT: Function Alias Analysis Results
; CHECK-NEXT: Optimization Remark Emitter ; CHECK-NEXT: Optimization Remark Emitter
; CHECK-NEXT: Combine redundant instructions ; CHECK-NEXT: Combine redundant instructions
; CHECK-NEXT: Canonicalize natural loops ; CHECK-NEXT: Canonicalize natural loops
; CHECK-NEXT: LCSSA Verifier ; CHECK-NEXT: LCSSA Verifier
; CHECK-NEXT: Loop-Closed SSA Form Pass ; CHECK-NEXT: Loop-Closed SSA Form Pass
; CHECK-NEXT: Scalar Evolution Analysis ; CHECK-NEXT: Scalar Evolution Analysis
; CHECK-NEXT: Loop Pass Manager ; CHECK-NEXT: Loop Pass Manager
▲ Show 20 Lines • Show All 63 Lines • Show Last 20 Lines