#pragma once DIVINE_RELAX_WARNINGS #include #include DIVINE_UNRELAX_WARNINGS namespace lart { // LowerSelect converts SelectInst instructions into conditional branch and PHI // instructions. struct LowerSelect { bool runOnFunction( llvm::Function &fn, bool changed = false ); void lower( llvm::SelectInst *si ); }; }