llvm/test/Transforms/Scalarizer/uadd_overflow.ll

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