[NVPTX] 64-bit ADDC/ADDE are not legal