[FIRRTL] Add bind-op verifier error tests

Author: rwy7

test/Dialect/FIRRTL/errors.mlir

@@ -2885,3 +2885,31 @@ firrtl.circuit "SimulationPortType3" {
     out success: !firrtl.reset
   )
 }
+
+// -----
+
+firrtl.circuit "BindTargetMissingModule" {
+  firrtl.module @BindTargetMissing() {}
+  // expected-error @below {{Referenced module doesn't exist "XXX"::"YYY}}
+  firrtl.bind <@XXX::@YYY>
+}
+
+// -----
+
+firrtl.circuit "BindTargetMissingInstance" {
+  firrtl.module @BindTargetMissingInstance() {}
+  // expected-error @below {{Referenced module doesn't exist "BindTargetMissing"::"YYY"}}
+  firrtl.bind <@BindTargetMissing::@YYY>
+}
+
+// -----
+
+firrtl.circuit "BindTargetMissingDoNotPrintFlag" {
+  firrtl.module @Target() {}
+  firrtl.module @BindTargetMissingDoNotPrintFlag() {
+    firrtl.instance target sym @target @Target()
+  }
+
+  // expected-error @below  {{Referenced instance isn't marked as doNotPrint}}
+  firrtl.bind <@BindTargetMissingDoNotPrintFlag::@target>
+}