24 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: opt -passes='function(scalarizer)' -S < %s | FileCheck %s3 4define void @func(<2 x i32> noundef %a, <2 x i32> noundef %b) {5; CHECK-LABEL: define void @func(6; CHECK-SAME: <2 x i32> noundef [[A:%.*]], <2 x i32> noundef [[B:%.*]]) {7; CHECK-NEXT: [[A_I0:%.*]] = extractelement <2 x i32> [[A]], i64 08; CHECK-NEXT: [[B_I0:%.*]] = extractelement <2 x i32> [[B]], i64 09; CHECK-NEXT: [[UADDC_I0:%.*]] = call { i32, i1 } @llvm.uadd.with.overflow.i32(i32 [[A_I0]], i32 [[B_I0]])10; CHECK-NEXT: [[A_I1:%.*]] = extractelement <2 x i32> [[A]], i64 111; CHECK-NEXT: [[B_I1:%.*]] = extractelement <2 x i32> [[B]], i64 112; CHECK-NEXT: [[UADDC_I1:%.*]] = call { i32, i1 } @llvm.uadd.with.overflow.i32(i32 [[A_I1]], i32 [[B_I1]])13; CHECK-NEXT: [[CARRY_ELEM1:%.*]] = extractvalue { i32, i1 } [[UADDC_I0]], 114; CHECK-NEXT: [[CARRY_ELEM11:%.*]] = extractvalue { i32, i1 } [[UADDC_I1]], 115; CHECK-NEXT: [[CARRY_ZEXT_I0:%.*]] = zext i1 [[CARRY_ELEM1]] to i3216; CHECK-NEXT: [[CARRY_ZEXT_I1:%.*]] = zext i1 [[CARRY_ELEM11]] to i3217; CHECK-NEXT: ret void18;19 %uaddc = call { <2 x i32>, <2 x i1> } @llvm.uadd.with.overflow.v2i32(<2 x i32> %a, <2 x i32> %b)20 %carry = extractvalue { <2 x i32>, <2 x i1> } %uaddc, 121 %carry_zext = zext <2 x i1> %carry to <2 x i32>22 ret void23}24