if-conversion

Hi,

SimplifyCFG is mostly doing canonicalization. It does some obvious if-conversion. More general if-conversions require target info so it’s done in MI passes. LLVM has an early if-converter which uses machinetracemetric and a late one after regalloc.

Evan