1. A method for aggregating a program loop, the method comprising: performing by a processor: identifying one or more instructions of a program loop having a branch instruction that causes the program loop to branch after a memory write operation dependent upon a predicate condition, wherein the predicate condition controls whether the branch instruction is dispatched for execution; and modifying the one or more instructions to cause a processor to execute the one or more instructions as a vector block, and to branch after the memory write operation is executed, for iterations of the program loop prior to and including an iteration during which the predicate condition is satisfied.