Identifies store instructions that might be related for argument handling: We identify these instructions by looking for allocas in the function. If t

Initialize memory accesses for requirements

\pre all contained functions are non recursive! todo: have a recursive-ness termination

disjoin path divergence

returns whether To is in the same BB as From, and succeeds it in the instruction list.

Estimates whether kernel arguments might be invariant. This also updates the statistics in the appdb, so if this function returns true, a specializati

reinterpret single argument as array if neccessary and load scalar size values into LocalSize

* This creates a wrapper function for a kernel function that takes the following arguments: * - A pointer to a struct containing {num_groups, group_i

Marks an allocation range on a given device most recent

Marks an allocation range on a give device as not invalidated