llvm/mlir/lib/Interfaces/InferIntRangeInterface.cpp

//===- InferIntRangeInterface.cpp -  Integer range inference interface ---===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//

#include "mlir/Interfaces/InferIntRangeInterface.h"
#include "mlir/IR/BuiltinTypes.h"
#include "mlir/Interfaces/InferIntRangeInterface.cpp.inc"
#include <optional>

usingnamespacemlir;

bool ConstantIntRanges::operator==(const ConstantIntRanges &other) const { … }

const APInt &ConstantIntRanges::umin() const { … }

const APInt &ConstantIntRanges::umax() const { … }

const APInt &ConstantIntRanges::smin() const { … }

const APInt &ConstantIntRanges::smax() const { … }

unsigned ConstantIntRanges::getStorageBitwidth(Type type) { … }

ConstantIntRanges ConstantIntRanges::maxRange(unsigned bitwidth) { … }

ConstantIntRanges ConstantIntRanges::constant(const APInt &value) { … }

ConstantIntRanges ConstantIntRanges::range(const APInt &min, const APInt &max,
                                           bool isSigned) { … }

ConstantIntRanges ConstantIntRanges::fromSigned(const APInt &smin,
                                                const APInt &smax) { … }

ConstantIntRanges ConstantIntRanges::fromUnsigned(const APInt &umin,
                                                  const APInt &umax) { … }

ConstantIntRanges
ConstantIntRanges::rangeUnion(const ConstantIntRanges &other) const { … }

ConstantIntRanges
ConstantIntRanges::intersection(const ConstantIntRanges &other) const { … }

std::optional<APInt> ConstantIntRanges::getConstantValue() const { … }

raw_ostream &mlir::operator<<(raw_ostream &os, const ConstantIntRanges &range) { … }

IntegerValueRange IntegerValueRange::getMaxRange(Value value) { … }

raw_ostream &mlir::operator<<(raw_ostream &os, const IntegerValueRange &range) { … }

void mlir::intrange::detail::defaultInferResultRanges(
    InferIntRangeInterface interface, ArrayRef<IntegerValueRange> argRanges,
    SetIntLatticeFn setResultRanges) { … }

void mlir::intrange::detail::defaultInferResultRangesFromOptional(
    InferIntRangeInterface interface, ArrayRef<ConstantIntRanges> argRanges,
    SetIntRangeFn setResultRanges) { … }