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
);