xref: /llvm-project/mlir/tools/mlir-parser-fuzzer/bytecode/mlir-bytecode-parser-fuzzer.cpp (revision 88d319a29ff5d3be1bb9a7e88ef6e17df1dfe607)
12c4e073dSJacques Pienaar //===--- mlir-bytecode-parser-fuzzer.cpp - Entry point to parser fuzzer ---===//
22c4e073dSJacques Pienaar //
32c4e073dSJacques Pienaar // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
42c4e073dSJacques Pienaar // See https://llvm.org/LICENSE.txt for license information.
52c4e073dSJacques Pienaar // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
62c4e073dSJacques Pienaar //
72c4e073dSJacques Pienaar //===----------------------------------------------------------------------===//
82c4e073dSJacques Pienaar //
92c4e073dSJacques Pienaar // Implementation of main so we can build and test without linking libFuzzer.
102c4e073dSJacques Pienaar //
112c4e073dSJacques Pienaar //===----------------------------------------------------------------------===//
122c4e073dSJacques Pienaar 
132c4e073dSJacques Pienaar #include "mlir/IR/BuiltinOps.h"
142c4e073dSJacques Pienaar #include "mlir/IR/Diagnostics.h"
152c4e073dSJacques Pienaar #include "mlir/IR/MLIRContext.h"
162c4e073dSJacques Pienaar #include "mlir/Parser/Parser.h"
172c4e073dSJacques Pienaar #include "llvm/ADT/StringRef.h"
182c4e073dSJacques Pienaar #include "llvm/Support/Compiler.h"
192c4e073dSJacques Pienaar 
202c4e073dSJacques Pienaar using namespace mlir;
212c4e073dSJacques Pienaar 
LLVMFuzzerTestOneInput(const uint8_t * data,size_t size)222c4e073dSJacques Pienaar extern "C" LLVM_ATTRIBUTE_USED int LLVMFuzzerTestOneInput(const uint8_t *data,
232c4e073dSJacques Pienaar                                                           size_t size) {
242c4e073dSJacques Pienaar   // Skip empty inputs.
252c4e073dSJacques Pienaar   if (size <= 1 || data[size - 1] != 0)
262c4e073dSJacques Pienaar     return -1;
272c4e073dSJacques Pienaar   llvm::StringRef str(reinterpret_cast<const char *>(data), size - 1);
282c4e073dSJacques Pienaar   // Skip if not bytecode.
29*88d319a2SKazu Hirata   if (!str.starts_with("ML\xefR"))
302c4e073dSJacques Pienaar     return -1;
312c4e073dSJacques Pienaar 
322c4e073dSJacques Pienaar   // Create a null-terminated memory buffer from the input.
332c4e073dSJacques Pienaar   DialectRegistry registry;
342c4e073dSJacques Pienaar   MLIRContext context(registry);
352c4e073dSJacques Pienaar   context.allowUnregisteredDialects();
362c4e073dSJacques Pienaar 
372c4e073dSJacques Pienaar   // Register diagnostic handler to avoid triggering exit behavior.
382c4e073dSJacques Pienaar   context.getDiagEngine().registerHandler(
392c4e073dSJacques Pienaar       [](mlir::Diagnostic &diag) { return; });
402c4e073dSJacques Pienaar 
412c4e073dSJacques Pienaar   // Parse module. The parsed module isn't used, so it is discarded post parse
422c4e073dSJacques Pienaar   // (successful or failure). The returned module is wrapped in a unique_ptr
432c4e073dSJacques Pienaar   // such that it is freed upon exit if returned.
442c4e073dSJacques Pienaar   (void)parseSourceString<ModuleOp>(str, &context);
452c4e073dSJacques Pienaar   return 0;
462c4e073dSJacques Pienaar }
472c4e073dSJacques Pienaar 
llvmFuzzerInitialize(int * argc,char *** argv)482c4e073dSJacques Pienaar extern "C" LLVM_ATTRIBUTE_USED int llvmFuzzerInitialize(int *argc,
492c4e073dSJacques Pienaar                                                         char ***argv) {
502c4e073dSJacques Pienaar   return 0;
512c4e073dSJacques Pienaar }
52