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
|
//===--- SimplifyApply.swift ----------------------------------------------===//
//
// This source file is part of the Swift.org open source project
//
// Copyright (c) 2014 - 2023 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 SIL
extension ApplyInst : OnoneSimplifyable {
func simplify(_ context: SimplifyContext) {
if tryTransformThickToThinCallee(of: self, context) {
return
}
if context.tryOptimizeKeypath(apply: self) {
context.erase(instruction: self)
return
}
_ = context.tryDevirtualize(apply: self, isMandatory: false)
}
}
extension TryApplyInst : OnoneSimplifyable {
func simplify(_ context: SimplifyContext) {
_ = context.tryDevirtualize(apply: self, isMandatory: false)
}
}
extension BeginApplyInst : OnoneSimplifyable {
func simplify(_ context: SimplifyContext) {
_ = context.tryDevirtualize(apply: self, isMandatory: false)
}
}
/// Optimizes a thick function call if the callee is a `thin_to_thick_function` instruction:
///
/// %2 = thin_to_thick_function %1
/// %3 = apply %2(...) : @callee_guaranteed
/// ->
/// %2 = thin_to_thick_function %1
/// %3 = apply %1(...): @convention(thin)
///
private func tryTransformThickToThinCallee(of apply: ApplyInst, _ context: SimplifyContext) -> Bool {
if let tttf = apply.callee as? ThinToThickFunctionInst,
!apply.callee.type.isCalleeConsumedFunction
{
let builder = Builder(before: apply, context)
let newApply = builder.createApply(function: tttf.operand.value,
apply.substitutionMap,
arguments: Array(apply.arguments),
isNonThrowing: apply.isNonThrowing,
isNonAsync: apply.isNonAsync,
specializationInfo: apply.specializationInfo)
apply.uses.replaceAll(with: newApply, context)
context.erase(instruction: apply)
return true
}
return false
}
|
