This allows to differentiate between the cases where the optimum does not
exist due to being unbounded and due to the polytope being empty.
Details
Diff Detail
- Repository
- rG LLVM Github Monorepo
Event Timeline
mlir/include/mlir/Analysis/Presburger/Utils.h | ||
---|---|---|
36 | Any reason for MaybeOptimum to not be in presburger_utils? |
mlir/include/mlir/Analysis/Presburger/Utils.h | ||
---|---|---|
36 | It's part of Simplex really, logically. It should be in the same namespace as it. We should move Simplex into a presburger namespace maybe. |
mlir/include/mlir/Analysis/Presburger/Utils.h | ||
---|---|---|
36 | For now I don't mind putting it in presburger_utils. We can move them both into a presburger namespace as you suggested. We can do that later in another patch |
mlir/include/mlir/Analysis/Presburger/Utils.h | ||
---|---|---|
36 | You can keep it in presburger_utils for now and I will send a patch later today moving things to presburger namespace. |
Any reason for MaybeOptimum to not be in presburger_utils?