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