Did you mean bolt instead of propeller? Bolt optimizes binaries, propeller is an llvm fork with extra information and a special linker.

Neither is made to do the optimizations you are talking about, that is what regular llvm does.