Lines Matching defs:fast_state
59 args->thr->fast_state.IncrementEpoch();
61 TraceAddEvent(args->thr, args->thr->fast_state, EventTypeMop, 0);
62 args->thr->clock.set(args->thr->tid, args->thr->fast_state.epoch());
63 args->thr->fast_synch_epoch = args->thr->fast_state.epoch();
113 thr->fast_state.SetHistorySize(flags()->history_size);
128 thr->fast_state.IncrementEpoch();
130 TraceAddEvent(thr, thr->fast_state, EventTypeMop, 0);
131 thr->clock.set(thr->tid, thr->fast_state.epoch());
132 thr->fast_synch_epoch = thr->fast_state.epoch();
136 epoch1 = thr->fast_state.epoch();
335 FastState fast_state = thr->fast_state;
336 if (fast_state.GetIgnoreBit())
339 fast_state.IncrementEpoch();
340 thr->fast_state = fast_state;
341 TraceAddEvent(thr, fast_state, EventTypeMop, pc);
348 Shadow cur(fast_state);
359 Shadow cur(fast_state);
369 Shadow cur(fast_state);
