1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt < %s -passes=instcombine -mtriple=x86_64-unknown-unknown -S | FileCheck %s 3 4declare { i8, i32 } @llvm.x86.addcarry.32(i8, i32, i32) 5declare { i8, i64 } @llvm.x86.addcarry.64(i8, i64, i64) 6 7define i32 @no_carryin_i32(i32 %x, i32 %y, ptr %p) { 8; CHECK-LABEL: @no_carryin_i32( 9; CHECK-NEXT: [[TMP1:%.*]] = call { i32, i1 } @llvm.uadd.with.overflow.i32(i32 [[X:%.*]], i32 [[Y:%.*]]) 10; CHECK-NEXT: [[TMP2:%.*]] = extractvalue { i32, i1 } [[TMP1]], 0 11; CHECK-NEXT: [[TMP3:%.*]] = extractvalue { i32, i1 } [[TMP1]], 1 12; CHECK-NEXT: [[TMP4:%.*]] = zext i1 [[TMP3]] to i8 13; CHECK-NEXT: store i8 [[TMP4]], ptr [[P:%.*]], align 1 14; CHECK-NEXT: ret i32 [[TMP2]] 15; 16 %s = call { i8, i32 } @llvm.x86.addcarry.32(i8 0, i32 %x, i32 %y) 17 %ov = extractvalue { i8, i32 } %s, 0 18 store i8 %ov, ptr %p 19 %r = extractvalue { i8, i32 } %s, 1 20 ret i32 %r 21} 22 23define i64 @no_carryin_i64(i64 %x, i64 %y, ptr %p) { 24; CHECK-LABEL: @no_carryin_i64( 25; CHECK-NEXT: [[TMP1:%.*]] = call { i64, i1 } @llvm.uadd.with.overflow.i64(i64 [[X:%.*]], i64 [[Y:%.*]]) 26; CHECK-NEXT: [[TMP2:%.*]] = extractvalue { i64, i1 } [[TMP1]], 0 27; CHECK-NEXT: [[TMP3:%.*]] = extractvalue { i64, i1 } [[TMP1]], 1 28; CHECK-NEXT: [[TMP4:%.*]] = zext i1 [[TMP3]] to i8 29; CHECK-NEXT: store i8 [[TMP4]], ptr [[P:%.*]], align 1 30; CHECK-NEXT: ret i64 [[TMP2]] 31; 32 %s = call { i8, i64 } @llvm.x86.addcarry.64(i8 0, i64 %x, i64 %y) 33 %ov = extractvalue { i8, i64 } %s, 0 34 store i8 %ov, ptr %p 35 %r = extractvalue { i8, i64 } %s, 1 36 ret i64 %r 37} 38