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/Dialect.h" 17 #include "mlir/IR/Module.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 const char *filename, unsigned line, 113 unsigned col) { 114 return wrap(FileLineColLoc::get(filename, line, col, unwrap(context))); 115 } 116 117 MlirLocation mlirLocationUnknownGet(MlirContext context) { 118 return wrap(UnknownLoc::get(unwrap(context))); 119 } 120 121 MlirContext mlirLocationGetContext(MlirLocation location) { 122 return wrap(unwrap(location).getContext()); 123 } 124 125 void mlirLocationPrint(MlirLocation location, MlirStringCallback callback, 126 void *userData) { 127 detail::CallbackOstream stream(callback, userData); 128 unwrap(location).print(stream); 129 stream.flush(); 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, const char *module) { 141 OwningModuleRef owning = parseSourceString(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(const char *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 *results) { 193 APPEND_ELEMS(MlirType, nResults, results); 194 } 195 196 void mlirOperationStateAddOperands(MlirOperationState *state, intptr_t n, 197 MlirValue *operands) { 198 APPEND_ELEMS(MlirValue, nOperands, operands); 199 } 200 void mlirOperationStateAddOwnedRegions(MlirOperationState *state, intptr_t n, 201 MlirRegion *regions) { 202 APPEND_ELEMS(MlirRegion, nRegions, regions); 203 } 204 void mlirOperationStateAddSuccessors(MlirOperationState *state, intptr_t n, 205 MlirBlock *successors) { 206 APPEND_ELEMS(MlirBlock, nSuccessors, successors); 207 } 208 void mlirOperationStateAddAttributes(MlirOperationState *state, intptr_t n, 209 MlirNamedAttribute *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), 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(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 intptr_t mlirOperationGetNumRegions(MlirOperation op) { 253 return static_cast<intptr_t>(unwrap(op)->getNumRegions()); 254 } 255 256 MlirRegion mlirOperationGetRegion(MlirOperation op, intptr_t pos) { 257 return wrap(&unwrap(op)->getRegion(static_cast<unsigned>(pos))); 258 } 259 260 MlirOperation mlirOperationGetNextInBlock(MlirOperation op) { 261 return wrap(unwrap(op)->getNextNode()); 262 } 263 264 intptr_t mlirOperationGetNumOperands(MlirOperation op) { 265 return static_cast<intptr_t>(unwrap(op)->getNumOperands()); 266 } 267 268 MlirValue mlirOperationGetOperand(MlirOperation op, intptr_t pos) { 269 return wrap(unwrap(op)->getOperand(static_cast<unsigned>(pos))); 270 } 271 272 intptr_t mlirOperationGetNumResults(MlirOperation op) { 273 return static_cast<intptr_t>(unwrap(op)->getNumResults()); 274 } 275 276 MlirValue mlirOperationGetResult(MlirOperation op, intptr_t pos) { 277 return wrap(unwrap(op)->getResult(static_cast<unsigned>(pos))); 278 } 279 280 intptr_t mlirOperationGetNumSuccessors(MlirOperation op) { 281 return static_cast<intptr_t>(unwrap(op)->getNumSuccessors()); 282 } 283 284 MlirBlock mlirOperationGetSuccessor(MlirOperation op, intptr_t pos) { 285 return wrap(unwrap(op)->getSuccessor(static_cast<unsigned>(pos))); 286 } 287 288 intptr_t mlirOperationGetNumAttributes(MlirOperation op) { 289 return static_cast<intptr_t>(unwrap(op)->getAttrs().size()); 290 } 291 292 MlirNamedAttribute mlirOperationGetAttribute(MlirOperation op, intptr_t pos) { 293 NamedAttribute attr = unwrap(op)->getAttrs()[pos]; 294 return MlirNamedAttribute{attr.first.c_str(), wrap(attr.second)}; 295 } 296 297 MlirAttribute mlirOperationGetAttributeByName(MlirOperation op, 298 const char *name) { 299 return wrap(unwrap(op)->getAttr(name)); 300 } 301 302 void mlirOperationSetAttributeByName(MlirOperation op, const char *name, 303 MlirAttribute attr) { 304 unwrap(op)->setAttr(name, unwrap(attr)); 305 } 306 307 int mlirOperationRemoveAttributeByName(MlirOperation op, const char *name) { 308 auto removeResult = unwrap(op)->removeAttr(name); 309 return removeResult == MutableDictionaryAttr::RemoveResult::Removed; 310 } 311 312 void mlirOperationPrint(MlirOperation op, MlirStringCallback callback, 313 void *userData) { 314 detail::CallbackOstream stream(callback, userData); 315 unwrap(op)->print(stream); 316 stream.flush(); 317 } 318 319 void mlirOperationPrintWithFlags(MlirOperation op, MlirOpPrintingFlags flags, 320 MlirStringCallback callback, void *userData) { 321 detail::CallbackOstream stream(callback, userData); 322 unwrap(op)->print(stream, *unwrap(flags)); 323 stream.flush(); 324 } 325 326 void mlirOperationDump(MlirOperation op) { return unwrap(op)->dump(); } 327 328 /* ========================================================================== */ 329 /* Region API. */ 330 /* ========================================================================== */ 331 332 MlirRegion mlirRegionCreate() { return wrap(new Region); } 333 334 MlirBlock mlirRegionGetFirstBlock(MlirRegion region) { 335 Region *cppRegion = unwrap(region); 336 if (cppRegion->empty()) 337 return wrap(static_cast<Block *>(nullptr)); 338 return wrap(&cppRegion->front()); 339 } 340 341 void mlirRegionAppendOwnedBlock(MlirRegion region, MlirBlock block) { 342 unwrap(region)->push_back(unwrap(block)); 343 } 344 345 void mlirRegionInsertOwnedBlock(MlirRegion region, intptr_t pos, 346 MlirBlock block) { 347 auto &blockList = unwrap(region)->getBlocks(); 348 blockList.insert(std::next(blockList.begin(), pos), unwrap(block)); 349 } 350 351 void mlirRegionInsertOwnedBlockAfter(MlirRegion region, MlirBlock reference, 352 MlirBlock block) { 353 Region *cppRegion = unwrap(region); 354 if (mlirBlockIsNull(reference)) { 355 cppRegion->getBlocks().insert(cppRegion->begin(), unwrap(block)); 356 return; 357 } 358 359 assert(unwrap(reference)->getParent() == unwrap(region) && 360 "expected reference block to belong to the region"); 361 cppRegion->getBlocks().insertAfter(Region::iterator(unwrap(reference)), 362 unwrap(block)); 363 } 364 365 void mlirRegionInsertOwnedBlockBefore(MlirRegion region, MlirBlock reference, 366 MlirBlock block) { 367 if (mlirBlockIsNull(reference)) 368 return mlirRegionAppendOwnedBlock(region, block); 369 370 assert(unwrap(reference)->getParent() == unwrap(region) && 371 "expected reference block to belong to the region"); 372 unwrap(region)->getBlocks().insert(Region::iterator(unwrap(reference)), 373 unwrap(block)); 374 } 375 376 void mlirRegionDestroy(MlirRegion region) { 377 delete static_cast<Region *>(region.ptr); 378 } 379 380 /* ========================================================================== */ 381 /* Block API. */ 382 /* ========================================================================== */ 383 384 MlirBlock mlirBlockCreate(intptr_t nArgs, MlirType *args) { 385 Block *b = new Block; 386 for (intptr_t i = 0; i < nArgs; ++i) 387 b->addArgument(unwrap(args[i])); 388 return wrap(b); 389 } 390 391 int mlirBlockEqual(MlirBlock block, MlirBlock other) { 392 return unwrap(block) == unwrap(other); 393 } 394 395 MlirBlock mlirBlockGetNextInRegion(MlirBlock block) { 396 return wrap(unwrap(block)->getNextNode()); 397 } 398 399 MlirOperation mlirBlockGetFirstOperation(MlirBlock block) { 400 Block *cppBlock = unwrap(block); 401 if (cppBlock->empty()) 402 return wrap(static_cast<Operation *>(nullptr)); 403 return wrap(&cppBlock->front()); 404 } 405 406 void mlirBlockAppendOwnedOperation(MlirBlock block, MlirOperation operation) { 407 unwrap(block)->push_back(unwrap(operation)); 408 } 409 410 void mlirBlockInsertOwnedOperation(MlirBlock block, intptr_t pos, 411 MlirOperation operation) { 412 auto &opList = unwrap(block)->getOperations(); 413 opList.insert(std::next(opList.begin(), pos), unwrap(operation)); 414 } 415 416 void mlirBlockInsertOwnedOperationAfter(MlirBlock block, 417 MlirOperation reference, 418 MlirOperation operation) { 419 Block *cppBlock = unwrap(block); 420 if (mlirOperationIsNull(reference)) { 421 cppBlock->getOperations().insert(cppBlock->begin(), unwrap(operation)); 422 return; 423 } 424 425 assert(unwrap(reference)->getBlock() == unwrap(block) && 426 "expected reference operation to belong to the block"); 427 cppBlock->getOperations().insertAfter(Block::iterator(unwrap(reference)), 428 unwrap(operation)); 429 } 430 431 void mlirBlockInsertOwnedOperationBefore(MlirBlock block, 432 MlirOperation reference, 433 MlirOperation operation) { 434 if (mlirOperationIsNull(reference)) 435 return mlirBlockAppendOwnedOperation(block, operation); 436 437 assert(unwrap(reference)->getBlock() == unwrap(block) && 438 "expected reference operation to belong to the block"); 439 unwrap(block)->getOperations().insert(Block::iterator(unwrap(reference)), 440 unwrap(operation)); 441 } 442 443 void mlirBlockDestroy(MlirBlock block) { delete unwrap(block); } 444 445 intptr_t mlirBlockGetNumArguments(MlirBlock block) { 446 return static_cast<intptr_t>(unwrap(block)->getNumArguments()); 447 } 448 449 MlirValue mlirBlockGetArgument(MlirBlock block, intptr_t pos) { 450 return wrap(unwrap(block)->getArgument(static_cast<unsigned>(pos))); 451 } 452 453 void mlirBlockPrint(MlirBlock block, MlirStringCallback callback, 454 void *userData) { 455 detail::CallbackOstream stream(callback, userData); 456 unwrap(block)->print(stream); 457 stream.flush(); 458 } 459 460 /* ========================================================================== */ 461 /* Value API. */ 462 /* ========================================================================== */ 463 464 int mlirValueIsABlockArgument(MlirValue value) { 465 return unwrap(value).isa<BlockArgument>(); 466 } 467 468 int mlirValueIsAOpResult(MlirValue value) { 469 return unwrap(value).isa<OpResult>(); 470 } 471 472 MlirBlock mlirBlockArgumentGetOwner(MlirValue value) { 473 return wrap(unwrap(value).cast<BlockArgument>().getOwner()); 474 } 475 476 intptr_t mlirBlockArgumentGetArgNumber(MlirValue value) { 477 return static_cast<intptr_t>( 478 unwrap(value).cast<BlockArgument>().getArgNumber()); 479 } 480 481 void mlirBlockArgumentSetType(MlirValue value, MlirType type) { 482 unwrap(value).cast<BlockArgument>().setType(unwrap(type)); 483 } 484 485 MlirOperation mlirOpResultGetOwner(MlirValue value) { 486 return wrap(unwrap(value).cast<OpResult>().getOwner()); 487 } 488 489 intptr_t mlirOpResultGetResultNumber(MlirValue value) { 490 return static_cast<intptr_t>( 491 unwrap(value).cast<OpResult>().getResultNumber()); 492 } 493 494 MlirType mlirValueGetType(MlirValue value) { 495 return wrap(unwrap(value).getType()); 496 } 497 498 void mlirValueDump(MlirValue value) { unwrap(value).dump(); } 499 500 void mlirValuePrint(MlirValue value, MlirStringCallback callback, 501 void *userData) { 502 detail::CallbackOstream stream(callback, userData); 503 unwrap(value).print(stream); 504 stream.flush(); 505 } 506 507 /* ========================================================================== */ 508 /* Type API. */ 509 /* ========================================================================== */ 510 511 MlirType mlirTypeParseGet(MlirContext context, const char *type) { 512 return wrap(mlir::parseType(type, unwrap(context))); 513 } 514 515 MlirContext mlirTypeGetContext(MlirType type) { 516 return wrap(unwrap(type).getContext()); 517 } 518 519 int mlirTypeEqual(MlirType t1, MlirType t2) { return unwrap(t1) == unwrap(t2); } 520 521 void mlirTypePrint(MlirType type, MlirStringCallback callback, void *userData) { 522 detail::CallbackOstream stream(callback, userData); 523 unwrap(type).print(stream); 524 stream.flush(); 525 } 526 527 void mlirTypeDump(MlirType type) { unwrap(type).dump(); } 528 529 /* ========================================================================== */ 530 /* Attribute API. */ 531 /* ========================================================================== */ 532 533 MlirAttribute mlirAttributeParseGet(MlirContext context, const char *attr) { 534 return wrap(mlir::parseAttribute(attr, unwrap(context))); 535 } 536 537 MlirContext mlirAttributeGetContext(MlirAttribute attribute) { 538 return wrap(unwrap(attribute).getContext()); 539 } 540 541 MlirType mlirAttributeGetType(MlirAttribute attribute) { 542 return wrap(unwrap(attribute).getType()); 543 } 544 545 int mlirAttributeEqual(MlirAttribute a1, MlirAttribute a2) { 546 return unwrap(a1) == unwrap(a2); 547 } 548 549 void mlirAttributePrint(MlirAttribute attr, MlirStringCallback callback, 550 void *userData) { 551 detail::CallbackOstream stream(callback, userData); 552 unwrap(attr).print(stream); 553 stream.flush(); 554 } 555 556 void mlirAttributeDump(MlirAttribute attr) { unwrap(attr).dump(); } 557 558 MlirNamedAttribute mlirNamedAttributeGet(const char *name, MlirAttribute attr) { 559 return MlirNamedAttribute{name, attr}; 560 } 561