1 files changed, 31 insertions, 0 deletions
diff --git a/llvm/test/Transforms/InstSimplify/require-dominator.ll b/llvm/test/Transforms/InstSimplify/require-dominator.ll
new file mode 100644
index 00000000000..ce24cc8a1de
--- /dev/null
+++ b/llvm/test/Transforms/InstSimplify/require-dominator.ll
@@ -0,0 +1,31 @@
+; RUN: opt < %s -instsimplify
+
+; instsimplify pass should explicitly require DominatorTreeAnalysis
+; This test will segfault if DominatorTree is not available
+
+target triple = "x86_64-grtev4-linux-gnu"
+
+; Function Attrs: nounwind uwtable
+define void @foo(i16 *) #1 align 2 {
+  br i1 undef, label %exit, label %2
+
+; <label>:2:
+  %3 = tail call i8* @_Znwm(i64 56) #10
+  %4 = bitcast i8* %3 to i16*
+  %p = load i16*, i16** undef, align 8
+  %5 = icmp eq i16* %p, %4
+  br i1 %5, label %exit, label %6
+
+; <label>:6:
+  %7 = icmp eq i16* %p, null
+  br i1 %7, label %exit, label %8
+
+; <label>:8:
+  br label %exit
+
+exit:
+  ret void
+}
+
+; Function Attrs: nobuiltin
+declare i8* @_Znwm(i64)