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
|
#include <torch/csrc/jit/passes/constant_pooling.h>
#include <torch/csrc/jit/passes/constant_propagation.h>
#include <torch/csrc/jit/passes/remove_exceptions.h>
#include <torch/csrc/jit/jit_log.h>
namespace torch::jit {
static bool certainlyThrows(Block* block) {
for (Node* n : block->nodes()) {
if (n->kind() == prim::RaiseException) {
return true;
}
}
return false;
}
static void EliminateExceptions(Block* block) {
auto graph = block->owningGraph();
Value* false_const = graph->insertConstant(IValue(false));
Value* true_const = graph->insertConstant(IValue(true));
for (Node* n : block->nodes()) {
if (n->kind() == prim::If) {
Block* true_block = n->blocks()[0];
Block* false_block = n->blocks()[1];
if (certainlyThrows(true_block)) {
n->input(0)->replaceAllUsesWith(false_const);
} else if (certainlyThrows(false_block)) {
n->input(0)->replaceAllUsesWith(true_const);
}
}
for (Block* subblock : n->blocks()) {
EliminateExceptions(subblock);
}
}
}
void EliminateExceptions(std::shared_ptr<Graph>& graph) {
GRAPH_DUMP("Before EliminateExceptions: ", graph);
EliminateExceptions(graph->block());
ConstantPropagation(graph);
ConstantPooling(graph);
GRAPH_DUMP("After EliminateExceptions: ", graph);
}
} // namespace torch::jit
|
