1; RUN: opt < %s -gvn -S | FileCheck %s 2; 3 4%0 = type { i64, i1 } 5 6define i64 @test1(i64 %a, i64 %b) nounwind ssp { 7entry: 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 11 ret i64 %add1 12} 13 14; CHECK: @test1 15; CHECK-NOT: add1 16; CHECK: ret 17 18define i64 @test2(i64 %a, i64 %b) nounwind ssp { 19entry: 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 23 ret i64 %sub1 24} 25 26; CHECK: @test2 27; CHECK-NOT: sub1 28; CHECK: ret 29 30define i64 @test3(i64 %a, i64 %b) nounwind ssp { 31entry: 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 35 ret i64 %mul1 36} 37 38; CHECK: @test3 39; CHECK-NOT: mul1 40; CHECK: ret 41 42define i64 @test4(i64 %a, i64 %b) nounwind ssp { 43entry: 44 %sadd = tail call %0 @llvm.sadd.with.overflow.i64(i64 %a, i64 %b) 45 %sadd.0 = extractvalue %0 %sadd, 0 46 %add1 = add i64 %a, %b 47 ret i64 %add1 48} 49 50; CHECK: @test4 51; CHECK-NOT: add1 52; CHECK: ret 53 54define i64 @test5(i64 %a, i64 %b) nounwind ssp { 55entry: 56 %ssub = tail call %0 @llvm.ssub.with.overflow.i64(i64 %a, i64 %b) 57 %ssub.0 = extractvalue %0 %ssub, 0 58 %sub1 = sub i64 %a, %b 59 ret i64 %sub1 60} 61 62; CHECK: @test5 63; CHECK-NOT: sub1 64; CHECK: ret 65 66define i64 @test6(i64 %a, i64 %b) nounwind ssp { 67entry: 68 %smul = tail call %0 @llvm.smul.with.overflow.i64(i64 %a, i64 %b) 69 %smul.0 = extractvalue %0 %smul, 0 70 %mul1 = mul i64 %a, %b 71 ret i64 %mul1 72} 73 74; CHECK: @test6 75; CHECK-NOT: mul1 76; CHECK: ret 77 78declare void @exit(i32) noreturn 79declare %0 @llvm.uadd.with.overflow.i64(i64, i64) nounwind readnone 80declare %0 @llvm.usub.with.overflow.i64(i64, i64) nounwind readnone 81declare %0 @llvm.umul.with.overflow.i64(i64, i64) nounwind readnone 82declare %0 @llvm.sadd.with.overflow.i64(i64, i64) nounwind readnone 83declare %0 @llvm.ssub.with.overflow.i64(i64, i64) nounwind readnone 84declare %0 @llvm.smul.with.overflow.i64(i64, i64) nounwind readnone 85 86