Skip to content

Apply conditional to access range check

Nick Curtis requested to merge arghdos/loopy:apply_conditional_to_access_range_check into master

A fix for an issue that's long bothered me, and I finally had enough reason to go and fix; this MR implements predicate modification of access_range's during out-of-bounds checking to errors being thrown for things like:

lp.make_kernel(
"{[i]: 0 <= i < 10}",
"""
if i < 8
   tmp[i] = tmp[i] + 1
end
[lp.GlobalArg('tmp', shape=(8,))])

Seems to address (#47) as well

Edited by Nick Curtis

Merge request reports