__kernel void if_ne(__global int * out, int arg0, arg1)
{
   out[0] = 0;
   if (arg0 != arg1) {
      out[0] = 1;
   }
}