phi-and-select.ll 848 Bytes