CIRBaseBuilder.h

Go to the documentation of this file.

//===----------------------------------------------------------------------===//
//
// 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
//
//===----------------------------------------------------------------------===//
 
#ifndef LLVM_CLANG_CIR_DIALECT_BUILDER_CIRBASEBUILDER_H
#define LLVM_CLANG_CIR_DIALECT_BUILDER_CIRBASEBUILDER_H
 
#include "clang/AST/CharUnits.h"
#include "clang/Basic/AddressSpaces.h"
#include "clang/Basic/LangOptions.h"
#include "clang/CIR/Dialect/IR/CIRAttrs.h"
#include "clang/CIR/Dialect/IR/CIRDialect.h"
#include "clang/CIR/Dialect/IR/CIRTypes.h"
#include "clang/CIR/MissingFeatures.h"
#include "llvm/ADT/STLForwardCompat.h"
#include "llvm/IR/FPEnv.h"
#include "llvm/Support/ErrorHandling.h"
 
#include "mlir/Dialect/Ptr/IR/MemorySpaceInterfaces.h"
#include "mlir/IR/Builders.h"
#include "mlir/IR/BuiltinAttributes.h"
#include "mlir/IR/Location.h"
#include "mlir/IR/OperationSupport.h"
#include "mlir/IR/Types.h"
 
namespace cir {
 
enum class OverflowBehavior {
  None = 0,
  NoSignedWrap = 1 << 0,
  NoUnsignedWrap = 1 << 1,
  Saturated = 1 << 2,
};
 
constexpr OverflowBehavior operator|(OverflowBehavior a, OverflowBehavior b) {
  return static_cast<OverflowBehavior>(llvm::to_underlying(a) |
                                       llvm::to_underlying(b));
}
 
constexpr OverflowBehavior operator&(OverflowBehavior a, OverflowBehavior b) {
  return static_cast<OverflowBehavior>(llvm::to_underlying(a) &
                                       llvm::to_underlying(b));
}
 
constexpr OverflowBehavior &operator|=(OverflowBehavior &a,
                                       OverflowBehavior b) {
  a = a | b;
  return a;
}
 
constexpr OverflowBehavior &operator&=(OverflowBehavior &a,
                                       OverflowBehavior b) {
  a = a & b;
  return a;
}
 
constexpr bool testFlag(OverflowBehavior ob, OverflowBehavior flag) {
  return (ob & flag) != OverflowBehavior::None;
}
 
class CIRBaseBuilderTy : public mlir::OpBuilder {
 
public:
  CIRBaseBuilderTy(mlir::MLIRContext &mlirContext)
      : mlir::OpBuilder(&mlirContext) {}
  CIRBaseBuilderTy(mlir::OpBuilder &builder) : mlir::OpBuilder(builder) {}
 
  bool isFPConstrained = false;
  clang::LangOptions::FPExceptionModeKind defaultConstrainedExcept =
      clang::LangOptions::FPE_Ignore;
  llvm::RoundingMode defaultConstrainedRounding =
      llvm::RoundingMode::NearestTiesToEven;
 
  mlir::Value getConstAPInt(mlir::Location loc, mlir::Type typ,
                            const llvm::APInt &val) {
    return cir::ConstantOp::create(*this, loc, cir::IntAttr::get(typ, val));
  }
 
  cir::ConstantOp getConstant(mlir::Location loc, mlir::TypedAttr attr) {
    return cir::ConstantOp::create(*this, loc, attr);
  }
 
  cir::ConstantOp getConstantInt(mlir::Location loc, mlir::Type ty,
                                 int64_t value) {
    return getConstant(loc, cir::IntAttr::get(ty, value));
  }
 
  mlir::Value getSignedInt(mlir::Location loc, int64_t val, unsigned numBits) {
    auto type = cir::IntType::get(getContext(), numBits, /*isSigned=*/true);
    return getConstAPInt(loc, type,
                         llvm::APInt(numBits, val, /*isSigned=*/true));
  }
 
  mlir::Value getUnsignedInt(mlir::Location loc, uint64_t val,
                             unsigned numBits) {
    auto type = cir::IntType::get(getContext(), numBits, /*isSigned=*/false);
    return getConstAPInt(loc, type, llvm::APInt(numBits, val));
  }
 
  // Creates constant null value for integral type ty.
  cir::ConstantOp getNullValue(mlir::Type ty, mlir::Location loc) {
    return getConstant(loc, getZeroInitAttr(ty));
  }
 
  mlir::TypedAttr getConstNullPtrAttr(mlir::Type t) {
    assert(mlir::isa<cir::PointerType>(t) && "expected cir.ptr");
    return getConstPtrAttr(t, 0);
  }
 
  mlir::TypedAttr getNullDataMemberAttr(cir::DataMemberType ty) {
    return cir::DataMemberAttr::get(ty);
  }
 
  mlir::TypedAttr getZeroInitAttr(mlir::Type ty) {
    if (mlir::isa<cir::IntType>(ty))
      return cir::IntAttr::get(ty, 0);
    if (cir::isAnyFloatingPointType(ty))
      return cir::FPAttr::getZero(ty);
    if (auto complexType = mlir::dyn_cast<cir::ComplexType>(ty))
      return cir::ZeroAttr::get(complexType);
    if (auto arrTy = mlir::dyn_cast<cir::ArrayType>(ty))
      return cir::ZeroAttr::get(arrTy);
    if (auto vecTy = mlir::dyn_cast<cir::VectorType>(ty))
      return cir::ZeroAttr::get(vecTy);
    if (auto ptrTy = mlir::dyn_cast<cir::PointerType>(ty))
      return getConstNullPtrAttr(ptrTy);
    if (auto recordTy = mlir::dyn_cast<cir::RecordType>(ty))
      return cir::ZeroAttr::get(recordTy);
    if (auto dataMemberTy = mlir::dyn_cast<cir::DataMemberType>(ty))
      return getNullDataMemberAttr(dataMemberTy);
    if (auto methodTy = mlir::dyn_cast<cir::MethodType>(ty))
      return getNullMethodAttr(methodTy);
    if (auto vptrTy = mlir::dyn_cast<cir::VPtrType>(ty))
      return cir::ZeroAttr::get(vptrTy);
    if (mlir::isa<cir::BoolType>(ty)) {
      return getFalseAttr();
    }
 
    llvm_unreachable("Zero initializer for given type is NYI");
  }
 
