New test cases for bit accurate integers developed by Guoling Han.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@33259 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/test/Integer/simplecalltest_bt.ll b/test/Integer/simplecalltest_bt.ll
new file mode 100644
index 0000000..bb39ab1
--- /dev/null
+++ b/test/Integer/simplecalltest_bt.ll
@@ -0,0 +1,29 @@
+; RUN: llvm-as %s -o - | llvm-dis > %t1.ll
+; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
+; RUN: diff %t1.ll %t2.ll
+
+%FunTy = type i31(i31)
+
+implementation
+
+define void "invoke"(%FunTy *%x)
+begin
+ %foo = call %FunTy* %x(i31 123)
+ ret void
+end
+
+define i31 "main"(i31 %argc, i8 **%argv, i8 **%envp)
+begin
+ %retval = call i31 (i31) *%test(i31 %argc)
+ %two = add i31 %retval, %retval
+ %retval2 = call i31 %test(i31 %argc)
+
+ %two2 = add i31 %two, %retval2
+ call void %invoke (%FunTy* %test)
+ ret i31 %two2
+end
+
+define i31 "test"(i31 %i0)
+begin
+ ret i31 %i0
+end