[llvm-commits] [llvm] r134778 - /llvm/trunk/test/Transforms/GVN/2011-07-07-MatchIntrinsicExtract.ll
Lang Hames
lhames at gmail.com
Fri Jul 8 17:36:55 PDT 2011
Author: lhames
Date: Fri Jul 8 19:36:54 2011
New Revision: 134778
URL: http://llvm.org/viewvc/llvm-project?rev=134778&view=rev
Log:
Added test cases for GVN signed intrinsics recognition, r134777.
Modified:
llvm/trunk/test/Transforms/GVN/2011-07-07-MatchIntrinsicExtract.ll
Modified: llvm/trunk/test/Transforms/GVN/2011-07-07-MatchIntrinsicExtract.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/GVN/2011-07-07-MatchIntrinsicExtract.ll?rev=134778&r1=134777&r2=134778&view=diff
==============================================================================
--- llvm/trunk/test/Transforms/GVN/2011-07-07-MatchIntrinsicExtract.ll (original)
+++ llvm/trunk/test/Transforms/GVN/2011-07-07-MatchIntrinsicExtract.ll Fri Jul 8 19:36:54 2011
@@ -39,9 +39,47 @@
; CHECK-NOT: mul1
; CHECK: ret
+define i64 @test4(i64 %a, i64 %b) nounwind ssp {
+entry:
+ %sadd = tail call %0 @llvm.sadd.with.overflow.i64(i64 %a, i64 %b)
+ %sadd.0 = extractvalue %0 %sadd, 0
+ %add1 = add i64 %a, %b
+ ret i64 %add1
+}
+
+; CHECK: @test4
+; CHECK-NOT: add1
+; CHECK: ret
+
+define i64 @test5(i64 %a, i64 %b) nounwind ssp {
+entry:
+ %ssub = tail call %0 @llvm.ssub.with.overflow.i64(i64 %a, i64 %b)
+ %ssub.0 = extractvalue %0 %ssub, 0
+ %sub1 = sub i64 %a, %b
+ ret i64 %sub1
+}
+
+; CHECK: @test5
+; CHECK-NOT: sub1
+; CHECK: ret
+
+define i64 @test6(i64 %a, i64 %b) nounwind ssp {
+entry:
+ %smul = tail call %0 @llvm.smul.with.overflow.i64(i64 %a, i64 %b)
+ %smul.0 = extractvalue %0 %smul, 0
+ %mul1 = mul i64 %a, %b
+ ret i64 %mul1
+}
+
+; CHECK: @test6
+; CHECK-NOT: mul1
+; CHECK: ret
declare void @exit(i32) noreturn
declare %0 @llvm.uadd.with.overflow.i64(i64, i64) nounwind readnone
declare %0 @llvm.usub.with.overflow.i64(i64, i64) nounwind readnone
declare %0 @llvm.umul.with.overflow.i64(i64, i64) nounwind readnone
+declare %0 @llvm.sadd.with.overflow.i64(i64, i64) nounwind readnone
+declare %0 @llvm.ssub.with.overflow.i64(i64, i64) nounwind readnone
+declare %0 @llvm.smul.with.overflow.i64(i64, i64) nounwind readnone
More information about the llvm-commits
mailing list