| commit | 773da902dc59e97945b8d40bed76b5a227b50639 | [log] [tgz] |
|---|---|---|
| author | Hansang Bae <hansang.bae@intel.com> | Thu Aug 15 11:44:50 2024 -0500 |
| committer | Copybara-Service <copybara-worker@google.com> | Thu Aug 15 09:49:34 2024 -0700 |
| tree | df58e89cf1d69feeccc6828514df58fb4ce1db96 | |
| parent | e7c9f44552cac3a4c910409d0550842644b10719 [diff] |
[OpenMP] Add support for pause with omp_pause_stop_tool (#97100) This patch adds support for pause resource with a new enumerator omp_pause_stop_tool. The expected behavior of this enumerator is * omp_pause_resource: not allowed * omp_pause_resource_all: equivalent to omp_pause_hard GitOrigin-RevId: 9e0ee0e104a2f10b04144837d6a138b04a0193f6