New test cases for bit accurate integers developed by Guoling Han.
llvm-svn: 33259
diff --git a/llvm/test/Integer/testarith_bt.ll b/llvm/test/Integer/testarith_bt.ll
new file mode 100644
index 0000000..0dce41f
--- /dev/null
+++ b/llvm/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