tree fb3146b380a09e3c393d58383422fe0aa4015214
parent 2a8b5a1912db3c5870458ffb4abf31cd50ce003a
author Johannes Doerfert <johannes@jdoerfert.de> 1634747298 -0500
committer Copybara-Service <copybara-worker@google.com> 1635377118 -0700

[OpenMP] Introduce aligned synchronization into the new device RT

We will later use the fact that a barrier is aligned to reason about
thread divergence. For now we introduce the assumption and some more
documentation.

Reviewed By: tianshilei1992

Differential Revision: https://reviews.llvm.org/D112153

GitOrigin-RevId: b16aadf0a79a2796c9ac68d1bfc8853ccf25c459