As of version 2.16, Pygments supports PTX. Since that change was made by Nvidia themselves, I suppose it would be a better solution than the current homebrew one.
I also noticed that AMDGPU GCN assembly was also supported since v2.8.
Would this be interesting to add to GPUCompiler.jl? I think I could find some time after the holidays to have a go at it.