github.com/johnnyeven/libtools@v0.0.0-20191126065708-61829c1adf46/third_party/mlir/lib/IR/IntegerSetDetail.h (about)

     1  //===- IntegerSetDetail.h - MLIR IntegerSet storage details -----*- C++ -*-===//
     2  //
     3  // Copyright 2019 The MLIR Authors.
     4  //
     5  // Licensed under the Apache License, Version 2.0 (the "License");
     6  // you may not use this file except in compliance with the License.
     7  // You may obtain a copy of the License at
     8  //
     9  //   http://www.apache.org/licenses/LICENSE-2.0
    10  //
    11  // Unless required by applicable law or agreed to in writing, software
    12  // distributed under the License is distributed on an "AS IS" BASIS,
    13  // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
    14  // See the License for the specific language governing permissions and
    15  // limitations under the License.
    16  // =============================================================================
    17  //
    18  // This holds implementation details of IntegerSet.
    19  //
    20  //===----------------------------------------------------------------------===//
    21  
    22  #ifndef INTEGERSETDETAIL_H_
    23  #define INTEGERSETDETAIL_H_
    24  
    25  #include "mlir/IR/AffineExpr.h"
    26  #include "llvm/ADT/ArrayRef.h"
    27  
    28  namespace mlir {
    29  namespace detail {
    30  
    31  struct IntegerSetStorage {
    32    unsigned dimCount;
    33    unsigned symbolCount;
    34  
    35    /// Array of affine constraints: a constraint is either an equality
    36    /// (affine_expr == 0) or an inequality (affine_expr >= 0).
    37    ArrayRef<AffineExpr> constraints;
    38  
    39    // Bits to check whether a constraint is an equality or an inequality.
    40    ArrayRef<bool> eqFlags;
    41  };
    42  
    43  } // end namespace detail
    44  } // end namespace mlir
    45  #endif // INTEGERSETDETAIL_H_