{
  "evidence": "教学时序模型",
  "conservative": {
    "predict": false,
    "stores": [
      {
        "sequence": 0,
        "address": 128,
        "value": 11,
        "address_ready": 0,
        "data_ready": 0,
        "width": 4
      },
      {
        "sequence": 1,
        "address": 128,
        "value": 22,
        "address_ready": 4,
        "data_ready": 1,
        "width": 4
      }
    ],
    "load_address": 128,
    "events": [
      {
        "cycle": 0,
        "event": "store_data_ready",
        "store": 0
      },
      {
        "cycle": 0,
        "event": "store_address_ready",
        "store": 0
      },
      {
        "cycle": 1,
        "event": "store_data_ready",
        "store": 1
      },
      {
        "cycle": 4,
        "event": "store_address_ready",
        "store": 1
      },
      {
        "cycle": 4,
        "event": "load_execute",
        "source_store": 1,
        "value": 22,
        "speculative": false
      },
      {
        "cycle": 4,
        "event": "load_validated",
        "value": 22
      }
    ],
    "result": 22,
    "replays": 0,
    "sequential": 22
  },
  "predicted": {
    "predict": true,
    "stores": [
      {
        "sequence": 0,
        "address": 128,
        "value": 11,
        "address_ready": 0,
        "data_ready": 0,
        "width": 4
      },
      {
        "sequence": 1,
        "address": 128,
        "value": 22,
        "address_ready": 4,
        "data_ready": 1,
        "width": 4
      }
    ],
    "load_address": 128,
    "events": [
      {
        "cycle": 0,
        "event": "store_data_ready",
        "store": 0
      },
      {
        "cycle": 0,
        "event": "store_address_ready",
        "store": 0
      },
      {
        "cycle": 0,
        "event": "load_execute",
        "source_store": 0,
        "value": 11,
        "speculative": true
      },
      {
        "cycle": 1,
        "event": "store_data_ready",
        "store": 1
      },
      {
        "cycle": 4,
        "event": "store_address_ready",
        "store": 1
      },
      {
        "cycle": 4,
        "event": "replay",
        "store": 1,
        "discarded_value": 11
      },
      {
        "cycle": 4,
        "event": "load_execute",
        "source_store": 1,
        "value": 22,
        "speculative": false
      },
      {
        "cycle": 4,
        "event": "load_validated",
        "value": 22
      }
    ],
    "result": 22,
    "replays": 1,
    "sequential": 22
  },
  "non_alias": {
    "predict": true,
    "stores": [
      {
        "sequence": 0,
        "address": 128,
        "value": 11,
        "address_ready": 0,
        "data_ready": 0,
        "width": 4
      },
      {
        "sequence": 1,
        "address": 132,
        "value": 22,
        "address_ready": 4,
        "data_ready": 1,
        "width": 4
      }
    ],
    "load_address": 128,
    "events": [
      {
        "cycle": 0,
        "event": "store_data_ready",
        "store": 0
      },
      {
        "cycle": 0,
        "event": "store_address_ready",
        "store": 0
      },
      {
        "cycle": 0,
        "event": "load_execute",
        "source_store": 0,
        "value": 11,
        "speculative": true
      },
      {
        "cycle": 1,
        "event": "store_data_ready",
        "store": 1
      },
      {
        "cycle": 4,
        "event": "store_address_ready",
        "store": 1
      },
      {
        "cycle": 4,
        "event": "load_validated",
        "value": 11
      }
    ],
    "result": 11,
    "replays": 0,
    "sequential": 11
  },
  "wait_for_data": {
    "predict": false,
    "stores": [
      {
        "sequence": 0,
        "address": 128,
        "value": 33,
        "address_ready": 1,
        "data_ready": 4,
        "width": 4
      }
    ],
    "load_address": 128,
    "events": [
      {
        "cycle": 1,
        "event": "store_address_ready",
        "store": 0
      },
      {
        "cycle": 4,
        "event": "store_data_ready",
        "store": 0
      },
      {
        "cycle": 4,
        "event": "load_execute",
        "source_store": 0,
        "value": 33,
        "speculative": false
      },
      {
        "cycle": 4,
        "event": "load_validated",
        "value": 33
      }
    ],
    "result": 33,
    "replays": 0,
    "sequential": 33
  },
  "rejected": [
    "only aligned width=4 accesses: address=130, width=4",
    "only aligned width=4 accesses: address=128, width=2",
    "only aligned width=4 accesses: address=-4, width=4"
  ]
}