Changeset 4143 for trunk/lib_ir/gen/llc_func.pytemplate.ll

Timestamp:

Sep 9, 2014, 1:51:04 PM (5 years ago)

Author:

linmengl

Message:

add test code for add_with_carry_ir, detect a bug on AVX2.

File:

• trunk/lib_ir/gen/llc_func.pytemplate.ll (modified) (2 diffs)

trunk/lib_ir/gen/llc_func.pytemplate.ll

@@ -100 +100 @@
 }
 
+define void @add_with_carry_ir(<2 x i64> %a, <2 x i64> %b, <2 x i64> %carry_in, <2 x i64>* %carry_out, <2 x i64>* %sum) {
+entry:
+  %aa = bitcast <2 x i64> %a to i128
+  %bb = bitcast <2 x i64> %b to i128
+  %cin = bitcast <2 x i64> %carry_in to i128
+
+  %res1 = call {i128, i1} @llvm.uadd.with.overflow.i128(i128 %aa, i128 %bb)
+  %sum1 = extractvalue {i128, i1} %res1, 0
+  %obit1 = extractvalue {i128, i1} %res1, 1
+
+  %res2 = call {i128, i1} @llvm.uadd.with.overflow.i128(i128 %sum1, i128 %cin)
+  %sum2 = extractvalue {i128, i1} %res2, 0
+  %obit2 = extractvalue {i128, i1} %res2, 1
+
+  %ret_sum = bitcast i128 %sum2 to <2 x i64>
+  %obit = or i1 %obit1, %obit2
+  %obit_64 = zext i1 %obit to i64
+  %obit_2x64 = insertelement <2 x i64> zeroinitializer, i64 %obit_64, i32 0
+
+  store <2 x i64> %ret_sum, <2 x i64>* %sum
+  store <2 x i64> %obit_2x64, <2 x i64>* %carry_out
+
+  ret void
+}
+
 define <4 x i32> @add_128(<4 x i32> %a, <4 x i32> %b) {
 entry:
@@ -118 +143 @@
 }
 
-define i32 @sign_mask_64(<2 x i64> %a) {
-entry:
-  %aa = icmp slt <2 x i64> %a, zeroinitializer
-  %a1 = bitcast <2 x i1> %aa to i2
-  %a2 = zext i2 %a1 to i32
-  ret i32 %a2
-}