[llvm] r370957 - [MemorySSA] Re-enable MemorySSA use.

Mikael Holmén via llvm-commits llvm-commits at lists.llvm.org
Thu Sep 12 23:39:12 PDT 2019


Hi,

Another crash:

opt -o - f5.ll -disable-basicaa -loop-rotate

opt: ../include/llvm/ADT/ilist_iterator.h:139:
llvm::ilist_iterator::reference
llvm::ilist_iterator<llvm::ilist_detail::node_options<llvm::Instruction
, true, false, void>, false, false>::operator*() const [OptionsT =
llvm::ilist_detail::node_options<llvm::Instruction, true, false, void>,
IsReverse = false, IsConst = false]: Assertion `!NodePtr-
>isKnownSentinel()' failed.
Stack dump:
0.      Program arguments: /data/repo/master/llvm/build-all/bin/opt -S
-o - f5.ll -disable-basicaa -loop-rotate 
1.      Running pass 'Function Pass Manager' on module 'f5.ll'.
2.      Running pass 'Loop Pass Manager' on function '@main'
3.      Running pass 'Rotate Loops' on basic block '%for.cond120'
 #0 0x0000000002429ab4 PrintStackTraceSignalHandler(void*)
(/data/repo/master/llvm/build-all/bin/opt+0x2429ab4)
 #1 0x00000000024277de llvm::sys::RunSignalHandlers()
(/data/repo/master/llvm/build-all/bin/opt+0x24277de)
 #2 0x0000000002429eb8 SignalHandler(int)
(/data/repo/master/llvm/build-all/bin/opt+0x2429eb8)
 #3 0x00007fe264354890 __restore_rt (/lib/x86_64-linux-
gnu/libpthread.so.0+0x12890)
 #4 0x00007fe262dfde97 raise /build/glibc-OTsEL5/glibc-
2.27/signal/../sysdeps/unix/sysv/linux/raise.c:51:0
 #5 0x00007fe262dff801 abort /build/glibc-OTsEL5/glibc-
2.27/stdlib/abort.c:81:0
 #6 0x00007fe262def39a __assert_fail_base /build/glibc-OTsEL5/glibc-
2.27/assert/assert.c:89:0
 #7 0x00007fe262def412 (/lib/x86_64-linux-gnu/libc.so.6+0x30412)
 #8 0x00000000017c2b33
llvm::MemorySSAUpdater::moveAllAccesses(llvm::BasicBlock*,
llvm::BasicBlock*, llvm::Instruction*) (/data/repo/master/llvm/build-
all/bin/opt+0x17c2b33)
 #9 0x00000000017c2eb9
llvm::MemorySSAUpdater::moveAllAfterMergeBlocks(llvm::BasicBlock*,
llvm::BasicBlock*, llvm::Instruction*) (/data/repo/master/llvm/build-
all/bin/opt+0x17c2eb9)
#10 0x000000000243970f
llvm::MergeBlockIntoPredecessor(llvm::BasicBlock*,
llvm::DomTreeUpdater*, llvm::LoopInfo*, llvm::MemorySSAUpdater*,
llvm::MemoryDependenceResults*) (/data/repo/master/llvm/build-
all/bin/opt+0x243970f)
#11 0x000000000249c8d2 (anonymous
namespace)::LoopRotate::rotateLoop(llvm::Loop*, bool)
(/data/repo/master/llvm/build-all/bin/opt+0x249c8d2)
#12 0x000000000249a149 llvm::LoopRotation(llvm::Loop*, llvm::LoopInfo*,
llvm::TargetTransformInfo const*, llvm::AssumptionCache*,
llvm::DominatorTree*, llvm::ScalarEvolution*, llvm::MemorySSAUpdater*,
llvm::SimplifyQuery const&, bool, unsigned int, bool)
(/data/repo/master/llvm/build-all/bin/opt+0x249a149)
#13 0x0000000002238641 (anonymous
namespace)::LoopRotateLegacyPass::runOnLoop(llvm::Loop*,
llvm::LPPassManager&) (/data/repo/master/llvm/build-
all/bin/opt+0x2238641)
#14 0x00000000017846a2
llvm::LPPassManager::runOnFunction(llvm::Function&)
(/data/repo/master/llvm/build-all/bin/opt+0x17846a2)
#15 0x0000000001d9d7d3
llvm::FPPassManager::runOnFunction(llvm::Function&)
(/data/repo/master/llvm/build-all/bin/opt+0x1d9d7d3)
#16 0x0000000001d9dae3 llvm::FPPassManager::runOnModule(llvm::Module&)
(/data/repo/master/llvm/build-all/bin/opt+0x1d9dae3)
#17 0x0000000001d9e14d
llvm::legacy::PassManagerImpl::run(llvm::Module&)
(/data/repo/master/llvm/build-all/bin/opt+0x1d9e14d)
#18 0x00000000007d84cd main (/data/repo/master/llvm/build-
all/bin/opt+0x7d84cd)
#19 0x00007fe262de0b97 __libc_start_main /build/glibc-OTsEL5/glibc-
2.27/csu/../csu/libc-start.c:344:0
#20 0x00000000007bd60a _start (/data/repo/master/llvm/build-
all/bin/opt+0x7bd60a)

/Mikael

On Wed, 2019-09-04 at 19:16 +0000, Alina Sbirlea via llvm-commits
wrote:
> Author: asbirlea
> Date: Wed Sep  4 12:16:04 2019
> New Revision: 370957
> 
> URL: 
> https://protect2.fireeye.com/url?k=118d60b4-4d07aa6a-118d202f-86823e270a62-c84f23bab7bb3f2b&q=1&u=http%3A%2F%2Fllvm.org%2Fviewvc%2Fllvm-project%3Frev%3D370957%26view%3Drev
> Log:
> [MemorySSA] Re-enable MemorySSA use.
> 
> Differential Revision: 
> https://protect2.fireeye.com/url?k=61626bbe-3de8a160-61622b25-86823e270a62-8eda56b83091d815&q=1&u=https%3A%2F%2Freviews.llvm.org%2FD58311
> 
> Modified:
>     llvm/trunk/lib/Analysis/MemorySSA.cpp
>     llvm/trunk/lib/Transforms/Utils/LoopUtils.cpp
>     llvm/trunk/test/CodeGen/PowerPC/sms-grp-order.ll
>     llvm/trunk/test/Other/opt-O2-pipeline.ll
>     llvm/trunk/test/Other/opt-O3-pipeline.ll
>     llvm/trunk/test/Other/opt-Os-pipeline.ll
> 
> Modified: llvm/trunk/lib/Analysis/MemorySSA.cpp
> URL: 
> https://protect2.fireeye.com/url?k=4d59b454-11d37e8a-4d59f4cf-86823e270a62-7a9a9b9527ff7f99&q=1&u=http%3A%2F%2Fllvm.org%2Fviewvc%2Fllvm-project%2Fllvm%2Ftrunk%2Flib%2FAnalysis%2FMemorySSA.cpp%3Frev%3D370957%26r1%3D370956%26r2%3D370957%26view%3Ddiff
> =====================================================================
> =========
> --- llvm/trunk/lib/Analysis/MemorySSA.cpp (original)
> +++ llvm/trunk/lib/Analysis/MemorySSA.cpp Wed Sep  4 12:16:04 2019
> @@ -84,7 +84,7 @@ bool llvm::VerifyMemorySSA = false;
>  #endif
>  /// Enables memory ssa as a dependency for loop passes in legacy
> pass manager.
>  cl::opt<bool> llvm::EnableMSSALoopDependency(
> -    "enable-mssa-loop-dependency", cl::Hidden, cl::init(false),
> +    "enable-mssa-loop-dependency", cl::Hidden, cl::init(true),
>      cl::desc("Enable MemorySSA dependency for loop pass manager"));
>  
>  static cl::opt<bool, true>
> 
> Modified: llvm/trunk/lib/Transforms/Utils/LoopUtils.cpp
> URL: 
> https://protect2.fireeye.com/url?k=82f40532-de7ecfec-82f445a9-86823e270a62-31d7364f85f60f93&q=1&u=http%3A%2F%2Fllvm.org%2Fviewvc%2Fllvm-project%2Fllvm%2Ftrunk%2Flib%2FTransforms%2FUtils%2FLoopUtils.cpp%3Frev%3D370957%26r1%3D370956%26r2%3D370957%26view%3Ddiff
> =====================================================================
> =========
> --- llvm/trunk/lib/Transforms/Utils/LoopUtils.cpp (original)
> +++ llvm/trunk/lib/Transforms/Utils/LoopUtils.cpp Wed Sep  4 12:16:04
> 2019
> @@ -19,6 +19,7 @@
>  #include "llvm/Analysis/InstructionSimplify.h"
>  #include "llvm/Analysis/LoopInfo.h"
>  #include "llvm/Analysis/LoopPass.h"
> +#include "llvm/Analysis/MemorySSA.h"
>  #include "llvm/Analysis/MemorySSAUpdater.h"
>  #include "llvm/Analysis/MustExecute.h"
>  #include "llvm/Analysis/ScalarEvolution.h"
> @@ -170,6 +171,8 @@ void llvm::getLoopAnalysisUsage(Analysis
>    AU.addPreserved<SCEVAAWrapperPass>();
>    AU.addRequired<ScalarEvolutionWrapperPass>();
>    AU.addPreserved<ScalarEvolutionWrapperPass>();
> +  // FIXME: When all loop passes preserve MemorySSA, it can be
> required and
> +  // preserved here instead of the individual handling in each pass.
>  }
>  
>  /// Manually defined generic "LoopPass" dependency initialization.
> This is used
> @@ -190,6 +193,7 @@ void llvm::initializeLoopPassPass(PassRe
>    INITIALIZE_PASS_DEPENDENCY(GlobalsAAWrapperPass)
>    INITIALIZE_PASS_DEPENDENCY(SCEVAAWrapperPass)
>    INITIALIZE_PASS_DEPENDENCY(ScalarEvolutionWrapperPass)
> +  INITIALIZE_PASS_DEPENDENCY(MemorySSAWrapperPass)
>  }
>  
>  /// Create MDNode for input string.
> 
> Modified: llvm/trunk/test/CodeGen/PowerPC/sms-grp-order.ll
> URL: 
> https://protect2.fireeye.com/url?k=0057ee6d-5cdd24b3-0057aef6-86823e270a62-8405017b45a891b5&q=1&u=http%3A%2F%2Fllvm.org%2Fviewvc%2Fllvm-project%2Fllvm%2Ftrunk%2Ftest%2FCodeGen%2FPowerPC%2Fsms-grp-order.ll%3Frev%3D370957%26r1%3D370956%26r2%3D370957%26view%3Ddiff
> =====================================================================
> =========
> --- llvm/trunk/test/CodeGen/PowerPC/sms-grp-order.ll (original)
> +++ llvm/trunk/test/CodeGen/PowerPC/sms-grp-order.ll Wed Sep  4
> 12:16:04 2019
> @@ -4,25 +4,24 @@
>  
>  define void @lame_encode_buffer_interleaved() local_unnamed_addr {
>  ; CHECK-LABEL: lame_encode_buffer_interleaved:
> -; CHECK:       # %bb.0:
> -; CHECK-NEXT:    lhz 3, 0(0)
> -; CHECK-NEXT:    li 5, 1
> -; CHECK-NEXT:    sldi 5, 5, 62
> -; CHECK-NEXT:    lhz 4, 0(3)
> -; CHECK-NEXT:    mtctr 5
> -; CHECK-NEXT:    .p2align 5
> -; CHECK-NEXT:  .LBB0_1: #
> -; CHECK-NEXT:    extsh 3, 3
> -; CHECK-NEXT:    extsh 4, 4
> -; CHECK-NEXT:    srawi 3, 3, 1
> -; CHECK-NEXT:    addze 3, 3
> -; CHECK-NEXT:    srawi 4, 4, 1
> -; CHECK-NEXT:    addze 4, 4
> -; CHECK-NEXT:    bdnz .LBB0_1
> -; CHECK-NEXT:  # %bb.2:
> -; CHECK-NEXT:    sth 3, 0(0)
> -; CHECK-NEXT:    sth 4, 0(3)
> -; CHECK-NEXT:    blr
> +; CHECK:      # %bb.0:
> +; CHECK-NEXT:   lha 3, 0(3)
> +; CHECK-NEXT:   li 5, 1
> +; CHECK-NEXT:   sldi 5, 5, 62
> +; CHECK-NEXT:   lhz 4, 0(0)
> +; CHECK-NEXT:   mtctr 5
> +; CHECK-NEXT:   srawi 3, 3, 1
> +; CHECK-NEXT:   addze 3, 3
> +; CHECK-NEXT:   .p2align 4
> +; CHECK-NEXT: .LBB0_1:
> +; CHECK-NEXT:   extsh 4, 4
> +; CHECK-NEXT:   srawi 4, 4, 1
> +; CHECK-NEXT:   addze 4, 4
> +; CHECK-NEXT:   bdnz .LBB0_1
> +; CHECK-NEXT: # %bb.2:
> +; CHECK-NEXT:   sth 4, 0(0)
> +; CHECK-NEXT:   sth 3, 0(3)
> +; CHECK-NEXT:   blr
>    br label %1
>  
>  1:                                                ; preds = %1, %0
> 
> Modified: llvm/trunk/test/Other/opt-O2-pipeline.ll
> URL: 
> https://protect2.fireeye.com/url?k=9b0187ad-c78b4d73-9b01c736-86823e270a62-3cdb18bf2d8c50f7&q=1&u=http%3A%2F%2Fllvm.org%2Fviewvc%2Fllvm-project%2Fllvm%2Ftrunk%2Ftest%2FOther%2Fopt-O2-pipeline.ll%3Frev%3D370957%26r1%3D370956%26r2%3D370957%26view%3Ddiff
> =====================================================================
> =========
> --- llvm/trunk/test/Other/opt-O2-pipeline.ll (original)
> +++ llvm/trunk/test/Other/opt-O2-pipeline.ll Wed Sep  4 12:16:04 2019
> @@ -93,12 +93,13 @@
>  ; CHECK-NEXT:         Simplify the CFG
>  ; CHECK-NEXT:         Reassociate expressions
>  ; CHECK-NEXT:         Dominator Tree Construction
> +; CHECK-NEXT:         Basic Alias Analysis (stateless AA impl)
> +; CHECK-NEXT:         Function Alias Analysis Results
> +; CHECK-NEXT:         Memory SSA
>  ; CHECK-NEXT:         Natural Loop Information
>  ; CHECK-NEXT:         Canonicalize natural loops
>  ; CHECK-NEXT:         LCSSA Verifier
>  ; CHECK-NEXT:         Loop-Closed SSA Form Pass
> -; CHECK-NEXT:         Basic Alias Analysis (stateless AA impl)
> -; CHECK-NEXT:         Function Alias Analysis Results
>  ; CHECK-NEXT:         Scalar Evolution Analysis
>  ; CHECK-NEXT:         Loop Pass Manager
>  ; CHECK-NEXT:           Rotate Loops
> @@ -153,12 +154,13 @@
>  ; CHECK-NEXT:         Phi Values Analysis
>  ; CHECK-NEXT:         Memory Dependence Analysis
>  ; CHECK-NEXT:         Dead Store Elimination
> +; CHECK-NEXT:         Basic Alias Analysis (stateless AA impl)
> +; CHECK-NEXT:         Function Alias Analysis Results
> +; CHECK-NEXT:         Memory SSA
>  ; CHECK-NEXT:         Natural Loop Information
>  ; CHECK-NEXT:         Canonicalize natural loops
>  ; CHECK-NEXT:         LCSSA Verifier
>  ; CHECK-NEXT:         Loop-Closed SSA Form Pass
> -; CHECK-NEXT:         Basic Alias Analysis (stateless AA impl)
> -; CHECK-NEXT:         Function Alias Analysis Results
>  ; CHECK-NEXT:         Scalar Evolution Analysis
>  ; CHECK-NEXT:         Loop Pass Manager
>  ; CHECK-NEXT:           Loop Invariant Code Motion
> @@ -185,12 +187,13 @@
>  ; CHECK-NEXT:     FunctionPass Manager
>  ; CHECK-NEXT:       Float to int
>  ; CHECK-NEXT:       Dominator Tree Construction
> +; CHECK-NEXT:       Basic Alias Analysis (stateless AA impl)
> +; CHECK-NEXT:       Function Alias Analysis Results
> +; CHECK-NEXT:       Memory SSA
>  ; CHECK-NEXT:       Natural Loop Information
>  ; CHECK-NEXT:       Canonicalize natural loops
>  ; CHECK-NEXT:       LCSSA Verifier
>  ; CHECK-NEXT:       Loop-Closed SSA Form Pass
> -; CHECK-NEXT:       Basic Alias Analysis (stateless AA impl)
> -; CHECK-NEXT:       Function Alias Analysis Results
>  ; CHECK-NEXT:       Scalar Evolution Analysis
>  ; CHECK-NEXT:       Loop Pass Manager
>  ; CHECK-NEXT:         Rotate Loops
> @@ -246,6 +249,7 @@
>  ; CHECK-NEXT:       Lazy Block Frequency Analysis
>  ; CHECK-NEXT:       Optimization Remark Emitter
>  ; CHECK-NEXT:       Combine redundant instructions
> +; CHECK-NEXT:       Memory SSA
>  ; CHECK-NEXT:       Canonicalize natural loops
>  ; CHECK-NEXT:       LCSSA Verifier
>  ; CHECK-NEXT:       Loop-Closed SSA Form Pass
> 
> Modified: llvm/trunk/test/Other/opt-O3-pipeline.ll
> URL: 
> https://protect2.fireeye.com/url?k=394f545b-65c59e85-394f14c0-86823e270a62-0bf04c74db73c9df&q=1&u=http%3A%2F%2Fllvm.org%2Fviewvc%2Fllvm-project%2Fllvm%2Ftrunk%2Ftest%2FOther%2Fopt-O3-pipeline.ll%3Frev%3D370957%26r1%3D370956%26r2%3D370957%26view%3Ddiff
> =====================================================================
> =========
> --- llvm/trunk/test/Other/opt-O3-pipeline.ll (original)
> +++ llvm/trunk/test/Other/opt-O3-pipeline.ll Wed Sep  4 12:16:04 2019
> @@ -98,12 +98,13 @@
>  ; CHECK-NEXT:         Simplify the CFG
>  ; CHECK-NEXT:         Reassociate expressions
>  ; CHECK-NEXT:         Dominator Tree Construction
> +; CHECK-NEXT:         Basic Alias Analysis (stateless AA impl)
> +; CHECK-NEXT:         Function Alias Analysis Results
> +; CHECK-NEXT:         Memory SSA
>  ; CHECK-NEXT:         Natural Loop Information
>  ; CHECK-NEXT:         Canonicalize natural loops
>  ; CHECK-NEXT:         LCSSA Verifier
>  ; CHECK-NEXT:         Loop-Closed SSA Form Pass
> -; CHECK-NEXT:         Basic Alias Analysis (stateless AA impl)
> -; CHECK-NEXT:         Function Alias Analysis Results
>  ; CHECK-NEXT:         Scalar Evolution Analysis
>  ; CHECK-NEXT:         Loop Pass Manager
>  ; CHECK-NEXT:           Rotate Loops
> @@ -158,12 +159,13 @@
>  ; CHECK-NEXT:         Phi Values Analysis
>  ; CHECK-NEXT:         Memory Dependence Analysis
>  ; CHECK-NEXT:         Dead Store Elimination
> +; CHECK-NEXT:         Basic Alias Analysis (stateless AA impl)
> +; CHECK-NEXT:         Function Alias Analysis Results
> +; CHECK-NEXT:         Memory SSA
>  ; CHECK-NEXT:         Natural Loop Information
>  ; CHECK-NEXT:         Canonicalize natural loops
>  ; CHECK-NEXT:         LCSSA Verifier
>  ; CHECK-NEXT:         Loop-Closed SSA Form Pass
> -; CHECK-NEXT:         Basic Alias Analysis (stateless AA impl)
> -; CHECK-NEXT:         Function Alias Analysis Results
>  ; CHECK-NEXT:         Scalar Evolution Analysis
>  ; CHECK-NEXT:         Loop Pass Manager
>  ; CHECK-NEXT:           Loop Invariant Code Motion
> @@ -190,12 +192,13 @@
>  ; CHECK-NEXT:     FunctionPass Manager
>  ; CHECK-NEXT:       Float to int
>  ; CHECK-NEXT:       Dominator Tree Construction
> +; CHECK-NEXT:       Basic Alias Analysis (stateless AA impl)
> +; CHECK-NEXT:       Function Alias Analysis Results
> +; CHECK-NEXT:       Memory SSA
>  ; CHECK-NEXT:       Natural Loop Information
>  ; CHECK-NEXT:       Canonicalize natural loops
>  ; CHECK-NEXT:       LCSSA Verifier
>  ; CHECK-NEXT:       Loop-Closed SSA Form Pass
> -; CHECK-NEXT:       Basic Alias Analysis (stateless AA impl)
> -; CHECK-NEXT:       Function Alias Analysis Results
>  ; CHECK-NEXT:       Scalar Evolution Analysis
>  ; CHECK-NEXT:       Loop Pass Manager
>  ; CHECK-NEXT:         Rotate Loops
> @@ -251,6 +254,7 @@
>  ; CHECK-NEXT:       Lazy Block Frequency Analysis
>  ; CHECK-NEXT:       Optimization Remark Emitter
>  ; CHECK-NEXT:       Combine redundant instructions
> +; CHECK-NEXT:       Memory SSA
>  ; CHECK-NEXT:       Canonicalize natural loops
>  ; CHECK-NEXT:       LCSSA Verifier
>  ; CHECK-NEXT:       Loop-Closed SSA Form Pass
> 
> Modified: llvm/trunk/test/Other/opt-Os-pipeline.ll
> URL: 
> https://protect2.fireeye.com/url?k=01c3e0a1-5d492a7f-01c3a03a-86823e270a62-da433cbe7321f7ab&q=1&u=http%3A%2F%2Fllvm.org%2Fviewvc%2Fllvm-project%2Fllvm%2Ftrunk%2Ftest%2FOther%2Fopt-Os-pipeline.ll%3Frev%3D370957%26r1%3D370956%26r2%3D370957%26view%3Ddiff
> =====================================================================
> =========
> --- llvm/trunk/test/Other/opt-Os-pipeline.ll (original)
> +++ llvm/trunk/test/Other/opt-Os-pipeline.ll Wed Sep  4 12:16:04 2019
> @@ -80,12 +80,13 @@
>  ; CHECK-NEXT:         Simplify the CFG
>  ; CHECK-NEXT:         Reassociate expressions
>  ; CHECK-NEXT:         Dominator Tree Construction
> +; CHECK-NEXT:         Basic Alias Analysis (stateless AA impl)
> +; CHECK-NEXT:         Function Alias Analysis Results
> +; CHECK-NEXT:         Memory SSA
>  ; CHECK-NEXT:         Natural Loop Information
>  ; CHECK-NEXT:         Canonicalize natural loops
>  ; CHECK-NEXT:         LCSSA Verifier
>  ; CHECK-NEXT:         Loop-Closed SSA Form Pass
> -; CHECK-NEXT:         Basic Alias Analysis (stateless AA impl)
> -; CHECK-NEXT:         Function Alias Analysis Results
>  ; CHECK-NEXT:         Scalar Evolution Analysis
>  ; CHECK-NEXT:         Loop Pass Manager
>  ; CHECK-NEXT:           Rotate Loops
> @@ -140,12 +141,13 @@
>  ; CHECK-NEXT:         Phi Values Analysis
>  ; CHECK-NEXT:         Memory Dependence Analysis
>  ; CHECK-NEXT:         Dead Store Elimination
> +; CHECK-NEXT:         Basic Alias Analysis (stateless AA impl)
> +; CHECK-NEXT:         Function Alias Analysis Results
> +; CHECK-NEXT:         Memory SSA
>  ; CHECK-NEXT:         Natural Loop Information
>  ; CHECK-NEXT:         Canonicalize natural loops
>  ; CHECK-NEXT:         LCSSA Verifier
>  ; CHECK-NEXT:         Loop-Closed SSA Form Pass
> -; CHECK-NEXT:         Basic Alias Analysis (stateless AA impl)
> -; CHECK-NEXT:         Function Alias Analysis Results
>  ; CHECK-NEXT:         Scalar Evolution Analysis
>  ; CHECK-NEXT:         Loop Pass Manager
>  ; CHECK-NEXT:           Loop Invariant Code Motion
> @@ -172,12 +174,13 @@
>  ; CHECK-NEXT:     FunctionPass Manager
>  ; CHECK-NEXT:       Float to int
>  ; CHECK-NEXT:       Dominator Tree Construction
> +; CHECK-NEXT:       Basic Alias Analysis (stateless AA impl)
> +; CHECK-NEXT:       Function Alias Analysis Results
> +; CHECK-NEXT:       Memory SSA
>  ; CHECK-NEXT:       Natural Loop Information
>  ; CHECK-NEXT:       Canonicalize natural loops
>  ; CHECK-NEXT:       LCSSA Verifier
>  ; CHECK-NEXT:       Loop-Closed SSA Form Pass
> -; CHECK-NEXT:       Basic Alias Analysis (stateless AA impl)
> -; CHECK-NEXT:       Function Alias Analysis Results
>  ; CHECK-NEXT:       Scalar Evolution Analysis
>  ; CHECK-NEXT:       Loop Pass Manager
>  ; CHECK-NEXT:         Rotate Loops
> @@ -233,6 +236,7 @@
>  ; CHECK-NEXT:       Lazy Block Frequency Analysis
>  ; CHECK-NEXT:       Optimization Remark Emitter
>  ; CHECK-NEXT:       Combine redundant instructions
> +; CHECK-NEXT:       Memory SSA
>  ; CHECK-NEXT:       Canonicalize natural loops
>  ; CHECK-NEXT:       LCSSA Verifier
>  ; CHECK-NEXT:       Loop-Closed SSA Form Pass
> 
> 
> _______________________________________________
> llvm-commits mailing list
> llvm-commits at lists.llvm.org
> 
https://protect2.fireeye.com/url?k=613081b5-3dba4b6b-6130c12e-86823e270a62-3b9ac07604e9c962&q=1&u=https%3A%2F%2Flists.llvm.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fllvm-commits
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: f5.ll
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20190913/d217f33d/attachment.ksh>


More information about the llvm-commits mailing list