  cir::ConstantOp getBool(bool state, mlir::Location loc) {
    return cir::ConstantOp::create(*this, loc, getCIRBoolAttr(state));
  }
  cir::ConstantOp getFalse(mlir::Location loc) { return getBool(false, loc); }
  cir::ConstantOp getTrue(mlir::Location loc) { return getBool(true, loc); }
 
  cir::BoolType getBoolTy() { return cir::BoolType::get(getContext()); }
  cir::VoidType getVoidTy() { return cir::VoidType::get(getContext()); }
 
  cir::IntType getUIntNTy(int n) {
    return cir::IntType::get(getContext(), n, false);
  }
 
  static unsigned getCIRIntOrFloatBitWidth(mlir::Type eltTy) {
    if (auto intType = mlir::dyn_cast<cir::IntTypeInterface>(eltTy))
      return intType.getWidth();
    if (auto floatType = mlir::dyn_cast<cir::FPTypeInterface>(eltTy))
      return floatType.getWidth();
 
    llvm_unreachable("Unsupported type in getCIRIntOrFloatBitWidth");
  }
  cir::IntType getSIntNTy(int n) {
    return cir::IntType::get(getContext(), n, true);
  }
 
  cir::PointerType getPointerTo(mlir::Type ty) {
    return cir::PointerType::get(ty);
  }
 
  cir::PointerType getPointerTo(mlir::Type ty,
                                mlir::ptr::MemorySpaceAttrInterface as) {
    return cir::PointerType::get(ty, as);
  }
 
  cir::PointerType getPointerTo(mlir::Type ty, clang::LangAS langAS) {
    if (langAS == clang::LangAS::Default)
      return getPointerTo(ty);
 
    mlir::ptr::MemorySpaceAttrInterface addrSpaceAttr =
        cir::toCIRAddressSpaceAttr(*getContext(), langAS);
    return getPointerTo(ty, addrSpaceAttr);
  }
 
  cir::PointerType getVoidPtrTy(clang::LangAS langAS = clang::LangAS::Default) {
    return getPointerTo(cir::VoidType::get(getContext()), langAS);
  }
 
  cir::PointerType getVoidPtrTy(mlir::ptr::MemorySpaceAttrInterface as) {
    return getPointerTo(cir::VoidType::get(getContext()), as);
  }
 
  cir::MethodAttr getMethodAttr(cir::MethodType ty, cir::FuncOp methodFuncOp) {
    auto methodFuncSymbolRef = mlir::FlatSymbolRefAttr::get(methodFuncOp);
    return cir::MethodAttr::get(ty, methodFuncSymbolRef);
  }
 
  cir::MethodAttr getNullMethodAttr(cir::MethodType ty) {
    return cir::MethodAttr::get(ty);
  }
 
  cir::BoolAttr getCIRBoolAttr(bool state) {
    return cir::BoolAttr::get(getContext(), state);
  }
 
  cir::BoolAttr getTrueAttr() { return getCIRBoolAttr(true); }
  cir::BoolAttr getFalseAttr() { return getCIRBoolAttr(false); }
 
  //
  // Floating point specific helpers
  // -------------------------------
  //
 
  /// Enable/Disable use of constrained floating point math. When enabled the
  /// CreateF<op>() calls instead create constrained floating point intrinsic
  /// calls. Fast math flags are unaffected by this setting.
  void setIsFPConstrained(bool isCon) { isFPConstrained = isCon; }
 
  /// Query for the use of constrained floating point math
  bool getIsFPConstrained() const { return isFPConstrained; }
 
  /// Set the exception handling to be used with constrained floating point
  void setDefaultConstrainedExcept(
      clang::LangOptions::FPExceptionModeKind newExcept) {
    defaultConstrainedExcept = newExcept;
  }
 
  /// Get the exception handling used with constrained floating point
  clang::LangOptions::FPExceptionModeKind getDefaultConstrainedExcept() const {
    return defaultConstrainedExcept;
  }
 
  /// Set the rounding mode handling to be used with constrained floating point
  void setDefaultConstrainedRounding(llvm::RoundingMode newRounding) {
    defaultConstrainedRounding = newRounding;
  }
 
  /// Get the rounding mode handling used with constrained floating point
  llvm::RoundingMode getDefaultConstrainedRounding() const {
    return defaultConstrainedRounding;
  }
 
  /// Build the `#cir.fenv` attribute describing the constrained floating-point
  /// environment currently in effect. This is attached to floating-point
  /// operations that support it to capture the rounding and exception
  /// behavior. Returns a null attribute when constrained floating-point is not
  /// enabled, in which case no attribute should be attached.
  cir::FenvAttr getConstrainedFPAttr() {
    if (!isFPConstrained)
      return {};
 
    cir::FPDynamicRoundingMode roundingMode;
    switch (defaultConstrainedRounding) {
    case llvm::RoundingMode::NearestTiesToEven:
      roundingMode = cir::FPDynamicRoundingMode::ToNearest;
      break;
    case llvm::RoundingMode::TowardNegative:
      roundingMode = cir::FPDynamicRoundingMode::Downward;
      break;
    case llvm::RoundingMode::TowardPositive:
      roundingMode = cir::FPDynamicRoundingMode::Upward;
      break;
    case llvm::RoundingMode::TowardZero:
      roundingMode = cir::FPDynamicRoundingMode::UpwardZero;
      break;
    case llvm::RoundingMode::NearestTiesToAway:
      roundingMode = cir::FPDynamicRoundingMode::ToNearestAway;
      break;
    case llvm::RoundingMode::Dynamic:
      roundingMode = cir::FPDynamicRoundingMode::Unknown;
      break;
    default:
      llvm_unreachable("unexpected constrained rounding mode");
    }
 
    cir::FPExceptionMode exceptMode;
    bool strictExcept;
    switch (defaultConstrainedExcept) {
    case clang::LangOptions::FPE_Ignore:
      exceptMode = cir::FPExceptionMode::Masked;
      strictExcept = false;
      break;
    case clang::LangOptions::FPE_MayTrap:
      exceptMode = cir::FPExceptionMode::Unknown;
      strictExcept = false;
      break;
    case clang::LangOptions::FPE_Strict:
      exceptMode = cir::FPExceptionMode::Unknown;
      strictExcept = true;
      break;
    default:
      llvm_unreachable("unexpected constrained exception mode");
    }
 
    return cir::FenvAttr::get(getContext(), roundingMode, exceptMode,
                              mlir::BoolAttr::get(getContext(), strictExcept));
  }
 
