Abstract: A method of unrolling/optimizing a repetitive loop, in which a program compiler in a computer system unrolls and optimizes a repetitive loop instruction, includes the following steps. It is checked whether the number of times that a loop in an input source program is repeated is an even number. If it is determined that the number of times of repetition is an even number, it is checked whether there are a definition and a reference which span the respective repetitions of the loop. If it is determined that there are neither definition nor reference, an instruction string in the loop is unrolled a plurality of times in response to the loop instruction. The index value of the newly unrolled instruction string is updated by predetermined arithmetic processing including a calculation based on an initial value, a terminal value, and an incrementation value of the loop.