llvm/test/Transforms/FunctionSpecialization/constant-struct.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2
   3 ; RUN: opt -passes="ipsccp<func-spec>" -force-specialization \
   4 ; RUN:     -funcspec-for-literal-constant -S < %s | FileCheck %s
   5
   6 define i32 @foo(i32 %y0, i32 %y1) {
   7 ; CHECK-LABEL: @foo(
   8 ; CHECK-NEXT:  entry:
   9 ; CHECK-NEXT:    [[Y:%.*]] = insertvalue { i32, i32 } undef, i32 [[Y0:%.*]], 0
  10 ; CHECK-NEXT:    [[YY:%.*]] = insertvalue { i32, i32 } [[Y]], i32 [[Y1:%.*]], 1
  11 ; CHECK-NEXT:    [[CALL:%.*]] = tail call i32 @add.specialized.1({ i32, i32 } { i32 2, i32 3 }, { i32, i32 } [[YY]])
  12 ; CHECK-NEXT:    ret i32 [[CALL]]
  13 ;
  14 entry:
  15   %y = insertvalue { i32, i32 } undef, i32 %y0, 0
  16   %yy = insertvalue { i32, i32 } %y, i32 %y1, 1
  17   %call = tail call i32 @add({i32, i32} {i32 2, i32 3}, {i32, i32} %yy)
  18   ret i32 %call
  19 }
  20
  21 define i32 @bar(i32 %x0, i32 %x1) {
  22 ; CHECK-LABEL: @bar(
  23 ; CHECK-NEXT:  entry:
  24 ; CHECK-NEXT:    [[X:%.*]] = insertvalue { i32, i32 } undef, i32 [[X0:%.*]], 0
  25 ; CHECK-NEXT:    [[XX:%.*]] = insertvalue { i32, i32 } [[X]], i32 [[X1:%.*]], 1
  26 ; CHECK-NEXT:    [[CALL:%.*]] = tail call i32 @add.specialized.2({ i32, i32 } [[XX]], { i32, i32 } { i32 3, i32 2 })
  27 ; CHECK-NEXT:    ret i32 [[CALL]]
  28 ;
  29 entry:
  30   %x = insertvalue { i32, i32 } undef, i32 %x0, 0
  31   %xx = insertvalue { i32, i32 } %x, i32 %x1, 1
  32   %call = tail call i32 @add({i32, i32} %xx, {i32, i32} {i32 3, i32 2})
  33   ret i32 %call
  34 }
  35
  36 define internal i32 @add({i32, i32} %x, {i32, i32} %y) {
  37 entry:
  38   %x0 = extractvalue {i32, i32} %x, 0
  39   %y0 = extractvalue {i32, i32} %y, 0
  40   %add0 = add nsw i32 %x0, %y0
  41   %x1 = extractvalue {i32, i32} %x, 1
  42   %y1 = extractvalue {i32, i32} %y, 1
  43   %add1 = add nsw i32 %x1, %y1
  44   %mul = mul i32 %add0, %add1
  45   ret i32 %mul
  46 }