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
|
/*
* Copyright 2016 Google Inc.
*
* Use of this source code is governed by a BSD-style license that can be
* found in the LICENSE file.
*/
#ifndef SKSL_EXPRESSION
#define SKSL_EXPRESSION
#include "SkSLType.h"
#include "SkSLVariable.h"
#include <unordered_map>
namespace SkSL {
struct Expression;
class IRGenerator;
typedef std::unordered_map<const Variable*, std::unique_ptr<Expression>*> DefinitionMap;
/**
* Abstract supertype of all expressions.
*/
struct Expression : public IRNode {
enum Kind {
kBinary_Kind,
kBoolLiteral_Kind,
kConstructor_Kind,
kIntLiteral_Kind,
kFieldAccess_Kind,
kFloatLiteral_Kind,
kFunctionReference_Kind,
kFunctionCall_Kind,
kIndex_Kind,
kPrefix_Kind,
kPostfix_Kind,
kSwizzle_Kind,
kVariableReference_Kind,
kTernary_Kind,
kTypeReference_Kind,
kDefined_Kind
};
Expression(Position position, Kind kind, const Type& type)
: INHERITED(position)
, fKind(kind)
, fType(std::move(type)) {}
virtual bool isConstant() const {
return false;
}
/**
* Given a map of known constant variable values, substitute them in for references to those
* variables occurring in this expression and its subexpressions. Similar simplifications, such
* as folding a constant binary expression down to a single value, may also be performed.
* Returns a new expression which replaces this expression, or null if no replacements were
* made. If a new expression is returned, this expression is no longer valid.
*/
virtual std::unique_ptr<Expression> constantPropagate(const IRGenerator& irGenerator,
const DefinitionMap& definitions) {
return nullptr;
}
const Kind fKind;
const Type& fType;
typedef IRNode INHERITED;
};
} // namespace
#endif
|
