__syncthreads, which corresponds to bar.sync 0, is already convergent. This makes the more general bar.sync n likewise convergent.
Looks good to me!
LGTM