// RUN: %target-swift-frontend  %s -O -Xllvm -sil-print-types -emit-sil | %FileCheck %s -check-prefix=CHECK-O
// RUN: %target-swift-frontend  %s -Osize -Xllvm -sil-print-types -emit-sil | %FileCheck %s -check-prefix=CHECK-OSIZE

@_semantics("optimize.sil.specialize.generic.size.never")
func foo<T>(_ t: T) -> T {
  return t
}

// CHECK-O-LABEL: sil @{{.*}}test
// CHECK-O: %[[LITERAL:.+]] = integer_literal $Builtin.Int{{[0-9]+}}, 27
// CHECK-O: %[[STRUCT:.+]] = struct $Int (%[[LITERAL]] : $Builtin.Int{{[0-9]+}})
// CHECK-O: return %[[STRUCT]]

// CHECK-OSIZE-LABEL: sil {{.*}} @{{.*}}foo

// CHECK-OSIZE-LABEL: sil @{{.*}}test
// CHECK-OSIZE: function_ref {{.*}}foo
// CHECK-OSIZE: apply
public func test() -> Int {
  return foo(27)
}