mirror of
https://github.com/apple/swift.git
synced 2026-10-16 16:50:49 +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.
63 lines
2.2 KiB
Swift
63 lines
2.2 KiB
Swift
// RUN: %target-swift-emit-silgen-ossa -o /dev/null -enable-sil-opaque-values %s
|
|
// RUN: %target-swift-emit-silgen -Xllvm -sil-print-types -enforce-exclusivity=checked %s | %FileCheck %s
|
|
|
|
class C {}
|
|
|
|
struct A {}
|
|
struct B { var owner: C }
|
|
|
|
var a = A()
|
|
|
|
// CHECK-LABEL: sil [ossa] @main : $@convention(c) (Int32, UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>) -> Int32 {
|
|
// CHECK: assign {{%.*}} to {{%.*}} : $*A
|
|
// CHECK: destroy_value {{%.*}} : $B
|
|
// CHECK: } // end sil function 'main'
|
|
(a, _) = (A(), B(owner: C()))
|
|
|
|
class D { var child: C = C() }
|
|
|
|
// Verify that the LHS is formally evaluated before the RHS.
|
|
// CHECK-LABEL: sil hidden [ossa] @$s10assignment5test1yyF : $@convention(thin) () -> () {
|
|
func test1() {
|
|
// CHECK: [[T0:%.*]] = metatype $@thick D.Type
|
|
// CHECK: [[CTOR:%.*]] = function_ref @$s10assignment1DC{{[_0-9a-zA-Z]*}}fC
|
|
// CHECK: [[D:%.*]] = apply [[CTOR]]([[T0]])
|
|
// CHECK: [[T0:%.*]] = metatype $@thick C.Type
|
|
// CHECK: [[CTOR:%.*]] = function_ref @$s10assignment1CC{{[_0-9a-zA-Z]*}}fC
|
|
// CHECK: [[C:%.*]] = apply [[CTOR]]([[T0]]) : $@convention(method) (@thick C.Type) -> @owned C
|
|
// CHECK: [[SETTER:%.*]] = class_method [[D]] : $D, #D.child!setter
|
|
// CHECK: apply [[SETTER]]([[C]], [[D]])
|
|
// CHECK: destroy_value [[D]]
|
|
D().child = C()
|
|
}
|
|
|
|
// rdar://32039566
|
|
protocol P {
|
|
var left: Int {get set}
|
|
var right: Int {get set}
|
|
}
|
|
|
|
// Verify that the access to the LHS does not begin until after the
|
|
// RHS is formally evaluated.
|
|
// CHECK-LABEL: sil hidden [ossa] @$s10assignment15copyRightToLeft1pyAA1P_pz_tF : $@convention(thin) (@inout any P) -> () {
|
|
func copyRightToLeft(p: inout P) {
|
|
// CHECK: bb0(%0 : $*any P):
|
|
// CHECK: [[READ:%.*]] = begin_access [read] [unknown] %0 : $*any P
|
|
// CHECK: [[READ_OPEN:%.*]] = open_existential_addr immutable_access [[READ]]
|
|
// CHECK: end_access [[READ]] : $*any P
|
|
// CHECK: [[WRITE:%.*]] = begin_access [modify] [unknown] %0 : $*any P
|
|
// CHECK: [[WRITE_OPEN:%.*]] = open_existential_addr mutable_access [[WRITE]]
|
|
// CHECK: end_access [[WRITE]] : $*any P
|
|
p.left = p.right
|
|
}
|
|
|
|
// https://github.com/apple/swift/issues/48478
|
|
|
|
func stupidGames() -> ((), ()) {
|
|
return ((), ())
|
|
}
|
|
|
|
func assignToNestedVoid() {
|
|
let _: ((), ()) = stupidGames()
|
|
}
|