| /* { dg-do run } */ |
| |
| #include <stdlib.h> |
| #include <openacc.h> |
| |
| int |
| main (int argc, char **argv) |
| { |
| int i; |
| int num_devices; |
| int devnum; |
| acc_device_t devtype = acc_device_default; |
| |
| num_devices = acc_get_num_devices (devtype); |
| if (num_devices == 0) |
| abort (); |
| |
| acc_init (devtype); |
| |
| if (num_devices != acc_get_num_devices (devtype)) |
| abort (); |
| |
| for (i = 0; i < num_devices; i++) |
| { |
| acc_set_device_num (i, devtype); |
| devnum = acc_get_device_num (devtype); |
| if (devnum != i) |
| abort (); |
| } |
| |
| acc_shutdown (devtype); |
| |
| if (num_devices != acc_get_num_devices (devtype)) |
| abort (); |
| |
| for (i = 0; i < num_devices; i++) |
| { |
| acc_set_device_num (i, devtype); |
| devnum = acc_get_device_num (devtype); |
| if (devnum != i) |
| abort (); |
| } |
| |
| acc_shutdown (devtype); |
| |
| acc_init (devtype); |
| |
| acc_set_device_num (0, devtype); |
| |
| devnum = acc_get_device_num (devtype); |
| if (devnum != 0) |
| abort (); |
| |
| if (num_devices > 1) |
| { |
| acc_set_device_num (1, (acc_device_t) 0); |
| |
| devnum = acc_get_device_num (devtype); |
| if (devnum != 1) |
| abort (); |
| } |
| |
| acc_shutdown (devtype); |
| |
| return 0; |
| } |
| |
| /* { dg-output "" } */ |