[MemorySSA] Pass (for update) MSSAU when hoisting instructions.
Summary: Pass MSSAU to makeLoopInvariant in order to properly update MSSA.
Reviewers: george.burgess.iv
Subscribers: Prazek, sanjoy.google, uabelho, llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D67470
llvm-svn: 371748
diff --git a/llvm/test/Analysis/MemorySSA/loop-unswitch.ll b/llvm/test/Analysis/MemorySSA/loop-unswitch.ll
new file mode 100644
index 0000000..f42a9ca
--- /dev/null
+++ b/llvm/test/Analysis/MemorySSA/loop-unswitch.ll
@@ -0,0 +1,26 @@
+; RUN: opt -S -loop-unswitch -disable-basicaa -enable-mssa-loop-dependency -verify-memoryssa < %s | FileCheck %s
+; REQUIRES: asserts
+
+target triple = "x86_64-unknown-linux-gnu"
+
+; CHECK-LABEL: @foo()
+; Function Attrs: readnone speculatable
+declare i32 @foo() #0
+
+define void @main() {
+entry:
+ br label %for.cond2682
+
+for.cond2682: ; preds = %if.then2712, %entry
+ %mul2708 = call i32 @foo()
+ %tobool2709 = icmp ne i32 %mul2708, 0
+ br i1 %tobool2709, label %if.then2712, label %lor.lhs.false2710
+
+lor.lhs.false2710: ; preds = %for.cond2682
+ unreachable
+
+if.then2712: ; preds = %for.cond2682
+ br label %for.cond2682
+}
+
+attributes #0 = { readnone speculatable }