  mlir::Value createComplexCreate(mlir::Location loc, mlir::Value real,
                                  mlir::Value imag) {
    auto resultComplexTy = cir::ComplexType::get(real.getType());
    return cir::ComplexCreateOp::create(*this, loc, resultComplexTy, real,
                                        imag);
  }
 
  mlir::Value createComplexReal(mlir::Location loc, mlir::Value operand) {
    auto resultType = operand.getType();
    if (auto complexResultType = mlir::dyn_cast<cir::ComplexType>(resultType))
      resultType = complexResultType.getElementType();
    return cir::ComplexRealOp::create(*this, loc, resultType, operand);
  }
 
  mlir::Value createComplexImag(mlir::Location loc, mlir::Value operand) {
    auto resultType = operand.getType();
    if (auto complexResultType = mlir::dyn_cast<cir::ComplexType>(resultType))
      resultType = complexResultType.getElementType();
    return cir::ComplexImagOp::create(*this, loc, resultType, operand);
  }
 
  mlir::Value createComplexConj(mlir::Location loc, mlir::Value operand) {
    return cir::ComplexConjOp::create(*this, loc, operand.getType(), operand);
  }
 
  cir::LoadOp createLoad(mlir::Location loc, mlir::Value ptr,
                         bool isVolatile = false, uint64_t alignment = 0,
                         bool isNontemporal = false) {
    mlir::IntegerAttr alignmentAttr = getAlignmentAttr(alignment);
    return cir::LoadOp::create(*this, loc, ptr, /*isDeref=*/false, isVolatile,
                               isNontemporal, alignmentAttr,
                               cir::SyncScopeKindAttr{}, cir::MemOrderAttr{},
                               /*invariant=*/false);
  }
 
  mlir::Value createAlignedLoad(mlir::Location loc, mlir::Value ptr,
                                uint64_t alignment) {
    return createLoad(loc, ptr, /*isVolatile=*/false, alignment);
  }
 
  mlir::Value createNot(mlir::Location loc, mlir::Value value) {
    return cir::NotOp::create(*this, loc, value);
  }
 
  mlir::Value createNot(mlir::Value value) {
    return createNot(value.getLoc(), value);
  }
 
  /// Create a do-while operation.
  cir::DoWhileOp createDoWhile(
      mlir::Location loc,
      llvm::function_ref<void(mlir::OpBuilder &, mlir::Location)> condBuilder,
      llvm::function_ref<void(mlir::OpBuilder &, mlir::Location)> bodyBuilder) {
    return cir::DoWhileOp::create(*this, loc, condBuilder, bodyBuilder);
  }
 
  /// Create a while operation.
  cir::WhileOp createWhile(
      mlir::Location loc,
      llvm::function_ref<void(mlir::OpBuilder &, mlir::Location)> condBuilder,
      llvm::function_ref<void(mlir::OpBuilder &, mlir::Location)> bodyBuilder) {
    return cir::WhileOp::create(*this, loc, condBuilder, bodyBuilder);
  }
 
  /// Create a while operation with a per-iteration cleanup region.
  cir::WhileOp createWhile(
      mlir::Location loc,
      llvm::function_ref<void(mlir::OpBuilder &, mlir::Location)> condBuilder,
      llvm::function_ref<void(mlir::OpBuilder &, mlir::Location)> bodyBuilder,
      llvm::function_ref<void(mlir::OpBuilder &, mlir::Location)>
          cleanupBuilder,
      cir::CleanupKind cleanupKind) {
    return cir::WhileOp::create(*this, loc, condBuilder, bodyBuilder,
                                cleanupBuilder, cleanupKind);
  }
 
  /// Create a for operation.
  cir::ForOp createFor(
      mlir::Location loc,
      llvm::function_ref<void(mlir::OpBuilder &, mlir::Location)> condBuilder,
      llvm::function_ref<void(mlir::OpBuilder &, mlir::Location)> bodyBuilder,
      llvm::function_ref<void(mlir::OpBuilder &, mlir::Location)> stepBuilder) {
    return cir::ForOp::create(*this, loc, condBuilder, bodyBuilder,
                              stepBuilder);
  }
 
  /// Create a for operation with a per-iteration cleanup region.
  cir::ForOp createFor(
      mlir::Location loc,
      llvm::function_ref<void(mlir::OpBuilder &, mlir::Location)> condBuilder,
      llvm::function_ref<void(mlir::OpBuilder &, mlir::Location)> bodyBuilder,
      llvm::function_ref<void(mlir::OpBuilder &, mlir::Location)> stepBuilder,
      llvm::function_ref<void(mlir::OpBuilder &, mlir::Location)>
          cleanupBuilder,
      cir::CleanupKind cleanupKind) {
    return cir::ForOp::create(*this, loc, condBuilder, bodyBuilder, stepBuilder,
                              cleanupBuilder, cleanupKind);
  }
 
  /// Create a break operation.
  cir::BreakOp createBreak(mlir::Location loc) {
    return cir::BreakOp::create(*this, loc);
  }
 
  /// Create a continue operation.
  cir::ContinueOp createContinue(mlir::Location loc) {
    return cir::ContinueOp::create(*this, loc);
  }
 
  mlir::Value createInc(mlir::Location loc, mlir::Value input,
                        bool nsw = false) {
    return cir::IncOp::create(*this, loc, input, nsw);
  }
 
