1. A method comprising: determining, before run time, whether a code for a programmable culling unit has at least one culling input variable with non-infinite bounds that can be determined; if so, for each variable whose bounds can be determined, tracking the bounds at compile time through the code; wherein if the bounds cannot be determined at compile time, making an assumption at compile time of the bounds; and wherein tracking the bounds including evaluating instructions using bounded arithmetic.