Efficient implementation of shading language programs using controlled partial evaluation

摘要

A graphical computing system including a host processor and a target processor. In response to execution of stored instructions, the host processor is operable to: (a) receive input code for a program and a set of constraints on input variables of the program, (b) compile a specialized version V_K of the input code for each constraint C_K of said constraint set and store the specialized version V_K in a local memory, (c) receive particular values of the input variables in response to a run-time invocation of the program, (d) search the constraint set to determine if the particular values satisfy any of the constraints of the constraint set, and (e) in response to determining that the particular values satisfy a constraint C_L of the constraint set, invoking execution of the specialized version V_L by the target processor.