mirror of
https://github.com/apple/swift.git
synced 2025-12-21 12:14:44 +01:00
55e5618eab
Both the syntax and relative order of the LLVM `nocapture` parameter attribute changed upstream in 29441e4f5fa5f5c7709f7cf180815ba97f611297. To reduce conflicts with rebranch, adjust FileCheck patterns to expect both syntaxes and orders anywhere the presence of the attribute is not critical to the test. These changes are temporary and will be cleaned up once rebranch is merged into main.
102 lines
2.2 KiB
Swift
102 lines
2.2 KiB
Swift
// RUN: %target-swift-frontend %s -emit-ir | %FileCheck %s
|
|
|
|
// REQUIRES: CPU=x86_64
|
|
|
|
//
|
|
// Type parameters
|
|
//
|
|
infix operator ~>
|
|
|
|
func ~> <Target, Args, Result> (
|
|
target: Target,
|
|
method: (Target) -> (Args) -> Result)
|
|
-> (Args) -> Result
|
|
{
|
|
return method(target)
|
|
}
|
|
|
|
protocol Runcible {
|
|
associatedtype Element
|
|
}
|
|
|
|
struct Mince {}
|
|
|
|
struct Spoon: Runcible {
|
|
typealias Element = Mince
|
|
}
|
|
|
|
func split<Seq: Runcible>(_ seq: Seq) -> ((Seq.Element) -> Bool) -> () {
|
|
return {(isSeparator: (Seq.Element) -> Bool) in
|
|
return ()
|
|
}
|
|
}
|
|
var seq = Spoon()
|
|
var x = seq ~> split
|
|
|
|
//
|
|
// Indirect return
|
|
//
|
|
|
|
// CHECK-LABEL: define internal swiftcc { ptr, ptr } @"$s21partial_apply_generic5split{{[_0-9a-zA-Z]*}}FTA"(ptr noalias {{(nocapture|captures\(none\))}} %0, ptr swiftself %1)
|
|
// CHECK: tail call swiftcc { ptr, ptr } @"$s21partial_apply_generic5split{{[_0-9a-zA-Z]*}}F"(ptr noalias %0,
|
|
|
|
struct HugeStruct { var a, b, c, d: Int }
|
|
struct S {
|
|
func hugeStructReturn(_ h: HugeStruct) -> HugeStruct { return h }
|
|
}
|
|
|
|
let s = S()
|
|
var y = s.hugeStructReturn
|
|
// CHECK-LABEL: define internal swiftcc { i64, i64, i64, i64 } @"$s21partial_apply_genericAA10HugeStructVACcAA1SVcfu_A2Ccfu0_TA"(i64 %0, i64 %1, i64 %2, i64 %3, ptr swiftself %4)
|
|
// CHECK: entry:
|
|
// CHECK: call swiftcc { i64, i64, i64, i64 } @"$s21partial_apply_genericAA10HugeStructVACcAA1SVcfu_A2Ccfu0_"(i64 %0, i64 %1, i64 %2, i64 %3)
|
|
// CHECK: }
|
|
|
|
//
|
|
// Witness method
|
|
//
|
|
protocol Protein {
|
|
static func veganOrNothing() -> Protein?
|
|
static func paleoDiet() throws -> Protein
|
|
}
|
|
|
|
enum CarbOverdose : Error {
|
|
case Mild
|
|
case Severe
|
|
}
|
|
|
|
class Chicken : Protein {
|
|
static func veganOrNothing() -> Protein? {
|
|
return nil
|
|
}
|
|
|
|
static func paleoDiet() throws -> Protein {
|
|
throw CarbOverdose.Severe
|
|
}
|
|
}
|
|
|
|
func healthyLunch<T: Protein>(_ t: T) -> () -> Protein? {
|
|
return T.veganOrNothing
|
|
}
|
|
|
|
let f = healthyLunch(Chicken())
|
|
|
|
func dietaryFad<T: Protein>(_ t: T) -> () throws -> Protein {
|
|
return T.paleoDiet
|
|
}
|
|
|
|
let g = dietaryFad(Chicken())
|
|
do {
|
|
try g()
|
|
} catch {}
|
|
|
|
//
|
|
// Incorrect assertion regarding inout parameters in NecessaryBindings
|
|
//
|
|
|
|
func coyote<T, U>(_ t: T, _ u: U) {}
|
|
|
|
func hawk<A, B, C>(_: A, _ b: B, _ c: C) {
|
|
let fn: (Optional<(A) -> B>, @escaping (inout B, C) -> ()) -> () = coyote
|
|
}
|