anchor.diff:          ld_killed_enq[ld_enqP] <= False;
           ld_readFrom_enq[ld_enqP] <= Invalid;
           ld_depLdQDeq_enq[ld_enqP] <= Invalid;
  +        ld_depStQDeq_enq[ld_enqP] <= Invalid;
  +`ifndef TSO_MM
           ld_depLdEx_enq[ld_enqP] <= Invalid;
  -        ld_deqStQDeq_enq[ld_enqP] <= Invalid;
  -`ifndef TSO_MM
           ld_depSBDeq_enq[ld_enqP] <= Invalid;
   `endif
           ld_specTag_enq[ld_enqP] <= Invalid;
  
positive.code:                                       : (st_enqP - 1);
          if(st_valid_enq[olderSt]) begin
              ld_olderSt_enq[ld_enqP] <= Valid (olderSt);
              ld_olderVerified_enq[ld_enqP] <= st_verified_enq[olderSt];
          end
          else begin
              ld_olderSt_enq[ld_enqP] <= Invalid;
              ld_olderVerified_enq[ld_enqP] <= False
          end
          // make conflict with incorrect spec
          wrongSpec_enq_conflict.wset(?);
  
negative.code:     // (5) when deq Ld or MMIO, clear spectag globally
      method LdQDeqEntry firstLd;
      method Action deqLd;
      // Deq SQ entry, and wakeup stalled loads. Also change the readFrom and
      // olderSt fields of loads. The guard only checks the following:
      // (1) valid
  