Barrier Invariants: A Shared State Abstraction for the Analysis of Data-Dependent GPU Kernels