mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
29541fa8f1
`zeroInitializer` is blocking optimizations, but it is not needed because the closure of `Builtin.emplace` will initialize the memory anyway. We only need to tell mandatory passes that this memory should be treated as initialized.
94 lines
3.3 KiB
Swift
94 lines
3.3 KiB
Swift
// RUN: %target-swift-frontend -enable-experimental-feature BuiltinModule -emit-silgen %s | %FileCheck %s
|
|
|
|
// REQUIRES: swift_feature_BuiltinModule
|
|
|
|
import Builtin
|
|
|
|
@_silgen_name("do_emplace")
|
|
func do_emplace(_: Builtin.RawPointer)
|
|
|
|
struct AO {
|
|
var x: Any
|
|
}
|
|
|
|
struct Loadable {
|
|
var x: AnyObject
|
|
}
|
|
|
|
// CHECK-LABEL: sil {{.*}} @$s{{.*}}_in_place_loadable
|
|
func emplace_in_place_loadable() -> Loadable {
|
|
// CHECK: [[TMP:%.*]] = alloc_stack $Loadable
|
|
// CHECK-NEXT: builtin "prepareInitialization"([[TMP]])
|
|
// CHECK-NEXT: [[PTR:%.*]] = address_to_pointer {{.*}} [[TMP]]
|
|
// CHECK-NEXT: apply {{.*}}([[PTR]])
|
|
// CHECK-NEXT: load [take] [[TMP]]
|
|
// CHECK-NEXT: dealloc_stack [[TMP]]
|
|
return Builtin.emplace(do_emplace)
|
|
}
|
|
|
|
// CHECK-LABEL: sil {{.*}} @$s{{.*}}_in_place_ao
|
|
// CHECK: bb0([[OUT:%.*]] : $*AO):
|
|
func emplace_in_place_ao() -> AO {
|
|
// CHECK: builtin "prepareInitialization"([[OUT]])
|
|
// CHECK-NEXT: [[PTR:%.*]] = address_to_pointer {{.*}} [[OUT]]
|
|
// CHECK-NEXT: apply [[FN:%.*]]([[PTR]])
|
|
// CHECK-NEXT: destroy_value [[FN]]
|
|
// CHECK-NEXT: tuple ()
|
|
// CHECK-NEXT: return
|
|
return Builtin.emplace(do_emplace)
|
|
}
|
|
|
|
// CHECK-LABEL: sil {{.*}} @$s{{.*}}_assign_loadable
|
|
// CHECK: bb0([[INOUT:%.*]] : $*Loadable):
|
|
func emplace_assign_loadable(_ x: inout Loadable) {
|
|
// CHECK: [[TMP:%.*]] = alloc_stack $Loadable
|
|
// CHECK-NEXT: builtin "prepareInitialization"([[TMP]])
|
|
// CHECK-NEXT: [[PTR:%.*]] = address_to_pointer {{.*}} [[TMP]]
|
|
// CHECK-NEXT: apply {{.*}}([[PTR]])
|
|
// CHECK-NEXT: [[RESULT:%.*]] = load [take] [[TMP]]
|
|
// CHECK-NEXT: [[WRITE:%.*]] = begin_access [modify] [unknown] [[INOUT]]
|
|
// CHECK-NEXT: assign [[RESULT]] to [[WRITE]]
|
|
// CHECK-NEXT: end_access [[WRITE]]
|
|
// CHECK-NEXT: dealloc_stack [[TMP]]
|
|
x = Builtin.emplace(do_emplace)
|
|
}
|
|
|
|
// CHECK-LABEL: sil {{.*}} @$s{{.*}}_assign_ao
|
|
// CHECK: bb0([[INOUT:%.*]] : $*AO):
|
|
func emplace_assign_ao(_ x: inout AO) {
|
|
// CHECK: [[TMP:%.*]] = alloc_stack $AO
|
|
// CHECK-NEXT: builtin "prepareInitialization"([[TMP]])
|
|
// CHECK-NEXT: [[PTR:%.*]] = address_to_pointer {{.*}} [[TMP]]
|
|
// CHECK-NEXT: apply {{.*}}([[PTR]])
|
|
// CHECK-NEXT: [[WRITE:%.*]] = begin_access [modify] [unknown] [[INOUT]]
|
|
// CHECK-NEXT: copy_addr [take] [[TMP]] to [[WRITE]]
|
|
// CHECK-NEXT: end_access [[WRITE]]
|
|
// CHECK-NEXT: dealloc_stack [[TMP]]
|
|
x = Builtin.emplace(do_emplace)
|
|
}
|
|
|
|
// CHECK-LABEL: sil {{.*}} @$s{{.*}}_ignore_loadable
|
|
func emplace_ignore_loadable() {
|
|
// CHECK: [[TMP:%.*]] = alloc_stack $Loadable
|
|
// CHECK-NEXT: builtin "prepareInitialization"([[TMP]])
|
|
// CHECK-NEXT: [[PTR:%.*]] = address_to_pointer {{.*}} [[TMP]]
|
|
// CHECK-NEXT: apply {{.*}}([[PTR]])
|
|
// CHECK-NEXT: [[RESULT:%.*]] = load [take] [[TMP]]
|
|
// CHECK-NEXT: ignored_use [[RESULT]]
|
|
// CHECK-NEXT: destroy_value [[RESULT]]
|
|
// CHECK-NEXT: dealloc_stack [[TMP]]
|
|
let _: Loadable = Builtin.emplace(do_emplace)
|
|
}
|
|
|
|
// CHECK-LABEL: sil {{.*}} @$s{{.*}}_ignore_ao
|
|
func emplace_ignore_ao() {
|
|
// CHECK: [[TMP:%.*]] = alloc_stack $AO
|
|
// CHECK-NEXT: builtin "prepareInitialization"([[TMP]])
|
|
// CHECK-NEXT: [[PTR:%.*]] = address_to_pointer {{.*}} [[TMP]]
|
|
// CHECK-NEXT: apply {{.*}}([[PTR]])
|
|
// CHECK-NEXT: ignored_use [[TMP]]
|
|
// CHECK-NEXT: destroy_addr [[TMP]]
|
|
// CHECK-NEXT: dealloc_stack [[TMP]]
|
|
let _: AO = Builtin.emplace(do_emplace)
|
|
}
|