Give the if-converter access to MachineLoopInfo, and use it to generate plausible...