devirtualize.ll 8.73 KB