predicate scientific program performance model using llvm