Lines Matching refs:fir
21 using namespace fir;
31 if (auto st = inType.dyn_cast<fir::SequenceType>()) { in verifyInType()
36 if (shape[i] != fir::SequenceType::getUnknownExtent()) in verifyInType()
41 } else if (auto rt = inType.dyn_cast<fir::RecordType>()) { in verifyInType()
51 } else if (auto rt = inType.dyn_cast<fir::PointerType>()) { in verifyInType()
59 if (auto rt = inType.dyn_cast<fir::RecordType>()) in verifyRecordLenParams()
70 mlir::OpFoldResult fir::AddfOp::fold(llvm::ArrayRef<mlir::Attribute> opnds) { in fold()
79 mlir::Type fir::AllocaOp::getAllocatedType() { in getAllocatedType()
84 mlir::Type fir::AllocaOp::wrapResultType(mlir::Type intype) { in wrapResultType()
91 mlir::Type fir::AllocaOp::getRefTy(mlir::Type ty) { in getRefTy()
99 mlir::Type fir::AllocMemOp::getAllocatedType() { in getAllocatedType()
103 mlir::Type fir::AllocMemOp::getRefTy(mlir::Type ty) { in getRefTy()
108 mlir::Type fir::AllocMemOp::wrapResultType(mlir::Type intype) { in wrapResultType()
122 mlir::OpFoldResult fir::BoxAddrOp::fold(llvm::ArrayRef<mlir::Attribute> opnds) { in fold()
124 if (auto box = dyn_cast<fir::EmboxOp>(v)) in fold()
126 if (auto box = dyn_cast<fir::EmboxCharOp>(v)) in fold()
137 fir::BoxCharLenOp::fold(llvm::ArrayRef<mlir::Attribute> opnds) { in fold()
139 if (auto box = dyn_cast<fir::EmboxCharOp>(v)) in fold()
150 mlir::Type fir::BoxDimsOp::getTupleType() { in getTupleType()
161 static void printCallOp(mlir::OpAsmPrinter &p, fir::CallOp &op) { in printCallOp()
170 p.printOptionalAttrDict(op.getAttrs(), {fir::CallOp::calleeAttrName()}); in printCallOp()
187 if (parser.parseAttribute(funcAttr, fir::CallOp::calleeAttrName(), attrs)) in parseCallOp()
224 mlir::CmpFPredicate fir::CmpfOp::getPredicateByName(llvm::StringRef name) { in getPredicateByName()
230 void fir::buildCmpFOp(OpBuilder &builder, OperationState &result, in buildCmpFOp()
278 auto predicate = fir::CmpfOp::getPredicateByName(predicateName); in parseCmpOp()
288 mlir::ParseResult fir::parseCmpfOp(mlir::OpAsmParser &parser, in parseCmpfOp()
290 return parseCmpOp<fir::CmpfOp>(parser, result); in parseCmpfOp()
297 void fir::buildCmpCOp(OpBuilder &builder, OperationState &result, in buildCmpCOp()
302 fir::CmpcOp::getPredicateAttrName(), in buildCmpCOp()
306 static void printCmpcOp(OpAsmPrinter &p, fir::CmpcOp op) { printCmpOp(p, op); } in printCmpcOp()
308 mlir::ParseResult fir::parseCmpcOp(mlir::OpAsmParser &parser, in parseCmpcOp()
310 return parseCmpOp<fir::CmpcOp>(parser, result); in parseCmpcOp()
317 mlir::OpFoldResult fir::ConvertOp::fold(llvm::ArrayRef<mlir::Attribute> opnds) { in fold()
320 if (matchPattern(value(), m_Op<fir::ConvertOp>())) { in fold()
321 auto inner = cast<fir::ConvertOp>(value().getDefiningOp()); in fold()
323 if (auto toTy = getType().dyn_cast<fir::LogicalType>()) in fold()
324 if (auto fromTy = inner.value().getType().dyn_cast<fir::LogicalType>()) in fold()
330 if (inner.getType().isa<fir::LogicalType>() && (toTy == fromTy) && in fold()
337 bool fir::ConvertOp::isIntegerCompatible(mlir::Type ty) { in isIntegerCompatible()
339 ty.isa<fir::IntType>() || ty.isa<fir::LogicalType>() || in isIntegerCompatible()
340 ty.isa<fir::CharacterType>(); in isIntegerCompatible()
343 bool fir::ConvertOp::isFloatCompatible(mlir::Type ty) { in isFloatCompatible()
344 return ty.isa<mlir::FloatType>() || ty.isa<fir::RealType>(); in isFloatCompatible()
347 bool fir::ConvertOp::isPointerCompatible(mlir::Type ty) { in isPointerCompatible()
348 return ty.isa<fir::ReferenceType>() || ty.isa<fir::PointerType>() || in isPointerCompatible()
349 ty.isa<fir::HeapType>() || ty.isa<mlir::MemRefType>() || in isPointerCompatible()
350 ty.isa<fir::TypeDescType>(); in isPointerCompatible()
381 result.addAttribute(fir::CoordinateOp::baseType(), in parseCoordinateOp()
387 mlir::Type fir::CoordinateOp::getBaseType() { in getBaseType()
391 void fir::CoordinateOp::build(OpBuilder &, OperationState &result, in build()
396 result.addAttribute(fir::CoordinateOp::baseType(), in build()
402 void fir::CoordinateOp::build(OpBuilder &builder, OperationState &result, in build()
414 mlir::FunctionType fir::DispatchOp::getFunctionType() { in getFunctionType()
423 void fir::DispatchTableOp::appendTableEntry(mlir::Operation *op) { in appendTableEntry()
424 assert(mlir::isa<fir::DTEntryOp>(*op) && "operation must be a DTEntryOp"); in appendTableEntry()
447 result.addAttribute(fir::EmboxOp::lenpName(), lens); in parseEmboxOp()
456 if (parser.parseAttribute(map, fir::EmboxOp::layoutName(), in parseEmboxOp()
474 void fir::GenTypeDescOp::build(OpBuilder &, OperationState &result, in build()
489 if (fir::GlobalOp::verifyValidLinkage(linkage)) in parseGlobalOp()
492 result.addAttribute(fir::GlobalOp::linkageAttrName(), linkAttr); in parseGlobalOp()
497 if (parser.parseAttribute(nameAttr, fir::GlobalOp::symbolAttrName(), in parseGlobalOp()
506 if (parser.parseAttribute(attr, fir::GlobalOp::initValAttrName(), in parseGlobalOp()
515 result.addAttribute(fir::GlobalOp::constantAttrName(), in parseGlobalOp()
523 result.addAttribute(fir::GlobalOp::typeAttrName(), in parseGlobalOp()
537 void fir::GlobalOp::appendInitialValue(mlir::Operation *op) { in appendInitialValue()
541 void fir::GlobalOp::build(mlir::OpBuilder &builder, OperationState &result, in build()
559 void fir::GlobalOp::build(mlir::OpBuilder &builder, OperationState &result, in build()
565 void fir::GlobalOp::build(mlir::OpBuilder &builder, OperationState &result, in build()
571 void fir::GlobalOp::build(mlir::OpBuilder &builder, OperationState &result, in build()
577 void fir::GlobalOp::build(mlir::OpBuilder &builder, OperationState &result, in build()
583 void fir::GlobalOp::build(mlir::OpBuilder &builder, OperationState &result, in build()
589 mlir::ParseResult fir::GlobalOp::verifyValidLinkage(StringRef linkage) { in verifyValidLinkage()
600 void fir::IterWhileOp::build(mlir::OpBuilder &builder, in build()
685 fir::IterWhileOp::ensureTerminator(*body, builder, result.location); in parseIterWhileOp()
690 static mlir::LogicalResult verify(fir::IterWhileOp op) { in verify()
733 static void print(mlir::OpAsmPrinter &p, fir::IterWhileOp op) { in print()
734 p << fir::IterWhileOp::getOperationName() << " (" << op.getInductionVar() in print()
753 mlir::Region &fir::IterWhileOp::getLoopBody() { return region(); } in getLoopBody()
755 bool fir::IterWhileOp::isDefinedOutsideOfLoop(mlir::Value value) { in isDefinedOutsideOfLoop()
760 fir::IterWhileOp::moveOutOfLoop(llvm::ArrayRef<mlir::Operation *> ops) { in moveOutOfLoop()
778 mlir::ParseResult fir::LoadOp::getElementOf(mlir::Type &ele, mlir::Type ref) { in getElementOf()
788 void fir::LoopOp::build(mlir::OpBuilder &builder, mlir::OperationState &result, in build()
826 result.addAttribute(fir::LoopOp::unorderedAttrName(), in parseLoopOp()
863 fir::LoopOp::ensureTerminator(*body, builder, result.location); in parseLoopOp()
868 fir::LoopOp fir::getForInductionVarOwner(mlir::Value val) { in getForInductionVarOwner()
874 return dyn_cast_or_null<fir::LoopOp>(containingInst); in getForInductionVarOwner()
878 static mlir::LogicalResult verify(fir::LoopOp op) { in verify()
917 static void print(mlir::OpAsmPrinter &p, fir::LoopOp op) { in print()
919 p << fir::LoopOp::getOperationName() << ' ' << op.getInductionVar() << " = " in print()
934 {fir::LoopOp::unorderedAttrName()}); in print()
939 mlir::Region &fir::LoopOp::getLoopBody() { return region(); } in getLoopBody()
941 bool fir::LoopOp::isDefinedOutsideOfLoop(mlir::Value value) { in isDefinedOutsideOfLoop()
946 fir::LoopOp::moveOutOfLoop(llvm::ArrayRef<mlir::Operation *> ops) { in moveOutOfLoop()
956 mlir::OpFoldResult fir::MulfOp::fold(llvm::ArrayRef<mlir::Attribute> opnds) { in fold()
965 static mlir::LogicalResult verify(fir::ResultOp op) { in verify()
1017 llvm::Optional<mlir::OperandRange> fir::SelectOp::getCompareOperands(unsigned) { in getCompareOperands()
1022 fir::SelectOp::getCompareOperands(llvm::ArrayRef<mlir::Value>, unsigned) { in getCompareOperands()
1027 fir::SelectOp::getMutableSuccessorOperands(unsigned oper) { in getMutableSuccessorOperands()
1033 fir::SelectOp::getSuccessorOperands(llvm::ArrayRef<mlir::Value> operands, in getSuccessorOperands()
1041 unsigned fir::SelectOp::targetOffsetSize() { in targetOffsetSize()
1051 fir::SelectCaseOp::getCompareOperands(unsigned cond) { in getCompareOperands()
1057 fir::SelectCaseOp::getCompareOperands(llvm::ArrayRef<mlir::Value> operands, in getCompareOperands()
1066 fir::SelectCaseOp::getMutableSuccessorOperands(unsigned oper) { in getMutableSuccessorOperands()
1072 fir::SelectCaseOp::getSuccessorOperands(llvm::ArrayRef<mlir::Value> operands, in getSuccessorOperands()
1105 } else if (attr.dyn_cast_or_null<fir::ClosedIntervalAttr>()) { in parseSelectCase()
1132 result.addAttribute(fir::SelectCaseOp::getCasesAttr(), in parseSelectCase()
1147 result.addAttribute(fir::SelectCaseOp::getOperandSegmentSizeAttr(), in parseSelectCase()
1154 unsigned fir::SelectCaseOp::compareOffsetSize() { in compareOffsetSize()
1159 unsigned fir::SelectCaseOp::targetOffsetSize() { in targetOffsetSize()
1164 void fir::SelectCaseOp::build(mlir::OpBuilder &builder, in build()
1177 if (attr.isa<fir::ClosedIntervalAttr>()) { in build()
1217 void fir::SelectCaseOp::build(mlir::OpBuilder &builder, in build()
1228 if (attr.isa<fir::ClosedIntervalAttr>()) { in build()
1247 fir::SelectRankOp::getCompareOperands(unsigned) { in getCompareOperands()
1252 fir::SelectRankOp::getCompareOperands(llvm::ArrayRef<mlir::Value>, unsigned) { in getCompareOperands()
1257 fir::SelectRankOp::getMutableSuccessorOperands(unsigned oper) { in getMutableSuccessorOperands()
1263 fir::SelectRankOp::getSuccessorOperands(llvm::ArrayRef<mlir::Value> operands, in getSuccessorOperands()
1271 unsigned fir::SelectRankOp::targetOffsetSize() { in targetOffsetSize()
1281 fir::SelectTypeOp::getCompareOperands(unsigned) { in getCompareOperands()
1286 fir::SelectTypeOp::getCompareOperands(llvm::ArrayRef<mlir::Value>, unsigned) { in getCompareOperands()
1291 fir::SelectTypeOp::getMutableSuccessorOperands(unsigned oper) { in getMutableSuccessorOperands()
1297 fir::SelectTypeOp::getSuccessorOperands(llvm::ArrayRef<mlir::Value> operands, in getSuccessorOperands()
1332 result.addAttribute(fir::SelectTypeOp::getCasesAttr(), in parseSelectType()
1344 result.addAttribute(fir::SelectTypeOp::getOperandSegmentSizeAttr(), in parseSelectType()
1350 unsigned fir::SelectTypeOp::targetOffsetSize() { in targetOffsetSize()
1359 mlir::Type fir::StoreOp::elementType(mlir::Type refType) { in elementType()
1373 bool fir::StringLitOp::isWideValue() { in isWideValue()
1374 auto eleTy = getType().cast<fir::SequenceType>().getEleTy(); in isWideValue()
1375 return eleTy.cast<fir::CharacterType>().getFKind() != 1; in isWideValue()
1382 mlir::OpFoldResult fir::SubfOp::fold(llvm::ArrayRef<mlir::Attribute> opnds) { in fold()
1390 void fir::WhereOp::build(mlir::OpBuilder &builder, OperationState &result, in build()
1395 void fir::WhereOp::build(mlir::OpBuilder &builder, OperationState &result, in build()
1446 static LogicalResult verify(fir::WhereOp op) { in verify()
1453 static void print(mlir::OpAsmPrinter &p, fir::WhereOp op) { in print()
1455 p << fir::WhereOp::getOperationName() << ' ' << op.condition(); in print()
1475 mlir::ParseResult fir::isValidCaseAttr(mlir::Attribute attr) { in isValidCaseAttr()
1485 unsigned fir::getCaseArgumentOffset(llvm::ArrayRef<mlir::Attribute> cases, in getCaseArgumentOffset()
1499 mlir::ParseResult fir::parseSelector(mlir::OpAsmParser &parser, in parseSelector()
1530 bool fir::isReferenceLike(mlir::Type type) { in isReferenceLike()
1531 return type.isa<fir::ReferenceType>() || type.isa<fir::HeapType>() || in isReferenceLike()
1532 type.isa<fir::PointerType>(); in isReferenceLike()
1535 mlir::FuncOp fir::createFuncOp(mlir::Location loc, mlir::ModuleOp module, in createFuncOp()
1545 fir::GlobalOp fir::createGlobalOp(mlir::Location loc, mlir::ModuleOp module, in createGlobalOp()
1548 if (auto g = module.lookupSymbol<fir::GlobalOp>(name)) in createGlobalOp()
1551 return modBuilder.create<fir::GlobalOp>(loc, name, type, attrs); in createGlobalOp()