  mlir::Value createDec(mlir::Location loc, mlir::Value input,
                        bool nsw = false) {
    return cir::DecOp::create(*this, loc, input, nsw);
  }
 
  mlir::Value createMinus(mlir::Location loc, mlir::Value input,
                          bool nsw = false) {
    return cir::MinusOp::create(*this, loc, input, nsw);
  }
 
  mlir::TypedAttr getConstPtrAttr(mlir::Type type, int64_t value) {
    return cir::ConstPtrAttr::get(type, getI64IntegerAttr(value));
  }
 
  mlir::Value createAlloca(mlir::Location loc, cir::PointerType addrType,
                           llvm::StringRef name, mlir::IntegerAttr alignment,
                           mlir::Value dynAllocSize) {
    return cir::AllocaOp::create(*this, loc, addrType, name, alignment,
                                 dynAllocSize);
  }
 
  mlir::Value createAlloca(mlir::Location loc, cir::PointerType addrType,
                           mlir::Type type, llvm::StringRef name,
                           clang::CharUnits alignment,
                           mlir::Value dynAllocSize) {
    mlir::IntegerAttr alignmentAttr = getAlignmentAttr(alignment);
    return createAlloca(loc, addrType, name, alignmentAttr, dynAllocSize);
  }
 
  mlir::Value createAlloca(mlir::Location loc, cir::PointerType addrType,
                           llvm::StringRef name, mlir::IntegerAttr alignment) {
    return cir::AllocaOp::create(*this, loc, addrType, name, alignment);
  }
 
  mlir::Value createAlloca(mlir::Location loc, cir::PointerType addrType,
                           llvm::StringRef name, clang::CharUnits alignment) {
    mlir::IntegerAttr alignmentAttr = getAlignmentAttr(alignment);
    return createAlloca(loc, addrType, name, alignmentAttr);
  }
 
  /// Get constant address of a global variable as an MLIR attribute.
  /// This wrapper infers the attribute type through the global op.
  cir::GlobalViewAttr getGlobalViewAttr(cir::GlobalOp globalOp,
                                        mlir::ArrayAttr indices = {}) {
    cir::PointerType type = getPointerTo(globalOp.getSymType());
    return getGlobalViewAttr(type, globalOp, indices);
  }
 
  /// Get constant address of a global variable as an MLIR attribute.
  cir::GlobalViewAttr getGlobalViewAttr(cir::PointerType type,
                                        cir::GlobalOp globalOp,
                                        mlir::ArrayAttr indices = {}) {
    auto symbol = mlir::FlatSymbolRefAttr::get(globalOp.getSymNameAttr());
    return cir::GlobalViewAttr::get(type, symbol, indices);
  }
 
  /// Get constant address of a global variable as an MLIR attribute.
  /// This overload converts raw int64_t indices to an ArrayAttr.
  cir::GlobalViewAttr getGlobalViewAttr(cir::PointerType type,
                                        cir::GlobalOp globalOp,
                                        llvm::ArrayRef<int64_t> indices) {
    llvm::SmallVector<mlir::Attribute> attrs;
    for (int64_t ind : indices)
      attrs.push_back(getI64IntegerAttr(ind));
    mlir::ArrayAttr arAttr = mlir::ArrayAttr::get(getContext(), attrs);
    return getGlobalViewAttr(type, globalOp, arAttr);
  }
 
  cir::GetGlobalOp createGetGlobal(mlir::Location loc, cir::GlobalOp global,
                                   bool threadLocal = false) {
    assert(!cir::MissingFeatures::addressSpace());
    return cir::GetGlobalOp::create(*this, loc,
                                    getPointerTo(global.getSymType()),
                                    global.getSymNameAttr(), threadLocal);
  }
 
  cir::GetGlobalOp createGetGlobal(cir::GlobalOp global,
                                   bool threadLocal = false) {
    return createGetGlobal(global.getLoc(), global, threadLocal);
  }
 
  /// Create a copy with inferred length.
  cir::CopyOp createCopy(mlir::Value dst, mlir::Value src,
                         bool isVolatile = false,
                         bool skipTailPadding = false) {
    return cir::CopyOp::create(*this, dst.getLoc(), dst, src,
                               /*dst_alignment=*/{}, /*src_alignment=*/{},
                               isVolatile, skipTailPadding);
  }
 
  cir::StoreOp createStore(mlir::Location loc, mlir::Value val, mlir::Value dst,
                           bool isVolatile = false, bool isNontemporal = false,
                           mlir::IntegerAttr align = {},
                           cir::SyncScopeKindAttr scope = {},
                           cir::MemOrderAttr order = {}) {
    if (mlir::cast<cir::PointerType>(dst.getType()).getPointee() !=
        val.getType())
      dst = createPtrBitcast(dst, val.getType());
    return cir::StoreOp::create(*this, loc, val, dst, isVolatile, isNontemporal,
                                align, scope, order);
  }
 
  /// Emit a load from an boolean flag variable.
  cir::LoadOp createFlagLoad(mlir::Location loc, mlir::Value addr) {
    mlir::Type boolTy = getBoolTy();
    if (boolTy != mlir::cast<cir::PointerType>(addr.getType()).getPointee())
      addr = createPtrBitcast(addr, boolTy);
    return createLoad(loc, addr, /*isVolatile=*/false, /*alignment=*/1);
  }
 
  cir::StoreOp createFlagStore(mlir::Location loc, bool val, mlir::Value dst) {
    mlir::Value flag = getBool(val, loc);
    return CIRBaseBuilderTy::createStore(loc, flag, dst);
  }
 
  [[nodiscard]] cir::GlobalOp
  createGlobal(mlir::ModuleOp mlirModule, mlir::Location loc,
               mlir::StringRef name, mlir::Type type, bool isConstant,
               cir::GlobalLinkageKind linkage,
               mlir::ptr::MemorySpaceAttrInterface addrSpace) {
    mlir::OpBuilder::InsertionGuard guard(*this);
    setInsertionPointToStart(mlirModule.getBody());
    return cir::GlobalOp::create(*this, loc, name, type, isConstant, addrSpace,
                                 linkage);
  }
 
