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/Operation.h" 19 #include "mlir/IR/Types.h" 20 #include "mlir/IR/Verifier.h" 21 #include "mlir/Parser.h" 22 23 using namespace mlir; 24 25 //===----------------------------------------------------------------------===// 26 // Context API. 27 //===----------------------------------------------------------------------===// 28 29 MlirContext mlirContextCreate() { 30 auto *context = new MLIRContext; 31 return wrap(context); 32 } 33 34 bool mlirContextEqual(MlirContext ctx1, MlirContext ctx2) { 35 return unwrap(ctx1) == unwrap(ctx2); 36 } 37 38 void mlirContextDestroy(MlirContext context) { delete unwrap(context); } 39 40 void mlirContextSetAllowUnregisteredDialects(MlirContext context, bool allow) { 41 unwrap(context)->allowUnregisteredDialects(allow); 42 } 43 44 bool mlirContextGetAllowUnregisteredDialects(MlirContext context) { 45 return unwrap(context)->allowsUnregisteredDialects(); 46 } 47 intptr_t mlirContextGetNumRegisteredDialects(MlirContext context) { 48 return static_cast<intptr_t>(unwrap(context)->getAvailableDialects().size()); 49 } 50 51 // TODO: expose a cheaper way than constructing + sorting a vector only to take 52 // its size. 53 intptr_t mlirContextGetNumLoadedDialects(MlirContext context) { 54 return static_cast<intptr_t>(unwrap(context)->getLoadedDialects().size()); 55 } 56 57 MlirDialect mlirContextGetOrLoadDialect(MlirContext context, 58 MlirStringRef name) { 59 return wrap(unwrap(context)->getOrLoadDialect(unwrap(name))); 60 } 61 62 //===----------------------------------------------------------------------===// 63 // Dialect API. 64 //===----------------------------------------------------------------------===// 65 66 MlirContext mlirDialectGetContext(MlirDialect dialect) { 67 return wrap(unwrap(dialect)->getContext()); 68 } 69 70 bool mlirDialectEqual(MlirDialect dialect1, MlirDialect dialect2) { 71 return unwrap(dialect1) == unwrap(dialect2); 72 } 73 74 MlirStringRef mlirDialectGetNamespace(MlirDialect dialect) { 75 return wrap(unwrap(dialect)->getNamespace()); 76 } 77 78 //===----------------------------------------------------------------------===// 79 // Printing flags API. 80 //===----------------------------------------------------------------------===// 81 82 MlirOpPrintingFlags mlirOpPrintingFlagsCreate() { 83 return wrap(new OpPrintingFlags()); 84 } 85 86 void mlirOpPrintingFlagsDestroy(MlirOpPrintingFlags flags) { 87 delete unwrap(flags); 88 } 89 90 void mlirOpPrintingFlagsElideLargeElementsAttrs(MlirOpPrintingFlags flags, 91 intptr_t largeElementLimit) { 92 unwrap(flags)->elideLargeElementsAttrs(largeElementLimit); 93 } 94 95 void mlirOpPrintingFlagsEnableDebugInfo(MlirOpPrintingFlags flags, 96 bool prettyForm) { 97 unwrap(flags)->enableDebugInfo(/*prettyForm=*/prettyForm); 98 } 99 100 void mlirOpPrintingFlagsPrintGenericOpForm(MlirOpPrintingFlags flags) { 101 unwrap(flags)->printGenericOpForm(); 102 } 103 104 void mlirOpPrintingFlagsUseLocalScope(MlirOpPrintingFlags flags) { 105 unwrap(flags)->useLocalScope(); 106 } 107 108 //===----------------------------------------------------------------------===// 109 // Location API. 110 //===----------------------------------------------------------------------===// 111 112 MlirLocation mlirLocationFileLineColGet(MlirContext context, 113 MlirStringRef filename, unsigned line, 114 unsigned col) { 115 return wrap( 116 FileLineColLoc::get(unwrap(filename), line, col, unwrap(context))); 117 } 118 119 MlirLocation mlirLocationCallSiteGet(MlirLocation callee, MlirLocation caller) { 120 return wrap(CallSiteLoc::get(unwrap(callee), unwrap(caller))); 121 } 122 123 MlirLocation mlirLocationUnknownGet(MlirContext context) { 124 return wrap(UnknownLoc::get(unwrap(context))); 125 } 126 127 bool mlirLocationEqual(MlirLocation l1, MlirLocation l2) { 128 return unwrap(l1) == unwrap(l2); 129 } 130 131 MlirContext mlirLocationGetContext(MlirLocation location) { 132 return wrap(unwrap(location).getContext()); 133 } 134 135 void mlirLocationPrint(MlirLocation location, MlirStringCallback callback, 136 void *userData) { 137 detail::CallbackOstream stream(callback, userData); 138 unwrap(location).print(stream); 139 } 140 141 //===----------------------------------------------------------------------===// 142 // Module API. 143 //===----------------------------------------------------------------------===// 144 145 MlirModule mlirModuleCreateEmpty(MlirLocation location) { 146 return wrap(ModuleOp::create(unwrap(location))); 147 } 148 149 MlirModule mlirModuleCreateParse(MlirContext context, MlirStringRef module) { 150 OwningModuleRef owning = parseSourceString(unwrap(module), unwrap(context)); 151 if (!owning) 152 return MlirModule{nullptr}; 153 return MlirModule{owning.release().getOperation()}; 154 } 155 156 MlirContext mlirModuleGetContext(MlirModule module) { 157 return wrap(unwrap(module).getContext()); 158 } 159 160 MlirBlock mlirModuleGetBody(MlirModule module) { 161 return wrap(unwrap(module).getBody()); 162 } 163 164 void mlirModuleDestroy(MlirModule module) { 165 // Transfer ownership to an OwningModuleRef so that its destructor is called. 166 OwningModuleRef(unwrap(module)); 167 } 168 169 MlirOperation mlirModuleGetOperation(MlirModule module) { 170 return wrap(unwrap(module).getOperation()); 171 } 172 173 //===----------------------------------------------------------------------===// 174 // Operation state API. 175 //===----------------------------------------------------------------------===// 176 177 MlirOperationState mlirOperationStateGet(MlirStringRef name, MlirLocation loc) { 178 MlirOperationState state; 179 state.name = name; 180 state.location = loc; 181 state.nResults = 0; 182 state.results = nullptr; 183 state.nOperands = 0; 184 state.operands = nullptr; 185 state.nRegions = 0; 186 state.regions = nullptr; 187 state.nSuccessors = 0; 188 state.successors = nullptr; 189 state.nAttributes = 0; 190 state.attributes = nullptr; 191 return state; 192 } 193 194 #define APPEND_ELEMS(type, sizeName, elemName) \ 195 state->elemName = \ 196 (type *)realloc(state->elemName, (state->sizeName + n) * sizeof(type)); \ 197 memcpy(state->elemName + state->sizeName, elemName, n * sizeof(type)); \ 198 state->sizeName += n; 199 200 void mlirOperationStateAddResults(MlirOperationState *state, intptr_t n, 201 MlirType const *results) { 202 APPEND_ELEMS(MlirType, nResults, results); 203 } 204 205 void mlirOperationStateAddOperands(MlirOperationState *state, intptr_t n, 206 MlirValue const *operands) { 207 APPEND_ELEMS(MlirValue, nOperands, operands); 208 } 209 void mlirOperationStateAddOwnedRegions(MlirOperationState *state, intptr_t n, 210 MlirRegion const *regions) { 211 APPEND_ELEMS(MlirRegion, nRegions, regions); 212 } 213 void mlirOperationStateAddSuccessors(MlirOperationState *state, intptr_t n, 214 MlirBlock const *successors) { 215 APPEND_ELEMS(MlirBlock, nSuccessors, successors); 216 } 217 void mlirOperationStateAddAttributes(MlirOperationState *state, intptr_t n, 218 MlirNamedAttribute const *attributes) { 219 APPEND_ELEMS(MlirNamedAttribute, nAttributes, attributes); 220 } 221 222 //===----------------------------------------------------------------------===// 223 // Operation API. 224 //===----------------------------------------------------------------------===// 225 226 MlirOperation mlirOperationCreate(const MlirOperationState *state) { 227 assert(state); 228 OperationState cppState(unwrap(state->location), unwrap(state->name)); 229 SmallVector<Type, 4> resultStorage; 230 SmallVector<Value, 8> operandStorage; 231 SmallVector<Block *, 2> successorStorage; 232 cppState.addTypes(unwrapList(state->nResults, state->results, resultStorage)); 233 cppState.addOperands( 234 unwrapList(state->nOperands, state->operands, operandStorage)); 235 cppState.addSuccessors( 236 unwrapList(state->nSuccessors, state->successors, successorStorage)); 237 238 cppState.attributes.reserve(state->nAttributes); 239 for (intptr_t i = 0; i < state->nAttributes; ++i) 240 cppState.addAttribute(unwrap(state->attributes[i].name), 241 unwrap(state->attributes[i].attribute)); 242 243 for (intptr_t i = 0; i < state->nRegions; ++i) 244 cppState.addRegion(std::unique_ptr<Region>(unwrap(state->regions[i]))); 245 246 MlirOperation result = wrap(Operation::create(cppState)); 247 free(state->results); 248 free(state->operands); 249 free(state->successors); 250 free(state->regions); 251 free(state->attributes); 252 return result; 253 } 254 255 void mlirOperationDestroy(MlirOperation op) { unwrap(op)->erase(); } 256 257 bool mlirOperationEqual(MlirOperation op, MlirOperation other) { 258 return unwrap(op) == unwrap(other); 259 } 260 261 MlirIdentifier mlirOperationGetName(MlirOperation op) { 262 return wrap(unwrap(op)->getName().getIdentifier()); 263 } 264 265 MlirBlock mlirOperationGetBlock(MlirOperation op) { 266 return wrap(unwrap(op)->getBlock()); 267 } 268 269 MlirOperation mlirOperationGetParentOperation(MlirOperation op) { 270 return wrap(unwrap(op)->getParentOp()); 271 } 272 273 intptr_t mlirOperationGetNumRegions(MlirOperation op) { 274 return static_cast<intptr_t>(unwrap(op)->getNumRegions()); 275 } 276 277 MlirRegion mlirOperationGetRegion(MlirOperation op, intptr_t pos) { 278 return wrap(&unwrap(op)->getRegion(static_cast<unsigned>(pos))); 279 } 280 281 MlirOperation mlirOperationGetNextInBlock(MlirOperation op) { 282 return wrap(unwrap(op)->getNextNode()); 283 } 284 285 intptr_t mlirOperationGetNumOperands(MlirOperation op) { 286 return static_cast<intptr_t>(unwrap(op)->getNumOperands()); 287 } 288 289 MlirValue mlirOperationGetOperand(MlirOperation op, intptr_t pos) { 290 return wrap(unwrap(op)->getOperand(static_cast<unsigned>(pos))); 291 } 292 293 intptr_t mlirOperationGetNumResults(MlirOperation op) { 294 return static_cast<intptr_t>(unwrap(op)->getNumResults()); 295 } 296 297 MlirValue mlirOperationGetResult(MlirOperation op, intptr_t pos) { 298 return wrap(unwrap(op)->getResult(static_cast<unsigned>(pos))); 299 } 300 301 intptr_t mlirOperationGetNumSuccessors(MlirOperation op) { 302 return static_cast<intptr_t>(unwrap(op)->getNumSuccessors()); 303 } 304 305 MlirBlock mlirOperationGetSuccessor(MlirOperation op, intptr_t pos) { 306 return wrap(unwrap(op)->getSuccessor(static_cast<unsigned>(pos))); 307 } 308 309 intptr_t mlirOperationGetNumAttributes(MlirOperation op) { 310 return static_cast<intptr_t>(unwrap(op)->getAttrs().size()); 311 } 312 313 MlirNamedAttribute mlirOperationGetAttribute(MlirOperation op, intptr_t pos) { 314 NamedAttribute attr = unwrap(op)->getAttrs()[pos]; 315 return MlirNamedAttribute{wrap(attr.first), wrap(attr.second)}; 316 } 317 318 MlirAttribute mlirOperationGetAttributeByName(MlirOperation op, 319 MlirStringRef name) { 320 return wrap(unwrap(op)->getAttr(unwrap(name))); 321 } 322 323 void mlirOperationSetAttributeByName(MlirOperation op, MlirStringRef name, 324 MlirAttribute attr) { 325 unwrap(op)->setAttr(unwrap(name), unwrap(attr)); 326 } 327 328 bool mlirOperationRemoveAttributeByName(MlirOperation op, MlirStringRef name) { 329 return !!unwrap(op)->removeAttr(unwrap(name)); 330 } 331 332 void mlirOperationPrint(MlirOperation op, MlirStringCallback callback, 333 void *userData) { 334 detail::CallbackOstream stream(callback, userData); 335 unwrap(op)->print(stream); 336 } 337 338 void mlirOperationPrintWithFlags(MlirOperation op, MlirOpPrintingFlags flags, 339 MlirStringCallback callback, void *userData) { 340 detail::CallbackOstream stream(callback, userData); 341 unwrap(op)->print(stream, *unwrap(flags)); 342 } 343 344 void mlirOperationDump(MlirOperation op) { return unwrap(op)->dump(); } 345 346 bool mlirOperationVerify(MlirOperation op) { 347 return succeeded(verify(unwrap(op))); 348 } 349 350 //===----------------------------------------------------------------------===// 351 // Region API. 352 //===----------------------------------------------------------------------===// 353 354 MlirRegion mlirRegionCreate() { return wrap(new Region); } 355 356 MlirBlock mlirRegionGetFirstBlock(MlirRegion region) { 357 Region *cppRegion = unwrap(region); 358 if (cppRegion->empty()) 359 return wrap(static_cast<Block *>(nullptr)); 360 return wrap(&cppRegion->front()); 361 } 362 363 void mlirRegionAppendOwnedBlock(MlirRegion region, MlirBlock block) { 364 unwrap(region)->push_back(unwrap(block)); 365 } 366 367 void mlirRegionInsertOwnedBlock(MlirRegion region, intptr_t pos, 368 MlirBlock block) { 369 auto &blockList = unwrap(region)->getBlocks(); 370 blockList.insert(std::next(blockList.begin(), pos), unwrap(block)); 371 } 372 373 void mlirRegionInsertOwnedBlockAfter(MlirRegion region, MlirBlock reference, 374 MlirBlock block) { 375 Region *cppRegion = unwrap(region); 376 if (mlirBlockIsNull(reference)) { 377 cppRegion->getBlocks().insert(cppRegion->begin(), unwrap(block)); 378 return; 379 } 380 381 assert(unwrap(reference)->getParent() == unwrap(region) && 382 "expected reference block to belong to the region"); 383 cppRegion->getBlocks().insertAfter(Region::iterator(unwrap(reference)), 384 unwrap(block)); 385 } 386 387 void mlirRegionInsertOwnedBlockBefore(MlirRegion region, MlirBlock reference, 388 MlirBlock block) { 389 if (mlirBlockIsNull(reference)) 390 return mlirRegionAppendOwnedBlock(region, block); 391 392 assert(unwrap(reference)->getParent() == unwrap(region) && 393 "expected reference block to belong to the region"); 394 unwrap(region)->getBlocks().insert(Region::iterator(unwrap(reference)), 395 unwrap(block)); 396 } 397 398 void mlirRegionDestroy(MlirRegion region) { 399 delete static_cast<Region *>(region.ptr); 400 } 401 402 //===----------------------------------------------------------------------===// 403 // Block API. 404 //===----------------------------------------------------------------------===// 405 406 MlirBlock mlirBlockCreate(intptr_t nArgs, MlirType const *args) { 407 Block *b = new Block; 408 for (intptr_t i = 0; i < nArgs; ++i) 409 b->addArgument(unwrap(args[i])); 410 return wrap(b); 411 } 412 413 bool mlirBlockEqual(MlirBlock block, MlirBlock other) { 414 return unwrap(block) == unwrap(other); 415 } 416 417 MlirBlock mlirBlockGetNextInRegion(MlirBlock block) { 418 return wrap(unwrap(block)->getNextNode()); 419 } 420 421 MlirOperation mlirBlockGetFirstOperation(MlirBlock block) { 422 Block *cppBlock = unwrap(block); 423 if (cppBlock->empty()) 424 return wrap(static_cast<Operation *>(nullptr)); 425 return wrap(&cppBlock->front()); 426 } 427 428 MlirOperation mlirBlockGetTerminator(MlirBlock block) { 429 Block *cppBlock = unwrap(block); 430 if (cppBlock->empty()) 431 return wrap(static_cast<Operation *>(nullptr)); 432 Operation &back = cppBlock->back(); 433 if (!back.isKnownTerminator()) 434 return wrap(static_cast<Operation *>(nullptr)); 435 return wrap(&back); 436 } 437 438 void mlirBlockAppendOwnedOperation(MlirBlock block, MlirOperation operation) { 439 unwrap(block)->push_back(unwrap(operation)); 440 } 441 442 void mlirBlockInsertOwnedOperation(MlirBlock block, intptr_t pos, 443 MlirOperation operation) { 444 auto &opList = unwrap(block)->getOperations(); 445 opList.insert(std::next(opList.begin(), pos), unwrap(operation)); 446 } 447 448 void mlirBlockInsertOwnedOperationAfter(MlirBlock block, 449 MlirOperation reference, 450 MlirOperation operation) { 451 Block *cppBlock = unwrap(block); 452 if (mlirOperationIsNull(reference)) { 453 cppBlock->getOperations().insert(cppBlock->begin(), unwrap(operation)); 454 return; 455 } 456 457 assert(unwrap(reference)->getBlock() == unwrap(block) && 458 "expected reference operation to belong to the block"); 459 cppBlock->getOperations().insertAfter(Block::iterator(unwrap(reference)), 460 unwrap(operation)); 461 } 462 463 void mlirBlockInsertOwnedOperationBefore(MlirBlock block, 464 MlirOperation reference, 465 MlirOperation operation) { 466 if (mlirOperationIsNull(reference)) 467 return mlirBlockAppendOwnedOperation(block, operation); 468 469 assert(unwrap(reference)->getBlock() == unwrap(block) && 470 "expected reference operation to belong to the block"); 471 unwrap(block)->getOperations().insert(Block::iterator(unwrap(reference)), 472 unwrap(operation)); 473 } 474 475 void mlirBlockDestroy(MlirBlock block) { delete unwrap(block); } 476 477 intptr_t mlirBlockGetNumArguments(MlirBlock block) { 478 return static_cast<intptr_t>(unwrap(block)->getNumArguments()); 479 } 480 481 MlirValue mlirBlockGetArgument(MlirBlock block, intptr_t pos) { 482 return wrap(unwrap(block)->getArgument(static_cast<unsigned>(pos))); 483 } 484 485 void mlirBlockPrint(MlirBlock block, MlirStringCallback callback, 486 void *userData) { 487 detail::CallbackOstream stream(callback, userData); 488 unwrap(block)->print(stream); 489 } 490 491 //===----------------------------------------------------------------------===// 492 // Value API. 493 //===----------------------------------------------------------------------===// 494 495 bool mlirValueEqual(MlirValue value1, MlirValue value2) { 496 return unwrap(value1) == unwrap(value2); 497 } 498 499 bool mlirValueIsABlockArgument(MlirValue value) { 500 return unwrap(value).isa<BlockArgument>(); 501 } 502 503 bool mlirValueIsAOpResult(MlirValue value) { 504 return unwrap(value).isa<OpResult>(); 505 } 506 507 MlirBlock mlirBlockArgumentGetOwner(MlirValue value) { 508 return wrap(unwrap(value).cast<BlockArgument>().getOwner()); 509 } 510 511 intptr_t mlirBlockArgumentGetArgNumber(MlirValue value) { 512 return static_cast<intptr_t>( 513 unwrap(value).cast<BlockArgument>().getArgNumber()); 514 } 515 516 void mlirBlockArgumentSetType(MlirValue value, MlirType type) { 517 unwrap(value).cast<BlockArgument>().setType(unwrap(type)); 518 } 519 520 MlirOperation mlirOpResultGetOwner(MlirValue value) { 521 return wrap(unwrap(value).cast<OpResult>().getOwner()); 522 } 523 524 intptr_t mlirOpResultGetResultNumber(MlirValue value) { 525 return static_cast<intptr_t>( 526 unwrap(value).cast<OpResult>().getResultNumber()); 527 } 528 529 MlirType mlirValueGetType(MlirValue value) { 530 return wrap(unwrap(value).getType()); 531 } 532 533 void mlirValueDump(MlirValue value) { unwrap(value).dump(); } 534 535 void mlirValuePrint(MlirValue value, MlirStringCallback callback, 536 void *userData) { 537 detail::CallbackOstream stream(callback, userData); 538 unwrap(value).print(stream); 539 } 540 541 //===----------------------------------------------------------------------===// 542 // Type API. 543 //===----------------------------------------------------------------------===// 544 545 MlirType mlirTypeParseGet(MlirContext context, MlirStringRef type) { 546 return wrap(mlir::parseType(unwrap(type), unwrap(context))); 547 } 548 549 MlirContext mlirTypeGetContext(MlirType type) { 550 return wrap(unwrap(type).getContext()); 551 } 552 553 bool mlirTypeEqual(MlirType t1, MlirType t2) { 554 return unwrap(t1) == unwrap(t2); 555 } 556 557 void mlirTypePrint(MlirType type, MlirStringCallback callback, void *userData) { 558 detail::CallbackOstream stream(callback, userData); 559 unwrap(type).print(stream); 560 } 561 562 void mlirTypeDump(MlirType type) { unwrap(type).dump(); } 563 564 //===----------------------------------------------------------------------===// 565 // Attribute API. 566 //===----------------------------------------------------------------------===// 567 568 MlirAttribute mlirAttributeParseGet(MlirContext context, MlirStringRef attr) { 569 return wrap(mlir::parseAttribute(unwrap(attr), unwrap(context))); 570 } 571 572 MlirContext mlirAttributeGetContext(MlirAttribute attribute) { 573 return wrap(unwrap(attribute).getContext()); 574 } 575 576 MlirType mlirAttributeGetType(MlirAttribute attribute) { 577 return wrap(unwrap(attribute).getType()); 578 } 579 580 bool mlirAttributeEqual(MlirAttribute a1, MlirAttribute a2) { 581 return unwrap(a1) == unwrap(a2); 582 } 583 584 void mlirAttributePrint(MlirAttribute attr, MlirStringCallback callback, 585 void *userData) { 586 detail::CallbackOstream stream(callback, userData); 587 unwrap(attr).print(stream); 588 } 589 590 void mlirAttributeDump(MlirAttribute attr) { unwrap(attr).dump(); } 591 592 MlirNamedAttribute mlirNamedAttributeGet(MlirIdentifier name, 593 MlirAttribute attr) { 594 return MlirNamedAttribute{name, attr}; 595 } 596 597 //===----------------------------------------------------------------------===// 598 // Identifier API. 599 //===----------------------------------------------------------------------===// 600 601 MlirIdentifier mlirIdentifierGet(MlirContext context, MlirStringRef str) { 602 return wrap(Identifier::get(unwrap(str), unwrap(context))); 603 } 604 605 bool mlirIdentifierEqual(MlirIdentifier ident, MlirIdentifier other) { 606 return unwrap(ident) == unwrap(other); 607 } 608 609 MlirStringRef mlirIdentifierStr(MlirIdentifier ident) { 610 return wrap(unwrap(ident).strref()); 611 } 612