7 main (int argc
, char **argv
)
9 if (acc_get_device_type () == acc_device_default
)
12 acc_init (acc_device_default
);
14 if (acc_get_device_type () == acc_device_default
)
17 acc_shutdown (acc_device_default
);
19 if (acc_get_num_devices (acc_device_nvidia
) != 0)
21 acc_init (acc_device_nvidia
);
23 if (acc_get_device_type () != acc_device_nvidia
)
26 acc_shutdown (acc_device_nvidia
);
28 acc_init (acc_device_default
);
30 acc_set_device_type (acc_device_nvidia
);
32 if (acc_get_device_type () != acc_device_nvidia
)
35 acc_shutdown (acc_device_nvidia
);
38 if (acc_get_num_devices (acc_device_radeon
) != 0)
40 acc_init (acc_device_radeon
);
42 if (acc_get_device_type () != acc_device_radeon
)
45 acc_shutdown (acc_device_radeon
);
47 acc_init (acc_device_default
);
49 acc_set_device_type (acc_device_radeon
);
51 if (acc_get_device_type () != acc_device_radeon
)
54 acc_shutdown (acc_device_radeon
);