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