We propose a denotational semantics for high-level quantum programming constructs, focusing on quantum-controlled branching and iteration. A mathematical domain is introduced to define the meaning of quantum control flow with loops, reflecting the coherent evolution of the quantum system.