Mitosis compiler: an infrastructure for speculative threading based on pre-computation slices