Add a sanitizer pass that attributes each tl.load/tl.store to its originating tensor parameter by tracing the address expression back to the correct base.
For example, we have three allocated tensor address, say addr_a, addr_b, addr_c. When checking whether a is out-of-bound, we should only check the address range of addr_a instead of Union(addr_a, addr_b, adds_c), which is the current capability of compute-sanitizer.
Add a sanitizer pass that attributes each
tl.load/tl.storeto its originating tensor parameter by tracing the address expression back to the correct base.For example, we have three allocated tensor address, say
addr_a,addr_b,addr_c. When checking whetherais out-of-bound, we should only check the address range ofaddr_ainstead ofUnion(addr_a, addr_b, adds_c), which is the current capability ofcompute-sanitizer.