blob: 0471fb21a677ff1a50f95820078093c80bc4a5b2 (
plain)
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
|
//===- llvm/Analysis/Expressions.h - Expression Analysis Utils ---*- C++ -*--=//
//
// This file defines a package of expression analysis utilties:
//
// ClassifyExpression: Analyze an expression to determine the complexity of the
// expression, and which other variables it depends on.
//
//===----------------------------------------------------------------------===//
#ifndef LLVM_ANALYSIS_EXPRESSIONS_H
#define LLVM_ANALYSIS_EXPRESSIONS_H
#include <assert.h>
class Value;
class ConstPoolInt;
namespace analysis {
struct ExprType;
// ClassifyExpression: Analyze an expression to determine the complexity of the
// expression, and which other values it depends on.
//
ExprType ClassifyExpression(Value *Expr);
// ExprType - Represent an expression of the form CONST*VAR+CONST
// or simpler. The expression form that yields the least information about the
// expression is just the Linear form with no offset.
//
struct ExprType {
enum ExpressionType {
Constant, // Expr is a simple constant, Offset is value
Linear, // Expr is linear expr, Value is Var+Offset
ScaledLinear, // Expr is scaled linear exp, Value is Scale*Var+Offset
} ExprTy;
const ConstPoolInt *Offset; // Offset of expr, or null if 0
Value *Var; // Var referenced, if Linear or above (null if 0)
const ConstPoolInt *Scale; // Scale of var if ScaledLinear expr (null if 1)
inline ExprType(const ConstPoolInt *CPV = 0) {
Offset = CPV; Var = 0; Scale = 0;
ExprTy = Constant;
}
inline ExprType(Value *Val) {
Var = Val; Offset = Scale = 0;
ExprTy = Var ? Linear : Constant;
}
inline ExprType(const ConstPoolInt *scale, Value *var,
const ConstPoolInt *offset) {
Scale = scale; Var = var; Offset = offset;
ExprTy = Scale ? ScaledLinear : (Var ? Linear : Constant);
}
};
} // End namespace analysis
#endif
|
