anchor.diff:          doAssert(st_valid_updData[t], "entry must be valid");
           doAssert(!st_computed_updData[t], "entry cannot be computed");
           doAssert(!st_validated_updData[t], "entry cannot be validated");
  -        st_stData[t] <= d;
  +        st_stData_updData[t] <= d;
       endmethod
   
       method ActionValue#(LSQUpdateAddrResult) updateAddr(
  
positive.code:         st_valid_deqSt[deqP] <= False;
          st_deqP_deqSt <= getNextStPtr(deqP);
  
          // tell LQ entries that this SQ entry is removed; no need to check LQ
          // entry valid
          function Action resetOlderSt(Integer i);
          action
              if(ld_olderSt_deqSt == Valid (deqP)) begin
                  ld_olderSt_deqSt <= Invalid;
                  // no need to change ld_olderStVerified, it is only meaningful
                  // when ld_olderSt is valid
              end
          endaction
          endfunction
          Vector#(LdQSize, Integer) idxVec = genVector;
          joinActions(map(resetOlderSt, idxVec));
  
          // make conflict with incorrect spec
          wrongSpec_deqLd_conflict.wset(?);
      endmethod
  
  `ifdef TSO_MM
  
negative.code:         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_depSBDeq_enq[ld_enqP] <= Invalid;
  `endif
          ld_specTag_enq[ld_enqP] <= Invalid;
  