#pragma once

//
// This file is distributed under the MIT License. See LICENSE.md for details.
//

#include <cstdint>
#include <string>

#include "revng/Model/Binary.h"
#include "revng/mlir/Dialect/Clift/IR/CliftOps.h"
#include "revng/mlir/Dialect/Clift/Utils/CTarget.h"

namespace ptml {
class CTypeBuilder;
}

namespace mlir::clift {

std::string decompile(FunctionOp Function,
                      const TargetCImplementation &Target,
                      ptml::CTypeBuilder &Builder);

} // namespace mlir::clift