This is actually breaking the NVPTX asm printer for debuginfo. This check is actually important. The printed PTX can no longer be parsed