mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
104 lines
3.3 KiB
Swift
104 lines
3.3 KiB
Swift
// RUN: %target-swift-emit-silgen -module-name Swift -parse-stdlib %s | %FileCheck %s
|
|
|
|
struct Int {}
|
|
struct Float {}
|
|
struct UnicodeScalar {}
|
|
|
|
enum Never {}
|
|
|
|
// Minimal implementation to support varargs.
|
|
struct Array<T> { }
|
|
|
|
func _allocateUninitializedArray<T>(_: Builtin.Word)
|
|
-> (Array<T>, Builtin.RawPointer) {
|
|
Builtin.int_trap()
|
|
}
|
|
|
|
func _finalizeUninitializedArray<T>(_ a: Array<T>) -> Array<T> {
|
|
return a
|
|
}
|
|
|
|
func _deallocateUninitializedArray<T>(_: Array<T>) {}
|
|
|
|
var i:Int, f:Float, c:UnicodeScalar
|
|
|
|
func arg_tuple(x: Int, y: Float) {}
|
|
// CHECK-LABEL: sil hidden [ossa] @$ss9arg_tuple1x1yySi_SftF
|
|
// CHECK: bb0([[X:%[0-9]+]] : $Int, [[Y:%[0-9]+]] : $Float):
|
|
|
|
arg_tuple(x: i, y: f)
|
|
|
|
func arg_deep_tuples(x: Int, y: (Float, UnicodeScalar)) {}
|
|
// CHECK-LABEL: sil hidden [ossa] @$ss15arg_deep_tuples1x1yySi_Sf_s13UnicodeScalarVttF
|
|
// CHECK: bb0([[X:%[0-9]+]] : $Int, [[Y_0:%[0-9]+]] : $Float, [[Y_1:%[0-9]+]] : $UnicodeScalar):
|
|
|
|
arg_deep_tuples(x:i, y:(f, c))
|
|
var unnamed_subtuple = (f, c)
|
|
arg_deep_tuples(x:i, y: unnamed_subtuple)
|
|
// rdar://problem/12985801 -- tuple conversion confuses named fields
|
|
// of a subtuple with those of outer tuple
|
|
var named_subtuple = (x:f, y:c)
|
|
arg_deep_tuples(x:i, y: named_subtuple)
|
|
|
|
func arg_deep_tuples_2(x: Int, _: (y: Float, z: UnicodeScalar)) {}
|
|
// CHECK-LABEL: sil hidden [ossa] @$ss17arg_deep_tuples_21x_ySi_Sf1y_s13UnicodeScalarV1zttF
|
|
// CHECK: bb0([[X:%[0-9]+]] : $Int, [[Y:%[0-9]+]] : $Float, [[Z:%[0-9]+]] : $UnicodeScalar):
|
|
|
|
arg_deep_tuples_2(x: i, (f, c))
|
|
arg_deep_tuples_2(x: i, unnamed_subtuple)
|
|
|
|
// FIXME rdar://problem/12985103 -- tuples don't convert recursively, so
|
|
// #var x = (1, (2.0, '3')); arg_deep_tuples_2(x)# doesn't type check
|
|
//arg_deep_tuples_2(deep_named_tuple)
|
|
|
|
func arg_default_tuple(x x: Int = i, y: Float = f) {}
|
|
// CHECK-LABEL: sil hidden [ossa] @$ss17arg_default_tuple1x1yySi_SftF
|
|
// CHECK: bb0([[X:%[0-9]+]] : $Int, [[Y:%[0-9]+]] : $Float):
|
|
|
|
arg_default_tuple()
|
|
arg_default_tuple(x:i)
|
|
arg_default_tuple(y:f)
|
|
arg_default_tuple(x:i, y:f)
|
|
|
|
|
|
func variadic_arg_1(_ x: Int...) {}
|
|
// CHECK-LABEL: sil hidden [ossa] @$ss14variadic_arg_1{{[_0-9a-zA-Z]*}}F
|
|
// CHECK: bb0([[X:%[0-9]+]] : $Array<Int>):
|
|
|
|
variadic_arg_1()
|
|
variadic_arg_1(i)
|
|
variadic_arg_1(i, i, i)
|
|
|
|
|
|
func variadic_arg_2(_ x: Int, _ y: Float...) {}
|
|
// CHECK-LABEL: sil hidden [ossa] @$ss14variadic_arg_2{{[_0-9a-zA-Z]*}}F
|
|
// CHECK: bb0([[X:%[0-9]+]] : $Int, [[Y:%[0-9]+]] : $Array<Float>):
|
|
|
|
variadic_arg_2(i)
|
|
variadic_arg_2(i, f)
|
|
variadic_arg_2(i, f, f, f)
|
|
|
|
func variadic_arg_3(_ y: Float..., x: Int) {}
|
|
// CHECK-LABEL: sil hidden [ossa] @$ss14variadic_arg_3{{[_0-9a-zA-Z]*}}F
|
|
// CHECK: bb0([[Y:%[0-9]+]] : $Array<Float>, [[X:%[0-9]+]] : $Int):
|
|
|
|
func variadic_arg_4(_ y: Float..., x: Int...) {}
|
|
// CHECK-LABEL: sil hidden [ossa] @$ss14variadic_arg_4{{[_0-9a-zA-Z]*}}F
|
|
// CHECK: bb0([[Y:%[0-9]+]] : $Array<Float>, [[X:%[0-9]+]] : $Array<Int>):
|
|
|
|
func variadic_arg_5(a: Int, b: Float..., c: Int, d: Int...) {}
|
|
// CHECK-LABEL: sil hidden [ossa] @$ss14variadic_arg_5{{[_0-9a-zA-Z]*}}F
|
|
// CHECK: bb0([[A:%[0-9]+]] : $Int, [[B:%[0-9]+]] : $Array<Float>, [[C:%[0-9]+]] : $Int, [[D:%[0-9]+]] : $Array<Int>):
|
|
|
|
variadic_arg_3(x: i)
|
|
variadic_arg_3(f, x: i)
|
|
variadic_arg_3(f, f, f, x: i)
|
|
|
|
protocol Runcible {}
|
|
|
|
extension Int : Runcible {}
|
|
|
|
func variadic_address_only_arg(_ x: Runcible...) {}
|
|
|
|
variadic_address_only_arg(i)
|