1 ; RUN: opt < %s -gvn -S | FileCheck %s
6 define i64 @test1(i64 %a, i64 %b) nounwind ssp {
8 %uadd = tail call %0 @llvm.uadd.with.overflow.i64(i64 %a, i64 %b)
9 %uadd.0 = extractvalue %0 %uadd, 0
10 %add1 = add i64 %a, %b
18 define i64 @test2(i64 %a, i64 %b) nounwind ssp {
20 %usub = tail call %0 @llvm.usub.with.overflow.i64(i64 %a, i64 %b)
21 %usub.0 = extractvalue %0 %usub, 0
22 %sub1 = sub i64 %a, %b
30 define i64 @test3(i64 %a, i64 %b) nounwind ssp {
32 %umul = tail call %0 @llvm.umul.with.overflow.i64(i64 %a, i64 %b)
33 %umul.0 = extractvalue %0 %umul, 0
34 %mul1 = mul i64 %a, %b
43 declare void @exit(i32) noreturn
44 declare %0 @llvm.uadd.with.overflow.i64(i64, i64) nounwind readnone
45 declare %0 @llvm.usub.with.overflow.i64(i64, i64) nounwind readnone
46 declare %0 @llvm.umul.with.overflow.i64(i64, i64) nounwind readnone