xref: /llvm-project-15.0.7/mlir/lib/CAPI/IR/IR.cpp (revision 1df0dbfc)
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