17b5dfb40SAlex Zinenko //===- Diagnostics.cpp - C Interface for MLIR Diagnostics -----------------===//
27b5dfb40SAlex Zinenko //
37b5dfb40SAlex Zinenko // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
47b5dfb40SAlex Zinenko // See https://llvm.org/LICENSE.txt for license information.
57b5dfb40SAlex Zinenko // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
67b5dfb40SAlex Zinenko //
77b5dfb40SAlex Zinenko //===----------------------------------------------------------------------===//
87b5dfb40SAlex Zinenko
97b5dfb40SAlex Zinenko #include "mlir-c/Diagnostics.h"
107b5dfb40SAlex Zinenko #include "mlir/CAPI/Diagnostics.h"
117b5dfb40SAlex Zinenko #include "mlir/CAPI/IR.h"
127b5dfb40SAlex Zinenko #include "mlir/CAPI/Support.h"
137b5dfb40SAlex Zinenko #include "mlir/CAPI/Utils.h"
147b5dfb40SAlex Zinenko #include "mlir/IR/Diagnostics.h"
157b5dfb40SAlex Zinenko
167b5dfb40SAlex Zinenko using namespace mlir;
177b5dfb40SAlex Zinenko
mlirDiagnosticPrint(MlirDiagnostic diagnostic,MlirStringCallback callback,void * userData)187b5dfb40SAlex Zinenko void mlirDiagnosticPrint(MlirDiagnostic diagnostic, MlirStringCallback callback,
197b5dfb40SAlex Zinenko void *userData) {
207b5dfb40SAlex Zinenko detail::CallbackOstream stream(callback, userData);
217b5dfb40SAlex Zinenko unwrap(diagnostic).print(stream);
227b5dfb40SAlex Zinenko }
237b5dfb40SAlex Zinenko
mlirDiagnosticGetLocation(MlirDiagnostic diagnostic)247b5dfb40SAlex Zinenko MlirLocation mlirDiagnosticGetLocation(MlirDiagnostic diagnostic) {
257b5dfb40SAlex Zinenko return wrap(unwrap(diagnostic).getLocation());
267b5dfb40SAlex Zinenko }
277b5dfb40SAlex Zinenko
mlirDiagnosticGetSeverity(MlirDiagnostic diagnostic)287b5dfb40SAlex Zinenko MlirDiagnosticSeverity mlirDiagnosticGetSeverity(MlirDiagnostic diagnostic) {
297b5dfb40SAlex Zinenko switch (unwrap(diagnostic).getSeverity()) {
307b5dfb40SAlex Zinenko case mlir::DiagnosticSeverity::Error:
317b5dfb40SAlex Zinenko return MlirDiagnosticError;
327b5dfb40SAlex Zinenko case mlir::DiagnosticSeverity::Warning:
337b5dfb40SAlex Zinenko return MlirDiagnosticWarning;
347b5dfb40SAlex Zinenko case mlir::DiagnosticSeverity::Note:
357b5dfb40SAlex Zinenko return MlirDiagnosticNote;
367b5dfb40SAlex Zinenko case mlir::DiagnosticSeverity::Remark:
377b5dfb40SAlex Zinenko return MlirDiagnosticRemark;
387b5dfb40SAlex Zinenko }
397b5dfb40SAlex Zinenko llvm_unreachable("unhandled diagnostic severity");
407b5dfb40SAlex Zinenko }
417b5dfb40SAlex Zinenko
427b5dfb40SAlex Zinenko // Notes are stored in a vector, so note iterator range is a pair of
437b5dfb40SAlex Zinenko // random access iterators, for which it is cheap to compute the size.
mlirDiagnosticGetNumNotes(MlirDiagnostic diagnostic)447b5dfb40SAlex Zinenko intptr_t mlirDiagnosticGetNumNotes(MlirDiagnostic diagnostic) {
457b5dfb40SAlex Zinenko return static_cast<intptr_t>(llvm::size(unwrap(diagnostic).getNotes()));
467b5dfb40SAlex Zinenko }
477b5dfb40SAlex Zinenko
487b5dfb40SAlex Zinenko // Notes are stored in a vector, so the iterator is a random access iterator,
497b5dfb40SAlex Zinenko // cheap to advance multiple steps at a time.
mlirDiagnosticGetNote(MlirDiagnostic diagnostic,intptr_t pos)507b5dfb40SAlex Zinenko MlirDiagnostic mlirDiagnosticGetNote(MlirDiagnostic diagnostic, intptr_t pos) {
517b5dfb40SAlex Zinenko return wrap(*std::next(unwrap(diagnostic).getNotes().begin(), pos));
527b5dfb40SAlex Zinenko }
537b5dfb40SAlex Zinenko
deleteUserDataNoop(void * userData)540c5cff30SGeorge static void deleteUserDataNoop(void *userData) {}
550c5cff30SGeorge
mlirContextAttachDiagnosticHandler(MlirContext context,MlirDiagnosticHandler handler,void * userData,void (* deleteUserData)(void *))560c5cff30SGeorge MlirDiagnosticHandlerID mlirContextAttachDiagnosticHandler(
570c5cff30SGeorge MlirContext context, MlirDiagnosticHandler handler, void *userData,
580c5cff30SGeorge void (*deleteUserData)(void *)) {
597b5dfb40SAlex Zinenko assert(handler && "unexpected null diagnostic handler");
60e5639b3fSMehdi Amini if (deleteUserData == nullptr)
610c5cff30SGeorge deleteUserData = deleteUserDataNoop;
627b5dfb40SAlex Zinenko DiagnosticEngine::HandlerID id =
637b5dfb40SAlex Zinenko unwrap(context)->getDiagEngine().registerHandler(
64*295d0327SBenjamin Kramer [handler,
65*295d0327SBenjamin Kramer ownedUserData = std::unique_ptr<void, decltype(deleteUserData)>(
66*295d0327SBenjamin Kramer userData, deleteUserData)](Diagnostic &diagnostic) {
67*295d0327SBenjamin Kramer return unwrap(handler(wrap(diagnostic), ownedUserData.get()));
687b5dfb40SAlex Zinenko });
697b5dfb40SAlex Zinenko return static_cast<MlirDiagnosticHandlerID>(id);
707b5dfb40SAlex Zinenko }
717b5dfb40SAlex Zinenko
mlirContextDetachDiagnosticHandler(MlirContext context,MlirDiagnosticHandlerID id)727b5dfb40SAlex Zinenko void mlirContextDetachDiagnosticHandler(MlirContext context,
737b5dfb40SAlex Zinenko MlirDiagnosticHandlerID id) {
747b5dfb40SAlex Zinenko unwrap(context)->getDiagEngine().eraseHandler(
757b5dfb40SAlex Zinenko static_cast<DiagnosticEngine::HandlerID>(id));
767b5dfb40SAlex Zinenko }
777b5dfb40SAlex Zinenko
mlirEmitError(MlirLocation location,const char * message)787b5dfb40SAlex Zinenko void mlirEmitError(MlirLocation location, const char *message) {
797b5dfb40SAlex Zinenko emitError(unwrap(location)) << message;
807b5dfb40SAlex Zinenko }
81