devirtualize-2.ll 814 Bytes