Can program profiling support value prediction?