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
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
|
//===--- AccessDumper.swift - Dump access information --------------------===//
//
// This source file is part of the Swift.org open source project
//
// Copyright (c) 2014 - 2022 Apple Inc. and the Swift project authors
// Licensed under Apache License v2.0 with Runtime Library Exception
//
// See https://swift.org/LICENSE.txt for license information
// See https://swift.org/CONTRIBUTORS.txt for the list of Swift project authors
//
//===----------------------------------------------------------------------===//
import Basic
import SIL
/// Dumps access information for memory accesses (`load` and `store`)
/// instructions.
/// Also verifies that `AccessPath.isDistinct(from:)` is correct. This does not actually
/// dumps anything, but aborts if the result is wrong.
///
/// This pass is used for testing `AccessUtils`.
let accessDumper = FunctionPass(name: "dump-access") {
(function: Function, context: FunctionPassContext) in
print("Accesses for \(function.name)")
for block in function.blocks {
for instr in block.instructions {
switch instr {
case let st as StoreInst:
printAccessInfo(address: st.destination)
case let load as LoadInst:
printAccessInfo(address: load.address)
case let apply as ApplyInst:
guard let callee = apply.referencedFunction else {
break
}
if callee.name == "_isDistinct" {
checkAliasInfo(forArgumentsOf: apply, expectDistinct: true)
} else if callee.name == "_isNotDistinct" {
checkAliasInfo(forArgumentsOf: apply, expectDistinct: false)
}
default:
break
}
}
}
print("End accesses for \(function.name)")
}
private struct AccessStoragePathVisitor : ValueUseDefWalker {
var walkUpCache = WalkerCache<Path>()
mutating func rootDef(value: Value, path: SmallProjectionPath) -> WalkResult {
print(" Storage: \(value)")
print(" Path: \"\(path)\"")
return .continueWalk
}
}
private func printAccessInfo(address: Value) {
print("Value: \(address)")
let (ap, scope) = address.accessPathWithScope
if let beginAccess = scope {
print(" Scope: \(beginAccess)")
} else {
print(" Scope: base")
}
let constAp = address.constantAccessPath
if constAp == ap {
print(" Base: \(ap.base)")
print(" Path: \"\(ap.projectionPath)\"")
} else {
print(" nonconst-base: \(ap.base)")
print(" nonconst-path: \"\(ap.projectionPath)\"")
print(" const-base: \(constAp.base)")
print(" const-path: \"\(constAp.projectionPath)\"")
}
var arw = AccessStoragePathVisitor()
if !arw.visitAccessStorageRoots(of: ap) {
print(" no Storage paths")
}
}
private func checkAliasInfo(forArgumentsOf apply: ApplyInst, expectDistinct: Bool) {
let address1 = apply.arguments[0]
let address2 = apply.arguments[1]
checkIsDistinct(path1: address1.accessPath,
path2: address2.accessPath,
expectDistinct: expectDistinct,
instruction: apply)
if !expectDistinct {
// Also check all combinations with the constant variant of access paths.
// Note: we can't do that for "isDistinct" because "isDistinct" might be more conservative in one of the variants.
checkIsDistinct(path1: address1.constantAccessPath,
path2: address2.constantAccessPath,
expectDistinct: false,
instruction: apply)
checkIsDistinct(path1: address1.accessPath,
path2: address2.constantAccessPath,
expectDistinct: false,
instruction: apply)
checkIsDistinct(path1: address1.constantAccessPath,
path2: address2.accessPath,
expectDistinct: false,
instruction: apply)
}
}
private func checkIsDistinct(path1: AccessPath, path2: AccessPath, expectDistinct: Bool, instruction: Instruction) {
if path1.isDistinct(from: path2) != expectDistinct {
print("wrong isDistinct result of \(instruction)")
} else if path2.isDistinct(from: path1) != expectDistinct {
print("wrong reverse isDistinct result of \(instruction)")
} else {
return
}
print("in function")
print(instruction.parentFunction)
fatalError()
}
|
