mirror of
https://github.com/apple/swift.git
synced 2026-10-02 10:58:03 +02:00
Kavon Farvardin
d2bd562799
The opaque values test coverage I initially added will emit to stdout, which is noisy for people's logs if the test is failing for some other reason.
36 lines
1.6 KiB
Swift
36 lines
1.6 KiB
Swift
// RUN: %target-swift-emit-silgen-ossa -o /dev/null -enable-sil-opaque-values %s
|
|
// RUN: %target-swift-frontend \
|
|
// RUN: -emit-silgen \
|
|
// RUN: %s \
|
|
// RUN: | %FileCheck %s
|
|
|
|
enum MaybeMaybeVoid<Wrapped: ~Copyable>: ~Copyable {
|
|
case none(())
|
|
case some(Wrapped)
|
|
}
|
|
|
|
// CHECK-LABEL: sil {{.*}}[ossa] @maybeMaybeVoid2Optional {{.*}} {
|
|
// CHECK: [[STACK:%[^,]+]] = alloc_stack
|
|
// CHECK: [[ADDR:%[^,]+]] = mark_unresolved_non_copyable_value [consumable_and_assignable] [[STACK]]
|
|
// CHECK: [[ACCESS:%[^,]+]] = begin_access [read] [static] [no_nested_conflict] [[ADDR]]
|
|
// CHECK: switch_enum_addr [[ACCESS]]
|
|
// CHECK-SAME: case #MaybeMaybeVoid.none!enumelt: [[NONE_BLOCK:bb[0-9]+]]
|
|
// CHECK: [[NONE_BLOCK]]:
|
|
// CHECK: [[REGISTER_14:%[^,]+]] = tuple ()
|
|
// CHECK: end_access [[ACCESS]]
|
|
// CHECK: [[ACCESS_AGAIN:%[^,]+]] = begin_access [deinit] [static] [no_nested_conflict] [[ADDR]]
|
|
// CHECK: [[NONE_ADDR:%[^,]+]] = unchecked_inplace_enum_data_addr [[ACCESS_AGAIN]]
|
|
// CHECK-SAME: #MaybeMaybeVoid.none!enumelt
|
|
// Verify that the load is trivial.
|
|
// CHECK: load [trivial] [[NONE_ADDR]]
|
|
// CHECK-LABEL: } // end sil function 'maybeMaybeVoid2Optional'
|
|
@_silgen_name("maybeMaybeVoid2Optional")
|
|
func maybeMaybeVoid2Optional<Wrapped: ~Copyable>(_ o2: consuming MaybeMaybeVoid<Wrapped>) -> Optional<Wrapped> {
|
|
switch consume o2 {
|
|
case .none(let void):
|
|
return .none
|
|
case .some(let wrapped):
|
|
return .some(wrapped)
|
|
}
|
|
}
|