get_local_id（0）的值

Question

这是我的内核代码的一部分：

const int2 cord;
cord.x = get_global_id(0);
if(cord.x == 13) 
{
    printf("get_local_id(0) = %d\n", get_local_id(0));
    printf("%d get_local_id(0) = %d\n", 1337, get_local_id(0));
}

哪些印刷品

get_local_id(0) = 13
1337 get_local_id(0) = 0

第二个pritnf为什么打印0？