xref: /llvm-project/llvm/test/Transforms/Scalarizer/uadd_overflow.ll (revision 21b3769d1dfed38ef8d8fa35ee98973926f7de62)
1*21b3769dSFarzon Lotfi; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5
2*21b3769dSFarzon Lotfi; RUN: opt %s -passes='function(scalarizer)' -S | FileCheck %s
3*21b3769dSFarzon Lotfi
4*21b3769dSFarzon Lotfi; Test to make sure that struct return intrinsics that are not `isTriviallyScalarizable` do not get scalarized.
5*21b3769dSFarzon Lotfi
6*21b3769dSFarzon Lotfidefine <3 x i32> @test_(<3 x i32> %a, <3 x i32> %b) {
7*21b3769dSFarzon Lotfi; CHECK-LABEL: define <3 x i32> @test_(
8*21b3769dSFarzon Lotfi; CHECK-SAME: <3 x i32> [[A:%.*]], <3 x i32> [[B:%.*]]) {
9*21b3769dSFarzon Lotfi; CHECK-NEXT:    [[R:%.*]] = call { <3 x i32>, <3 x i1> } @llvm.uadd.with.overflow.v3i32(<3 x i32> [[B]], <3 x i32> [[B]])
10*21b3769dSFarzon Lotfi; CHECK-NEXT:    [[EL:%.*]] = extractvalue { <3 x i32>, <3 x i1> } [[R]], 0
11*21b3769dSFarzon Lotfi; CHECK-NEXT:    ret <3 x i32> [[EL]]
12*21b3769dSFarzon Lotfi;
13*21b3769dSFarzon Lotfi  %r = call { <3 x i32>, <3 x i1> } @llvm.uadd.with.overflow.v3i32(<3 x i32> %b, <3 x i32> %b)
14*21b3769dSFarzon Lotfi  %el = extractvalue { <3 x i32>, <3 x i1> } %r, 0
15*21b3769dSFarzon Lotfi  ret <3 x i32> %el
16*21b3769dSFarzon Lotfi}
17