Program compilation method and apparatus

A program compilation method, comprising:

• obtaining a second program, the second program comprising a plurality of layers of loop statements, a loop condition of each layer of loop statement comprising a variable and a value interval of the variable, and a loop body of the plurality of layers of loop statements comprising at least one conditional statement, the plurality of layers of loop statements comprising a fifth loop statement, the fifth loop statement is a layer of loop statement in the plurality of layers of loop statements, a variable comprised in a loop condition of the fifth loop statement comprising a third variable, and the third variable comprising one of variables comprised in a second conditional statement in the at least one conditional statement;
• updating a first value interval of the third variable in the fifth loop statement to obtain a sixth loop statement, the updated first value interval making the second conditional statement always true;
• and
• compiling the second program based on the sixth loop statement to obtain a compilation result of the second program, the compilation result of the second program being related to the sixth loop statement.

A chip system, comprising:

• an interface circuit;
• a memory storing instructions;
• and
• at least one processor in communication with the memory and the interface circuit, the at least one processor configured, upon execution of the instructions, to perform the following steps:
• obtaining a first program, the first program comprising a plurality of layers of loop statements, a loop condition of each layer of loop statement in the plurality of layers of loop statements comprising a variable and a value interval of the variable, and a loop body of the plurality of layers of loop statements comprising at least one conditional statement, the plurality of layers of loop statements comprise a first loop statement, the first loop statement comprising a layer of loop statement in the plurality of layers of loop statements, a variable comprised in a loop condition of the first loop statement comprising a first variable, and the first variable is one of variables comprised in a first conditional statement in the at least one conditional statement;
• processing a value interval of the first variable in the first loop statement to obtain at least one loop statement corresponding to the first loop statement, the at least one loop statement comprises a second loop statement, both the first loop statement and the second loop statement comprising the first variable, a value interval of the first variable in the second loop statement comprising a first interval, the first interval comprising a subset of the value interval of the first variable in the first loop statement, and the first interval making the first conditional statement always true;
• and
• compiling the first program based on the at least one loop statement to obtain a compilation result of the first program, the compilation result of the first program being related to the at least one loop statement.

A non-transitory computer-readable media storing computer instructions that configure at least one processor, upon execution of the instructions, to perform the following steps:

• obtaining a first program, the first program comprising a plurality of layers of loop statements, a loop condition of each layer of loop statement in the plurality of layers of loop statements comprising a variable and a value interval of the variable, and a loop body of the plurality of layers of loop statements comprising at least one conditional statement, the plurality of layers of loop statements comprise a first loop statement, the first loop statement comprising a layer of loop statement in the plurality of layers of loop statements, a variable comprised in a loop condition of the first loop statement comprising a first variable, and the first variable comprising one of variables comprised in a first conditional statement in the at least one conditional statement;
• processing a value interval of the first variable in the first loop statement to obtain at least one loop statement corresponding to the first loop statement, the at least one loop statement comprises a second loop statement, both the first loop statement and the second loop statement comprising the first variable, a value interval of the first variable in the second loop statement comprising a first interval, the first interval comprising a subset of the value interval of the first variable in the first loop statement, and the first interval making the first conditional statement always true;
• and
• compiling the first program based on the at least one loop statement to obtain a compilation result of the first program, the compilation result of the first program being related to the at least one loop statement.