Propagate user compile options for Chisel.Module (bp #1387)

src/main/scala/chisel3/compatibility.scala

@@ -300,7 +300,7 @@ package object Chisel {     // scalastyle:ignore package.object.name number.of.t
 
   import chisel3.CompileOptions
   abstract class CompatibilityModule(implicit moduleCompileOptions: CompileOptions)
-      extends chisel3.internal.LegacyModule {
+      extends chisel3.internal.LegacyModule()(moduleCompileOptions) {
     // This class auto-wraps the Module IO with IO(...), allowing legacy code (where IO(...) wasn't
     // required) to build.
     // Also provides the clock / reset constructors, which were used before withClock happened.

src/test/scala/chiselTests/CompatibilitySpec.scala

@@ -7,6 +7,16 @@ import chisel3.testers.BasicTester
 import org.scalacheck.Gen
 import org.scalatest.prop.GeneratorDrivenPropertyChecks
 
+// Need separate import to override compile options from Chisel._
+object CompatibilityCustomCompileOptions {
+  import Chisel.{defaultCompileOptions => _, _}
+  implicit val customCompileOptions =
+    chisel3.ExplicitCompileOptions.NotStrict.copy(inferModuleReset = true)
+  class Foo extends Module {
+    val io = new Bundle {}
+  }
+}
+
 class CompatibiltySpec extends ChiselFlatSpec with GeneratorDrivenPropertyChecks {
   import Chisel._
 
@@ -581,4 +591,11 @@ class CompatibiltySpec extends ChiselFlatSpec with GeneratorDrivenPropertyChecks
     elaborate(new Foo)
   }
 
+  it should "properly propagate custom compileOptions in Chisel.Module" in {
+    import CompatibilityCustomCompileOptions._
+    var result: Foo = null
+    elaborate({result = new Foo; result})
+    result.compileOptions should be theSameInstanceAs (customCompileOptions)
+  }
+
 }