  cir::GetMemberOp createGetMember(mlir::Location loc, mlir::Type resultTy,
                                   mlir::Value base, llvm::StringRef name,
                                   unsigned index) {
    return cir::GetMemberOp::create(*this, loc, resultTy, base, name, index);
  }
 
  mlir::Value createDummyValue(mlir::Location loc, mlir::Type type,
                               clang::CharUnits alignment) {
    mlir::IntegerAttr alignmentAttr = getAlignmentAttr(alignment);
    auto addr = createAlloca(loc, getPointerTo(type), {}, alignmentAttr);
    return cir::LoadOp::create(*this, loc, addr, /*isDeref=*/false,
                               /*isVolatile=*/false, /*nontemporal=*/false,
                               alignmentAttr,
                               /*sync_scope=*/{}, /*mem_order=*/{},
                               /*invariant=*/false);
  }
 
  cir::PtrStrideOp createPtrStride(mlir::Location loc, mlir::Value base,
                                   mlir::Value stride) {
    return cir::PtrStrideOp::create(*this, loc, base.getType(), base, stride);
  }
 
  //===--------------------------------------------------------------------===//
  // Call operators
  //===--------------------------------------------------------------------===//
 
  cir::CallOp createCallOp(mlir::Location loc, mlir::SymbolRefAttr callee,
                           mlir::Type returnType, mlir::ValueRange operands,
                           llvm::ArrayRef<mlir::NamedAttribute> attrs = {},
                           llvm::ArrayRef<mlir::NamedAttrList> argAttrs = {},
                           llvm::ArrayRef<mlir::NamedAttribute> resAttrs = {}) {
    auto op = cir::CallOp::create(*this, loc, callee, returnType, operands);
    op->setAttrs(attrs);
 
    if (!argAttrs.empty()) {
      llvm::SmallVector<mlir::Attribute> argDictAttrs;
      argDictAttrs.reserve(argAttrs.size());
 
      llvm::transform(
          argAttrs, std::back_inserter(argDictAttrs),
          [this](llvm::ArrayRef<mlir::NamedAttribute> singleArgAttrs) {
            return mlir::DictionaryAttr::get(getContext(), singleArgAttrs);
          });
 
      op.setArgAttrsAttr(mlir::ArrayAttr::get(getContext(), argDictAttrs));
    }
 
    if (!resAttrs.empty()) {
      auto resultDictAttr = mlir::DictionaryAttr::get(getContext(), resAttrs);
      op.setResAttrsAttr(mlir::ArrayAttr::get(getContext(), resultDictAttr));
    }
    return op;
  }
 
  cir::CallOp createCallOp(mlir::Location loc, cir::FuncOp callee,
                           mlir::ValueRange operands,
                           llvm::ArrayRef<mlir::NamedAttribute> attrs = {},
                           llvm::ArrayRef<mlir::NamedAttrList> argAttrs = {},
                           llvm::ArrayRef<mlir::NamedAttribute> resAttrs = {}) {
    return createCallOp(loc, mlir::SymbolRefAttr::get(callee),
                        callee.getFunctionType().getReturnType(), operands,
                        attrs, argAttrs, resAttrs);
  }
 
  cir::CallOp
  createIndirectCallOp(mlir::Location loc, mlir::Value indirectTarget,
                       cir::FuncType funcType, mlir::ValueRange operands,
                       llvm::ArrayRef<mlir::NamedAttribute> attrs = {},
                       llvm::ArrayRef<mlir::NamedAttrList> argAttrs = {},
                       llvm::ArrayRef<mlir::NamedAttribute> resAttrs = {}) {
    llvm::SmallVector<mlir::Value> resOperands{indirectTarget};
    resOperands.append(operands.begin(), operands.end());
 
    return createCallOp(loc, mlir::SymbolRefAttr(), funcType.getReturnType(),
                        resOperands, attrs, argAttrs, resAttrs);
  }
 
  cir::CallOp createCallOp(mlir::Location loc, mlir::SymbolRefAttr callee,
                           mlir::ValueRange operands = mlir::ValueRange(),
                           llvm::ArrayRef<mlir::NamedAttribute> attrs = {},
                           llvm::ArrayRef<mlir::NamedAttrList> argAttrs = {},
                           llvm::ArrayRef<mlir::NamedAttribute> resAttrs = {}) {
    return createCallOp(loc, callee, cir::VoidType(), operands, attrs, argAttrs,
                        resAttrs);
  }
 
  //===--------------------------------------------------------------------===//
  // Cast/Conversion Operators
  //===--------------------------------------------------------------------===//
 
  mlir::Value createCast(mlir::Location loc, cir::CastKind kind,
                         mlir::Value src, mlir::Type newTy) {
    if (newTy == src.getType())
      return src;
    return cir::CastOp::create(*this, loc, newTy, kind, src);
  }
 
  mlir::Value createCast(cir::CastKind kind, mlir::Value src,
                         mlir::Type newTy) {
    if (newTy == src.getType())
      return src;
    return createCast(src.getLoc(), kind, src, newTy);
  }
 
  // Creates a cast from bool or int to an integer type.
  mlir::Value createBoolIntToIntCast(mlir::Value src, mlir::Type newTy) {
    if (newTy == src.getType())
      return src;
    if (src.getType() == getBoolTy())
      return createBoolToInt(src, newTy);
    return createIntCast(src, newTy);
  }
 
  mlir::Value createIntCast(mlir::Value src, mlir::Type newTy) {
    return createCast(cir::CastKind::integral, src, newTy);
  }
 
  mlir::Value createBuiltinIntCast(mlir::Location loc, mlir::Value src,
                                   mlir::Type newTy) {
    return cir::BuiltinIntCastOp::create(*this, loc, newTy, src);
  }
 
  mlir::Value createBuiltinIntCast(mlir::Value src, mlir::Type newTy) {
    return createBuiltinIntCast(src.getLoc(), src, newTy);
  }
 
  mlir::Value createIntToPtr(mlir::Value src, mlir::Type newTy) {
    return createCast(cir::CastKind::int_to_ptr, src, newTy);
  }
 
