; RUN: llc < %s -march=ptx -ptx-version=2.0 | grep ".version 2.0"
; RUN: llc < %s -march=ptx -ptx-target=sm_20 | grep ".target sm_20"
define ptx_device void @t1() {
ret void
}