1__kernel void foo(int4 *x, float4 *y) {
2  *x = convert_int4(*y);
3}
4