1 //===- IR.cpp - C Interface for Core MLIR APIs ----------------------------===// 2 // 3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4 // See https://llvm.org/LICENSE.txt for license information. 5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6 // 7 //===----------------------------------------------------------------------===// 8 9 #include "mlir-c/IR.h" 10 #include "mlir-c/Support.h" 11 12 #include "mlir/CAPI/IR.h" 13 #include "mlir/CAPI/Support.h" 14 #include "mlir/CAPI/Utils.h" 15 #include "mlir/IR/Attributes.h" 16 #include "mlir/IR/BuiltinOps.h" 17 #include "mlir/IR/Dialect.h" 18 #include "mlir/IR/Location.h" 19 #include "mlir/IR/Operation.h" 20 #include "mlir/IR/Types.h" 21 #include "mlir/IR/Verifier.h" 22 #include "mlir/Interfaces/InferTypeOpInterface.h" 23 #include "mlir/Parser.h" 24 25 #include "llvm/Support/Debug.h" 26 #include <cstddef> 27 28 using namespace mlir; 29 30 //===----------------------------------------------------------------------===// 31 // Context API. 32 //===----------------------------------------------------------------------===// 33 34 MlirContext mlirContextCreate() { 35 auto *context = new MLIRContext; 36 return wrap(context); 37 } 38 39 bool mlirContextEqual(MlirContext ctx1, MlirContext ctx2) { 40 return unwrap(ctx1) == unwrap(ctx2); 41 } 42 43 void mlirContextDestroy(MlirContext context) { delete unwrap(context); } 44 45 void mlirContextSetAllowUnregisteredDialects(MlirContext context, bool allow) { 46 unwrap(context)->allowUnregisteredDialects(allow); 47 } 48 49 bool mlirContextGetAllowUnregisteredDialects(MlirContext context) { 50 return unwrap(context)->allowsUnregisteredDialects(); 51 } 52 intptr_t mlirContextGetNumRegisteredDialects(MlirContext context) { 53 return static_cast<intptr_t>(unwrap(context)->getAvailableDialects().size()); 54 } 55 56 // TODO: expose a cheaper way than constructing + sorting a vector only to take 57 // its size. 58 intptr_t mlirContextGetNumLoadedDialects(MlirContext context) { 59 return static_cast<intptr_t>(unwrap(context)->getLoadedDialects().size()); 60 } 61 62 MlirDialect mlirContextGetOrLoadDialect(MlirContext context, 63 MlirStringRef name) { 64 return wrap(unwrap(context)->getOrLoadDialect(unwrap(name))); 65 } 66 67 bool mlirContextIsRegisteredOperation(MlirContext context, MlirStringRef name) { 68 return unwrap(context)->isOperationRegistered(unwrap(name)); 69 } 70 71 void mlirContextEnableMultithreading(MlirContext context, bool enable) { 72 return unwrap(context)->enableMultithreading(enable); 73 } 74 75 //===----------------------------------------------------------------------===// 76 // Dialect API. 77 //===----------------------------------------------------------------------===// 78 79 MlirContext mlirDialectGetContext(MlirDialect dialect) { 80 return wrap(unwrap(dialect)->getContext()); 81 } 82 83 bool mlirDialectEqual(MlirDialect dialect1, MlirDialect dialect2) { 84 return unwrap(dialect1) == unwrap(dialect2); 85 } 86 87 MlirStringRef mlirDialectGetNamespace(MlirDialect dialect) { 88 return wrap(unwrap(dialect)->getNamespace()); 89 } 90 91 //===----------------------------------------------------------------------===// 92 // Printing flags API. 93 //===----------------------------------------------------------------------===// 94 95 MlirOpPrintingFlags mlirOpPrintingFlagsCreate() { 96 return wrap(new OpPrintingFlags()); 97 } 98 99 void mlirOpPrintingFlagsDestroy(MlirOpPrintingFlags flags) { 100 delete unwrap(flags); 101 } 102 103 void mlirOpPrintingFlagsElideLargeElementsAttrs(MlirOpPrintingFlags flags, 104 intptr_t largeElementLimit) { 105 unwrap(flags)->elideLargeElementsAttrs(largeElementLimit); 106 } 107 108 void mlirOpPrintingFlagsEnableDebugInfo(MlirOpPrintingFlags flags, 109 bool prettyForm) { 110 unwrap(flags)->enableDebugInfo(/*prettyForm=*/prettyForm); 111 } 112 113 void mlirOpPrintingFlagsPrintGenericOpForm(MlirOpPrintingFlags flags) { 114 unwrap(flags)->printGenericOpForm(); 115 } 116 117 void mlirOpPrintingFlagsUseLocalScope(MlirOpPrintingFlags flags) { 118 unwrap(flags)->useLocalScope(); 119 } 120 121 //===----------------------------------------------------------------------===// 122 // Location API. 123 //===----------------------------------------------------------------------===// 124 125 MlirLocation mlirLocationFileLineColGet(MlirContext context, 126 MlirStringRef filename, unsigned line, 127 unsigned col) { 128 return wrap(Location( 129 FileLineColLoc::get(unwrap(context), unwrap(filename), line, col))); 130 } 131 132 MlirLocation mlirLocationCallSiteGet(MlirLocation callee, MlirLocation caller) { 133 return wrap(Location(CallSiteLoc::get(unwrap(callee), unwrap(caller)))); 134 } 135 136 MlirLocation mlirLocationFusedGet(MlirContext ctx, intptr_t nLocations, 137 MlirLocation const *locations, 138 MlirAttribute metadata) { 139 SmallVector<Location, 4> locs; 140 ArrayRef<Location> unwrappedLocs = unwrapList(nLocations, locations, locs); 141 return wrap(FusedLoc::get(unwrappedLocs, unwrap(metadata), unwrap(ctx))); 142 } 143 144 MlirLocation mlirLocationNameGet(MlirContext context, MlirStringRef name, 145 MlirLocation childLoc) { 146 if (mlirLocationIsNull(childLoc)) 147 return wrap( 148 Location(NameLoc::get(Identifier::get(unwrap(name), unwrap(context))))); 149 return wrap(Location(NameLoc::get( 150 Identifier::get(unwrap(name), unwrap(context)), unwrap(childLoc)))); 151 } 152 153 MlirLocation mlirLocationUnknownGet(MlirContext context) { 154 return wrap(Location(UnknownLoc::get(unwrap(context)))); 155 } 156 157 bool mlirLocationEqual(MlirLocation l1, MlirLocation l2) { 158 return unwrap(l1) == unwrap(l2); 159 } 160 161 MlirContext mlirLocationGetContext(MlirLocation location) { 162 return wrap(unwrap(location).getContext()); 163 } 164 165 void mlirLocationPrint(MlirLocation location, MlirStringCallback callback, 166 void *userData) { 167 detail::CallbackOstream stream(callback, userData); 168 unwrap(location).print(stream); 169 } 170 171 //===----------------------------------------------------------------------===// 172 // Module API. 173 //===----------------------------------------------------------------------===// 174 175 MlirModule mlirModuleCreateEmpty(MlirLocation location) { 176 return wrap(ModuleOp::create(unwrap(location))); 177 } 178 179 MlirModule mlirModuleCreateParse(MlirContext context, MlirStringRef module) { 180 OwningModuleRef owning = parseSourceString(unwrap(module), unwrap(context)); 181 if (!owning) 182 return MlirModule{nullptr}; 183 return MlirModule{owning.release().getOperation()}; 184 } 185 186 MlirContext mlirModuleGetContext(MlirModule module) { 187 return wrap(unwrap(module).getContext()); 188 } 189 190 MlirBlock mlirModuleGetBody(MlirModule module) { 191 return wrap(unwrap(module).getBody()); 192 } 193 194 void mlirModuleDestroy(MlirModule module) { 195 // Transfer ownership to an OwningModuleRef so that its destructor is called. 196 OwningModuleRef(unwrap(module)); 197 } 198 199 MlirOperation mlirModuleGetOperation(MlirModule module) { 200 return wrap(unwrap(module).getOperation()); 201 } 202 203 MlirModule mlirModuleFromOperation(MlirOperation op) { 204 return wrap(dyn_cast<ModuleOp>(unwrap(op))); 205 } 206 207 //===----------------------------------------------------------------------===// 208 // Operation state API. 209 //===----------------------------------------------------------------------===// 210 211 MlirOperationState mlirOperationStateGet(MlirStringRef name, MlirLocation loc) { 212 MlirOperationState state; 213 state.name = name; 214 state.location = loc; 215 state.nResults = 0; 216 state.results = nullptr; 217 state.nOperands = 0; 218 state.operands = nullptr; 219 state.nRegions = 0; 220 state.regions = nullptr; 221 state.nSuccessors = 0; 222 state.successors = nullptr; 223 state.nAttributes = 0; 224 state.attributes = nullptr; 225 state.enableResultTypeInference = false; 226 return state; 227 } 228 229 #define APPEND_ELEMS(type, sizeName, elemName) \ 230 state->elemName = \ 231 (type *)realloc(state->elemName, (state->sizeName + n) * sizeof(type)); \ 232 memcpy(state->elemName + state->sizeName, elemName, n * sizeof(type)); \ 233 state->sizeName += n; 234 235 void mlirOperationStateAddResults(MlirOperationState *state, intptr_t n, 236 MlirType const *results) { 237 APPEND_ELEMS(MlirType, nResults, results); 238 } 239 240 void mlirOperationStateAddOperands(MlirOperationState *state, intptr_t n, 241 MlirValue const *operands) { 242 APPEND_ELEMS(MlirValue, nOperands, operands); 243 } 244 void mlirOperationStateAddOwnedRegions(MlirOperationState *state, intptr_t n, 245 MlirRegion const *regions) { 246 APPEND_ELEMS(MlirRegion, nRegions, regions); 247 } 248 void mlirOperationStateAddSuccessors(MlirOperationState *state, intptr_t n, 249 MlirBlock const *successors) { 250 APPEND_ELEMS(MlirBlock, nSuccessors, successors); 251 } 252 void mlirOperationStateAddAttributes(MlirOperationState *state, intptr_t n, 253 MlirNamedAttribute const *attributes) { 254 APPEND_ELEMS(MlirNamedAttribute, nAttributes, attributes); 255 } 256 257 void mlirOperationStateEnableResultTypeInference(MlirOperationState *state) { 258 state->enableResultTypeInference = true; 259 } 260 261 //===----------------------------------------------------------------------===// 262 // Operation API. 263 //===----------------------------------------------------------------------===// 264 265 static LogicalResult inferOperationTypes(OperationState &state) { 266 MLIRContext *context = state.getContext(); 267 const AbstractOperation *abstractOp = 268 AbstractOperation::lookup(state.name.getStringRef(), context); 269 if (!abstractOp) { 270 emitError(state.location) 271 << "type inference was requested for the operation " << state.name 272 << ", but the operation was not registered. Ensure that the dialect " 273 "containing the operation is linked into MLIR and registered with " 274 "the context"; 275 return failure(); 276 } 277 278 // Fallback to inference via an op interface. 279 auto *inferInterface = abstractOp->getInterface<InferTypeOpInterface>(); 280 if (!inferInterface) { 281 emitError(state.location) 282 << "type inference was requested for the operation " << state.name 283 << ", but the operation does not support type inference. Result " 284 "types must be specified explicitly."; 285 return failure(); 286 } 287 288 if (succeeded(inferInterface->inferReturnTypes( 289 context, state.location, state.operands, 290 state.attributes.getDictionary(context), state.regions, state.types))) 291 return success(); 292 293 // Diagnostic emitted by interface. 294 return failure(); 295 } 296 297 MlirOperation mlirOperationCreate(MlirOperationState *state) { 298 assert(state); 299 OperationState cppState(unwrap(state->location), unwrap(state->name)); 300 SmallVector<Type, 4> resultStorage; 301 SmallVector<Value, 8> operandStorage; 302 SmallVector<Block *, 2> successorStorage; 303 cppState.addTypes(unwrapList(state->nResults, state->results, resultStorage)); 304 cppState.addOperands( 305 unwrapList(state->nOperands, state->operands, operandStorage)); 306 cppState.addSuccessors( 307 unwrapList(state->nSuccessors, state->successors, successorStorage)); 308 309 cppState.attributes.reserve(state->nAttributes); 310 for (intptr_t i = 0; i < state->nAttributes; ++i) 311 cppState.addAttribute(unwrap(state->attributes[i].name), 312 unwrap(state->attributes[i].attribute)); 313 314 for (intptr_t i = 0; i < state->nRegions; ++i) 315 cppState.addRegion(std::unique_ptr<Region>(unwrap(state->regions[i]))); 316 317 free(state->results); 318 free(state->operands); 319 free(state->successors); 320 free(state->regions); 321 free(state->attributes); 322 323 // Infer result types. 324 if (state->enableResultTypeInference) { 325 assert(cppState.types.empty() && 326 "result type inference enabled and result types provided"); 327 if (failed(inferOperationTypes(cppState))) 328 return {nullptr}; 329 } 330 331 MlirOperation result = wrap(Operation::create(cppState)); 332 return result; 333 } 334 335 MlirOperation mlirOperationClone(MlirOperation op) { 336 return wrap(unwrap(op)->clone()); 337 } 338 339 void mlirOperationDestroy(MlirOperation op) { unwrap(op)->erase(); } 340 341 bool mlirOperationEqual(MlirOperation op, MlirOperation other) { 342 return unwrap(op) == unwrap(other); 343 } 344 345 MlirContext mlirOperationGetContext(MlirOperation op) { 346 return wrap(unwrap(op)->getContext()); 347 } 348 349 MlirTypeID mlirOperationGetTypeID(MlirOperation op) { 350 if (const auto *abstractOp = unwrap(op)->getAbstractOperation()) { 351 return wrap(abstractOp->typeID); 352 } 353 return {nullptr}; 354 } 355 356 MlirIdentifier mlirOperationGetName(MlirOperation op) { 357 return wrap(unwrap(op)->getName().getIdentifier()); 358 } 359 360 MlirBlock mlirOperationGetBlock(MlirOperation op) { 361 return wrap(unwrap(op)->getBlock()); 362 } 363 364 MlirOperation mlirOperationGetParentOperation(MlirOperation op) { 365 return wrap(unwrap(op)->getParentOp()); 366 } 367 368 intptr_t mlirOperationGetNumRegions(MlirOperation op) { 369 return static_cast<intptr_t>(unwrap(op)->getNumRegions()); 370 } 371 372 MlirRegion mlirOperationGetRegion(MlirOperation op, intptr_t pos) { 373 return wrap(&unwrap(op)->getRegion(static_cast<unsigned>(pos))); 374 } 375 376 MlirOperation mlirOperationGetNextInBlock(MlirOperation op) { 377 return wrap(unwrap(op)->getNextNode()); 378 } 379 380 intptr_t mlirOperationGetNumOperands(MlirOperation op) { 381 return static_cast<intptr_t>(unwrap(op)->getNumOperands()); 382 } 383 384 MlirValue mlirOperationGetOperand(MlirOperation op, intptr_t pos) { 385 return wrap(unwrap(op)->getOperand(static_cast<unsigned>(pos))); 386 } 387 388 void mlirOperationSetOperand(MlirOperation op, intptr_t pos, 389 MlirValue newValue) { 390 unwrap(op)->setOperand(static_cast<unsigned>(pos), unwrap(newValue)); 391 } 392 393 intptr_t mlirOperationGetNumResults(MlirOperation op) { 394 return static_cast<intptr_t>(unwrap(op)->getNumResults()); 395 } 396 397 MlirValue mlirOperationGetResult(MlirOperation op, intptr_t pos) { 398 return wrap(unwrap(op)->getResult(static_cast<unsigned>(pos))); 399 } 400 401 intptr_t mlirOperationGetNumSuccessors(MlirOperation op) { 402 return static_cast<intptr_t>(unwrap(op)->getNumSuccessors()); 403 } 404 405 MlirBlock mlirOperationGetSuccessor(MlirOperation op, intptr_t pos) { 406 return wrap(unwrap(op)->getSuccessor(static_cast<unsigned>(pos))); 407 } 408 409 intptr_t mlirOperationGetNumAttributes(MlirOperation op) { 410 return static_cast<intptr_t>(unwrap(op)->getAttrs().size()); 411 } 412 413 MlirNamedAttribute mlirOperationGetAttribute(MlirOperation op, intptr_t pos) { 414 NamedAttribute attr = unwrap(op)->getAttrs()[pos]; 415 return MlirNamedAttribute{wrap(attr.first), wrap(attr.second)}; 416 } 417 418 MlirAttribute mlirOperationGetAttributeByName(MlirOperation op, 419 MlirStringRef name) { 420 return wrap(unwrap(op)->getAttr(unwrap(name))); 421 } 422 423 void mlirOperationSetAttributeByName(MlirOperation op, MlirStringRef name, 424 MlirAttribute attr) { 425 unwrap(op)->setAttr(unwrap(name), unwrap(attr)); 426 } 427 428 bool mlirOperationRemoveAttributeByName(MlirOperation op, MlirStringRef name) { 429 return !!unwrap(op)->removeAttr(unwrap(name)); 430 } 431 432 void mlirOperationPrint(MlirOperation op, MlirStringCallback callback, 433 void *userData) { 434 detail::CallbackOstream stream(callback, userData); 435 unwrap(op)->print(stream); 436 } 437 438 void mlirOperationPrintWithFlags(MlirOperation op, MlirOpPrintingFlags flags, 439 MlirStringCallback callback, void *userData) { 440 detail::CallbackOstream stream(callback, userData); 441 unwrap(op)->print(stream, *unwrap(flags)); 442 } 443 444 void mlirOperationDump(MlirOperation op) { return unwrap(op)->dump(); } 445 446 bool mlirOperationVerify(MlirOperation op) { 447 return succeeded(verify(unwrap(op))); 448 } 449 450 //===----------------------------------------------------------------------===// 451 // Region API. 452 //===----------------------------------------------------------------------===// 453 454 MlirRegion mlirRegionCreate() { return wrap(new Region); } 455 456 bool mlirRegionEqual(MlirRegion region, MlirRegion other) { 457 return unwrap(region) == unwrap(other); 458 } 459 460 MlirBlock mlirRegionGetFirstBlock(MlirRegion region) { 461 Region *cppRegion = unwrap(region); 462 if (cppRegion->empty()) 463 return wrap(static_cast<Block *>(nullptr)); 464 return wrap(&cppRegion->front()); 465 } 466 467 void mlirRegionAppendOwnedBlock(MlirRegion region, MlirBlock block) { 468 unwrap(region)->push_back(unwrap(block)); 469 } 470 471 void mlirRegionInsertOwnedBlock(MlirRegion region, intptr_t pos, 472 MlirBlock block) { 473 auto &blockList = unwrap(region)->getBlocks(); 474 blockList.insert(std::next(blockList.begin(), pos), unwrap(block)); 475 } 476 477 void mlirRegionInsertOwnedBlockAfter(MlirRegion region, MlirBlock reference, 478 MlirBlock block) { 479 Region *cppRegion = unwrap(region); 480 if (mlirBlockIsNull(reference)) { 481 cppRegion->getBlocks().insert(cppRegion->begin(), unwrap(block)); 482 return; 483 } 484 485 assert(unwrap(reference)->getParent() == unwrap(region) && 486 "expected reference block to belong to the region"); 487 cppRegion->getBlocks().insertAfter(Region::iterator(unwrap(reference)), 488 unwrap(block)); 489 } 490 491 void mlirRegionInsertOwnedBlockBefore(MlirRegion region, MlirBlock reference, 492 MlirBlock block) { 493 if (mlirBlockIsNull(reference)) 494 return mlirRegionAppendOwnedBlock(region, block); 495 496 assert(unwrap(reference)->getParent() == unwrap(region) && 497 "expected reference block to belong to the region"); 498 unwrap(region)->getBlocks().insert(Region::iterator(unwrap(reference)), 499 unwrap(block)); 500 } 501 502 void mlirRegionDestroy(MlirRegion region) { 503 delete static_cast<Region *>(region.ptr); 504 } 505 506 //===----------------------------------------------------------------------===// 507 // Block API. 508 //===----------------------------------------------------------------------===// 509 510 MlirBlock mlirBlockCreate(intptr_t nArgs, MlirType const *args) { 511 Block *b = new Block; 512 for (intptr_t i = 0; i < nArgs; ++i) 513 b->addArgument(unwrap(args[i])); 514 return wrap(b); 515 } 516 517 bool mlirBlockEqual(MlirBlock block, MlirBlock other) { 518 return unwrap(block) == unwrap(other); 519 } 520 521 MlirOperation mlirBlockGetParentOperation(MlirBlock block) { 522 return wrap(unwrap(block)->getParentOp()); 523 } 524 525 MlirRegion mlirBlockGetParentRegion(MlirBlock block) { 526 return wrap(unwrap(block)->getParent()); 527 } 528 529 MlirBlock mlirBlockGetNextInRegion(MlirBlock block) { 530 return wrap(unwrap(block)->getNextNode()); 531 } 532 533 MlirOperation mlirBlockGetFirstOperation(MlirBlock block) { 534 Block *cppBlock = unwrap(block); 535 if (cppBlock->empty()) 536 return wrap(static_cast<Operation *>(nullptr)); 537 return wrap(&cppBlock->front()); 538 } 539 540 MlirOperation mlirBlockGetTerminator(MlirBlock block) { 541 Block *cppBlock = unwrap(block); 542 if (cppBlock->empty()) 543 return wrap(static_cast<Operation *>(nullptr)); 544 Operation &back = cppBlock->back(); 545 if (!back.hasTrait<OpTrait::IsTerminator>()) 546 return wrap(static_cast<Operation *>(nullptr)); 547 return wrap(&back); 548 } 549 550 void mlirBlockAppendOwnedOperation(MlirBlock block, MlirOperation operation) { 551 unwrap(block)->push_back(unwrap(operation)); 552 } 553 554 void mlirBlockInsertOwnedOperation(MlirBlock block, intptr_t pos, 555 MlirOperation operation) { 556 auto &opList = unwrap(block)->getOperations(); 557 opList.insert(std::next(opList.begin(), pos), unwrap(operation)); 558 } 559 560 void mlirBlockInsertOwnedOperationAfter(MlirBlock block, 561 MlirOperation reference, 562 MlirOperation operation) { 563 Block *cppBlock = unwrap(block); 564 if (mlirOperationIsNull(reference)) { 565 cppBlock->getOperations().insert(cppBlock->begin(), unwrap(operation)); 566 return; 567 } 568 569 assert(unwrap(reference)->getBlock() == unwrap(block) && 570 "expected reference operation to belong to the block"); 571 cppBlock->getOperations().insertAfter(Block::iterator(unwrap(reference)), 572 unwrap(operation)); 573 } 574 575 void mlirBlockInsertOwnedOperationBefore(MlirBlock block, 576 MlirOperation reference, 577 MlirOperation operation) { 578 if (mlirOperationIsNull(reference)) 579 return mlirBlockAppendOwnedOperation(block, operation); 580 581 assert(unwrap(reference)->getBlock() == unwrap(block) && 582 "expected reference operation to belong to the block"); 583 unwrap(block)->getOperations().insert(Block::iterator(unwrap(reference)), 584 unwrap(operation)); 585 } 586 587 void mlirBlockDestroy(MlirBlock block) { delete unwrap(block); } 588 589 intptr_t mlirBlockGetNumArguments(MlirBlock block) { 590 return static_cast<intptr_t>(unwrap(block)->getNumArguments()); 591 } 592 593 MlirValue mlirBlockAddArgument(MlirBlock block, MlirType type) { 594 return wrap(unwrap(block)->addArgument(unwrap(type))); 595 } 596 597 MlirValue mlirBlockGetArgument(MlirBlock block, intptr_t pos) { 598 return wrap(unwrap(block)->getArgument(static_cast<unsigned>(pos))); 599 } 600 601 void mlirBlockPrint(MlirBlock block, MlirStringCallback callback, 602 void *userData) { 603 detail::CallbackOstream stream(callback, userData); 604 unwrap(block)->print(stream); 605 } 606 607 //===----------------------------------------------------------------------===// 608 // Value API. 609 //===----------------------------------------------------------------------===// 610 611 bool mlirValueEqual(MlirValue value1, MlirValue value2) { 612 return unwrap(value1) == unwrap(value2); 613 } 614 615 bool mlirValueIsABlockArgument(MlirValue value) { 616 return unwrap(value).isa<BlockArgument>(); 617 } 618 619 bool mlirValueIsAOpResult(MlirValue value) { 620 return unwrap(value).isa<OpResult>(); 621 } 622 623 MlirBlock mlirBlockArgumentGetOwner(MlirValue value) { 624 return wrap(unwrap(value).cast<BlockArgument>().getOwner()); 625 } 626 627 intptr_t mlirBlockArgumentGetArgNumber(MlirValue value) { 628 return static_cast<intptr_t>( 629 unwrap(value).cast<BlockArgument>().getArgNumber()); 630 } 631 632 void mlirBlockArgumentSetType(MlirValue value, MlirType type) { 633 unwrap(value).cast<BlockArgument>().setType(unwrap(type)); 634 } 635 636 MlirOperation mlirOpResultGetOwner(MlirValue value) { 637 return wrap(unwrap(value).cast<OpResult>().getOwner()); 638 } 639 640 intptr_t mlirOpResultGetResultNumber(MlirValue value) { 641 return static_cast<intptr_t>( 642 unwrap(value).cast<OpResult>().getResultNumber()); 643 } 644 645 MlirType mlirValueGetType(MlirValue value) { 646 return wrap(unwrap(value).getType()); 647 } 648 649 void mlirValueDump(MlirValue value) { unwrap(value).dump(); } 650 651 void mlirValuePrint(MlirValue value, MlirStringCallback callback, 652 void *userData) { 653 detail::CallbackOstream stream(callback, userData); 654 unwrap(value).print(stream); 655 } 656 657 //===----------------------------------------------------------------------===// 658 // Type API. 659 //===----------------------------------------------------------------------===// 660 661 MlirType mlirTypeParseGet(MlirContext context, MlirStringRef type) { 662 return wrap(mlir::parseType(unwrap(type), unwrap(context))); 663 } 664 665 MlirContext mlirTypeGetContext(MlirType type) { 666 return wrap(unwrap(type).getContext()); 667 } 668 669 MlirTypeID mlirTypeGetTypeID(MlirType type) { 670 return wrap(unwrap(type).getTypeID()); 671 } 672 673 bool mlirTypeEqual(MlirType t1, MlirType t2) { 674 return unwrap(t1) == unwrap(t2); 675 } 676 677 void mlirTypePrint(MlirType type, MlirStringCallback callback, void *userData) { 678 detail::CallbackOstream stream(callback, userData); 679 unwrap(type).print(stream); 680 } 681 682 void mlirTypeDump(MlirType type) { unwrap(type).dump(); } 683 684 //===----------------------------------------------------------------------===// 685 // Attribute API. 686 //===----------------------------------------------------------------------===// 687 688 MlirAttribute mlirAttributeParseGet(MlirContext context, MlirStringRef attr) { 689 return wrap(mlir::parseAttribute(unwrap(attr), unwrap(context))); 690 } 691 692 MlirContext mlirAttributeGetContext(MlirAttribute attribute) { 693 return wrap(unwrap(attribute).getContext()); 694 } 695 696 MlirType mlirAttributeGetType(MlirAttribute attribute) { 697 return wrap(unwrap(attribute).getType()); 698 } 699 700 MlirTypeID mlirAttributeGetTypeID(MlirAttribute attr) { 701 return wrap(unwrap(attr).getTypeID()); 702 } 703 704 bool mlirAttributeEqual(MlirAttribute a1, MlirAttribute a2) { 705 return unwrap(a1) == unwrap(a2); 706 } 707 708 void mlirAttributePrint(MlirAttribute attr, MlirStringCallback callback, 709 void *userData) { 710 detail::CallbackOstream stream(callback, userData); 711 unwrap(attr).print(stream); 712 } 713 714 void mlirAttributeDump(MlirAttribute attr) { unwrap(attr).dump(); } 715 716 MlirNamedAttribute mlirNamedAttributeGet(MlirIdentifier name, 717 MlirAttribute attr) { 718 return MlirNamedAttribute{name, attr}; 719 } 720 721 //===----------------------------------------------------------------------===// 722 // Identifier API. 723 //===----------------------------------------------------------------------===// 724 725 MlirIdentifier mlirIdentifierGet(MlirContext context, MlirStringRef str) { 726 return wrap(Identifier::get(unwrap(str), unwrap(context))); 727 } 728 729 MlirContext mlirIdentifierGetContext(MlirIdentifier ident) { 730 return wrap(unwrap(ident).getContext()); 731 } 732 733 bool mlirIdentifierEqual(MlirIdentifier ident, MlirIdentifier other) { 734 return unwrap(ident) == unwrap(other); 735 } 736 737 MlirStringRef mlirIdentifierStr(MlirIdentifier ident) { 738 return wrap(unwrap(ident).strref()); 739 } 740 741 //===----------------------------------------------------------------------===// 742 // TypeID API. 743 //===----------------------------------------------------------------------===// 744 745 bool mlirTypeIDEqual(MlirTypeID typeID1, MlirTypeID typeID2) { 746 return unwrap(typeID1) == unwrap(typeID2); 747 } 748 749 size_t mlirTypeIDHashValue(MlirTypeID typeID) { 750 return hash_value(unwrap(typeID)); 751 } 752