--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/test/Analysis/BasicAA/2007-08-05-GetOverloadedModRef.ll	Thu Dec 12 13:56:28 2013 +0900
@@ -0,0 +1,16 @@
+; RUN: opt < %s -basicaa -gvn -instcombine -S | FileCheck %s
+; PR1600
+
+declare i16 @llvm.cttz.i16(i16, i1)
+
+define i32 @test(i32* %P, i16* %Q) {
+; CHECK: ret i32 0
+        %A = load i16* %Q               ; <i16> [#uses=1]
+        %x = load i32* %P               ; <i32> [#uses=1]
+        %B = call i16 @llvm.cttz.i16( i16 %A, i1 true )          ; <i16> [#uses=1]
+        %y = load i32* %P               ; <i32> [#uses=1]
+        store i16 %B, i16* %Q
+        %z = sub i32 %x, %y             ; <i32> [#uses=1]
+        ret i32 %z
+}
+