A framework for modeling and optimization of prescient instruction prefetch