mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
6d042aeb4a
This is a follow up to https://github.com/swiftlang/swift/pull/80862, where `storeEnumTagSinglePayload` in a special implementation of `ResultTypeInfo` for Embedded Swift had a mismatching number of arguments. The actual declaration of it in `ABI/ValueWitness.def` clearly includes one more argument. ``` /// void (*storeEnumTagSinglePayload)(T* enum, UINT_TYPE whichCase, /// UINT_TYPE emptyCases, M *self); /// Given uninitialized memory for an instance of a single payload enum with a /// payload of this witness table's type (e.g Optional<ThisType>), store the /// tag. FUNCTION_VALUE_WITNESS(storeEnumTagSinglePayload, StoreEnumTagSinglePayload, VOID_TYPE, (MUTABLE_VALUE_TYPE, UINT_TYPE, UINT_TYPE, TYPE_TYPE)) ``` This function type mismatch is illegal when targeting Wasm and traps at run time. Similarly to #80862, we're passing `nullptr` as the newly added argument, which is equivalent to the existing behavior on other platforms. rdar://157219474
62 lines
1.5 KiB
Swift
62 lines
1.5 KiB
Swift
// RUN: %empty-directory(%t)
|
|
// RUN: %target-swift-frontend -enable-experimental-feature Embedded -parse-as-library %s -c -o %t/a.o
|
|
// RUN: %target-clang %t/a.o -o %t/a.out -L%swift_obj_root/lib/swift/embedded/%module-target-triple %target-clang-resource-dir-opt -lc++abi -lswift_Concurrency %target-swift-default-executor-opt -dead_strip
|
|
// RUN: %target-run %t/a.out | %FileCheck %s
|
|
|
|
// REQUIRES: executable_test
|
|
// REQUIRES: swift_in_compiler
|
|
// REQUIRES: optimized_stdlib
|
|
// REQUIRES: OS=macosx || OS=wasip1
|
|
// REQUIRES: swift_feature_Embedded
|
|
|
|
import _Concurrency
|
|
|
|
protocol Go: Actor {
|
|
var name: String { get }
|
|
func go(times: Int) async -> Int
|
|
}
|
|
|
|
extension Go {
|
|
func go(times: Int) async -> Int {
|
|
for i in 0..<times {
|
|
print("\(name) @ \(i)")
|
|
await Task.yield()
|
|
}
|
|
return times
|
|
}
|
|
}
|
|
|
|
actor One: Go { var name = "One" }
|
|
actor Two: Go { var name = "Two" }
|
|
|
|
func yielding() async {
|
|
let one = One()
|
|
let two = Two()
|
|
await withDiscardingTaskGroup(returning: Void.self) { group in
|
|
group.addTask {
|
|
await one.go(times: 5)
|
|
}
|
|
group.addTask {
|
|
await two.go(times: 5)
|
|
}
|
|
}
|
|
}
|
|
|
|
@main struct Main {
|
|
static func main() async {
|
|
await yielding()
|
|
print("All done!")
|
|
// CHECK: One @ 0
|
|
// CHECK: Two @ 0
|
|
// CHECK: One @ 1
|
|
// CHECK: Two @ 1
|
|
// CHECK: One @ 2
|
|
// CHECK: Two @ 2
|
|
// CHECK: One @ 3
|
|
// CHECK: Two @ 3
|
|
// CHECK: One @ 4
|
|
// CHECK: Two @ 4
|
|
// CHECK: All done!
|
|
}
|
|
}
|