1__kernel void foo(__global char *a, __global char *b, __global char *c) { 2 *a = add_sat(*b, *c); 3} 4