diff --git a/test/Transforms/FunctionResolve/2003-06-18-TypePromotion.ll b/test/Transforms/FunctionResolve/2003-06-18-TypePromotion.ll
new file mode 100644
index 00000000000..11e385e1461
--- /dev/null
+++ b/test/Transforms/FunctionResolve/2003-06-18-TypePromotion.ll
@@ -0,0 +1,12 @@
+; RUN: llvm-as < %s | opt -funcresolve | dis | not grep declare
+
+declare void %test(int)
+
+int %callee(int %X) {
+  call void %test(int %X)
+  ret int 2
+}
+
+internal void %test(sbyte) {
+  ret void
+}