| /* { dg-do run } */ |
| |
| #include <stdlib.h> |
| #include <openacc.h> |
| |
| int |
| main (int argc, char **argv) |
| { |
| int devnum; |
| |
| if (acc_get_device_type () == acc_device_default) |
| abort (); |
| |
| if (acc_get_num_devices (acc_device_nvidia) == 0) |
| return 0; |
| |
| acc_set_device_type (acc_device_nvidia); |
| |
| if (acc_get_device_type () != acc_device_nvidia) |
| abort (); |
| |
| acc_shutdown (acc_device_nvidia); |
| |
| acc_set_device_type (acc_device_nvidia); |
| |
| if (acc_get_device_type () != acc_device_nvidia) |
| abort (); |
| |
| devnum = acc_get_num_devices (acc_device_host); |
| if (devnum != 1) |
| abort (); |
| |
| acc_shutdown (acc_device_nvidia); |
| |
| if (acc_get_device_type () == acc_device_default) |
| abort (); |
| |
| return 0; |
| } |