  mlir::Value createPtrToInt(mlir::Value src, mlir::Type newTy) {
    return createCast(cir::CastKind::ptr_to_int, src, newTy);
  }
 
  mlir::Value createPtrToBoolCast(mlir::Value v) {
    return createCast(cir::CastKind::ptr_to_bool, v, getBoolTy());
  }
 
  mlir::Value createBoolToInt(mlir::Value src, mlir::Type newTy) {
    return createCast(cir::CastKind::bool_to_int, src, newTy);
  }
 
  mlir::Value createBitcast(mlir::Value src, mlir::Type newTy) {
    return createCast(cir::CastKind::bitcast, src, newTy);
  }
 
  mlir::Value createBitcast(mlir::Location loc, mlir::Value src,
                            mlir::Type newTy) {
    return createCast(loc, cir::CastKind::bitcast, src, newTy);
  }
 
  mlir::Value createPtrBitcast(mlir::Value src, mlir::Type newPointeeTy) {
    assert(mlir::isa<cir::PointerType>(src.getType()) && "expected ptr src");
    cir::PointerType srcPtrTy = mlir::cast<cir::PointerType>(src.getType());
    return createBitcast(src,
                         getPointerTo(newPointeeTy, srcPtrTy.getAddrSpace()));
  }
 
  mlir::Value createPtrIsNull(mlir::Value ptr) {
    mlir::Value nullPtr = getNullPtr(ptr.getType(), ptr.getLoc());
    return createCompare(ptr.getLoc(), cir::CmpOpKind::eq, ptr, nullPtr);
  }
 
  mlir::Value createPtrIsNotNull(mlir::Value ptr) {
    mlir::Value nullPtr = getNullPtr(ptr.getType(), ptr.getLoc());
    return createCompare(ptr.getLoc(), cir::CmpOpKind::ne, ptr, nullPtr);
  }
 
  mlir::Value createAddrSpaceCast(mlir::Location loc, mlir::Value src,
                                  mlir::Type newTy) {
    return createCast(loc, cir::CastKind::address_space, src, newTy);
  }
 
  mlir::Value createAddrSpaceCast(mlir::Value src, mlir::Type newTy) {
    return createAddrSpaceCast(src.getLoc(), src, newTy);
  }
 
  //===--------------------------------------------------------------------===//
  // Other Instructions
  //===--------------------------------------------------------------------===//
 
  mlir::Value createExtractElement(mlir::Location loc, mlir::Value vec,
                                   uint64_t idx) {
    mlir::Value idxVal =
        getConstAPInt(loc, getUIntNTy(64), llvm::APInt(64, idx));
    return cir::VecExtractOp::create(*this, loc, vec, idxVal);
  }
 
  mlir::Value createInsertElement(mlir::Location loc, mlir::Value vec,
                                  mlir::Value newElt, uint64_t idx) {
    mlir::Value idxVal =
        getConstAPInt(loc, getUIntNTy(64), llvm::APInt(64, idx));
    return cir::VecInsertOp::create(*this, loc, vec, newElt, idxVal);
  }
 
  cir::SignBitOp createSignBit(mlir::Location loc, mlir::Value val) {
    auto resTy = cir::BoolType::get(getContext());
    return cir::SignBitOp::create(*this, loc, resTy, val);
  }
 
  //===--------------------------------------------------------------------===//
  // Binary Operators
  //===--------------------------------------------------------------------===//
 
  mlir::Value createLowBitsSet(mlir::Location loc, unsigned size,
                               unsigned bits) {
    llvm::APInt val = llvm::APInt::getLowBitsSet(size, bits);
    auto type = cir::IntType::get(getContext(), size, /*isSigned=*/false);
    return getConstAPInt(loc, type, val);
  }
 
  mlir::Value createAnd(mlir::Location loc, mlir::Value lhs, mlir::Value rhs) {
    return cir::AndOp::create(*this, loc, lhs, rhs);
  }
 
  mlir::Value createOr(mlir::Location loc, mlir::Value lhs, mlir::Value rhs) {
    return cir::OrOp::create(*this, loc, lhs, rhs);
  }
 
  mlir::Value createSelect(mlir::Location loc, mlir::Value condition,
                           mlir::Value trueValue, mlir::Value falseValue) {
    assert(trueValue.getType() == falseValue.getType() &&
           "trueValue and falseValue should have the same type");
    return cir::SelectOp::create(*this, loc, trueValue.getType(), condition,
                                 trueValue, falseValue);
  }
 
  mlir::Value createLogicalAnd(mlir::Location loc, mlir::Value lhs,
                               mlir::Value rhs) {
    return createSelect(loc, lhs, rhs, getBool(false, loc));
  }
 
  mlir::Value createLogicalOr(mlir::Location loc, mlir::Value lhs,
                              mlir::Value rhs) {
    return createSelect(loc, lhs, getBool(true, loc), rhs);
  }
 
  mlir::Value createMul(mlir::Location loc, mlir::Value lhs, mlir::Value rhs,
                        OverflowBehavior ob = OverflowBehavior::None) {
    auto op = cir::MulOp::create(*this, loc, lhs, rhs);
    op.setNoUnsignedWrap(testFlag(ob, OverflowBehavior::NoUnsignedWrap));
    op.setNoSignedWrap(testFlag(ob, OverflowBehavior::NoSignedWrap));
    return op;
  }
  mlir::Value createNSWMul(mlir::Location loc, mlir::Value lhs,
                           mlir::Value rhs) {
    return createMul(loc, lhs, rhs, OverflowBehavior::NoSignedWrap);
  }
  mlir::Value createNUWAMul(mlir::Location loc, mlir::Value lhs,
                            mlir::Value rhs) {
    return createMul(loc, lhs, rhs, OverflowBehavior::NoUnsignedWrap);
  }
 
  mlir::Value createSub(mlir::Location loc, mlir::Value lhs, mlir::Value rhs,
                        OverflowBehavior ob = OverflowBehavior::None) {
    auto op = cir::SubOp::create(*this, loc, lhs, rhs);
    op.setNoUnsignedWrap(testFlag(ob, OverflowBehavior::NoUnsignedWrap));
    op.setNoSignedWrap(testFlag(ob, OverflowBehavior::NoSignedWrap));
    op.setSaturated(testFlag(ob, OverflowBehavior::Saturated));
    return op;
  }
 
