auto main ( int argc , char ** argv ) -> int { // register dialects mlir :: DialectRegistry registry ; vast :: registerAllDialects ( registry ); mlir :: registerAllDialects ( registry ); register_sequoia_checker_pass (); return mlir :: failed ( mlir :: MlirOptMain ( argc , argv , "VAST Sequoia Bug Checker struct sequoia_checker_pass : public mlir :: PassWrapper < sequoia_checker_pass , mlir :: OperationPass < mlir :: ModuleOp >> { auto getArgument () const -> llvm :: StringRef final { return "sequoia" ; } auto getDescription () const -> llvm :: StringRef final { return "Checks for the sequoia bug in VAST hl dialect code" ; } void runOnOperation () override { llvm :: errs () << "Hello World!" auto is_unsigned_to_signed_cast ( mlir :: Operation * opr ) -> bool { using vast :: vast_module ;…