19714d08eSPhilip Reames; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2*acdc419cSBjorn Pettersson; RUN: opt < %s -passes=instcombine -S | FileCheck %s 39714d08eSPhilip Reames 49714d08eSPhilip Reamesdeclare { i64, i1 } @llvm.uadd.with.overflow.i64(i64, i64) 59714d08eSPhilip Reamesdeclare { i8, i1 } @llvm.uadd.with.overflow.i8(i8, i8) 69714d08eSPhilip Reames 79714d08eSPhilip Reamesdefine i1 @test_generic(i64 %a, i64 %b) { 89714d08eSPhilip Reames; CHECK-LABEL: @test_generic( 99714d08eSPhilip Reames; CHECK-NEXT: [[RES:%.*]] = tail call { i64, i1 } @llvm.uadd.with.overflow.i64(i64 [[A:%.*]], i64 [[B:%.*]]) 109714d08eSPhilip Reames; CHECK-NEXT: [[OVERFLOW:%.*]] = extractvalue { i64, i1 } [[RES]], 1 119714d08eSPhilip Reames; CHECK-NEXT: ret i1 [[OVERFLOW]] 129714d08eSPhilip Reames; 139714d08eSPhilip Reames %res = tail call { i64, i1 } @llvm.uadd.with.overflow.i64(i64 %a, i64 %b) 149714d08eSPhilip Reames %overflow = extractvalue { i64, i1 } %res, 1 159714d08eSPhilip Reames ret i1 %overflow 169714d08eSPhilip Reames} 179714d08eSPhilip Reames 189714d08eSPhilip Reamesdefine i1 @test_constant0(i8 %a) { 199714d08eSPhilip Reames; CHECK-LABEL: @test_constant0( 209714d08eSPhilip Reames; CHECK-NEXT: ret i1 false 219714d08eSPhilip Reames; 229714d08eSPhilip Reames %res = tail call { i8, i1 } @llvm.uadd.with.overflow.i8(i8 %a, i8 0) 239714d08eSPhilip Reames %overflow = extractvalue { i8, i1 } %res, 1 249714d08eSPhilip Reames ret i1 %overflow 259714d08eSPhilip Reames} 269714d08eSPhilip Reames 279714d08eSPhilip Reamesdefine i1 @test_constant1(i8 %a) { 289714d08eSPhilip Reames; CHECK-LABEL: @test_constant1( 299714d08eSPhilip Reames; CHECK-NEXT: [[OVERFLOW:%.*]] = icmp eq i8 [[A:%.*]], -1 309714d08eSPhilip Reames; CHECK-NEXT: ret i1 [[OVERFLOW]] 319714d08eSPhilip Reames; 329714d08eSPhilip Reames %res = tail call { i8, i1 } @llvm.uadd.with.overflow.i8(i8 %a, i8 1) 339714d08eSPhilip Reames %overflow = extractvalue { i8, i1 } %res, 1 349714d08eSPhilip Reames ret i1 %overflow 359714d08eSPhilip Reames} 369714d08eSPhilip Reames 379714d08eSPhilip Reamesdefine i1 @test_constant2(i8 %a) { 389714d08eSPhilip Reames; CHECK-LABEL: @test_constant2( 399714d08eSPhilip Reames; CHECK-NEXT: [[OVERFLOW:%.*]] = icmp ugt i8 [[A:%.*]], -3 409714d08eSPhilip Reames; CHECK-NEXT: ret i1 [[OVERFLOW]] 419714d08eSPhilip Reames; 429714d08eSPhilip Reames %res = tail call { i8, i1 } @llvm.uadd.with.overflow.i8(i8 %a, i8 2) 439714d08eSPhilip Reames %overflow = extractvalue { i8, i1 } %res, 1 449714d08eSPhilip Reames ret i1 %overflow 459714d08eSPhilip Reames} 469714d08eSPhilip Reames 479714d08eSPhilip Reamesdefine i1 @test_constant3(i8 %a) { 489714d08eSPhilip Reames; CHECK-LABEL: @test_constant3( 499714d08eSPhilip Reames; CHECK-NEXT: [[OVERFLOW:%.*]] = icmp ugt i8 [[A:%.*]], -4 509714d08eSPhilip Reames; CHECK-NEXT: ret i1 [[OVERFLOW]] 519714d08eSPhilip Reames; 529714d08eSPhilip Reames %res = tail call { i8, i1 } @llvm.uadd.with.overflow.i8(i8 %a, i8 3) 539714d08eSPhilip Reames %overflow = extractvalue { i8, i1 } %res, 1 549714d08eSPhilip Reames ret i1 %overflow 559714d08eSPhilip Reames} 569714d08eSPhilip Reames 579714d08eSPhilip Reamesdefine i1 @test_constant4(i8 %a) { 589714d08eSPhilip Reames; CHECK-LABEL: @test_constant4( 599714d08eSPhilip Reames; CHECK-NEXT: [[OVERFLOW:%.*]] = icmp ugt i8 [[A:%.*]], -5 609714d08eSPhilip Reames; CHECK-NEXT: ret i1 [[OVERFLOW]] 619714d08eSPhilip Reames; 629714d08eSPhilip Reames %res = tail call { i8, i1 } @llvm.uadd.with.overflow.i8(i8 %a, i8 4) 639714d08eSPhilip Reames %overflow = extractvalue { i8, i1 } %res, 1 649714d08eSPhilip Reames ret i1 %overflow 659714d08eSPhilip Reames} 669714d08eSPhilip Reames 679714d08eSPhilip Reames 689714d08eSPhilip Reamesdefine i1 @test_constant127(i8 %a) { 699714d08eSPhilip Reames; CHECK-LABEL: @test_constant127( 709714d08eSPhilip Reames; CHECK-NEXT: [[OVERFLOW:%.*]] = icmp ugt i8 [[A:%.*]], -128 719714d08eSPhilip Reames; CHECK-NEXT: ret i1 [[OVERFLOW]] 729714d08eSPhilip Reames; 739714d08eSPhilip Reames %res = tail call { i8, i1 } @llvm.uadd.with.overflow.i8(i8 %a, i8 127) 749714d08eSPhilip Reames %overflow = extractvalue { i8, i1 } %res, 1 759714d08eSPhilip Reames ret i1 %overflow 769714d08eSPhilip Reames} 779714d08eSPhilip Reames 789714d08eSPhilip Reamesdefine i1 @test_constant128(i8 %a) { 799714d08eSPhilip Reames; CHECK-LABEL: @test_constant128( 809714d08eSPhilip Reames; CHECK-NEXT: [[OVERFLOW:%.*]] = icmp slt i8 [[A:%.*]], 0 819714d08eSPhilip Reames; CHECK-NEXT: ret i1 [[OVERFLOW]] 829714d08eSPhilip Reames; 839714d08eSPhilip Reames %res = tail call { i8, i1 } @llvm.uadd.with.overflow.i8(i8 %a, i8 128) 849714d08eSPhilip Reames %overflow = extractvalue { i8, i1 } %res, 1 859714d08eSPhilip Reames ret i1 %overflow 869714d08eSPhilip Reames} 879714d08eSPhilip Reames 889714d08eSPhilip Reamesdefine i1 @test_constant255(i8 %a) { 899714d08eSPhilip Reames; CHECK-LABEL: @test_constant255( 909714d08eSPhilip Reames; CHECK-NEXT: [[OVERFLOW:%.*]] = icmp ne i8 [[A:%.*]], 0 919714d08eSPhilip Reames; CHECK-NEXT: ret i1 [[OVERFLOW]] 929714d08eSPhilip Reames; 939714d08eSPhilip Reames %res = tail call { i8, i1 } @llvm.uadd.with.overflow.i8(i8 %a, i8 255) 949714d08eSPhilip Reames %overflow = extractvalue { i8, i1 } %res, 1 959714d08eSPhilip Reames ret i1 %overflow 969714d08eSPhilip Reames} 979714d08eSPhilip Reames 98