[llvm] r280963 - Add unittest for r280760

[Dehao Chen via llvm-commits]

Author: dehao
Date: Thu Sep  8 11:53:40 2016
New Revision: 280963

URL: http://llvm.org/viewvc/llvm-project?rev=280963&view=rev
Log:
Add unittest for r280760

Added:
    llvm/trunk/test/Transforms/InstSimplify/require-dominator.ll

Added: llvm/trunk/test/Transforms/InstSimplify/require-dominator.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/InstSimplify/require-dominator.ll?rev=280963&view=auto
==============================================================================
--- llvm/trunk/test/Transforms/InstSimplify/require-dominator.ll (added)
+++ llvm/trunk/test/Transforms/InstSimplify/require-dominator.ll Thu Sep  8 11:53:40 2016
@@ -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)