add isl_id_cmp