From d8a1163131e9bd0e0f35a7bad9766c33cb9b6bbb Mon Sep 17 00:00:00 2001 From: "Wesley W. Terpstra" Date: Wed, 12 Oct 2016 18:09:38 -0700 Subject: [PATCH] tilelink2 Monitor: don't enforce Irrevocable any more --- src/main/scala/uncore/tilelink2/Monitor.scala | 21 ------------------- 1 file changed, 21 deletions(-) diff --git a/src/main/scala/uncore/tilelink2/Monitor.scala b/src/main/scala/uncore/tilelink2/Monitor.scala index 758a104b..754a18a8 100644 --- a/src/main/scala/uncore/tilelink2/Monitor.scala +++ b/src/main/scala/uncore/tilelink2/Monitor.scala @@ -386,26 +386,6 @@ class TLMonitor(gen: () => TLBundleSnoop, edge: () => TLEdge, sourceInfo: Source legalizeMultibeatD(bundle.d, edge) } - def legalizeIrrevocable(irr: DecoupledSnoop[TLChannel], edge: TLEdge)(implicit sourceInfo: SourceInfo) { - val last_v = RegNext(irr.valid, Bool(false)) - val last_r = RegNext(irr.ready, Bool(false)) - val last_b = RegNext(irr.bits) - val bits_changed = irr.bits.asUInt === last_b.asUInt - - when (last_v && !last_r) { - assert(irr.valid, s"${irr.bits.channelName} had contents that were revoked by the supplier (valid lowered)" + extra) - assert(bits_changed, s"${irr.bits.channelName} had contents that were revoked by the supplier (contents changed)" + extra) - } - } - - def legalizeIrrevocable(bundle: TLBundleSnoop, edge: TLEdge)(implicit sourceInfo: SourceInfo) { - legalizeIrrevocable(bundle.a, edge) - legalizeIrrevocable(bundle.b, edge) - legalizeIrrevocable(bundle.c, edge) - legalizeIrrevocable(bundle.d, edge) - legalizeIrrevocable(bundle.e, edge) - } - def legalizeSourceUnique(bundle: TLBundleSnoop, edge: TLEdge)(implicit sourceInfo: SourceInfo) { val inflight = RegInit(UInt(0, width = edge.client.endSourceId)) @@ -438,7 +418,6 @@ class TLMonitor(gen: () => TLBundleSnoop, edge: () => TLEdge, sourceInfo: Source def legalize(bundle: TLBundleSnoop, edge: TLEdge)(implicit sourceInfo: SourceInfo) { legalizeFormat (bundle, edge) legalizeMultibeat (bundle, edge) - legalizeIrrevocable(bundle, edge) legalizeSourceUnique(bundle, edge) }