diff --git a/test/Transforms/CorrelatedExprs/nullpointer.ll b/test/Transforms/CorrelatedExprs/nullpointer.ll
new file mode 100644
index 00000000000..cf2245d09cb
--- /dev/null
+++ b/test/Transforms/CorrelatedExprs/nullpointer.ll
@@ -0,0 +1,21 @@
+; a load or store of a pointer indicates that the pointer is not null.
+; Any succeeding uses of the pointer should get this info
+
+; RUN: if as < %s | opt -cee -instcombine -simplifycfg | dis | grep br
+; RUN: then exit 1
+; RUN: else exit 0
+; RUN: fi
+
+implementation   ; Functions:
+
+int %nullptr(int* %j) {
+bb0:
+	store int 7, int* %j               ; j != null
+	%cond220 = seteq int* %j, null     ; F
+	br bool %cond220, label %bb3, label %bb4  ; direct branch
+
+bb3:
+	ret int 4                          ; Dead code
+bb4:
+	ret int 3                          ; Live code
+}