Add the feature that the address of shared/global
memory accesses is data-dependent on shared/global
variables