| // RUN: %target-swift-emit-silgen -verify %s | %FileCheck %s |
| |
| func values(_ arg: @escaping @convention(c) (Int) -> Int) -> @convention(c) (Int) -> Int { |
| return arg |
| } |
| // CHECK-LABEL: sil hidden [ossa] @$s19c_function_pointers6valuesyS2iXCS2iXCF |
| // CHECK: bb0(%0 : $@convention(c) (Int) -> Int): |
| // CHECK: return %0 : $@convention(c) (Int) -> Int |
| |
| @discardableResult |
| func calls(_ arg: @convention(c) (Int) -> Int, _ x: Int) -> Int { |
| return arg(x) |
| } |
| // CHECK-LABEL: sil hidden [ossa] @$s19c_function_pointers5callsyS3iXC_SitF |
| // CHECK: bb0(%0 : $@convention(c) @noescape (Int) -> Int, %1 : $Int): |
| // CHECK: [[RESULT:%.*]] = apply %0(%1) |
| // CHECK: return [[RESULT]] |
| |
| @discardableResult |
| func calls_no_args(_ arg: @convention(c) () -> Int) -> Int { |
| return arg() |
| } |
| |
| func global(_ x: Int) -> Int { return x } |
| |
| func no_args() -> Int { return 42 } |
| |
| // CHECK-LABEL: sil hidden [ossa] @$s19c_function_pointers0B19_to_swift_functionsyySiF |
| func pointers_to_swift_functions(_ x: Int) { |
| // CHECK: bb0([[X:%.*]] : $Int): |
| |
| func local(_ y: Int) -> Int { return y } |
| |
| // CHECK: [[GLOBAL_C:%.*]] = function_ref @$s19c_function_pointers6globalyS2iFTo |
| // CHECK: [[CVT:%.*]] = convert_function [[GLOBAL_C]] |
| // CHECK: apply {{.*}}([[CVT]], [[X]]) |
| calls(global, x) |
| |
| // CHECK: [[LOCAL_C:%.*]] = function_ref @$s19c_function_pointers0B19_to_swift_functionsyySiF5localL_yS2iFTo |
| // CHECK: [[CVT:%.*]] = convert_function [[LOCAL_C]] |
| // CHECK: apply {{.*}}([[CVT]], [[X]]) |
| calls(local, x) |
| |
| // CHECK: [[CLOSURE_C:%.*]] = function_ref @$s19c_function_pointers0B19_to_swift_functionsyySiFS2iXEfU_To |
| // CHECK: [[CVT:%.*]] = convert_function [[CLOSURE_C]] |
| // CHECK: apply {{.*}}([[CVT]], [[X]]) |
| calls({ $0 + 1 }, x) |
| |
| calls_no_args(no_args) |
| // CHECK: [[NO_ARGS_C:%.*]] = function_ref @$s19c_function_pointers7no_argsSiyFTo |
| // CHECK: [[CVT:%.*]] = convert_function [[NO_ARGS_C]] |
| // CHECK: apply {{.*}}([[CVT]]) |
| } |
| |
| func unsupported(_ a: Any) -> Int { return 0 } |
| |
| func pointers_to_bad_swift_functions(_ x: Int) { |
| calls(unsupported, x) // expected-error{{C function pointer signature '(Any) -> Int' is not compatible with expected type '@convention(c) (Int) -> Int'}} |
| } |
| |
| // CHECK-LABEL: sil private [ossa] @$s19c_function_pointers22StructWithInitializersV3fn1yyXCvpfiyycfU_ : $@convention(thin) () -> () { |
| // CHECK-LABEL: sil private [thunk] [ossa] @$s19c_function_pointers22StructWithInitializersV3fn1yyXCvpfiyycfU_To : $@convention(c) () -> () { |
| |
| struct StructWithInitializers { |
| let fn1: @convention(c) () -> () = {} |
| |
| init(a: ()) {} |
| init(b: ()) {} |
| } |
| |
| func pointers_to_nested_local_functions_in_generics<T>(x: T) -> Int{ |
| func foo(y: Int) -> Int { return y } |
| |
| return calls(foo, 0) |
| } |