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
|
/*
* Copyright (C) 2016 The Android Open Source Project
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
/*
* This optimization recognizes the common diamond selection pattern and
* replaces it with an instance of the HSelect instruction.
*
* Recognized patterns:
*
* If [ Condition ]
* / \
* false branch true branch
* \ /
* Phi [FalseValue, TrueValue]
*
* and
*
* If [ Condition ]
* / \
* false branch true branch
* return FalseValue return TrueValue
*
* The pattern will be simplified if `true_branch` and `false_branch` each
* contain at most one instruction without any side effects.
*
* Blocks are merged into one and Select replaces the If and the Phi.
*
* For the first pattern it simplifies to:
*
* true branch
* false branch
* Select [FalseValue, TrueValue, Condition]
*
* For the second pattern it simplifies to:
*
* true branch
* false branch
* return Select [FalseValue, TrueValue, Condition]
*
* Note: In order to recognize no side-effect blocks, this optimization must be
* run after the instruction simplifier has removed redundant suspend checks.
*/
#ifndef ART_COMPILER_OPTIMIZING_CODE_FLOW_SIMPLIFIER_H_
#define ART_COMPILER_OPTIMIZING_CODE_FLOW_SIMPLIFIER_H_
#include "base/macros.h"
#include "base/scoped_arena_containers.h"
#include "optimization.h"
#include "optimizing/nodes.h"
namespace art HIDDEN {
class HCodeFlowSimplifier : public HOptimization {
public:
HCodeFlowSimplifier(HGraph* graph,
OptimizingCompilerStats* stats,
const char* name = kCodeFlowSimplifierPassName);
bool Run() override;
static constexpr const char* kCodeFlowSimplifierPassName = "code_flow_simplifier";
private:
bool TryGenerateSelectSimpleDiamondPattern(HBasicBlock* block,
ScopedArenaSafeMap<HInstruction*, HSelect*>* cache);
// When generating code for nested ternary operators (e.g. `return (x > 100) ? 100 : ((x < -100) ?
// -100 : x);`), a dexer can generate a double diamond pattern but it is not a clear cut one due
// to the merging of the blocks. `TryFixupDoubleDiamondPattern` recognizes that pattern and fixes
// up the graph to have a clean double diamond that `TryGenerateSelectSimpleDiamondPattern` can
// use to generate selects.
//
// In ASCII, it turns:
//
// 1 (outer if)
// / \
// 2 3 (inner if)
// | / \
// | 4 5
// \/ |
// 6 |
// \ |
// 7
// |
// 8
// into:
// 1 (outer if)
// / \
// 2 3 (inner if)
// | / \
// | 4 5
// \/ /
// 6
// |
// 8
//
// In short, block 7 disappears and we merge 6 and 7. Now we have a diamond with {3,4,5,6}, and
// when that gets resolved we get another one with the outer if.
HBasicBlock* TryFixupDoubleDiamondPattern(HBasicBlock* block);
DISALLOW_COPY_AND_ASSIGN(HCodeFlowSimplifier);
};
} // namespace art
#endif // ART_COMPILER_OPTIMIZING_CODE_FLOW_SIMPLIFIER_H_
|