  mlir::Value createNSWSub(mlir::Location loc, mlir::Value lhs,
                           mlir::Value rhs) {
    return createSub(loc, lhs, rhs, OverflowBehavior::NoSignedWrap);
  }
 
  mlir::Value createNUWSub(mlir::Location loc, mlir::Value lhs,
                           mlir::Value rhs) {
    return createSub(loc, lhs, rhs, OverflowBehavior::NoUnsignedWrap);
  }
 
  mlir::Value createAdd(mlir::Location loc, mlir::Value lhs, mlir::Value rhs,
                        OverflowBehavior ob = OverflowBehavior::None) {
    auto op = cir::AddOp::create(*this, loc, lhs, rhs);
    op.setNoUnsignedWrap(testFlag(ob, OverflowBehavior::NoUnsignedWrap));
    op.setNoSignedWrap(testFlag(ob, OverflowBehavior::NoSignedWrap));
    op.setSaturated(testFlag(ob, OverflowBehavior::Saturated));
    return op;
  }
 
  mlir::Value createNSWAdd(mlir::Location loc, mlir::Value lhs,
                           mlir::Value rhs) {
    return createAdd(loc, lhs, rhs, OverflowBehavior::NoSignedWrap);
  }
 
  mlir::Value createNUWAdd(mlir::Location loc, mlir::Value lhs,
                           mlir::Value rhs) {
    return createAdd(loc, lhs, rhs, OverflowBehavior::NoUnsignedWrap);
  }
 
  mlir::Value createDiv(mlir::Location loc, mlir::Value lhs, mlir::Value rhs) {
    return cir::DivOp::create(*this, loc, lhs, rhs);
  }
 
  mlir::Value createRem(mlir::Location loc, mlir::Value lhs, mlir::Value rhs) {
    return cir::RemOp::create(*this, loc, lhs, rhs);
  }
 
  mlir::Value createFAdd(mlir::Location loc, mlir::Value lhs, mlir::Value rhs) {
    assert(!cir::MissingFeatures::metaDataNode());
    assert(!cir::MissingFeatures::fastMathFlags());
    return cir::FAddOp::create(*this, loc, lhs, rhs, getConstrainedFPAttr());
  }
 
  mlir::Value createFSub(mlir::Location loc, mlir::Value lhs, mlir::Value rhs) {
    assert(!cir::MissingFeatures::metaDataNode());
    assert(!cir::MissingFeatures::fastMathFlags());
    return cir::FSubOp::create(*this, loc, lhs, rhs, getConstrainedFPAttr());
  }
 
  mlir::Value createFMul(mlir::Location loc, mlir::Value lhs, mlir::Value rhs) {
    assert(!cir::MissingFeatures::metaDataNode());
    assert(!cir::MissingFeatures::fastMathFlags());
    return cir::FMulOp::create(*this, loc, lhs, rhs, getConstrainedFPAttr());
  }
 
  mlir::Value createFDiv(mlir::Location loc, mlir::Value lhs, mlir::Value rhs) {
    assert(!cir::MissingFeatures::metaDataNode());
    assert(!cir::MissingFeatures::fastMathFlags());
    return cir::FDivOp::create(*this, loc, lhs, rhs, getConstrainedFPAttr());
  }
 
  mlir::Value createFRem(mlir::Location loc, mlir::Value lhs, mlir::Value rhs) {
    assert(!cir::MissingFeatures::metaDataNode());
    assert(!cir::MissingFeatures::fastMathFlags());
    return cir::FRemOp::create(*this, loc, lhs, rhs, getConstrainedFPAttr());
  }
 
  mlir::Value createFNeg(mlir::Location loc, mlir::Value operand) {
    assert(cir::isFPOrVectorOfFPType(operand.getType()) &&
           "expected floating-point or vector-of-float type");
    assert(!cir::MissingFeatures::metaDataNode());
    assert(!cir::MissingFeatures::fastMathFlags());
    // fneg does not raise FP exceptions or depend on the rounding mode, so it
    // never carries an fenv attribute.
    return cir::FNegOp::create(*this, loc, operand);
  }
 
  mlir::Value createXor(mlir::Location loc, mlir::Value lhs, mlir::Value rhs) {
    return cir::XorOp::create(*this, loc, lhs, rhs);
  }
 
  mlir::Value createMax(mlir::Location loc, mlir::Value lhs, mlir::Value rhs) {
    return cir::MaxOp::create(*this, loc, lhs, rhs);
  }
 
  cir::CmpOp createCompare(mlir::Location loc, cir::CmpOpKind kind,
                           mlir::Value lhs, mlir::Value rhs) {
    cir::FenvAttr fenv;
    if (cir::isAnyFloatingPointType(lhs.getType()))
      fenv = getConstrainedFPAttr();
    return cir::CmpOp::create(*this, loc, kind, lhs, rhs, fenv);
  }
 
  cir::VecCmpOp createVecCompare(mlir::Location loc, cir::CmpOpKind kind,
                                 mlir::Value lhs, mlir::Value rhs) {
    VectorType vecCast = mlir::cast<VectorType>(lhs.getType());
    IntType integralTy =
        getSIntNTy(getCIRIntOrFloatBitWidth(vecCast.getElementType()));
    VectorType integralVecTy =
        cir::VectorType::get(integralTy, vecCast.getSize());
    cir::FenvAttr fenv;
    if (cir::isFPOrVectorOfFPType(lhs.getType()))
      fenv = getConstrainedFPAttr();
    return cir::VecCmpOp::create(*this, loc, integralVecTy, kind, lhs, rhs,
                                 fenv);
  }
 
  mlir::Value createIsNaN(mlir::Location loc, mlir::Value operand) {
    return createCompare(loc, cir::CmpOpKind::ne, operand, operand);
  }
 
