1 files changed, 22 insertions, 0 deletions
diff --git a/test/ExecutionEngine/2005-12-02-TailCallBug.ll b/test/ExecutionEngine/2005-12-02-TailCallBug.ll
new file mode 100644
index 0000000..0adb3b7
--- /dev/null
+++ b/test/ExecutionEngine/2005-12-02-TailCallBug.ll
@@ -0,0 +1,22 @@
+; RUN: llvm-as %s | lli
+
+; PR672
+
+int %main(){ 
+ %f   = cast int (int, int*, int)* %check_tail to int*
+ %res = tail call fastcc int %check_tail( int 10, int* %f,int 10)
+ ret int %res
+}
+fastcc int %check_tail(int %x, int* %f, int %g) {
+	%tmp1 = setgt int %x, 0
+	br bool %tmp1, label %if-then, label %if-else
+
+if-then:
+	%fun_ptr = cast int* %f to int(int, int*, int)*	
+	%arg1    = add int %x, -1		
+	%res = tail call fastcc int %fun_ptr( int %arg1, int * %f, int %g)
+	ret int %res
+
+if-else:
+        ret int %x
+}