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
|
// RUN: %target-sil-opt %s -dump-access -o /dev/null | %FileCheck %s
// REQUIRES: swift_in_compiler
// Test is failing when targeting ARMv7k/ARM64_32. rdar://98669547
// UNSUPPORTED: CPU=armv7k || CPU=arm64_32
sil_stage raw
import Builtin
class List {
var x: Builtin.Int64
let next: List
}
@_moveOnly
struct MoveOnlyPair {
var lhs: List
var rhs: List
}
// CHECK-LABEL: Accesses for testMarkUnresolvedNonCopyableValueInst
// CHECK-NEXT: Value: %5 = struct_element_addr %4 : $*MoveOnlyPair, #MoveOnlyPair.lhs
// CHECK-NEXT: Scope: %4 = begin_access [modify] [static] %3 : $*MoveOnlyPair
// CHECK-NEXT: Base: box - %2 = project_box %1 : ${ var MoveOnlyPair }, 0
// CHECK-NEXT: Path: "s0"
// CHECK-NEXT: Storage: %1 = alloc_box ${ var MoveOnlyPair }
// CHECK-NEXT: Path: "c0.s0"
// CHECK-NEXT: Value: %6 = struct_element_addr %4 : $*MoveOnlyPair, #MoveOnlyPair.rhs
// CHECK-NEXT: Scope: %4 = begin_access [modify] [static] %3 : $*MoveOnlyPair
// CHECK-NEXT: Base: box - %2 = project_box %1 : ${ var MoveOnlyPair }, 0
// CHECK-NEXT: Path: "s1"
// CHECK-NEXT: Storage: %1 = alloc_box ${ var MoveOnlyPair }
// CHECK-NEXT: Path: "c0.s1"
// CHECK-NEXT: End accesses for testMarkUnresolvedNonCopyableValueInst
sil [ossa] @testMarkUnresolvedNonCopyableValueInst : $@convention(thin) (@guaranteed List) -> () {
bb0(%0 : @guaranteed $List):
%1 = alloc_box ${ var MoveOnlyPair }
%2 = project_box %1 : ${ var MoveOnlyPair }, 0
%3 = mark_unresolved_non_copyable_value [consumable_and_assignable] %2 : $*MoveOnlyPair
%3c = begin_access [modify] [static] %3 : $*MoveOnlyPair
%3a = struct_element_addr %3c : $*MoveOnlyPair, #MoveOnlyPair.lhs
%3b = struct_element_addr %3c : $*MoveOnlyPair, #MoveOnlyPair.rhs
%0a = copy_value %0 : $List
%0b = copy_value %0 : $List
store %0a to [init] %3a : $*List
store %0b to [init] %3b : $*List
end_access %3c : $*MoveOnlyPair
destroy_value %1 : ${ var MoveOnlyPair }
%9999 = tuple()
return %9999 : $()
}
|
