aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/firrtl/passes/memlib/ToMemIR.scala
diff options
context:
space:
mode:
Diffstat (limited to 'src/main/scala/firrtl/passes/memlib/ToMemIR.scala')
-rw-r--r--src/main/scala/firrtl/passes/memlib/ToMemIR.scala7
1 files changed, 4 insertions, 3 deletions
diff --git a/src/main/scala/firrtl/passes/memlib/ToMemIR.scala b/src/main/scala/firrtl/passes/memlib/ToMemIR.scala
index a9f4b330..554a3572 100644
--- a/src/main/scala/firrtl/passes/memlib/ToMemIR.scala
+++ b/src/main/scala/firrtl/passes/memlib/ToMemIR.scala
@@ -11,14 +11,15 @@ import firrtl.ir._
* - read latency and write latency of one
* - only one readwrite port or write port
* - zero or one read port
+ * - undefined read-under-write behavior
*/
object ToMemIR extends Pass {
/** Only annotate memories that are candidates for memory macro replacements
- * i.e. rw, w + r (read, write 1 cycle delay)
+ * i.e. rw, w + r (read, write 1 cycle delay) and read-under-write "undefined."
*/
+ import ReadUnderWrite._
def updateStmts(s: Statement): Statement = s match {
- case m: DefMemory if m.readLatency == 1 && m.writeLatency == 1 &&
- (m.writers.length + m.readwriters.length) == 1 && m.readers.length <= 1 =>
+ case m @ DefMemory(_,_,_,_,1,1,r,w,rw,Undefined) if (w.length + rw.length) == 1 && r.length <= 1 =>
DefAnnotatedMemory(m)
case sx => sx map updateStmts
}