Loop Shifting and Compaction for the High-Level Synthesis of Designs with Complex Control Flow