[DOC] Add missing passes (#8344)

Author: fhunstock-semron

docs/Passes.md

@@ -4,6 +4,10 @@ This document describes the available CIRCT passes and their contracts.
 
 [TOC]
 
+## General Passes
+
+[include "CIRCTGeneralPasses.md"]
+
 ## Conversion Passes
 
 [include "CIRCTConversionPasses.md"]
@@ -79,3 +83,11 @@ This document describes the available CIRCT passes and their contracts.
 ## SystemC Dialect Passes
 
 [include "SystemCPasses.md"]
+
+## LEC (logical equivalence checking) Passes
+
+[include "CIRCTLECPasses.md"]
+
+## BMC (bounded model checking) Passes
+
+[include "CIRCTBMCPasses.md"]

include/circt/Tools/circt-bmc/CMakeLists.txt

@@ -4,4 +4,4 @@ mlir_tablegen(BMCTransforms.capi.h.inc -gen-pass-capi-header --prefix BMCTransfo
 mlir_tablegen(BMCTransforms.capi.cpp.inc -gen-pass-capi-impl --prefix BMCTransforms)
 add_public_tablegen_target(CIRCTBMCTransformsIncGen)
 
-add_mlir_doc(Passes CIRCTBMCPasses ./ -gen-pass-doc)
+add_circt_doc(Passes CIRCTBMCPasses -gen-pass-doc)

include/circt/Tools/circt-lec/CMakeLists.txt

@@ -4,4 +4,4 @@ mlir_tablegen(LECTransforms.capi.h.inc -gen-pass-capi-header --prefix LECTransfo
 mlir_tablegen(LECTransforms.capi.cpp.inc -gen-pass-capi-impl --prefix LECTransforms)
 add_public_tablegen_target(CIRCTLECTransformsIncGen)
 
-add_mlir_doc(Passes CIRCTLECPasses ./ -gen-pass-doc)
+add_circt_doc(Passes CIRCTLECPasses -gen-pass-doc)

include/circt/Transforms/CMakeLists.txt

@@ -5,4 +5,4 @@ mlir_tablegen(Transforms.capi.h.inc -gen-pass-capi-header --prefix CIRCTTransfor
 mlir_tablegen(Transforms.capi.cpp.inc -gen-pass-capi-impl --prefix CIRCTTransforms)
 add_public_tablegen_target(CIRCTTransformsPassIncGen)
 
-add_mlir_doc(Passes CIRCTGeneralPasses ./ -gen-pass-doc)
+add_circt_doc(Passes CIRCTGeneralPasses -gen-pass-doc)