  mlir::Value createShift(mlir::Location loc, mlir::Value lhs, mlir::Value rhs,
                          bool isShiftLeft) {
    return cir::ShiftOp::create(*this, loc, lhs.getType(), lhs, rhs,
                                isShiftLeft);
  }
 
  mlir::Value createShift(mlir::Location loc, mlir::Value lhs,
                          const llvm::APInt &rhs, bool isShiftLeft) {
    return createShift(loc, lhs, getConstAPInt(loc, lhs.getType(), rhs),
                       isShiftLeft);
  }
 
  mlir::Value createShift(mlir::Location loc, mlir::Value lhs, unsigned bits,
                          bool isShiftLeft) {
    auto width = mlir::dyn_cast<cir::IntType>(lhs.getType()).getWidth();
    auto shift = llvm::APInt(width, bits);
    return createShift(loc, lhs, shift, isShiftLeft);
  }
 
  mlir::Value createShiftLeft(mlir::Location loc, mlir::Value lhs,
                              unsigned bits) {
    return createShift(loc, lhs, bits, true);
  }
 
  mlir::Value createShiftRight(mlir::Location loc, mlir::Value lhs,
                               unsigned bits) {
    return createShift(loc, lhs, bits, false);
  }
 
  mlir::Value createShiftLeft(mlir::Location loc, mlir::Value lhs,
                              mlir::Value rhs) {
    return createShift(loc, lhs, rhs, true);
  }
 
  mlir::Value createShiftRight(mlir::Location loc, mlir::Value lhs,
                               mlir::Value rhs) {
    return createShift(loc, lhs, rhs, false);
  }
 
  /// Returns `void (T...)` as a cir::FuncType.
  cir::FuncType getVoidFnTy(mlir::TypeRange argTypes = {}) {
    return cir::FuncType::get(llvm::to_vector(argTypes), getVoidTy());
  }
 
  /// Returns `void (*)(T...)` as a cir::PointerType.
  cir::PointerType getVoidFnPtrTy(mlir::TypeRange argTypes = {}) {
    return getPointerTo(getVoidFnTy(argTypes));
  }
 
  //
  // Block handling helpers
  // ----------------------
  //
  static OpBuilder::InsertPoint getBestAllocaInsertPoint(mlir::Block *block) {
    auto last =
        std::find_if(block->rbegin(), block->rend(), [](mlir::Operation &op) {
          return mlir::isa<cir::AllocaOp, cir::LabelOp>(&op);
        });
 
    if (last != block->rend())
      return OpBuilder::InsertPoint(block, ++mlir::Block::iterator(&*last));
    return OpBuilder::InsertPoint(block, block->begin());
  };
 
  //
  // Alignment and size helpers
  //
 
  // Note that mlir::IntegerType is used instead of cir::IntType here because we
  // don't need sign information for these to be useful, so keep it simple.
 
  // For 0 alignment, any overload of `getAlignmentAttr` returns an empty
  // attribute.
  mlir::IntegerAttr getAlignmentAttr(clang::CharUnits alignment) {
    return getAlignmentAttr(alignment.getQuantity());
  }
 
  mlir::IntegerAttr getAlignmentAttr(llvm::Align alignment) {
    return getAlignmentAttr(alignment.value());
  }
 
  mlir::IntegerAttr getAlignmentAttr(int64_t alignment) {
    return alignment ? getI64IntegerAttr(alignment) : mlir::IntegerAttr();
  }
 
  // Materialize an alignment value as a CIR integer constant of the given
  // integer type.
  cir::ConstantOp getAlignment(mlir::Location loc, mlir::Type t,
                               clang::CharUnits alignment) {
    return getConstantInt(loc, t, alignment.getQuantity());
  }
 
  mlir::IntegerAttr getSizeFromCharUnits(clang::CharUnits size) {
    return getI64IntegerAttr(size.getQuantity());
  }
 
  // Creates constant nullptr for pointer type ty.
  cir::ConstantOp getNullPtr(mlir::Type ty, mlir::Location loc) {
    assert(!cir::MissingFeatures::targetCodeGenInfoGetNullPointer());
    return cir::ConstantOp::create(*this, loc, getConstPtrAttr(ty, 0));
  }
 
  /// Create a loop condition.
  cir::ConditionOp createCondition(mlir::Value condition) {
    return cir::ConditionOp::create(*this, condition.getLoc(), condition);
  }
 
  /// Create a yield operation.
  cir::YieldOp createYield(mlir::Location loc, mlir::ValueRange value = {}) {
    return cir::YieldOp::create(*this, loc, value);
  }
 
  struct GetMethodResults {
    mlir::Value callee;
    mlir::Value adjustedThis;
  };
 
  GetMethodResults createGetMethod(mlir::Location loc, mlir::Value method,
                                   mlir::Value objectPtr) {
    // Build the callee function type.
    auto methodFuncTy =
        mlir::cast<cir::MethodType>(method.getType()).getMemberFuncTy();
    auto methodFuncInputTypes = methodFuncTy.getInputs();
 
    auto objectPtrTy = mlir::cast<cir::PointerType>(objectPtr.getType());
    mlir::Type adjustedThisTy = getVoidPtrTy(objectPtrTy.getAddrSpace());
 
    llvm::SmallVector<mlir::Type> calleeFuncInputTypes{adjustedThisTy};
    // The member function type's first parameter is the implicit 'this'
    // pointer.  The callee takes an adjusted void* receiver instead.
    if (methodFuncInputTypes.size() > 1)
      calleeFuncInputTypes.insert(calleeFuncInputTypes.end(),
                                  methodFuncInputTypes.begin() + 1,
                                  methodFuncInputTypes.end());
    cir::FuncType calleeFuncTy =
        methodFuncTy.clone(calleeFuncInputTypes, methodFuncTy.getReturnType());
    // TODO(cir): consider the address space of the callee.
    assert(!cir::MissingFeatures::addressSpace());
    cir::PointerType calleeTy = getPointerTo(calleeFuncTy);
 
    auto op = cir::GetMethodOp::create(*this, loc, calleeTy, adjustedThisTy,
                                       method, objectPtr);
    return {op.getCallee(), op.getAdjustedThis()};
  }
};
 
} // namespace cir
 
#endif