Compiler support for speculative multithreading architecture with probabilistic points-to analysis