HomePhabricator

[OpenMP][NFC] Added DeviceID and Event pointer to __tgt_async_info

Authored by tianshilei1992 on Wed, Jun 17, 11:29 AM.

Description

[OpenMP][NFC] Added DeviceID and Event pointer to __tgt_async_info

DeviceID is added for some cases that we only have the __tgt_async_info but do
not know its corresponding device id. However, to communicate with target
plugins, we need that information.

Event is added for another way to synchronize.