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