1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
|
// RUN: %target-swift-frontend -enable-experimental-feature Sensitive -emit-ir %s | %FileCheck %s
// RUN: %target-swift-frontend -target %module-target-future -enable-experimental-feature Sensitive -emit-ir %s | %FileCheck %s
// REQUIRES: swift_feature_Sensitive
sil_stage canonical
import Builtin
import Swift
@sensitive struct SensitiveStruct {
@_hasStorage @_hasInitialValue var a: Int64
@_hasStorage @_hasInitialValue var b: Int64
@_hasStorage @_hasInitialValue var c: Int64
}
// CHECK-LABEL: define{{.*}}void @testDestroy
// CHECK: call {{(i[0-9]+ @memset_s|void @swift_clearSensitive)\(ptr %0, i[0-9]+ 24}}
// CHECK: ret void
sil @testDestroy : $@convention(thin) (@in SensitiveStruct) -> () {
bb0(%0 : $*SensitiveStruct):
destroy_addr %0 : $*SensitiveStruct
%r = tuple ()
return %r : $()
}
// CHECK-LABEL: define{{.*}}void @testCopyAddrTake
// CHECK: call void @llvm.memcpy
// CHECK-NEXT: call {{(i[0-9]+ @memset_s|void @swift_clearSensitive)\(ptr %1, i[0-9]+ 24}}
// CHECK: ret void
sil @testCopyAddrTake : $@convention(thin) (@in SensitiveStruct) -> @out SensitiveStruct {
bb0(%0 : $*SensitiveStruct, %1 : $*SensitiveStruct):
copy_addr [take] %1 to [init] %0 : $*SensitiveStruct
%r = tuple ()
return %r : $()
}
// CHECK-LABEL: define{{.*}}void @testCopyAddrCopy
// CHECK-NOT: memset_s
// CHECK-NOT: swift_clearSensitive
// CHECK: ret void
sil @testCopyAddrCopy : $@convention(thin) (@in_guaranteed SensitiveStruct) -> @out SensitiveStruct {
bb0(%0 : $*SensitiveStruct, %1 : $*SensitiveStruct):
copy_addr %1 to [init] %0 : $*SensitiveStruct
%r = tuple ()
return %r : $()
}
|
