Patent ID: 11941383
Assignee: AMAZON TECHNOLOGIES, INC.
Field: Computer technology (Electrical engineering)
Classification: CPC G | IPC G

Claim 12:
13. A non-transitory computer readable medium having stored therein instructions that, when executed by one or more processors, cause the one or more processors to execute a compiler, the compiler performing operations including:
parsing a loop-nest construct;
analyzing an execution statement in the loop-nest construct to generate an analysis result indicating a set of execution conditions for the execution statement, the set of execution conditions including an iteration space of the execution statement and one or more algebraic inequalities to describe a predicate condition;
generating a first lookup key from control statements bounding the execution statement;
storing the analysis result with the first lookup key in a first cache entry of a cache;
modifying the execution statement according to the analysis result, wherein modifying the execution statement includes performing a predicate simplification; and
compiling the loop-nest construct with the modified execution statement into machine executable code.