Port PTXGenerator LLVM-IR Generation to IslPTXGenerator