SPARC64_VI_CHK_OVF
overflow = SPARC64_VI_CHK_OVF(pcr, i*2);
overflow = SPARC64_VI_CHK_OVF(pcr, i*2 + 1);