Add when.cond for getting the current when condition (chipsalliance#1694

)

This is useful for libraries to guard operations implemented via
annotations or BlackBoxes by the current when predicate

core/src/main/scala/chisel3/When.scala

@@ -3,11 +3,10 @@
 package chisel3
 
 import scala.language.experimental.macros
-
 import chisel3.internal._
 import chisel3.internal.Builder.pushCommand
 import chisel3.internal.firrtl._
-import chisel3.internal.sourceinfo.{SourceInfo}
+import chisel3.internal.sourceinfo.{SourceInfo, UnlocatableSourceInfo}
 
 object when {
   /** Create a `when` condition block, where whether a block of logic is
@@ -29,7 +28,30 @@ object when {
     */
 
   def apply(cond: => Bool)(block: => Any)(implicit sourceInfo: SourceInfo, compileOptions: CompileOptions): WhenContext = {
-    new WhenContext(sourceInfo, Some(() => cond), block)
+    new WhenContext(sourceInfo, Some(() => cond), block, 0, Nil)
+  }
+
+  /** Returns the current `when` condition
+    *
+    * This is the conjunction of conditions for all `whens` going up the call stack
+    * {{{
+    * when (a) {
+    *   when (b) {
+    *     when (c) {
+    *     }.otherwise {
+    *       when.cond // this is equal to: a && b && !c
+    *     }
+    *   }
+    * }
+    * }}}
+    *  */
+  def cond: Bool = {
+    implicit val compileOptions = ExplicitCompileOptions.Strict
+    implicit val sourceInfo = UnlocatableSourceInfo
+    val whens = Builder.whenStack
+    whens.foldRight(true.B) {
+      case (ctx, acc) => acc && ctx.localCond()
+    }
   }
 }
 
@@ -43,18 +65,40 @@ object when {
   *  succeeding elsewhen or otherwise; therefore, this information is
   *  added by preprocessing the command queue.
   */
-final class WhenContext(sourceInfo: SourceInfo, cond: Option[() => Bool], block: => Any, firrtlDepth: Int = 0) {
+final class WhenContext private[chisel3] (
+  sourceInfo: SourceInfo,
+  cond: Option[() => Bool],
+  block: => Any,
+  firrtlDepth: Int,
+  // For capturing conditions from prior whens or elsewhens
+  altConds: List[() => Bool]
+) {
+
+  @deprecated("Use when(...) { ... }, this should never have been public", "Chisel 3.4.2")
+  def this(sourceInfo: SourceInfo, cond: Option[() => Bool], block: => Any, firrtlDepth: Int = 0) =
+    this(sourceInfo, cond, block, firrtlDepth, Nil)
 
   private var scopeOpen = false
 
+  /** Returns the local condition, inverted for an otherwise */
+  private[chisel3] def localCond(): Bool = {
+    implicit val compileOptions = ExplicitCompileOptions.Strict
+    implicit val sourceInfo = UnlocatableSourceInfo
+    val alt = altConds.foldRight(true.B) {
+      case (c, acc) => acc & !c()
+    }
+    cond.map(alt && _())
+        .getOrElse(alt)
+  }
+
   /** This block of logic gets executed if above conditions have been
     * false and this condition is true. The lazy argument pattern
     * makes it possible to delay evaluation of cond, emitting the
     * declaration and assignment of the Bool node of the predicate in
     * the correct place.
     */
   def elsewhen (elseCond: => Bool)(block: => Any)(implicit sourceInfo: SourceInfo, compileOptions: CompileOptions): WhenContext = {
-    new WhenContext(sourceInfo, Some(() => elseCond), block, firrtlDepth + 1)
+    new WhenContext(sourceInfo, Some(() => elseCond), block, firrtlDepth + 1, cond ++: altConds)
   }
 
   /** This block of logic gets executed only if the above conditions
@@ -65,7 +109,7 @@ final class WhenContext(sourceInfo: SourceInfo, cond: Option[() => Bool], block:
     * place.
     */
   def otherwise(block: => Any)(implicit sourceInfo: SourceInfo, compileOptions: CompileOptions): Unit =
-    new WhenContext(sourceInfo, None, block, firrtlDepth + 1)
+    new WhenContext(sourceInfo, None, block, firrtlDepth + 1, cond ++: altConds)
 
   def active(): Boolean = scopeOpen
 
@@ -79,13 +123,13 @@ final class WhenContext(sourceInfo: SourceInfo, cond: Option[() => Bool], block:
     scopeOpen = true
     block
   } catch {
-    case ret: scala.runtime.NonLocalReturnControl[_] =>
+    case _: scala.runtime.NonLocalReturnControl[_] =>
       throwException("Cannot exit from a when() block with a \"return\"!" +
         " Perhaps you meant to use Mux or a Wire as a return value?"
       )
   }
   scopeOpen = false
   Builder.popWhen()
-  cond.foreach( c => pushCommand(WhenEnd(sourceInfo,firrtlDepth)) )
+  cond.foreach(_ => pushCommand(WhenEnd(sourceInfo,firrtlDepth)))
   if (cond.isEmpty) { pushCommand(OtherwiseEnd(sourceInfo,firrtlDepth)) }
 }

src/test/scala/chiselTests/When.scala

@@ -92,6 +92,42 @@ class SubmoduleWhenTester extends BasicTester {
   }
 }
 
+class WhenCondTester extends BasicTester {
+  val pred = Wire(Vec(4, Bool()))
+  val (cycle, done) = Counter(true.B, 1 << pred.size)
+  // Cycle through every predicate
+  pred := cycle.asBools
+  val Seq(a, b, c, d) = pred  // Just for nicer accessors
+  // When want the when predicates on connection to optimize away,
+  //   it's not necessary but it makes the Verilog prettier
+  val w1, w2, w3, w4, w5, w6, w7 = WireInit(Bool(), DontCare)
+  when (a) {
+    w1 := when.cond
+    when (b) {
+      w2 := when.cond
+    }.elsewhen (c) {
+      w3 := when.cond
+    }.elsewhen (d) {
+      w4 := when.cond
+    }.otherwise {
+      w5 := when.cond
+    }
+  }.otherwise {
+    w6 := when.cond
+  }
+  w7 := when.cond
+
+  assert(w1 === a)
+  assert(w2 === (a && b))
+  assert(w3 === (a && !b && c))
+  assert(w4 === (a && !b && !c && d))
+  assert(w5 === (a && !b && !c && !d))
+  assert(w6 === !a)
+  assert(w7)
+
+  when (done) { stop() }
+}
+
 class WhenSpec extends ChiselFlatSpec with Utils {
   "When, elsewhen, and otherwise with orthogonal conditions" should "work" in {
     assertTesterPasses{ new WhenTester }
@@ -105,6 +141,9 @@ class WhenSpec extends ChiselFlatSpec with Utils {
   "Conditional connections to submodule ports" should "be handled properly" in {
     assertTesterPasses(new SubmoduleWhenTester)
   }
+  "when.cond" should "give the current when condition" in {
+    assertTesterPasses(new WhenCondTester)
+  }
 
   "Returning in a when scope" should "give a reasonable error message" in {
     val e = the [ChiselException] thrownBy extractCause[ChiselException] {