File tree Expand file tree Collapse file tree 10 files changed +86
-8
lines changed
mlir/lib/Analysis/Presburger Expand file tree Collapse file tree 10 files changed +86
-8
lines changed Original file line number Diff line number Diff line change 13
13
// ===----------------------------------------------------------------------===//
14
14
15
15
#include " mlir/Analysis/Presburger/IntegerRelation.h"
16
+ #include " mlir/Analysis/Presburger/Fraction.h"
16
17
#include " mlir/Analysis/Presburger/LinearTransform.h"
18
+ #include " mlir/Analysis/Presburger/MPInt.h"
17
19
#include " mlir/Analysis/Presburger/PWMAFunction.h"
18
20
#include " mlir/Analysis/Presburger/PresburgerRelation.h"
21
+ #include " mlir/Analysis/Presburger/PresburgerSpace.h"
19
22
#include " mlir/Analysis/Presburger/Simplex.h"
20
23
#include " mlir/Analysis/Presburger/Utils.h"
24
+ #include " mlir/Support/LLVM.h"
25
+ #include " mlir/Support/LogicalResult.h"
21
26
#include " llvm/ADT/DenseMap.h"
22
27
#include " llvm/ADT/DenseSet.h"
28
+ #include " llvm/ADT/STLExtras.h"
29
+ #include " llvm/ADT/SmallBitVector.h"
23
30
#include " llvm/Support/Debug.h"
24
- #include < numeric>
31
+ #include " llvm/Support/raw_ostream.h"
32
+ #include < algorithm>
33
+ #include < cassert>
34
+ #include < functional>
35
+ #include < memory>
25
36
#include < optional>
37
+ #include < utility>
38
+ #include < vector>
26
39
27
40
#define DEBUG_TYPE " presburger"
28
41
Original file line number Diff line number Diff line change 8
8
9
9
#include " mlir/Analysis/Presburger/LinearTransform.h"
10
10
#include " mlir/Analysis/Presburger/IntegerRelation.h"
11
+ #include " mlir/Analysis/Presburger/MPInt.h"
12
+ #include " mlir/Analysis/Presburger/Matrix.h"
13
+ #include " mlir/Support/LLVM.h"
14
+ #include < utility>
11
15
12
16
using namespace mlir ;
13
17
using namespace presburger ;
Original file line number Diff line number Diff line change 7
7
// ===----------------------------------------------------------------------===//
8
8
9
9
#include " mlir/Analysis/Presburger/MPInt.h"
10
- #include " llvm/Support/MathExtras.h"
10
+ #include " mlir/Analysis/Presburger/SlowMPInt.h"
11
+ #include " llvm/ADT/Hashing.h"
12
+ #include " llvm/Support/raw_ostream.h"
11
13
12
14
using namespace mlir ;
13
15
using namespace presburger ;
Original file line number Diff line number Diff line change 8
8
9
9
#include " mlir/Analysis/Presburger/Matrix.h"
10
10
#include " mlir/Analysis/Presburger/Fraction.h"
11
+ #include " mlir/Analysis/Presburger/MPInt.h"
11
12
#include " mlir/Analysis/Presburger/Utils.h"
13
+ #include " mlir/Support/LLVM.h"
12
14
#include " llvm/Support/MathExtras.h"
15
+ #include " llvm/Support/raw_ostream.h"
16
+ #include < algorithm>
17
+ #include < cassert>
18
+ #include < utility>
13
19
14
20
using namespace mlir ;
15
21
using namespace presburger ;
Original file line number Diff line number Diff line change 7
7
// ===----------------------------------------------------------------------===//
8
8
9
9
#include " mlir/Analysis/Presburger/PWMAFunction.h"
10
- #include " mlir/Analysis/Presburger/Simplex.h"
10
+ #include " mlir/Analysis/Presburger/IntegerRelation.h"
11
+ #include " mlir/Analysis/Presburger/MPInt.h"
12
+ #include " mlir/Analysis/Presburger/PresburgerRelation.h"
13
+ #include " mlir/Analysis/Presburger/PresburgerSpace.h"
14
+ #include " mlir/Analysis/Presburger/Utils.h"
15
+ #include " mlir/Support/LLVM.h"
16
+ #include " llvm/ADT/STLExtras.h"
17
+ #include " llvm/ADT/STLFunctionalExtras.h"
18
+ #include " llvm/ADT/SmallVector.h"
19
+ #include " llvm/Support/raw_ostream.h"
20
+ #include < algorithm>
21
+ #include < cassert>
11
22
#include < optional>
12
23
13
24
using namespace mlir ;
Original file line number Diff line number Diff line change 8
8
9
9
#include " mlir/Analysis/Presburger/PresburgerRelation.h"
10
10
#include " mlir/Analysis/Presburger/IntegerRelation.h"
11
+ #include " mlir/Analysis/Presburger/MPInt.h"
11
12
#include " mlir/Analysis/Presburger/PWMAFunction.h"
12
13
#include " mlir/Analysis/Presburger/PresburgerSpace.h"
13
14
#include " mlir/Analysis/Presburger/Simplex.h"
14
15
#include " mlir/Analysis/Presburger/Utils.h"
16
+ #include " mlir/Support/LLVM.h"
17
+ #include " mlir/Support/LogicalResult.h"
15
18
#include " llvm/ADT/STLExtras.h"
16
- #include " llvm/ADT/ScopeExit.h"
17
19
#include " llvm/ADT/SmallBitVector.h"
20
+ #include " llvm/ADT/SmallVector.h"
21
+ #include " llvm/Support/raw_ostream.h"
22
+ #include < cassert>
23
+ #include < functional>
18
24
#include < optional>
25
+ #include < utility>
26
+ #include < vector>
19
27
20
28
using namespace mlir ;
21
29
using namespace presburger ;
Original file line number Diff line number Diff line change 7
7
// ===----------------------------------------------------------------------===//
8
8
9
9
#include " mlir/Analysis/Presburger/PresburgerSpace.h"
10
+ #include " llvm/Support/ErrorHandling.h"
11
+ #include " llvm/Support/raw_ostream.h"
10
12
#include < algorithm>
11
13
#include < cassert>
12
14
Original file line number Diff line number Diff line change 7
7
// ===----------------------------------------------------------------------===//
8
8
9
9
#include " mlir/Analysis/Presburger/Simplex.h"
10
+ #include " mlir/Analysis/Presburger/Fraction.h"
11
+ #include " mlir/Analysis/Presburger/IntegerRelation.h"
12
+ #include " mlir/Analysis/Presburger/MPInt.h"
10
13
#include " mlir/Analysis/Presburger/Matrix.h"
11
- #include " mlir/Support/MathExtras.h"
14
+ #include " mlir/Analysis/Presburger/PresburgerSpace.h"
15
+ #include " mlir/Analysis/Presburger/Utils.h"
16
+ #include " mlir/Support/LLVM.h"
17
+ #include " mlir/Support/LogicalResult.h"
18
+ #include " llvm/ADT/STLExtras.h"
19
+ #include " llvm/ADT/SmallBitVector.h"
20
+ #include " llvm/ADT/SmallVector.h"
12
21
#include " llvm/Support/Compiler.h"
13
- #include < numeric>
22
+ #include " llvm/Support/ErrorHandling.h"
23
+ #include " llvm/Support/raw_ostream.h"
24
+ #include < cassert>
25
+ #include < functional>
26
+ #include < limits>
14
27
#include < optional>
28
+ #include < tuple>
29
+ #include < utility>
15
30
16
31
using namespace mlir ;
17
32
using namespace presburger ;
Original file line number Diff line number Diff line change 7
7
// ===----------------------------------------------------------------------===//
8
8
9
9
#include " mlir/Analysis/Presburger/SlowMPInt.h"
10
- #include " llvm/Support/MathExtras.h"
10
+ #include " mlir/Support/LLVM.h"
11
+ #include " llvm/ADT/APInt.h"
12
+ #include " llvm/ADT/Hashing.h"
13
+ #include " llvm/ADT/STLFunctionalExtras.h"
14
+ #include " llvm/Support/raw_ostream.h"
15
+ #include < algorithm>
16
+ #include < cassert>
17
+ #include < cstdint>
18
+ #include < functional>
11
19
12
20
using namespace mlir ;
13
21
using namespace presburger ;
Original file line number Diff line number Diff line change 13
13
#include " mlir/Analysis/Presburger/Utils.h"
14
14
#include " mlir/Analysis/Presburger/IntegerRelation.h"
15
15
#include " mlir/Analysis/Presburger/MPInt.h"
16
+ #include " mlir/Analysis/Presburger/PresburgerSpace.h"
17
+ #include " mlir/Support/LLVM.h"
16
18
#include " mlir/Support/LogicalResult.h"
17
- #include " mlir/Support/MathExtras.h"
19
+ #include " llvm/ADT/STLFunctionalExtras.h"
20
+ #include " llvm/ADT/SmallBitVector.h"
21
+ #include " llvm/Support/raw_ostream.h"
22
+ #include < algorithm>
23
+ #include < cassert>
24
+ #include < cstddef>
25
+ #include < cstdint>
26
+ #include < functional>
18
27
#include < numeric>
19
28
20
29
#include < numeric>
You can’t perform that action at this time.
0 commit comments