Accurately modeling speculative instruction fetching in trace-driven simulation