; RUN: llvm-as -opaque-pointers < %s | llvm-dis -opaque-pointers | FileCheck %s

; CHECK: declare void @decl(ptr sret(i64))
; CHECK: call void @decl(ptr %arg)

declare void @decl(i64* sret(i64))

define void @test(i64* %arg) {
  call void @decl(i64* %arg)
  ret void
}