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
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
|
// RUN: %target-swift-frontend -primary-file %s -emit-ir | %FileCheck %s
// RUN: %target-swift-frontend -O -primary-file %s -emit-ir | %FileCheck %s --check-prefix=OPT
// REQUIRES: CPU=x86_64
struct V : OptionSet {
var rawValue: UInt64
init() {
self.init(rawValue: 0)
}
init(rawValue: UInt64) {
self.rawValue = rawValue
}
subscript(index: Int) -> Bool {
get {
return (rawValue & UInt64(1) << UInt64(index)) != 0
}
set {
let bit = UInt64(1) << UInt64(index)
if newValue {
rawValue = rawValue | bit
} else {
rawValue = rawValue & ~bit
}
}
}
var count: Int { return 64 }
var indices: CountableRange<Int> { return 0 ..< 64 }
}
struct A {
var a = 0.0
var a2 = 0.0
}
struct B {
var b: UInt32?
var b2 = V()
var b3 = 0.0
}
struct C<Data> {
var c = A()
var c2: Data?
private var c3 = B()
}
func create<T>(_ t: T) -> C<T> {
return C<T>()
}
// We use opaque storage types because LLVM performs type based analysis based
// on the sret storage type which goes wrong with non fixed types.
// CHECK-LABEL: define hidden swiftcc void @"$s16non_fixed_return1CVACyxGycfC"(ptr noalias sret(%swift.opaque) %0
// CHECK-LABEL: define hidden swiftcc void @"$s16non_fixed_return6createyAA1CVyxGxlF"(ptr noalias sret(%swift.opaque) %0, ptr noalias %1, ptr %T)
// CHECK: call swiftcc void @"$s16non_fixed_return1CVACyxGycfC"(ptr noalias sret(%swift.opaque) %0
// CHECK: ret void
// Make sure we don't loose the stores for the optional UInt32? in optimize mode.
// OPT-LABEL: define hidden swiftcc void @"$s16non_fixed_return1CVACyxGycfC"(ptr noalias sret(%swift.opaque) %0
// OPT: store i32 0, ptr [[BASE:%[0-9]+]]
// OPT: [[ADDR2:%.*]] = getelementptr inbounds i8, ptr [[BASE]], i64 4
// OPT: store i1 true, ptr [[ADDR2]]
// OPT: [[ADDR4:%.*]] = getelementptr inbounds i8, ptr [[BASE]], i64 8
// OPT: call void @llvm.memset.p0.i64(ptr {{.*}}[[ADDR4]], i8 0, i64 16, i1 false)
// OPT: ret void
|
