; RUN: llc < %s -march=nvptx64 -mcpu=sm_20 | FileCheck %s
; RUN: %if ptxas %{ llc < %s -march=nvptx64 -mcpu=sm_20 | %ptxas-verify %}
target triple = "nvptx"
define void @foo(ptr %ptr) {
; CHECK: prototype_0 : .callprototype ()_ ()
tail call void %ptr()
ret void
}