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/testarith_bt.ll b/test/Integer/testarith_bt.ll
new file mode 100644
index 0000000..0dce41f
--- /dev/null
+++ b/test/Integer/testarith_bt.ll
@@ -0,0 +1,19 @@
+; 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
+
+implementation
+
+define i31 "simpleArith"(i31 %i0, i31 %j0)
+begin
+ %t1 = add i31 %i0, %j0
+ %t2 = sub i31 %i0, %j0
+ %t3 = mul i31 %t1, %t2
+ %t4 = udiv i31 %t1, %t2
+ %t5 = sdiv i31 %t1, %t2
+ %t6 = urem i31 %t1, %t2
+ %t7 = srem i31 %t1, %t2
+ %f1 = sitofp i31 %t1 to float
+ %f2 = fdiv float 4.0, %f1
+ ret i31 %t3
+end